Sciweavers

Share
AIIA
2015
Springer

Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques

3 years 7 days ago
Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques
The adoption of Description Logics for modeling real world domains within the Semantic Web is exponentially increased in the last years, also due to the availability of a large number of reasoning algorithms. Most of them exploit the tableau algorithm which has to manage non-determinism, a feature that is not easy to handle using procedural languages such as Java or C++. Reasoning on real world domains also requires the capability of managing probabilistic and uncertain information. We thus present TRILL, for “Tableau Reasoner for descrIption Logics in proLog” and TRILLP , for “TRILL powered by Pinpointing formulas”, which implement the tableau algorithm and return the probability of queries. TRILLP , instead of the set of explanations for a query, computes a Boolean formula representing them, speeding up the computation.
Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Ev
Added 14 Apr 2016
Updated 14 Apr 2016
Type Journal
Year 2015
Where AIIA
Authors Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma
Comments (0)
books