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

Published in: LPAR (2002)

Keyphrases

expressive description logics
description logics
exptime complete
knowledge base
owl dl
knowledge representation
dl lite
reasoning tasks
computational properties
reasoning systems
semantic web
reasoning problems
databases
machine learning
query optimization
owl ontologies