Keyphrases
- description logics
- knowledge base
- concept descriptions
- semantic web
- ontology languages
- knowledge representation
- dl lite
- exptime complete
- artificial intelligence
- expressive power
- ontology mappings
- snomed ct
- formal ontologies
- biomedical ontologies
- reasoning mechanism
- owl ontologies
- data complexity
- positive examples
- concept drift
- knowledge acquisition
- computational complexity