Umeå University's logo

umu.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet 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 (engelsk)Inngår i: ECAI 2023 / [ed] Kobi Gal; Ann Nowé; Grzegorz J. Nalepa; Roy Fairstein; Roxana Rădulescu, IOS Press, 2023, s. 27-35Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
IOS Press, 2023. s. 27-35
Serie
Frontiers in Artificial Intelligence and Applications, ISSN 0922-6389, E-ISSN 1879-8314 ; 372
HSV kategori
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
Konferanse
26th European Conference on Artificial Intelligence, ECAI 2023, Krakow, September 30-October 4, 2023
Forskningsfinansiär
EU, Horizon 2020, 101034440Wallenberg AI, Autonomous Systems and Software Program (WASP)Tilgjengelig fra: 2023-11-24 Laget: 2023-11-24 Sist oppdatert: 2023-11-24bibliografisk kontrollert

Open Access i DiVA

fulltext(347 kB)262 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 347 kBChecksum SHA-512
b4227119d6c1f5ed0a714ec5d45d92c8c022632c4c1b21f15a2c67ed519b7647dc6ded09f19bea23081d86d8dab68453d444cf213411ba49f004368fd7865d0b
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekstScopus

Person

Ortiz, MagdalenaŠimkus, Mantas

Søk i DiVA

Av forfatter/redaktør
Ortiz, MagdalenaŠimkus, Mantas
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 263 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 753 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf