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

Authors

  • Peter Patel-Schneider Nuance Commmunications

DOI:

https://doi.org/10.1609/aaai.v29i1.9177

Keywords:

Semantic Web, RDF, RDFS, Description Logics, OWL, Constraints

Abstract

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.

Downloads

Published

2015-02-09

How to Cite

Patel-Schneider, P. (2015). Using Description Logics for RDF Constraint Checking and Closed-World Recognition. Proceedings of the AAAI Conference on Artificial Intelligence, 29(1). https://doi.org/10.1609/aaai.v29i1.9177