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 | 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.