no code implementations • 15 Jun 2023 • Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi
The necessity to manage inconsistency in Description Logics Knowledge Bases~(KBs) has come to the fore with the increasing importance gained by the Semantic Web, where information comes from different sources that constantly change their content and may contain contradictory descriptions when considered either alone or together.
no code implementations • 6 Aug 2021 • Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi
Uncertain information is being taken into account in an increasing number of application fields.
no code implementations • 2 Oct 2020 • Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi
We provide a comparison of the different reasoning settings on several datasets.
no code implementations • 4 Aug 2020 • Elena Bellodi, Marco Alberti, Fabrizio Riguzzi, Riccardo Zese
In Probabilistic Logic Programming (PLP) the most commonly studied inference task is to compute the marginal probability of a query given a program.
no code implementations • 17 Sep 2018 • Riccardo Zese, Giuseppe Cota, Evelina Lamma, Elena Bellodi, Fabrizio Riguzzi
TRILL and TRILLP are systems offering a Prolog implementation of the tableau algorithm.
no code implementations • 13 May 2014 • Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vitor Santos Costa, Riccardo Zese
Lifted inference has been proposed for various probabilistic logical frameworks in order to compute the probability of queries in a time that depends on the size of the domains of the random variables rather than the number of instances.
no code implementations • 5 May 2014 • Riccardo Zese
The interest in the combination of probability with logics for modeling the world has rapidly increased in the last few years.