<div class="csl-bib-body">
<div class="csl-entry">Oudshoorn, A. M. (2025). SHACL Satisfiability: What Can We Learn from DLs? In L. Tendera, Y. A. Ibanez Garcia, & P. Koopmann (Eds.), <i>Proceedings of the 38th International Workshop on Description Logics - DL 2025</i>. ceur.</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/223145
-
dc.description.abstract
Since the introduction of the SHACL standard, understanding its computational features and formal foundations
has become essential. Some research has focused on the semantics of recursive constraints and the complexity of
validation, but the satisfiability of SHACL constraints remains largely unexplored. The most significant previous
work in this direction is rather coarse, obtaining very few positive results for finite satisfiability and for fragments
with counting. In this paper, we build on description logics to paint a comprehensive and fine-grained boundary
for SHACL fragments with a decidable satisfiability problem under the supported semantics, both for unrestricted
and finite models.
en
dc.language.iso
en
-
dc.subject
SHACL
en
dc.subject
satisfiability
en
dc.subject
finite-model property
en
dc.title
SHACL Satisfiability: What Can We Learn from DLs?
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.contributor.editoraffiliation
University of Opole, Poland
-
dc.contributor.editoraffiliation
Cardiff University, United Kingdom of Great Britain and Northern Ireland (the)
-
dc.contributor.editoraffiliation
Vrije Universiteit Amsterdam, Netherlands (the)
-
dc.relation.issn
1613-0073
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
Proceedings of the 38th International Workshop on Description Logics - DL 2025
-
tuw.container.volume
4091
-
tuw.peerreviewed
true
-
tuw.relation.publisher
ceur
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-03 - Forschungsbereich Knowledge Based Systems
-
tuw.publication.orgunit
E056-13 - Fachbereich LogiCS
-
dc.description.numberOfPages
12
-
tuw.author.orcid
0009-0006-4638-5948
-
tuw.editor.orcid
0000-0003-0681-4040
-
tuw.editor.orcid
0000-0002-1276-904X
-
tuw.editor.orcid
0000-0002-6983-405X
-
tuw.event.name
38th International Workshop on Description Logics - DL 2025
en
tuw.event.startdate
03-09-2025
-
tuw.event.enddate
06-09-2025
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Opole
-
tuw.event.country
PL
-
tuw.event.presenter
Oudshoorn, Anouk Michelle
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
80
-
wb.sciencebranch.value
20
-
item.openairetype
conference paper
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.cerifentitytype
Publications
-
item.languageiso639-1
en
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
crisitem.author.dept
E192-03 - Forschungsbereich Knowledge Based Systems
