Sciweavers

Share
JAIR
2012

Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice

10 years 5 days ago
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice
To achieve scalability of query answering, the developers of Semantic Web applications are often forced to use incomplete OWL 2 reasoners, which fail to derive all answers for at least one query, ontology, and data set. The lack of completeness guarantees, however, may be unacceptable for applications in areas such as health care and defence, where missing answers can adversely affect the application’s functionality. Furthermore, even if an application can tolerate some level of incompleteness, it is often advantageous to estimate how many and what kind of answers are being lost. In this paper, we present a novel logic-based framework that allows one to check whether a reasoner is complete for a given query Q and ontology T —that is, whether the reasoner is guaranteed to compute all answers to Q w.r.t. T and an arbitrary data set A. Since ontologies and typical queries are often fixed at application design time, our approach allows application developers to check whether a reaso...
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos
Added 28 Sep 2012
Updated 28 Sep 2012
Type Journal
Year 2012
Where JAIR
Authors Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks
Comments (0)
books