research-article

OASIS LegalRuleML

Authors:

Guido Governatori,

Monica Palmirani,

Adrian Paschke,

Adam WynerAuthors Info & Claims

ICAIL '13: Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law

Pages 3 - 12

https://doi.org/10.1145/2514601.2514603

Published: 10 June 2013 Publication History

Abstract

In this paper we present the motivation, use cases, design principles, abstract syntax, and initial core of LegalRuleML. The LegalRuleML-core is sufficiently rich for expressing legal sources, time, defeasibility, and deontic operators. An example is provided. LegalRuleMLis compared to related work.

References

[1]

G. Antoniou. Defeasible logic with dynamic priorities. International Journal of Intelligent Systems, 19(5):463--472, 2004.

Digital Library

[2]

G. Antoniou, D. Billington, G. Governatori, and M. J. Maher. Representation results for defeasible logic. ACM Transactions on Computational Logic, 2(2):255--287, 2001.

Digital Library

[3]

K. Ashley and T. M. van Engers, editors. Proceedings of the 13th International Conference on Artificial Intelligence and Law, Pittsburgh, PA, USA, June 6--10 2011. ACM Press.

[4]

T. Bench-Capon and F. P. Coenen. Isomorphism and legal knowledge based systems. Artificial Intelligence and Law, 1(1):65--86, 1992.

Digital Library

[5]

V. R. Benjamins, P. Casanovas, J. Breuker, and A. Gangemi, editors. Law and the Semantic Web: Legal Ontologies, Methodologies, Legal Information Retrieval and Applications. Springer, 2005.

Digital Library

[6]

T. Berners-Lee. Long live the web: A call for continued open standards and neutrality. Scientific American, (22 November): 1--6, 2010.

[7]

A. Boer, R. Winkels, and F. Vitali. Metalex XML and the legal knowledge interchange format. In P. Casanovas, G. Sartor, N. Casellas, and R. Rubino, editors, Computable Models of the Law, Languages, Dialogues, Games, Ontologies, volume 4884 of Lecture Notes in Computer Science, pages 21--41. Springer, 2008.

Digital Library

[8]

J. Breuker, A. Boer, R. Hoekstra, and K. van den Berg. Developing content for lkif: Ontologies and frameworks for legal reasoning. In T. M. van Engers, editor, JURIX, volume 152 of Frontiers in Artificial Intelligence and Applications, pages 169--174. IOS Press, 2006.

Digital Library

[9]

Estrella Project. The legal knowledge interchange format (LKIF). Technical report, ESTRELLA Project, 2008. URL http://www.estrellaproject.org/doc/Estrella-D4.1.pdf.

[10]

E. Francesconi, S. Montemagni, W. Peters, and D. Tiscornia, editors. Semantic Processing of Legal Texts: Where the Language of Law Meets the Law of Language, volume 6036 of Lecture Notes in Computer Science, 2010. Springer.

Digital Library

[11]

T. Gordon, H. Prakken, and D. Walton. The Carneades model of argument and burden of proof. Artificial Intelligence, 171: 875--896, 2007.

Digital Library

[12]

T. F. Gordon. The Pleadings Game; An Artificial Intelligence Model of Procedural Justice. Springer, New York, 1995.

Digital Library

[13]

T. F. Gordon. Constructing legal arguments with rules in the legal knowledge interchange format (LKIF). In P. Casanovas, N. Casellas, R. Rubino, and G. Sartor, editors, Computable Models of the Law, number 4884 in Lecture Notes in Computer Science, pages 162--184. Springer Verlag, 2008.

Digital Library

[14]

T. F. Gordon, G. Governatori, and A. Rotolo. Rules and norms: Requirements for rule interchange languages in the legal domain. In Governatori et al. {2009}, pages 282--296.

Digital Library

[15]

G. Governatori. Representing business contracts in RuleML. International Journal of Cooperative Information Systems, 14(2-3): 181--216, 2005.

[16]

G. Governatori. On the relationship between Carneades and defeasible logic. In T. van Engers, editor, Procedings of the 13th International Conference on Artificial Intelligence and Law (ICAIL 2011). ACM Press, 2011.

Digital Library

[17]

G. Governatori and A. Rotolo. Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic, 4:193--215, 2006.

[18]

G. Governatori and A. Rotolo. Norm compliance in business process modeling. In M. Dean, J. Hall, A. Rotolo, and S. Tabet, editors, RuleML, volume 6403 of Lecture Notes in Computer Science, pages 194--209. Springer, 2010.

Digital Library

[19]

G. Governatori, A. Rotolo, and G. Sartor. Temporalised normative positions in defeasible logic. In Procedings of the 10th International Conference on Artificial Intelligence and Law (ICAIL 2005), pages 25--34. ACM, 2005.

Digital Library

[20]

G. Governatori, J. Hall, and A. Paschke, editors. International Symposium on Rule Interchange and Applications, RuleML 2009, Lecture Notes in Computer Science 5858, 2009. Springer.

Digital Library

[21]

B. N. Grosof. Representing e-commerce rules via situated courteous logic programs in RuleML. Electronic Commerce Research and Applications, 3(1):2--20, 2004.

[22]

R. Hoekstra, J. Breuker, M. D. Bello, and A. Boer. LKIF core: Principled ontology development for the legal domain. In Law, Ontologies and the Semantic Web, pages 21--52, Amsterdam, The Netherlands, 2009.

Digital Library

[23]

H. Kelsen. Reine Rechtslehre. Wien, 2nd edition, 1960.

[24]

C. Lupo, F. Vitali, E. Francesconi, M. Palmirani, R. Winkels, E. de Maat, A. Boer, and P. Mascellani. General XML format(s) for legal sources - Estrella European Project IST-2004-027655. Technical report, Faculty of Law, University of Amsterdam, Amsterdam, The Netherlands, 2007.

[25]

D. Nute. Handbook of Logic in Artificial Intelligence and Logic Programming, volume 3, chapter Defeasible Logic, pages 353--395. Oxford University Press, Oxford, 1994.

Digital Library

[26]

M. Palmirani, G. Contissa, and R. Rubino. Fill the gap in the legal knowledge modelling. In Governatori et al. {2009}, pages 305--314.

Digital Library

[27]

M. Palmirani, G. Governatori, and G. Contissa. Temporal dimensions in rules modelling. In R. Winkels, editor, JURIX, volume 223 of Frontiers in Artificial Intelligence and Applications, pages 159--162. IOS Press, 2010.

Digital Library

[28]

H. Prakken and G. Sartor. A dialectical model of assessing conflicting argument in legal reasoning. Artificial Intelligence and Law, 4(3-4):331--368, 1996.

Digital Library

[29]

H. Prakken and G. Sartor. Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics, 7(1), 1997.

[30]

G. Sartor. Legal reasoning: A cognitive approach to the law. In E. Pattaro, H. Rottleuthner, R. Shiner, A. Peczenik, and G. Sartor, editors, A Treatise of Legal Philosophy and General Jurisprudence, volume 5, page 844. Springer, 2005.

[31]

G. Sartor. Legal concepts as inferential nodes and ontological categories. Artificial Intelligence and Law, 17(3):217--251, 2009.

Digital Library

[32]

J. R. Searle. The Construction of Social Reality. The Free Press, New York, 1996.

[33]

A. Wyner, K. Angelov, G. Barzdins, D. Damljanovic, B. Davis, N. Fuchs, S. Hoefler, K. Jones, K. Kaljurand, T. Kuhn, M. Luts, J. Pool, M. Rosner, R. Schwitter, and J. Sowa. On controlled natural languages: properties and prospects. In Proceedings of the 2009 conference on Controlled natural language, CNL'09, pages 281--289, Berlin, Heidelberg, 2010. Springer-Verlag.

Digital Library

Cited By

Colombo ASerra ESpezzano F(2024)Leveraging Knowledge Graphs and LLMs to Support and Monitor Legislative SystemsProceedings of the 33rd ACM International Conference on Information and Knowledge Management10.1145/3627673.3680268(5443-5446)Online publication date: 21-Oct-2024
https://dl.acm.org/doi/10.1145/3627673.3680268
Roshankish SFornara N(2024)How to Formalize Different Types of Norms in Multi-agent Systems: A Methodology Focused on the T-Norm ModelSN Computer Science10.1007/s42979-024-03052-45:6Online publication date: 1-Aug-2024
https://dl.acm.org/doi/10.1007/s42979-024-03052-4
Recski GIklódi ELellmann BKovács ÁHanbury A(2024)BRISE-plandok: a German legal corpus of building regulationsLanguage Resources and Evaluation10.1007/s10579-024-09747-7Online publication date: 6-Jul-2024
https://doi.org/10.1007/s10579-024-09747-7
Show More Cited By

Recommendations

LegalRuleML: XML-based rules and norms
RuleML'11: Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web

Legal texts are the foundational resource where to discover rules and norms that feed into different concrete (often XML-based) Web applications. Legislative documents provide general norms and specific procedural rules for eGovernment and eCommerce ...
Bridging Between LegalRuleML and TPTP for Automated Normative Reasoning
Rules and Reasoning
Abstract
LegalRuleML is a comprehensive XML-based representation framework for modeling and exchanging normative rules. The TPTP input and output formats, on the other hand, are general-purpose standards for the interaction with automated reasoning ...
Semantic Business Process Regulatory Compliance Checking Using LegalRuleML
Knowledge Engineering and Knowledge Management
Abstract
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 ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

ICAIL '13: Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law

June 2013

277 pages

ISBN:9781450320801

DOI:10.1145/2514601

Conference Chair:
Enrico Francesconi
Institute of Legal Information Theory and Techniques - ITTIG-CNR Florence, Italy
,
Program Chair:
Bart Verheij
Institute of Artificial Intelligence and Cognitive Engineering, University of Groningen, Groningen, The Netherlands

Copyright © 2013 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

ITTIG-CNR: Istituto di Teoria e Tecniche dell'Informazione Giuridica - Consiglio Nazionale delle Ricerche
IAAIL: Intl Asso for Artifical Intel & Law

In-Cooperation

SIGAI: ACM Special Interest Group on Artificial Intelligence

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 10 June 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tag

LegalRuleML

Qualifiers

Research-article

Funding Sources

Department of Broadband, Communications and the Digital Economy, Australian Government

Conference

ICAIL '13

Sponsor:

ITTIG-CNR
IAAIL

ICAIL '13: International Conference on Artificial Intelligence and Law

June 10 - 14, 2013

Rome, Italy

Acceptance Rates

ICAIL '13 Paper Acceptance Rate 17 of 53 submissions, 32%;

Overall Acceptance Rate 69 of 169 submissions, 41%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

49
Total Citations
View Citations
457
Total Downloads

Downloads (Last 12 months)45
Downloads (Last 6 weeks)4

Reflects downloads up to 20 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Colombo ASerra ESpezzano F(2024)Leveraging Knowledge Graphs and LLMs to Support and Monitor Legislative SystemsProceedings of the 33rd ACM International Conference on Information and Knowledge Management10.1145/3627673.3680268(5443-5446)Online publication date: 21-Oct-2024
https://dl.acm.org/doi/10.1145/3627673.3680268
Roshankish SFornara N(2024)How to Formalize Different Types of Norms in Multi-agent Systems: A Methodology Focused on the T-Norm ModelSN Computer Science10.1007/s42979-024-03052-45:6Online publication date: 1-Aug-2024
https://dl.acm.org/doi/10.1007/s42979-024-03052-4
Recski GIklódi ELellmann BKovács ÁHanbury A(2024)BRISE-plandok: a German legal corpus of building regulationsLanguage Resources and Evaluation10.1007/s10579-024-09747-7Online publication date: 6-Jul-2024
https://doi.org/10.1007/s10579-024-09747-7
Stellato AFiorelli M(2023)LegalHTML: A Representation Language for Legal ActsThe Semantic Web10.1007/978-3-031-33455-9_31(520-537)Online publication date: 28-May-2023
https://dl.acm.org/doi/10.1007/978-3-031-33455-9_31
Casanovas Pde Koker LHashmi M(2022)Law, Socio-Legal Governance, the Internet of Things, and Industry 4.0: A Middle-Out/Inside-Out ApproachJ10.3390/j50100055:1(64-91)Online publication date: 21-Jan-2022
https://doi.org/10.3390/j5010005
Parvizimosaed ASharifi SAmyot DLogrippo LRoveri MRasti ARoudak AMylopoulos J(2022)Specification and analysis of legal contracts with SymboleoSoftware and Systems Modeling10.1007/s10270-022-01053-621:6(2395-2427)Online publication date: 28-Oct-2022
https://doi.org/10.1007/s10270-022-01053-6
Verheij B(2022)The Study of Artificial Intelligence as LawLaw and Artificial Intelligence10.1007/978-94-6265-523-2_24(477-502)Online publication date: 6-Jul-2022
https://doi.org/10.1007/978-94-6265-523-2_24
Steen AFuenmayor D(2022)Bridging Between LegalRuleML and TPTP for Automated Normative ReasoningRules and Reasoning10.1007/978-3-031-21541-4_16(244-260)Online publication date: 14-Dec-2022
https://doi.org/10.1007/978-3-031-21541-4_16
Liga DPalmirani M(2022)Deontic Sentence Classification Using Tree Kernel ClassifiersIntelligent Systems and Applications10.1007/978-3-031-16072-1_4(54-73)Online publication date: 31-Aug-2022
https://doi.org/10.1007/978-3-031-16072-1_4
Sleimi ASannier NSabetzadeh MBriand LCeci MDann J(2021)An automated framework for the extraction of semantic legal metadata from legal textsEmpirical Software Engineering10.1007/s10664-020-09933-526:3Online publication date: 24-Mar-2021
https://doi.org/10.1007/s10664-020-09933-5
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents