A Closer Look at the Probabilistic Description Logic Prob-EL.
Víctor Gutiérrez-BasultoJean Christoph JungCarsten LutzLutz SchröderPublished in: AAAI (2011)
Keyphrases
- description logics
- knowledge base
- computational properties
- reasoning tasks
- bayesian networks
- dl lite
- reasoning systems
- model theoretic
- knowledge representation
- semantic web
- reasoning problems
- description logic programs
- uncertain data
- owl ontologies
- concept descriptions
- terminological knowledge
- expert systems
- computational complexity
- reasoning mechanism
- logical implication
- snomed ct
- computing least common subsumers