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
关键词
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 条
  • [1] Patterns for legal compliance checking in a decidable framework of linked open data
    Enrico Francesconi
    Guido Governatori
    Artificial Intelligence and Law, 2023, 31 : 445 - 464
  • [2] Legal Compliance in a Linked Open Data Framework
    Francesconi, Enrico
    Governatori, Guido
    LEGAL KNOWLEDGE AND INFORMATION SYSTEMS (JURIX 2019), 2019, 322 : 175 - 180
  • [3] Legal aspects of linked data - The European framework
    Rodriguez-Doncel, Victor
    Santos, Cristiana
    Casanovas, Pompeu
    Gomez-Perez, Asuncion
    COMPUTER LAW & SECURITY REVIEW, 2016, 32 (06) : 799 - 813
  • [4] Formal Framework for Checking Compliance of Data-Driven Case Management
    Haarmann, Stephan
    Holfter, Adrian
    Pufahl, Luise
    Weske, Mathias
    JOURNAL ON DATA SEMANTICS, 2021, 10 (1-2) : 143 - 163
  • [5] TIME AND COMPENSATION MECHANISMS IN CHECKING LEGAL COMPLIANCE
    Governatori, Guido
    Rotolo, Antonino
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2019, 6 (05): : 815 - 845
  • [6] Compliance Checking in the Open Payments Ecosystem
    Azzopardi, Shaun
    Colombo, Christian
    Pace, Gordon J.
    Vella, Brian
    SOFTWARE ENGINEERING AND FORMAL METHODS: 14TH INTERNATIONAL CONFERENCE, SEFM 2016, 2016, 9763 : 337 - 343
  • [7] Time and compensation mechanisms in checking legal compliance
    Governatori, Guido
    Rotolo, Antonino
    Journal of Applied Logics, 2019, 6 (05): : 815 - 845
  • [8] Modelling Legal Knowledge for GDPR Compliance Checking
    Palmirani, Monica
    Governatori, Guido
    LEGAL KNOWLEDGE AND INFORMATION SYSTEMS (JURIX 2018), 2018, 313 : 101 - 110
  • [9] A Compliance Checking Framework for DNN Models
    Verma, Sunny
    Wang, Chen
    Zhu, Liming
    Liu, Wei
    PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2019, : 6470 - 6471
  • [10] OpLiDaF Open Linked Data Framework: a platform for the creation and publication of linked data
    Possemato, Tiziana
    JLIS.IT, 2013, 4 (01): : 271 - 289