Umeå universitets logga

umu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Reconciling SHACL and ontologies: semantics and validation via rewriting
Tu Wien, Austria.
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.ORCID-id: 0000-0002-2344-9658
Tu Wien, Austria.
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.ORCID-id: 0000-0003-0632-0294
2023 (Engelska)Ingår i: ECAI 2023 / [ed] Kobi Gal; Ann Nowé; Grzegorz J. Nalepa; Roy Fairstein; Roxana Rădulescu, IOS Press, 2023, s. 27-35Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

OWL and SHACL are two prominent W3C standards for managing RDF graphs, the data model of the Web. They are used for different purposes and make different assumptions about the completeness of data: SHACL is used for expressing integrity constraints on complete data, while OWL allows inferring implicit facts from incomplete data; SHACL reasoners perform validation, while OWL reasoners do logical inference. Integrating these two tasks into one uniform approach is a relevant but challenging problem. The SHACL standard envisions graph validation in combination with OWL entailment, but it does not provide technical guidance on how to realize this. To address this problem, we propose a new intuitive semantics for validating SHACL constraints with OWL 2 QL ontologies based on a suitable notion of the chase. We propose an algorithm that rewrites a set of recursive SHACL constraints (with stratified negation) and an OWL 2 QL ontology into a stand-alone set of SHACL constraints that preserves validation for every input graph, which can in turn be evaluated using an off-the-shelf SHACL validator. We show that validation in this setting is EXPTIME-complete in combined complexity, but only PTIME-complete in data complexity, i.e., if the constraints and the ontology are fixed.

Ort, förlag, år, upplaga, sidor
IOS Press, 2023. s. 27-35
Serie
Frontiers in Artificial Intelligence and Applications, ISSN 0922-6389, E-ISSN 1879-8314 ; 372
Nationell ämneskategori
Datavetenskap (datalogi) Datorsystem
Identifikatorer
URN: urn:nbn:se:umu:diva-216798DOI: 10.3233/FAIA230250Scopus ID: 2-s2.0-85175828692ISBN: 9781643684376 (digital)ISBN: 9781643684369 (tryckt)OAI: oai:DiVA.org:umu-216798DiVA, id: diva2:1814319
Konferens
26th European Conference on Artificial Intelligence, ECAI 2023, Krakow, September 30-October 4, 2023
Forskningsfinansiär
EU, Horisont 2020, 101034440Wallenberg AI, Autonomous Systems and Software Program (WASP)Tillgänglig från: 2023-11-24 Skapad: 2023-11-24 Senast uppdaterad: 2023-11-24Bibliografiskt granskad

Open Access i DiVA

fulltext(347 kB)145 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 347 kBChecksumma SHA-512
b4227119d6c1f5ed0a714ec5d45d92c8c022632c4c1b21f15a2c67ed519b7647dc6ded09f19bea23081d86d8dab68453d444cf213411ba49f004368fd7865d0b
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltextScopus

Person

Ortiz, MagdalenaŠimkus, Mantas

Sök vidare i DiVA

Av författaren/redaktören
Ortiz, MagdalenaŠimkus, Mantas
Av organisationen
Institutionen för datavetenskap
Datavetenskap (datalogi)Datorsystem

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 145 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 255 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf