Please use this identifier to cite or link to this item:
|Title:||KALC: a constructive semantics for ALC|
|Citation:||Journal of applied non-classical logics vol. 21 no. 2 p. 233-255|
|Type:||Articles in Journals|
|Abstract:||In this article we firstly present a Kripke semantics for the description logic ALC which is directly inspired by the semantics for Intuitionistic logic. Moreover, we discuss why a direct translation of this kind of semantics is not adequate in the description logic context and propose a constructive semantics that differs from the previous one by the fact that we impose a condition on the partial order. We also present a tableau calculus which is sound and complete with respect to our semantics. As an application of the calculus we prove that this semantics meets the disjunction property, a key criterion used in assessing whether a logic is constructive.|
|JRC Institute:||Institute for the Protection and Security of the Citizen|
Files in This Item:
There are no files associated with this item.
Items in repository are protected by copyright, with all rights reserved, unless otherwise indicated.