Enabling reasoning with legalruleML

Ho Pun Lam; Mustafa Hashmi; Brendan Scofield

doi:10.1007/978-3-319-42019-6_16

Enabling reasoning with legalruleML

Ho Pun Lam^*, Mustafa Hashmi, Brendan Scofield

^*Corresponding author for this work

CSIRO

Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

15 Citations (Scopus)

Abstract

This paper presents an approach for the specification and implementation of translating legal norms represented using Legal- RuleML to a variant of Modal Defeasible Logic. From its logical form, legal norms will be transformed into a machine readable format and eventually implemented as executable semantics that can be reasoned about depending upon the client’s preference.

Original language	English
Title of host publication	Rule Technologies
Subtitle of host publication	Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Proceedings
Editors	Dumitru Roman, Jose Julio Alferes, Paul Fodor, Leopoldo Bertossi, Guido Governatori
Publisher	Springer Verlag
Pages	241-257
Number of pages	17
ISBN (Print)	9783319420189
DOIs	https://doi.org/10.1007/978-3-319-42019-6_16
Publication status	Published - 2016
Externally published	Yes
Event	10th International Symposium on Rule Technologies, RuleML 2016 - Stony Brook, United States Duration: 6 Jul 2016 → 9 Jul 2016

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9718
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	10th International Symposium on Rule Technologies, RuleML 2016
Country/Territory	United States
City	Stony Brook
Period	6/07/16 → 9/07/16

Keywords

Business contracts
Defeasible logic
Legal reasoning
LegalRuleML

Access to Document

10.1007/978-3-319-42019-6_16

Cite this

Lam, H. P., Hashmi, M., & Scofield, B. (2016). Enabling reasoning with legalruleML. In D. Roman, J. J. Alferes, P. Fodor, L. Bertossi, & G. Governatori (Eds.), Rule Technologies: Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Proceedings (pp. 241-257). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9718). Springer Verlag. https://doi.org/10.1007/978-3-319-42019-6_16

Lam, Ho Pun ; Hashmi, Mustafa ; Scofield, Brendan. / Enabling reasoning with legalruleML. Rule Technologies: Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Proceedings. editor / Dumitru Roman ; Jose Julio Alferes ; Paul Fodor ; Leopoldo Bertossi ; Guido Governatori. Springer Verlag, 2016. pp. 241-257 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{56dd785fad8c418db46f33be5b00631f,

title = "Enabling reasoning with legalruleML",

abstract = "This paper presents an approach for the specification and implementation of translating legal norms represented using Legal- RuleML to a variant of Modal Defeasible Logic. From its logical form, legal norms will be transformed into a machine readable format and eventually implemented as executable semantics that can be reasoned about depending upon the client{\textquoteright}s preference.",

keywords = "Business contracts, Defeasible logic, Legal reasoning, LegalRuleML",

author = "Lam, {Ho Pun} and Mustafa Hashmi and Brendan Scofield",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; 10th International Symposium on Rule Technologies, RuleML 2016 ; Conference date: 06-07-2016 Through 09-07-2016",

year = "2016",

doi = "10.1007/978-3-319-42019-6_16",

language = "English",

isbn = "9783319420189",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "241--257",

editor = "Dumitru Roman and Alferes, {Jose Julio} and Paul Fodor and Leopoldo Bertossi and Guido Governatori",

booktitle = "Rule Technologies",

}

Lam, HP, Hashmi, M & Scofield, B 2016, Enabling reasoning with legalruleML. in D Roman, JJ Alferes, P Fodor, L Bertossi & G Governatori (eds), Rule Technologies: Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9718, Springer Verlag, pp. 241-257, 10th International Symposium on Rule Technologies, RuleML 2016, Stony Brook, United States, 6/07/16. https://doi.org/10.1007/978-3-319-42019-6_16

Enabling reasoning with legalruleML. / Lam, Ho Pun; Hashmi, Mustafa; Scofield, Brendan.
Rule Technologies: Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Proceedings. ed. / Dumitru Roman; Jose Julio Alferes; Paul Fodor; Leopoldo Bertossi; Guido Governatori. Springer Verlag, 2016. p. 241-257 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9718).

Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

TY - GEN

T1 - Enabling reasoning with legalruleML

AU - Lam, Ho Pun

AU - Hashmi, Mustafa

AU - Scofield, Brendan

N1 - Publisher Copyright: © Springer International Publishing Switzerland 2016.

PY - 2016

Y1 - 2016

N2 - This paper presents an approach for the specification and implementation of translating legal norms represented using Legal- RuleML to a variant of Modal Defeasible Logic. From its logical form, legal norms will be transformed into a machine readable format and eventually implemented as executable semantics that can be reasoned about depending upon the client’s preference.

AB - This paper presents an approach for the specification and implementation of translating legal norms represented using Legal- RuleML to a variant of Modal Defeasible Logic. From its logical form, legal norms will be transformed into a machine readable format and eventually implemented as executable semantics that can be reasoned about depending upon the client’s preference.

KW - Business contracts

KW - Defeasible logic

KW - Legal reasoning

KW - LegalRuleML

UR - http://www.scopus.com/inward/record.url?scp=84979080353&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-42019-6_16

DO - 10.1007/978-3-319-42019-6_16

M3 - Conference Proceeding

AN - SCOPUS:84979080353

SN - 9783319420189

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 241

EP - 257

BT - Rule Technologies

A2 - Roman, Dumitru

A2 - Alferes, Jose Julio

A2 - Fodor, Paul

A2 - Bertossi, Leopoldo

A2 - Governatori, Guido

PB - Springer Verlag

T2 - 10th International Symposium on Rule Technologies, RuleML 2016

Y2 - 6 July 2016 through 9 July 2016

ER -

Lam HP, Hashmi M, Scofield B. Enabling reasoning with legalruleML. In Roman D, Alferes JJ, Fodor P, Bertossi L, Governatori G, editors, Rule Technologies: Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Proceedings. Springer Verlag. 2016. p. 241-257. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-42019-6_16

Enabling reasoning with legalruleML

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this