Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract)

Ahmetaj, Shqiponja; Ortiz de la Fuente, Maria Magdalena; Oudshoorn, Anouk Michelle; Simkus, Mantas

doi:10.34726/5397

Record link:

http://hdl.handle.net/20.500.12708/192943
https://doi.org/10.34726/5397

Title:

Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract)

Citation:

Ahmetaj, S., Ortiz de la Fuente, M. M., Oudshoorn, A. M., & Simkus, M. (2023). Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract). In Proceedings of the 36th International Workshop on Description Logics (DL 2023), co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023). 36th International Workshop on Description Logics (DL 2023), Rhodos, Greece. CEUR-WS.org. https://doi.org/10.34726/5397

reposiTUm DOI:

10.34726/5397

CatalogPlus:

AC17204697

Publication Type:

Inproceedings - Full-Paper Contribution

Language:

English

Authors:

Ahmetaj, Shqiponja
Ortiz de la Fuente, Maria Magdalena
Oudshoorn, Anouk Michelle
Simkus, Mantas

Organisational Unit:

E192-03 - Forschungsbereich Knowledge Based Systems
E192-02 - Forschungsbereich Databases and Artificial Intelligence

Published in:

Proceedings of the 36th International Workshop on Description Logics (DL 2023), co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)

Volume:

3515

Date (published):

23-Oct-2023

Event name:

36th International Workshop on Description Logics (DL 2023)

Event date:

2-Sep-2023 - 4-Sep-2023

Event place:

Rhodos, Greece

Number of Pages:

Publisher:

CEUR-WS.org

Peer reviewed:

Yes

Keywords:

SHACL; OWL 2 QL; Ontologies; Description Logics

Abstract:

This extended abstract summarizes our recent work [1] on SHACL validation in the presence of OWL 2 QL ontologies. To overcome the challenge posed by the non-monotonic behavior of SHACL constraints, we propose a new intuitive validation semantics and a rewriting algorithm that embeds the effects of the ontological axioms into the SHACL constraints. We analyze the complexity of validation in this setting.

Project title:

Compiling Knowledge into Applications: P30873-N35 (FWF - Österr. Wissenschaftsfonds)
Grundlagen der Schlussfolgerungen in der Shape Constraint Language: T 1349-N (FWF - Österr. Wissenschaftsfonds)
Logics for Computer Science Program at TU Wien: 101034440 (European Commission)

Project (external):

Knut and Alice Wallenberg Foundation

Project ID:

Wallenberg AI, Autonomous Systems and Software Program (WASP)

Research Areas:

Logic and Computation: 100%

Science Branch:

1020 - Informatik: 80%
1010 - Mathematik: 20%

License:

CC BY 4.0