Qualifying Number Restrictions in Concept Languages.

Bernhard Hollunder Franz Baader

Published in: KR (1991)

Keyphrases

number restrictions
description logics
inverse roles
knowledge representation
knowledge base
dl lite
reasoning systems
exptime complete
semantic web
ontology languages
query language
data exchange
data complexity
fixpoint
owl dl
expert systems
artificial intelligence