Umeå University's logo

umu.sePublications
EnglishSvenskaNorsk
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Reconciling SHACL and ontologies: semantics and validation via rewriting
Technical University of Vienna, Wien, Austria.
Umeå University, Faculty of Science and Technology, Department of Computing Science.ORCID iD: 0000-0002-2344-9658
Technical University of Vienna, Wien, Austria.
Umeå University, Faculty of Science and Technology, Department of Computing Science.ORCID iD: 0000-0003-0632-0294
2023 (English)In: Proceedings of the 36th international workshop on Description Logics (DL 2023) / [ed] Oliver Kutz; Carsten Lutz; Ana Ozaki, CEUR-WS , 2023Conference paper, Oral presentation with published abstract (Refereed)
Abstract [en]

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.
Place, publisher, year, edition, pages
CEUR-WS , 2023.
Series
CEUR Workshop Proceedings, E-ISSN 1613-0073 ; 3515
Keywords [en]
complexity, OWL 2 QL, rewriting, SHACL, validation
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:umu:diva-217414Scopus ID: 2-s2.0-85176443534OAI: oai:DiVA.org:umu-217414DiVA, id: diva2:1816605
Conference
36th International Workshop on Description Logics, DL 2023, Rhodes, Greece, September 2-4, 2023
Note

Extended abstract.

Available from: 2023-12-04 Created: 2023-12-04 Last updated: 2023-12-04Bibliographically approved

Open Access in DiVA

fulltext(988 kB)93 downloads
File information
File name FULLTEXT01.pdfFile size 988 kBChecksum SHA-512
ef1fd6b8e1bc06d98a75e55dc6b5d34a29f3c36129ce75f942cffdcaaf896849c592bb69384d0cd2946c997938fdf8fbe95bd60d78ea5af1fcccc926f330d571
Type fulltextMimetype application/pdf

Other links

ScopusPublisher's full text, proceeding

Authority records

Ortiz, MagdalenaŠimkus, Mantas

Search in DiVA

By author/editor
Ortiz, MagdalenaŠimkus, Mantas
By organisation
Department of Computing Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 93 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 376 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.46.0
|
WCAG
|
Umeå University Library
|
Register in DiVA
|
Support
|
Search DiVA Portal