Authors: Laura Giordano and Valentina Gliozzi
Paper Information
Title: | Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure |
Authors: | Laura Giordano and Valentina Gliozzi |
Proceedings: | PRUV PRUV 2018 Proceedings |
Editors: | Thomas Lukasiewicz, Rafael PeƱaloza and Anni-Yasmin Turhan |
Keywords: | Description logics, Preferential logics, Rational closure |
Abstract: | ABSTRACT. Reasoning about exceptions in ontologies is nowadays one of the challenges the description logics community is facing. The paper describes a preferential approach for dealing with exceptions in Description Logics, based on the rational closure. The rational closure has the merit of providing a simple and efficient approach for reasoning with exceptions, but it does not allow independent handling of the inheritance of different defeasible properties of concepts. In this work we outline a possible solution to this problem by introducing a variant of the lexicographical closure, that we call {\em skeptical closure}, which requires to construct a single base. This work is based on the extended abstract presented at CILC/ICTCS 2017. |
Pages: | 8 |
Talk: | Jul 19 15:10 (Session 134E: Invited talk II & a short paper) |
Paper: |