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.
Semantics foundations for constructive description logics / Villa, Paola. - (2010).
Semantics foundations for constructive description logics.
Villa, Paola
2010-01-01
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.
| File | Dimensione | Formato | |
|---|---|---|---|
|
PhD thesis villa completa.pdf
embargo fino al 31/12/2100
Descrizione: testo completo tesi
Tipologia:
Tesi di dottorato
Licenza:
Non specificato
Dimensione
672.91 kB
Formato
Adobe PDF
|
672.91 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
