Università degli Studi dell'Insubria Insubria Space
 

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

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/10277/167

Autori: Villa, Paola
Tutor interno: FERRARI, MAURO
Titolo: 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.
MIUR : INF/01 INFORMATICA
Data: 2010
Lingua: en
Corso di dottorato: Informatica
Ciclo di dottorato: 22
Università di conseguimento titolo: Università degli Studi dell'Insubria
Citazione: Villa, P.Semantics foundations for constructive description logics. (Doctoral Thesis, Università degli Studi dell'Insubria, 2010).

Full text:

File Descrizione DimensioniFormatoConsultabilità
PhD thesis villa completa.pdftesto completo tesi672,91 kBAdobe PDFnon consultabile Visualizza/apri


Tutti i documenti archiviati in InsubriaSPACE sono protetti da copyright. Tutti i diritti riservati.


Segnala questo record su
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