On Decidability of Expressive Description Logics with Composition of Roles in Number Restrictions

Published in: CoRR (2003)

Keyphrases

description logics
expressive description logics
number restrictions
exptime complete
knowledge base
owl dl
reasoning tasks
computational properties
knowledge representation
dl lite
reasoning systems
reasoning problems
semantic web
ontology languages
model theoretic
artificial intelligence
xml data
owl ontologies