1544 search results - page 43 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
166
click to vote
IJCAI
2003
15 years 7 months ago
2003
Current Description Logic reasoning systems provide only limited support for debugging logically erroneous knowledge bases. In this paper we propose new non-standard reasoning ser...
171
click to vote
LPAR
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...
174
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we present a preliminary logic-based evaluation of the integration of post-composed phenotypic descriptions with domain ontologies. The evaluation has been performed ...
200
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
State of the art reasoners for expressive description logics, such as those that underpin the OWL ontology language, are typically based on highly optimized implementations of (hyp...