Towards a Rational Closure for Expressive Description Logics:the Case of SHIQ - Aix-Marseille Université Accéder directement au contenu
Article Dans Une Revue Fundamenta Informaticae Année : 2018

Towards a Rational Closure for Expressive Description Logics:the Case of SHIQ

Résumé

We explore the extension of the notion of rational closure to logics lacking the finite model property, considering the logic SHIQ. We provide a semantic characterization of rational closure in SHIQ in terms of a preferential semantics, based on a finite rank characterization of minimal models. We show that the rational closure of a KB can be computed in EXPTIME based on a polynomial encoding of the rational extension of SHIQ into entailment in SHIQ. We discuss the extension of rational closure to more expressive description logics.
Fichier principal
Vignette du fichier
fi159(1-2)05GGO - CopieUP.pdf (452.73 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02079796 , version 1 (26-03-2019)

Identifiants

Citer

Laura Giordano, Valentina Gliozzi, Nicola Olivetti. Towards a Rational Closure for Expressive Description Logics:the Case of SHIQ. Fundamenta Informaticae, 2018, 159 (1-2), pp.95-122. ⟨10.3233/FI-2018-1659⟩. ⟨hal-02079796⟩
71 Consultations
162 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More