SHACL: A Description Logic in Disguise

descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Article , Preprint , Conference object 01 Jan 2022Embargo end date: 01 Jan 2021 English Publisher:Springer International Publishing

Authors: Bogaerts, Bart; Jakubowski, Maxime; Van den Bussche, Jan;

doi: 10.1007/978-3-031-15707-3_7 , 10.48550/arxiv.2108.06096

arXiv: 2108.06096

handle: 20.500.14017/6fe08756-be0e-42cf-88e6-fef3df3f9eb1 , 1942/36995 , 1942/38989

SHACL: A Description Logic in Disguise

- Summary
- Subjects
- Metrics

Abstract

SHACL is a W3C-proposed language for expressing structural constraints on RDF graphs. In recent years, SHACL's popularity has risen quickly. This rise in popularity comes with questions related to its place in the semantic web, particularly about its relation to OWL (the de facto standard for expressing ontological information on the web) and description logics (which form the formal foundations of OWL). We answer these questions by arguing that SHACL is in fact a description logic. On the one hand, our answer is surprisingly simple, some might even say obvious. But, on the hand, our answer is also controversial. By resolving this issue once and for all, we establish the field of description logics as the solid formal foundations of SHACL.

Presented at LPNRM conference 2022

Related Organizations

Keywords

FOS: Computer and information sciences, Technology, Computer Science - Logic in Computer Science, Science & Technology, Computer Science, Software Engineering, SHACL, Computer Science, Artificial Intelligence, Description Logics, Logic in Computer Science (cs.LO), Computer Science, Theory & Methods, Computer Science, Ontologies, Shapes

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	9
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Top 10%
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 10%