Login / Signup
The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics
Stephan Tobies
Published in:
CoRR (2011)
Keyphrases
</>
expressive description logics
description logics
exptime complete
owl dl
regular path queries
pspace complete
expressive power
data complexity
computational complexity
computational properties
decision problems
knowledge base
domain knowledge
knowledge representation
matching algorithm
reasoning problems