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 • 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.