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 条
  • [21] LINKED DATA FOR OPEN VOCABULARIES AND HIVE'S GLOBAL FRAMEWORK
    Mendez, Eva
    Greenberg, Jane
    PROFESIONAL DE LA INFORMACION, 2012, 21 (03): : 236 - 244
  • [22] A Heuristic Expansion Framework for Mapping Instances to Linked Open Data
    Kertkeidkachorn, Natthawut
    Ichise, Ryutaro
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2016, E99D (07) : 1786 - 1795
  • [23] Linked open data framework for ethnic groups in Thailand learning
    Chansanam W.
    Tuamsuk K.
    Chaikhambung J.
    Sugimoto S.
    Chansanam, Wirapong (wirach@kku.ac.th), 1600, Kassel University Press GmbH (15): : 140 - 156
  • [24] Early Verification of Legal Compliance via Bounded Satisfiability Checking
    Feng, Nick
    Marsso, Lina
    Sabetzadeh, Mehrdad
    Chechik, Marsha
    COMPUTER AIDED VERIFICATION, CAV 2023, PT III, 2023, 13966 : 374 - 396
  • [25] Foundation of a Framework to Support Compliance Checking in Construction Industry
    Shen, Wuwei
    Li, Guangyuan
    Lin, Chung-Ling
    Liang, Hongliang
    STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD, SOFL+MSVL 2017, 2018, 10795 : 111 - 122
  • [26] Planogram Compliance Checking Based on Detection of Recurring Patterns
    Liu, Song
    Li, Wanqing
    Davis, Stephen
    Ritz, Christian
    Tian, Hongda
    IEEE MULTIMEDIA, 2016, 23 (02) : 54 - 63
  • [27] Understanding some of the open data challenges to data protection in the developing European legal framework
    Katulic, Tihomir
    Musa, Anamarija
    Loncar, Darja
    CENTRAL EUROPEAN CONFERENCE ON INFORMATION AND INTELLIGENT SYSTEMS, CECIIS, 2023, : 35 - 41
  • [28] Towards a framework for tracking legal compliance in healthcare
    Ghanavati, Sepideh
    Amyot, Daniel
    Peyton, Liam
    ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS, 2007, 4495 : 218 - +
  • [29] An Integrated Framework for RESTful Web Services Using Linked Open Data
    Modi, Kiritkumar J.
    Garg, Sanjay
    Chaudhary, Sanjay
    INTERNATIONAL JOURNAL OF GRID AND HIGH PERFORMANCE COMPUTING, 2019, 11 (02) : 24 - 49
  • [30] A linked open data framework to enhance the discoverability and impact of culture heritage
    Candela, Gustavo
    Escobar, Pilar
    Carrasco, Rafael C.
    Marco-Such, Manuel
    JOURNAL OF INFORMATION SCIENCE, 2019, 45 (06) : 756 - 766