Completing Description Logic Knowledge Bases using Formal Concept Analysis.
Franz BaaderBernhard GanterUlrike SattlerBaris SertkayaPublished in: OWLED (2007)
Keyphrases
- description logics
- knowledge base
- dl lite
- computing least common subsumers
- reasoning tasks
- knowledge representation
- concept descriptions
- knowledge representation systems
- semantic web
- reasoning mechanism
- model theoretic
- ontology languages
- computational properties
- reasoning problems
- knowledge acquisition
- owl dl
- query rewriting
- background knowledge
- knowledge representation languages
- snomed ct
- description logic alc
- domain knowledge