162 search results - page 1 / 33 » Completeness Guarantees for Incomplete Reasoners |
SEMWEB
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. We extend our recent work on evaluating incomplete reasoners by introducing strict testing bases. We show how they can be used in practice to identify ontologies and quer...
JAIR
2012
11 years 7 months ago
2012
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 ...
AAAI
2010
13 years 6 months ago
2010
Conjunctive query answering is a key reasoning service for many ontology-based applications. In order to improve scalability, many Semantic Web query answering systems give up com...
KR
1998
Springer
13 years 9 months ago
1998
Springer
RR
2007
Springer
13 years 11 months ago
2007
Springer