Paper Info
Title
DL Reasoner vs. First-Order Prover
Abstract
We compare the performance of a DL reasoner with a FO prover on reasoning prob- lems encountered during the classification of realistic knowledge bases.
Year
Venue
Keywords
2003
Description Logics
knowledge base,first order
Field
DocType
Citations 
Semantic reasoner,Programming language,First order,Computer science,Gas meter prover
Conference
18
PageRank 
References 
Authors
2.44
11
2
Name
Order
Citations
PageRank
Dmitry Tsarkov179449.29
Ian Horrocks2117311086.65