Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach.
Riccardo ZeseElena BellodiGiuseppe CotaEvelina LammaFabrizio RiguzziPublished in: CoRR (2018)
Keyphrases
- knowledge base
- knowledge representation
- description logic programs
- description logics
- probabilistic reasoning
- probabilistic logic
- expressive description logics
- reasoning problems
- backward chaining
- logic programming
- reasoning systems
- inference engine
- knowledge representation and reasoning
- reasoning tasks
- probabilistic knowledge
- owl dl
- vague concepts
- bayesian networks
- programming language
- logical inference
- computational properties
- forward chaining
- automated reasoning
- expert systems
- horn clauses
- uncertain data
- expressive power
- probabilistic model
- belief networks
- inference process
- ontology languages
- generative model
- causal networks
- artificial intelligence
- probabilistic databases
- reasoning process
- conjunctive queries
- first order logic
- np complete