1544 search results - page 34 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
153
click to vote
CADE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
142
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first-order Automated Theorem Proving systems. CASC-18 was the seventh competition in the CASC se...
157
click to vote
DLOG
2000
15 years 7 months ago
2000
In this contribution we present an empirical analysis of the performance of the ALCNHR+ description logic system RACE applied to TBoxes with a very large number of primitive conce...
187
click to vote
DEBU
2002
15 years 6 months ago
2002
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precis...
223
click to vote
DLOG
2011
14 years 9 months ago
2011
W3C currently extends the SPARQL query language with so-called entailment regimes, which define how queries are evaluated using logical entailment relations. We describe a sound a...