Using Description Logics for RDF Constraint Checking and Closed-World Recognition

RDF and Description Logics work in an open-world setting where absence of information is not information about absence. Nevertheless, Description Logic axioms can be interpreted in a closed-world setting and in this setting they can be used for both constraint checking and closed-world recognition against information sources. When the information sources are expressed in well-behaved RDF or RDFS (i.e., RDF graphs interpreted in the RDF or RDFS semantics) this constraint checking and closed-world recognition is simple to describe. Further this constraint checking can be implemented as SPARQL querying and thus effectively performed.

[1]  Boris Motik,et al.  Bridging the gap between OWL and relational databases , 2007, WWW '07.

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

[3]  Pascal Hitzler,et al.  Local Closed World Semantics: Grounded Circumscription for OWL , 2011, SEMWEB.

[4]  Jos de Bruijn,et al.  OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web , 2005, WWW '05.

[5]  Boris Motik,et al.  OWL 2 Web Ontology Language: structural specification and functional-style syntax , 2008 .

[6]  Herman J. ter Horst,et al.  Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary , 2005, J. Web Semant..

[7]  Peter F. Patel-Schneider,et al.  OWL 2 Web Ontology Language Primer (Second Edition) , 2012 .

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

[9]  Jens Lehmann,et al.  Test-driven evaluation of linked data quality , 2014, WWW.

[10]  Bernardo Cuenca Grau,et al.  OWL 2 Web Ontology Language: Profiles , 2009 .

[11]  Achille Fokoue,et al.  OSLC Resource Shape: A Linked Data Constraint Language , 2013 .

[12]  Arthur G. Ryman,et al.  OSLC Resource Shape: A language for defining constraints on Linked Data , 2013, LDOW.

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

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

[15]  Harold R. Solbrig,et al.  Validating RDF with Shape Expressions , 2014, ArXiv.