Title: KALC: a constructive semantics for ALC
Authors: VILLA PAOLA
Citation: Journal of applied non-classical logics vol. 21 no. 2 p. 233-255
Publisher: Lavoisier
Publication Year: 2011
JRC NĀ°: JRC62439
ISSN: 1166-3081
URI: http://jancl.e-revues.com/acceuil.jsp
http://publications.jrc.ec.europa.eu/repository/handle/JRC62439
DOI: 10.3166/JANCL.21.233ā€“254
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.