Completing Description Logic Knowledge Bases Using Formal Concept Analysis.
Franz BaaderBernhard GanterBaris SertkayaUlrike SattlerPublished in: IJCAI (2007)
Keyphrases
- description logics
- knowledge base
- computing least common subsumers
- dl lite
- knowledge representation
- knowledge representation systems
- semantic web
- reasoning tasks
- concept descriptions
- knowledge representation and reasoning
- computational properties
- reasoning problems
- reasoning mechanism
- logical implication
- model theoretic
- knowledge acquisition
- knowledge based systems
- ontology languages
- reasoning services
- knowledge representation languages
- ontology reasoning
- integrity constraints