Keyphrases
- description logics
- mathcal shiq
- reasoning services
- knowledge base
- semantic web ontologies
- dl lite
- knowledge representation
- ontology languages
- medical terminology
- ontology reasoning
- reasoning systems
- reasoning mechanism
- semantic web
- reasoning tasks
- owl dl
- logical reasoning
- model theoretic
- formal ontologies
- np hard
- reasoning with inconsistent
- modular ontologies
- biomedical ontologies
- reasoning problems
- web ontology language
- computational properties
- owl dl ontology
- exptime complete
- ontology evolution
- owl ontologies
- horn logic
- relational databases
- transitive roles
- spatial reasoning
- number restrictions
- ontology engineering