Generating Comprehensible Explanations in Description Logic.
Fredrik EngströmAbdul Rahim NizamaniClaes StrannegårdPublished in: Description Logics (2014)
Keyphrases
- description logics
- knowledge base
- knowledge representation
- computational properties
- reasoning tasks
- dl lite
- reasoning problems
- snomed ct
- computing least common subsumers
- concept descriptions
- knowledge representation and reasoning
- reasoning systems
- semantic web
- semantic mapping
- artificial intelligence
- owl ontologies
- logical implication
- knowledge representation languages
- domain knowledge
- data sources
- domain theory
- computational complexity