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 applicatio...
Main Authors: | , , , |
---|---|
Format: | Journal article |
Published: |
Association for the Advancement of Artificial Intelligence
2012
|