Semantic Business Process Regulatory Compliance Checking Using LegalRuleML

被引：20

作者：

Governatori, Guido ^{[1
]}

Hashmi, Mustafa ^{[1
]}

Lam, Ho-Pun ^{[1
]}

Villata, Serena ^{[2
]}

Palmirani, Monica ^{[3
]}

机构：

[1] CSIRO, Data61, Spring Hill, Qld 4000, Australia

[2] Univ Cote Azur, CNRS, Inria, I3S, Rocquencourt, France

[3] Univ Bologna, CIRSFID, Bologna, Italy

来源：

KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT, EKAW 2016 | 2016年 / 10024卷

关键词：

REQUIREMENTS; NORMS;

D O I：

10.1007/978-3-319-49004-5_48

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Legal documents are the source of norms, guidelines, and rules that often feed into different applications. In this perspective, to foster the need of development and deployment of different applications, it is important to have a sufficiently expressive conceptual framework such that various heterogeneous aspects of norms can be modeled and reasoned with. In this paper, we investigate how to exploit SemanticWeb technologies and languages, such as LegalRuleML, to model a legal document. We show how the semantic annotations can be used to empower a business process (regulatory) compliance system and discuss the challenges of adapting a semantic approach to legal domain.

引用

页码：746 / 761

页数：16

共 50 条

[11] Formal approach for compliance rules checking in Business Process Models
Kherbouche, Oussama Mohammed
Ahmad, Adeel
Basson, Henri
[J]. 2013 IEEE 9TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES (ICET 2013), 2013, : 102 - 107
[12] A static compliance-checking framework for business process models
Liu, Y.
Mueller, S.
Xu, K.
[J]. IBM SYSTEMS JOURNAL, 2007, 46 (02) : 335 - 361
[13] Semantic-Based Logic Representation and Reasoning for Automated Regulatory Compliance Checking
Zhang, Jiansong
El-Gohary, Nora M.
[J]. JOURNAL OF COMPUTING IN CIVIL ENGINEERING, 2017, 31 (01)
[14] Process Compliance checking using Model Checker
Sebastian, Ritz
Asokan, Shimmi
[J]. PROCEEDINGS OF THE 2017 INTERNATIONAL CONFERENCE ON INVENTIVE COMMUNICATION AND COMPUTATIONAL TECHNOLOGIES (ICICCT), 2017, : 363 - 368
[15] Assessing the Compliance of Business Process Models with Regulatory Documents
Winter, Karolin
van der Aa, Han
Rinderle-Ma, Stefanie
Weidlich, Matthias
[J]. CONCEPTUAL MODELING, ER 2020, 2020, 12400 : 189 - 203
[16] Semantic topological querying for compliance checking
Bus, N.
Muhammad, F.
Fies, B.
Roxin, A.
[J]. EWORK AND EBUSINESS IN ARCHITECTURE, ENGINEERING AND CONSTRUCTION, 2018, : 459 - 464
[17] On Enabling Data-Aware Compliance Checking of Business Process Models
Knuplesch, David
Linh Thao Ly
Rinderle-Ma, Stefanie
Pfeifer, Holger
Dadam, Peter
[J]. CONCEPTUAL MODELING - ER 2010, 2010, 6412 : 332 - +
[18] Efficient full compliance checking of concurrent components for business process models
Tosatto, Silvano Colombo
Governatori, Guido
Beest, Nick Van
Olivieri, Francesco
[J]. Journal of Applied Logics, 2019, 6 (05): : 963 - 998
[19] EFFICIENT FULL COMPLIANCE CHECKING OF CONCURRENT COMPONENTS FOR BUSINESS PROCESS MODELS
Tosatto, Silvano Colombo
Governatori, Guido
Van Beest, Nick
Olivieri, Francesco
[J]. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2019, 6 (05): : 963 - 998
[20] Compliance checking of integrated business processes
Letia, Ioan Alfred
Groza, Adrian
[J]. DATA & KNOWLEDGE ENGINEERING, 2013, 87 : 1 - 18

← 1 2 3 4 5 →