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

Autor:	Patel-Schneider, Peter F.
Rok vydání:	2014
Předmět:	Computer Science - Artificial Intelligence
Druh dokumentu:	Working Paper
Popis:	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. Comment: Extended version of a paper of the same name that will appear in AAAI-2015
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1411.4156 Zobrazit plný text záznamu View this record from Arxiv