Fusions of Description Logics and Abstract Description Systems
Franz BaaderCarsten LutzHolger SturmFrank WolterPublished in: CoRR (2011)
Keyphrases
- description logics
- reasoning systems
- knowledge representation systems
- reasoning services
- reasoning tasks
- knowledge representation and reasoning
- knowledge base
- high level
- medical terminology
- knowledge representation
- computing least common subsumers
- artificial intelligence
- reasoning problems
- ontology languages
- dl lite
- concept descriptions
- model theoretic
- transitive roles
- computational properties
- database systems