Deontic Reasoning for Legal Ontologies - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

Deontic Reasoning for Legal Ontologies

Résumé

Many standards exist to formalize legal texts and rules. The same is true for legal ontologies. However, there is no proof theory to draw conclusions for these ontologically modeled rules. We address this gap by the proposal of a new modeling of deontic statements, and then we use this modeling to propose reasoning mechanisms to answer deontic questions i.e., questions like "Is it mandatory/permitted/prohibited to…"'. We also show that using this modeling, it is possible to check the consistency of a deontic rule base. This work stands as a first important step towards a proof theory over a deontic rule base.

Dates et versions

hal-02141770 , version 1 (28-05-2019)

Identifiants

Citer

Cheikh Kafcah Emani, Yannis Haralambous. Deontic Reasoning for Legal Ontologies. ESWC 2019 : 16th European Semantic Web Conference, Jun 2019, Portorož, Slovenia. ⟨10.1007/978-3-030-21348-0_14⟩. ⟨hal-02141770⟩
47 Consultations
0 Téléchargements

Altmetric

Partager

More