Keyphrases
- description logics
- order sorted logic
- knowledge base
- knowledge representation
- reasoning tasks
- computational properties
- conceptual structures
- semantic web
- model theoretic
- reasoning problems
- ontology languages
- dl lite
- concept descriptions
- owl dl
- data mining
- reasoning services
- snomed ct
- owl ontologies
- information retrieval
- logical implication
- machine learning