Sökning: onr:"swepub:oai:DiVA.org:umu-217414" >
Reconciling SHACL a...
Reconciling SHACL and ontologies : semantics and validation via rewriting
-
- Ahmetaj, Shqiponja (författare)
- Technical University of Vienna, Wien, Austria
-
- Ortiz, Magdalena (författare)
- Umeå universitet,Institutionen för datavetenskap
-
- Oudshoorn, Anouk M. (författare)
- Technical University of Vienna, Wien, Austria
-
visa fler...
-
- Šimkus, Mantas (författare)
- Umeå universitet,Institutionen för datavetenskap
-
visa färre...
-
(creator_code:org_t)
- CEUR-WS, 2023
- 2023
- Engelska.
-
Ingår i: Proceedings of the 36th international workshop on Description Logics (DL 2023). - : CEUR-WS.
- Relaterad länk:
-
https://ceur-ws.org/...
-
visa fler...
-
https://umu.diva-por... (primary) (Raw object)
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- complexity
- OWL 2 QL
- rewriting
- SHACL
- validation
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)