\mathcal{ALCQI}.

Edward Hermann Haeusler Alexandre Rademaker

Published in: ER Workshops (2009)

Keyphrases

description logics
uml class diagrams
exptime complete
reasoning systems
knowledge representation and reasoning
knowledge base
expressive power
knowledge representation
data complexity
expert systems
xml documents
data model
decision problems
automated reasoning