FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure

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: