Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
From MaRDI portal
Publication:4957185
DOI10.1017/S1471068418000480zbMath1472.68194arXiv1809.06180WikidataQ128574832 ScholiaQ128574832MaRDI QIDQ4957185
Evelina Lamma, Giuseppe Cota, Elena Bellodi, Riccardo Zese, Fabrizio Riguzzi
Publication date: 3 September 2021
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1809.06180
Related Items
Uses Software
Cites Work
- Unnamed Item
- Automata-based axiom pinpointing
- Deciding expressive description logics in the framework of resolution
- Probabilistic logic
- A theory of diagnosis from first principles
- Tableau reasoning for description logics and its extension to probabilities
- lean\(T^ AP\): Lean tableau-based deduction
- A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
- Expressive probabilistic description logics
- A tableau decision procedure for \(\mathcal{SHOIQ}\)
- Distributed Parameter Learning for Probabilistic Ontologies
- Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions
- On the implementation of the probabilistic logic programming language ProbLog
- The PITA system: Tabling and answer subsumption for reasoning under uncertainty
- Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures
- Efficient description logic reasoning in Prolog: The DLog system
- OntoDLV: An ASP-based System for Enterprise Ontologies
- Axiom Pinpointing in General Tableaux
- Graph-Based Algorithms for Boolean Function Manipulation
- A Hybrid Method for Probabilistic Satisfiability
- Mechanizing Mathematical Reasoning
- An overview of tableau algorithms for description logics