no code implementations • 1 Dec 2016 • Stefano Borgo, Loris Bozzato, Alessio Palmero Aprosio, Marco Rospocher, Luciano Serafini
Systems for automatic extraction of semantic information about events from large textual resources are now available: these tools are capable to generate RDF datasets about text extracted events and this knowledge can be used to reason over the recognized events.
no code implementations • 26 Dec 2014 • Loris Bozzato, Luciano Serafini
As the interest in the representation of context dependent knowledge in the Semantic Web has been recognized, a number of logic based solutions have been proposed in this regard.
no code implementations • 6 Aug 2018 • Loris Bozzato, Luciano Serafini, Thomas Eiter
This paper is an appendix to the paper "Reasoning with Justifiable Exceptions in Contextual Hierarchies" by Bozzato, Serafini and Eiter, 2018.
no code implementations • 22 May 2019 • Loris Bozzato, Thomas Eiter, Luciano Serafini
Representation of defeasible information is of interest in description logics, as it is related to the need of accommodating exceptional instances in knowledge bases.
no code implementations • 28 Jun 2021 • Loris Bozzato, Thomas Eiter, Luciano Serafini
In this direction, in our previous works we presented a framework for representing (contextualized) OWL RL knowledge bases with a notion of justified exceptions on defeasible axioms: reasoning in such framework is realized by a translation into ASP programs.
no code implementations • 6 Aug 2021 • Loris Bozzato, Thomas Eiter, Rafael Kiesel
In this paper, we overcome these limitations and present a generalization of CKR hierarchies to multiple contextual relations, along with their interpretation of defeasible axioms and preference.
no code implementations • 3 May 2023 • Loris Bozzato, Thomas Eiter, Rafael Kiesel, Daria Stepanova
In this paper, we show how to apply our theoretical work to real autonomous-vehicle scene data.
no code implementations • 1 Mar 2024 • Gabriele Sacco, Loris Bozzato, Oliver Kutz
Defeasible reasoning is a kind of reasoning where some generalisations may not be valid in all circumstances, that is general conclusions may fail in some cases.