Lehmann and Magidor's rational closure is acknowledged as a landmark in the field of non-monotonic logics and it has also been re-formulated in the context of Description 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 nonmonotone 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
2021
Abstract
Lehmann and Magidor's rational closure is acknowledged as a landmark in the field of non-monotonic logics and it has also been re-formulated in the context of Description 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 nonmonotone DL knowledge base into a description logic program (dl-program).File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_459195-doc_182458.pdf
accesso aperto
Descrizione: A rational entailment for expressive description logics via description logic programs
Dimensione
434.55 kB
Formato
Adobe PDF
|
434.55 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
