Actions Over a Constructive Semantics for Description Logics

Issue title: Advances in Computational Logic (CIL C08)

Article type: Research Article

Authors: Bozzato, Loris | Ferrari, Mauro | Villa, Paola

Affiliations: Dipartimento di Informatica e Comunicazione, Università degli Studi dell'Insubria, Via Mazzini 5, 21100, Varese, Italy

Abstract: Following the approaches given in recent works about action languages over description logics, we propose an action formalism based on a constructive information terms semantics for ALC. We discuss how a notion of state can be naturally encoded by this semantics. We address the problems of determining executability of an action, building the state obtained by an action application and checking its consistency: we present an algorithm to solve the latter two problems.

DOI: 10.3233/FI-2009-178

Journal: Fundamenta Informaticae, vol. 96, no. 3, pp. 253-269, 2009