Lehmann and Magidor's rational closure is acknowledged as a land-mark in the field of non-monotonic logics and it has also been re-formulated in the context ofDescription Logics (DLs). We show here how to model a rational form of entailment for expressive DLs, such as SROIQ, providing a novel reasoning procedure that compiles a non-monotone DL knowledge base into a description logic program(dl-program).
A rational entailment for expressive description logics via description logic programs
Casini G;Straccia U
2022
Abstract
Lehmann and Magidor's rational closure is acknowledged as a land-mark in the field of non-monotonic logics and it has also been re-formulated in the context ofDescription Logics (DLs). We show here how to model a rational form of entailment for expressive DLs, such as SROIQ, providing a novel reasoning procedure that compiles a non-monotone DL knowledge base into a description logic program(dl-program).File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_459230-doc_178793.pdf
accesso aperto
Descrizione: Postprint - A Rational Entailment for Expressive DescriptionLogics via Description Logic Programs
Tipologia:
Versione Editoriale (PDF)
Dimensione
348.22 kB
Formato
Adobe PDF
|
348.22 kB | Adobe PDF | Visualizza/Apri |
|
prod_459230-doc_199632.pdf
solo utenti autorizzati
Descrizione: A Rational Entailment for Expressive DescriptionLogics via Description Logic Programs
Tipologia:
Versione Editoriale (PDF)
Dimensione
343.4 kB
Formato
Adobe PDF
|
343.4 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.
