The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics.

Published in: J. Artif. Intell. Res. (2000)

Keyphrases

expressive description logics
description logics
exptime complete
expressive power
pspace complete
owl dl
computational complexity
decision problems
knowledge base
data complexity
np complete
regular path queries
machine learning
natural language
knowledge representation
first order logic