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. The research that led to the present paper was partially supported by a grant of the group GNCS of INdAM.

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

Giordano L.;
2018-01-01

Abstract

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. The research that led to the present paper was partially supported by a grant of the group GNCS of INdAM.
File in questo prodotto:
File Dimensione Formato  
fi159(1-2)05.pdf

file disponibile solo agli amministratori

Tipologia: Versione Editoriale (PDF)
Licenza: DRM non definito
Dimensione 421.29 kB
Formato Adobe PDF
421.29 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11579/95209
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 5
social impact