Abstract. The increasing popularity of the Semantic Web drove to a widespread adoption of Description Logics (DLs) for mod- eling real world domains.

We present a novel algorithm, included in the PITA reasoner, which tackles these tasks by representing each problem as a Binary Decision Diagram and applying a ...

Logic Programming. Uncertain relationships among entities characterize many complex domains. Most common approache: probability theory → Distribution.

Logic Programming Techniques for Reasoning with Probabilistic Ontologies · Riccardo Zese, Elena Bellodi, +1 author. Fabrizio Riguzzi · Published in JOWO@IJCAI ...

Modeling real world domains requires ever more frequently to represent uncertain information. The. DISPONTE semantics for probabilistic description.

Usually these algorithms are implemented in procedural languages such as Java or C++. Most of the reasoners exploit the tableau algorithm which has to manage ...

Foundations of Probabilistic Logic Programming: Languages, semantics, inference and learning. F Riguzzi. River Publishers, 2022. 114, 2022 ; The PITA system: ...

2016/05/26 · Recently, the DISPONTE semantics has been proposed for probabilistic description logics. In DISPONTE, the axioms of a knowledge base can be ...

Approaches for performing inference from probabilistic ontologies following the DISPONTE semantics are discussed and the algorithm BUNDLE is presented for ...

Tableau Reasoners for Probabilistic Ontologies. Exploiting Logic Programming Techniques. Riccardo Zese1, Elena Bellodi1, Fabrizio Riguzzi2, and Evelina Lamma1.