In the field of non-monotonic logics, the lexicographic closure is acknowledged as a a powerful and logically well-characterized approach; we are going to see that such a construction can be applied in the field of Description Logics, an important knowledge representation formalism, and we shall provide a simple decision decision procedure.
Lexicographic Closure for Defeasible Description Logics
Straccia U
2012
Abstract
In the field of non-monotonic logics, the lexicographic closure is acknowledged as a a powerful and logically well-characterized approach; we are going to see that such a construction can be applied in the field of Description Logics, an important knowledge representation formalism, and we shall provide a simple decision decision procedure.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_222790-doc_53287.pdf
solo utenti autorizzati
Descrizione: aow12
Tipologia:
Versione Editoriale (PDF)
Dimensione
310.58 kB
Formato
Adobe PDF
|
310.58 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
prod_222790-doc_78294.pdf
solo utenti autorizzati
Descrizione: Lexicographic Closure for Defeasible Description Logics
Tipologia:
Versione Editoriale (PDF)
Dimensione
310.58 kB
Formato
Adobe PDF
|
310.58 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.
