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 • 3 Jun 2020 • Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi
The state-of-the-art hyper-parameters tuning methods are grid search, random search, and Bayesian Optimization.
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.