We introduce an extension of Description Logics (DL), appropriate for modelling and reasoning about deontic notions. Moving from defeasible AℒC, an extension of the DL AℒC which allows us to model and reason about defeasible information (rules that admit exceptions), we show how to modify the semantics in order to also represent and manage conditional obligations and permissions, and we present the corresponding, and easily implementable, decision procedures. Also, we define a semantics combining reasoning about expectations and reasoning about norms, pairing it with corresponding decision procedures.
Casini, G., Meyer, T., Penaloza, R., Van Der Torre, L. (2026). Deontic Defeasible Description Logic. In Proceedings of the 39th International Workshop on Description Logics (DL 2026) co-located with the Federated Logic Conference (FLoC 2026). CEUR-WS.
Deontic Defeasible Description Logic
Penaloza R.;
2026
Abstract
We introduce an extension of Description Logics (DL), appropriate for modelling and reasoning about deontic notions. Moving from defeasible AℒC, an extension of the DL AℒC which allows us to model and reason about defeasible information (rules that admit exceptions), we show how to modify the semantics in order to also represent and manage conditional obligations and permissions, and we present the corresponding, and easily implementable, decision procedures. Also, we define a semantics combining reasoning about expectations and reasoning about norms, pairing it with corresponding decision procedures.
| File | Dimensione | Formato | |
|---|---|---|---|
|
Casini et al-2026-Casini-VoR.pdf
accesso aperto
Tipologia di allegato:
Author’s Accepted Manuscript, AAM (Post-print)
Licenza:
Creative Commons
Dimensione
932.18 kB
Formato
Adobe PDF
|
932.18 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
