Reasoning about exceptions in ontologies: From the lexicographic closure to the skeptical closure

Laura Giordano, Valentina Gliozzi

Risultato della ricerca: Contributo su rivistaArticolo da conferenzapeer review

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 skeptical closure, which requires to construct a single base. A preliminary version of this work appeared in [22].

Lingua originaleInglese
RivistaCEUR Workshop Proceedings
Volume2157
Stato di pubblicazionePubblicato - 2018
Evento2nd Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness, PRUV 2018 - Oxford, United Kingdom
Durata: 19 lug 2018 → …

Fingerprint

Entra nei temi di ricerca di 'Reasoning about exceptions in ontologies: From the lexicographic closure to the skeptical closure'. Insieme formano una fingerprint unica.

Cita questo