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
E192-03 - Forschungsbereich Knowledge Based Systems E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
Erschienen 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)
-
Band:
3515
-
Datum (veröffentlicht):
23-Okt-2023
-
Veranstaltungsname:
36th International Workshop on Description Logics (DL 2023)
en
Veranstaltungszeitraum:
2-Sep-2023 - 4-Sep-2023
-
Veranstaltungsort:
Rhodos, Griechenland
-
Umfang:
6
-
Verlag:
CEUR-WS.org
-
Peer Reviewed:
Ja
-
Keywords:
SHACL; OWL 2 QL; Ontologies; Description Logics
en
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.
en
Projekttitel:
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)
-
Projekt (extern):
Knut and Alice Wallenberg Foundation
-
Projektnummer:
Wallenberg AI, Autonomous Systems and Software Program (WASP)
CC BY 4.0
