On Correspondences between Probabilistic First-Order and Description Logics.
Pavel KlinovBijan ParsiaUlrike SattlerPublished in: Description Logics (2009)
Keyphrases
- description logics
- model theoretic
- knowledge base
- probabilistic logic
- reasoning tasks
- knowledge representation
- dl lite
- computational properties
- function free horn
- reasoning systems
- knowledge representation formalisms
- semantic web
- ontology languages
- computing least common subsumers
- first order logic
- reasoning problems
- concept descriptions
- fuzzy description logics
- knowledge representation and reasoning
- reasoning services
- bayesian networks
- owl dl
- probabilistic databases
- description logic programs
- probabilistic reasoning
- terminological knowledge