Sciweavers

SEMWEB
2010
Springer
13 years 9 months ago
Completeness Guarantees for Incomplete Reasoners
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...
Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrock...