No Cover Image

Semantics foundations for constructive description logics.

In this work we present our contributions to the study of semantics foundations for constructive description logics. In particular, we propose a Kripke style semantics for the basic description logic ALC, and we give a sound and complete tableau calculus for this semantics. Then we exploit an inform...

Full description

Saved in:
Main Author: Villa, Paola
Format: Doctoral Thesis
Language: Inglese
Published: Università degli Studi dell'Insubria 2010
Online Access: http://hdl.handle.net/10277/167 Restricted access