Sciweavers

DLOG
2003
13 years 7 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