Sciweavers

Share
DLOG
2003

DL Reasoner vs. First-Order Prover

12 years 3 months ago
DL Reasoner vs. First-Order Prover
We compare the performance of a DL reasoner with a FO prover on reasoning problems encountered during the classification of realistic knowledge bases.
Dmitry Tsarkov, Ian Horrocks
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2003
Where DLOG
Authors Dmitry Tsarkov, Ian Horrocks
Comments (0)
books