Login / Signup
Framework for an Automated Comparison of Description Logic Reasoners.
Tom Gardiner
Dmitry Tsarkov
Ian Horrocks
Published in:
ISWC (2006)
Keyphrases
</>
description logics
knowledge representation systems
reasoning services
knowledge base
reasoning systems
computational properties
ontology languages
ontology reasoning
concept descriptions
computational complexity
knowledge representation
automated reasoning
reasoning tasks
dl lite
owl dl