Deciding SHACL Shape Containment through Description Logics Reasoning (Extended Version)

The Shapes Constraint Language (SHACL) allows for formalizing constraints over RDF data graphs. A shape groups a set of constraints that may be fulfilled by nodes in the RDF graph. We investigate the problem of containment between SHACL shapes. One shape is contained in a second shape if every graph node meeting the constraints of the first shape also meets the constraints of the second. To decide shape containment, we map SHACL shape graphs into description logic axioms such that shape containment can be answered by description logic reasoning. We identify several, increasingly tight syntactic restrictions of SHACL for which this approach becomes sound and complete.

[1]  D. Nardi,et al.  An Introduction to Description Logic , 2017 .

[2]  Jiao Tao,et al.  Integrity Constraints in OWL , 2010, AAAI.

[3]  Ian Horrocks,et al.  An Introduction to Description Logic , 2017 .

[4]  Pierre Genevès,et al.  SPARQL Query Containment with ShEx Constraints , 2017, ADBIS.

[5]  José Emilio Labra Gayo,et al.  Semantics and Validation of Shapes Schemas for RDF , 2014, SEMWEB.

[6]  Domenico Beneventano,et al.  Semantic Query Optimization by Subsumption in OODB , 1996, FQAS.

[7]  Francesco M. Donini,et al.  Description logics of minimal knowledge and negation as failure , 2002, TOCL.

[8]  Steffen Staab,et al.  Type Checking Program Code Using SHACL , 2019, SEMWEB.

[9]  Yevgeny Kazakov,et al.  RIQ and SROIQ Are Harder than SHOIQ , 2008, KR.

[10]  Ian Horrocks,et al.  Keys, Nominals, and Concrete Domains , 2003, IJCAI.

[11]  Georg Lausen,et al.  RDF Constraint Checking , 2015, EDBT/ICDT Workshops.

[12]  Ognjen Savkovic,et al.  Semantics and Validation of Recursive SHACL , 2018, SEMWEB.

[13]  Alvaro Cortés-Calabuig,et al.  Constraints in RDF , 2010, SDKB.

[14]  Diego Calvanese,et al.  Finite Model Reasoning in Description Logics , 1996, KR.

[15]  Boris Motik,et al.  Adding Integrity Constraints to OWL , 2007, OWLED.

[16]  Ognjen Savkovic,et al.  Validating Shacl Constraints over a Sparql Endpoint , 2019, SEMWEB.

[17]  Surajit Chaudhuri,et al.  Optimization of real conjunctive queries , 1993, PODS '93.

[18]  Fabio Grandi.  On Expressive Description Logics with Composition of Roles in Number Restrictions , 2002, LPAR.

[19]  Slawomir Staworko,et al.  Containment of Shape Expression Schemas for RDF , 2019, PODS.

[20]  Sebastian Rudolph,et al.  Foundations of Description Logics , 2011, Reasoning Web.

[21]  Anthony C. Klug.  On conjunctive queries containing inequalities , 1988, JACM.

[22]  Pierre Genevès,et al.  Optimising SPARQL Query Evaluation in the Presence of ShEx Constraints , 2017 .

[23]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[24]  Peter F. Patel-Schneider,et al.  Ontology Constraints in Incomplete and Complete Data , 2012, International Semantic Web Conference.

[25]  Yevgeny Kazakov,et al.  SRIQ and SROIQ are Harder than SHOIQ , 2008, Description Logics.