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/272

Autori: Bozzato, Loris
Tutor interno: FERRARI, MAURO
Titolo: Kripke semantics and tableau procedures for constructive description logics.
Abstract: In this work we present the decidable constructive description logic KALC: the logic is based on a Kripke-style semantics for the language of the description logic ALC and it is directly inspired by the Kripke semantics for first order intuitionistic logic. We study the constructive properties of this logic and its relations with classical semantics. Then, by means of an example, we show how its semantics is suitable for the description of incomplete and dynamic knowledge. We then introduce a tableau calculus for this logic and we prove its completeness with respect to KALC semantics. Most notably, by proving the completeness and termination results for such calculus, we obtain an effective proof search algorithm for our logic. We also study the relations of KALC with our previous proposals for constructive description logics, with first order intuitionistic logic and with well-known intuitionistic multi-modal logics. We conclude by presenting an application for a different constructive semantics for KALC in the context of Semantic Web services composition
Parole chiave: description logics, constructive logics, proof theory
MIUR : INF/01 INFORMATICA
Data: 2011
Lingua: en
Corso di dottorato: Informatica
Ciclo di dottorato: 23
Università di conseguimento titolo: Università degli Studi dell'Insubria
Citazione: Bozzato, L.Kripke semantics and tableau procedures for constructive description logics. (Doctoral Thesis, Università degli Studi dell'Insubria, 2011).

Full text:

File Descrizione DimensioniFormatoConsultabilità
Phd_thesis_bozzato_completa.pdftesto completo tesi587,16 kBAdobe PDFVisualizza/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