Università degli Studi dell'Insubria Insubria Space
 

InsubriaSPACE - Thesis PhD Repository >
Insubria Thesis Repository >
01 - Tesi di dottorato >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10277/167

Authors: Villa, Paola
Internal Tutor: FERRARI, MAURO
Title: Semantics foundations for constructive description logics.
Abstract: 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 information term semantics for description logics to formalize an action language for ALC. Finally, we define a semantics for ALC which is directly inspired by the Kripke style semantics for intuitionistic modal logics and we give a sound and complete tableau calculus for this semantics.
Subject MIUR : INF/01 INFORMATICA
Issue Date: 2010
Language: en
Doctoral course: Informatica
Academic cycle: 22
Publisher: Università degli Studi dell'Insubria
Citation: Villa, P.Semantics foundations for constructive description logics. (Doctoral Thesis, Università degli Studi dell'Insubria, 2010).

Files in This Item:

File Description SizeFormatVisibility
PhD thesis villa completa.pdftesto completo tesi672,91 kBAdobe PDFNot available View/Open


Items in InsubriaSPACE are protected by copyright, with all rights reserved, unless otherwise indicated.


Share this record
Del.icio.us

Citeulike

Connotea

Facebook

Stumble it!

reddit


 

  ICT Support, development & maintenance are provided by the AePIC team @ CILEA. Powered on DSpace Software.  Feedback