Patterns for legal compliance checking in a decidable framework of linked open data

被引：7
|
作者：
Francesconi, Enrico [1 ]
Governatori, Guido [1 ]
机构：
[1] Ist Informat Giurid & Sistemi Giudiziari IGSG CNR, Florence, Italy
来源：
ARTIFICIAL INTELLIGENCE AND LAW | 2023年 / 31卷 / 03期
关键词：
Legal reasoning; Norm compliance; Semantic Web; OWL; 2; LOGIC; SUPPORT;
D O I：
10.1007/s10506-022-09317-8
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper presents an approach for legal compliance checking in the Semantic Web which can be effectively applied for applications in the Linked Open Data environment. It is based on modeling deontic norms in terms of ontology classes and ontology property restrictions. It is also shown how this approach can handle norm defeasibility. Such methodology is implemented by decidable fragments of OWL 2, while legal reasoning is carried out by available decidable reasoners. The approach is generalised by presenting patterns for modeling deontic norms and norms compliance checking.
引用
收藏
页码：445 / 464
页数：20
相关论文
共 50 条
  • [31] ExpLOD: a Framework for Explaining Recommendations based on the Linked Open Data Cloud
    Musto, Cataldo
    Narducci, Fedelucio
    Lops, Pasquale
    De Gemmis, Marco
    Semeraro, Giovanni
    PROCEEDINGS OF THE 10TH ACM CONFERENCE ON RECOMMENDER SYSTEMS (RECSYS'16), 2016, : 151 - 154
  • [32] Open Data-Linked Data-Linked Open Data-Linguistic Linked Open Data (LLOD): A General Introduction
    Chiarcos, Christian
    Pareja-Lora, Antonio
    DEVELOPMENT OF LINGUISTIC LINKED OPEN DATA RESOURCES FOR COLLABORATIVE DATA-INTENSIVE RESEARCH IN THE LANGUAGE SCIENCES, 2019, : 1 - 17
  • [33] LOD-GF: An Integral Linked Open Data Generation Framework
    Saquicela, Victor
    Segarra, Jose
    Ortiz, Jose
    Tello, Andres
    Espinoza, Mauricio
    Lupercio, Lucia
    Villazon-Terrazas, Boris
    INFORMATION AND COMMUNICATION TECHNOLOGIES OF ECUADOR (TIC.EC), 2019, 884 : 283 - 300
  • [34] A Mashup-Based Framework for Business Process Compliance Checking
    Cabanillas, Cristina
    Resinas, Manuel
    Ruiz-Cortes, Antonio
    IEEE TRANSACTIONS ON SERVICES COMPUTING, 2022, 15 (03) : 1564 - 1577
  • [35] A Generalized Adaptive Framework (GAF) for Automating Code Compliance Checking
    Nawari, Nawari O.
    BUILDINGS, 2019, 9 (04)
  • [36] Linked Open Data
    Fundulaki, Irini
    Auer, Soeren
    ERCIM NEWS, 2014, (96): : 8 - 9
  • [37] Linked open data
    Miyazaki M.
    Miyazaki, Masaru, 1600, Inst. of Image Information and Television Engineers (70): : 153 - 156
  • [38] A static compliance-checking framework for business process models
    Liu, Y.
    Mueller, S.
    Xu, K.
    IBM SYSTEMS JOURNAL, 2007, 46 (02) : 335 - 361
  • [39] Local Type Checking for Linked Data Consumers
    Ciobanu, Gabriel
    Horne, Ross
    Sassone, Vladimiro
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (123): : 19 - 33
  • [40] Business process compliance checking based on provenance data
    Li, Bin
    Wang, Yifei
    Pei, Jisheng
    Ye, Xiaojun
    Qinghua Daxue Xuebao/Journal of Tsinghua University, 2013, 53 (12): : 1768 - 1776
12345