Semantic characterization of rational closure: From propositional logic to description logics - Aix-Marseille Université Accéder directement au contenu
Article Dans Une Revue Artificial Intelligence Année : 2015

Semantic characterization of rational closure: From propositional logic to description logics

Laura Giordano
  • Fonction : Auteur
Valentina Gliozzi
  • Fonction : Auteur
Gian Luca Pozzato
  • Fonction : Auteur

Résumé

In this paper we provide a semantic reconstruction of rational closure. We first consider rational closure as defined by Lehman and Magidor [33] for propositional logic, and we provide a semantic characterization based on a minimal models mechanism on rational models. Then we extend the whole formalism and semantics to Description Logics, by focusing our attention to the standard ACC: we first naturally adapt to Description Logics Lehman and Magidor's propositional rational closure, starting from an extension of ACC with a typicality operator T that selects the most typical instances of a concept C (hence T(C) stands for typical C). Then, for the Description Logics, we define a minimal model semantics for the logic ACC and we show that it provides a semantic characterization for the rational closure of a Knowledge base. We consider both the rational closure of the TBox and the rational closure of the ABox

Dates et versions

hal-01479541 , version 1 (28-02-2017)

Identifiants

Citer

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. Semantic characterization of rational closure: From propositional logic to description logics. Artificial Intelligence, 2015, 226, pp.1-33. ⟨10.1016/j.artint.2015.05.001⟩. ⟨hal-01479541⟩
39 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More