Keyphrases
- description logics
- semantic web
- knowledge representation
- knowledge base
- computational properties
- reasoning tasks
- web ontology language owl
- reasoning problems
- web services
- metadata
- concept descriptions
- knowledge representation and reasoning
- dl lite
- knowledge representation formalisms
- reasoning systems
- ontology languages
- owl dl
- reasoning services
- expert systems
- model theoretic
- number restrictions
- artificial intelligence
- knowledge representation languages
- computational complexity