no code implementations • 10 Jul 2021 • Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
In this paper we discuss the relationships between conditional and preferential logics and neural network models, based on a multi-preferential semantics.
no code implementations • 11 Mar 2021 • Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
In particular, we show that the input/output behavior of a Self-Organising Map after training can be described by a fuzzy description logic interpretation as well as by a preferential interpretation, based on a concept-wise multipreference semantics, which takes into account preferences with respect to different concepts and has been recently proposed for ranked and for weighted defeasible description logics.
no code implementations • 30 Aug 2020 • Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
Inthispaperwedescribeaconcept-wisemulti-preferencesemantics for description logic which has its root in the preferential approach for modeling defeasible reasoning in knowledge representation.
no code implementations • 20 Apr 2020 • Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato
In this work we describe preferential Description Logics of typicality, a nonmonotonic extension of standard Description Logics by means of a typicality operator T allowing to extend a knowledge base with inclusions of the form T(C) v D, whose intuitive meaning is that normally/typically Cs are also Ds.
no code implementations • 5 May 2019 • Laura Giordano, Valentina Gliozzi
Here, we reconstruct the notion of MP-closure in the propositional case and we show that it is a natural variant of Lehmann's lexicographic closure.
no code implementations • 8 Jul 2018 • Laura Giordano, Valentina Gliozzi
Reasoning about exceptions in ontologies is nowadays one of the challenges the description logics community is facing.
no code implementations • 26 Feb 2018 • Valentina Gliozzi, Kim Plunkett
Category, or property generalization is a central function in the human cognition.
no code implementations • 18 Jan 2018 • Laura Giordano, Valentina Gliozzi
Starting from the observation that rational closure has the undesirable property of being an "all or nothing" mechanism, we here propose a multipreferential semantics, which enriches the preferential semantics underlying rational closure in order to separately deal with the inheritance of different properties in an ontology with exceptions.
no code implementations • 1 Apr 2016 • Valentina Gliozzi
We propose a logical analysis of the concept of typicality, central in human cognition (Rosch, 1978).
no code implementations • 8 Jun 2014 • Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
We define a notion of rational closure for the logic SHIQ, which does not enjoys the finite model property, building on the notion of rational closure introduced by Lehmann and Magidor in [23].
no code implementations • 5 May 2013 • Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
We show that this semantics captures exactly a notion of rational closure which is a natural extension to Description Logics of Lehmann and Magidor's original one.