Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes.
Irma Sofía Espinosa PeraldíAtila KayaRalf MöllerPublished in: Description Logics (2009)
Keyphrases
- description logics
- logical implication
- reasoning tasks
- knowledge base
- dl lite
- computational properties
- knowledge representation
- semantic web
- model theoretic
- expressive description logics
- exptime complete
- logic programming
- background knowledge
- owl ontologies
- ontology languages
- expert systems
- reasoning services
- metadata
- database
- reasoning problems
- data exchange
- snomed ct