Semantics and Inference for Probabilistic Description Logics.
Riccardo ZeseElena BellodiEvelina LammaFabrizio RiguzziFabiano AguiariPublished in: URSW (LNCS Vol.) (2014)
Keyphrases
- description logics
- model theoretic
- knowledge representation languages
- description logic programs
- reasoning tasks
- reasoning services
- probabilistic knowledge
- owl dl
- probabilistic reasoning
- computational properties
- bayesian networks
- knowledge base
- reasoning mechanism
- dl programs
- owl ontologies
- knowledge representation
- knowledge representation formalisms
- highly expressive
- ontology languages
- belief networks
- fuzzy description logics
- dl lite
- logic programming
- formal semantics
- reasoning problems
- semantic web
- probabilistic inference
- concept descriptions
- representing knowledge
- uncertain data
- function free horn
- uml class diagrams
- nonmonotonic logics
- knowledge representation and reasoning
- deductive databases
- operational semantics
- data model