Probabilistic Description Logics under the distribution semantics.
Fabrizio RiguzziElena BellodiEvelina LammaRiccardo ZesePublished in: Semantic Web (2015)
Keyphrases
- description logics
- model theoretic
- reasoning tasks
- description logic programs
- computational properties
- owl dl
- reasoning services
- probabilistic knowledge
- highly expressive
- owl ontologies
- knowledge base
- dl lite
- fuzzy description logics
- knowledge representation
- knowledge representation formalisms
- reasoning mechanism
- knowledge representation languages
- semantic web
- ontology languages
- formal semantics
- reasoning problems
- computing least common subsumers
- reasoning systems
- knowledge representation and reasoning
- dl programs
- terminological knowledge
- concept descriptions
- operational semantics
- semantic matchmaking
- modal operators
- number restrictions
- ontology based data access
- nonmonotonic logics
- automated reasoning
- default reasoning
- probabilistic reasoning
- semantic information
- logic programming
- bayesian networks