Keyphrases
- description logics
- knowledge base
- dl lite
- knowledge representation
- computing least common subsumers
- reasoning tasks
- computational properties
- knowledge representation systems
- concept descriptions
- snomed ct
- semantic web
- ontology reasoning
- reasoning problems
- knowledge acquisition
- knowledge representation and reasoning
- knowledge based systems
- knowledge representation languages
- description logic alc
- reasoning services
- owl ontologies
- integrity constraints
- logic programs