Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach.
Riccardo ZeseGiuseppe CotaEvelina LammaElena BellodiFabrizio RiguzziPublished in: Theory Pract. Log. Program. (2019)
Keyphrases
- knowledge base
- description logic programs
- probabilistic logic
- description logics
- knowledge representation
- probabilistic reasoning
- probabilistic knowledge
- expressive description logics
- logic programming
- reasoning systems
- reasoning tasks
- probabilistic model
- knowledge representation and reasoning
- causal networks
- inference engine
- generative model
- expert systems
- backward chaining
- logical inference
- expressive power
- automated reasoning
- bayesian networks
- first order logic
- computational properties
- reasoning problems
- knowledge representation formalisms
- dl programs
- logical formulas
- reasoning process
- owl dl
- programming language
- horn clauses
- theorem proving
- belief networks
- ontological reasoning
- artificial intelligence