We compare the performance of a DL reasoner with a FO prover on reasoning problems encountered during the classification of realistic knowledge bases.
[PDF] DL Reasoner vs. First-Order Prover - Department of Computer Science
www.cs.man.ac.uk › download
On the one hand, using available FOL provers could, potentially, save a great deal of effort in developing algorithms and reasoners for various DLs. On the ...
DL reasoner vs. first-order prover ... Description logics (DLs) can, in general, be viewed as decidable subsets of first-order logic (FOL). It is, therefore, ...
This work compares the performance of a DL reasoner with a FO prover on reasoning problems encountered during the classification of realistic knowledge ...
It is, therefore, natural to compare the performance of dedicated DL reasoners with general purpose FOL theorem provers. On the one hand, using available FOL ...
Bibliographic details on DL Reasoner vs. First-Order Prover.
People also search for
Jun 8, 2011 · So no one should expect first-order prover-based OWL 2 reasoners to be as fast as specialized DL reasoners. Whether "not as fast" is still "fast ...
People also ask
What does a reasoner do?
What is an owl reasoner?
The weak monadic second order theories of one and two successors, commonly called. WS1S and WS2S, are among the most powerful decidable logics known today ...
OWL (both OWL DL and OWL 2) can be seen as fragments of First Order logic for which reasoning is decidable. In this sense, an ontology can be viewed as a finite ...
Pellet is an open source reasoner for OWL 2 DL in Java. It provides standard and cutting-edge reasoning services for OWL ontologies. Quill, DL (via soundness ...