research-article

Modelling temporal legal rules

Authors:

Monica Palmirani,

Guido Governatori,

Giuseppe ContissaAuthors Info & Claims

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

Pages 131 - 135

https://doi.org/10.1145/2018358.2018378

Published: 06 June 2011 Publication History

Abstract

Legal reasoning involves multiple temporal dimensions but the existing state of the art of legal representation languages does not allow us to easily combine expressiveness, performance and legal reasoning requirements. Moreover we also aim at the combination of legal temporal reasoning with the defeasible logic approach, maintaining a computable complexity. The contribution of this work is to extend LKIF-rules with temporal dimensions and defeasible tools, extending our previous work [17].

References

[1]

Bench-Capon T. J. M., Gordon T. F.: Isomorphism and argumentation. ICAIL 2009: pp. 11--20, 2009.

Digital Library

[2]

Boer A., Radboud W., Vitali F.: MetaLex XML and the Legal Knowledge Interchange Format, in Computable Models of the Law, Springer, 2008.

Digital Library

[3]

Breuker J., Boer A., Hoekstra R., Van Den Berg C.: Developing Content for LKIF: Ontologies and Framework for Legal Reasoning, in Legal Knowledge and Information Systems, JURIX 2006, pp. 41--50, ISO Press, Amsterdam, 2006.

Digital Library

[4]

Gordon T. F., Governatori G., Rotolo A.: Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain. RuleML 2009: pp. 282--296, 2009.

Digital Library

[5]

Gordon Thomas F.: An Overview of the Legal Knowledge Interchange Format. BIS (Workshops) 2010: pp. 240--242, Springer, 2010.

[6]

Gordon Thomas F.: Constructing Legal Arguments with Rules in the Legal Knowledge Interchange Format (LKIF). Computable Models of the Law, Languages, Dialogues, Games, Ontologies 2008, pp. 162--184, 2008.

Digital Library

[7]

Governatori G., Maher M. J., Grigoris A. and Billington D.: Argumentation semantics for defeasible logics. Journal of Logic and Computation, 14, 5: pp. 675--702, 2004.

Digital Library

[8]

Governatori G., Rotolo A., Rivert R., Palmirani M. and Sartor G.: Variants of Temporal Defeasible Logic for Modelling Norm Modifications. In Radboud Winkels, editor, Proceedings of 11th International Conference on Artificial Intelligence and Law, pp. 155--159. ACM Press, New York, 2007.

Digital Library

[9]

Governatori G., Rotolo A.: Changing legal systems: legal abrogations and annulments in Defeasible Logic. Logic Journal of the IGPL 18(1): pp. 157--194, 2010.

[10]

Governatori G.: On the Relationship between Carneades and Defeasible Logic., ICAIL 2011.

Digital Library

[11]

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

[12]

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

Digital Library

[13]

Karpf J.: Quality assurance of Legal Expert Systems, Jurimatics No 8, Copenhagen Business School, 1989.

[14]

Lam H. and Governatori G.: The Making of SPINdle. In Guido Governatori, John Hall, and Adrian Paschke, editors, Rule Representation, Interchange and Reasoning on the Web, RuleML-2009. LNCS 5858: pp. 315--322, 2009.

Digital Library

[15]

Marín H. R. and Sartor G.: Time and Norms: A Formalisation in the Event-calculus. In: Proceedings of the Seventh International Conference on Artificial Intelligence and Law (ICAIL). New York, N. Y., ACM: pp. 90--100, 1999.

Digital Library

[16]

Palmirani M., Contissa G., Rubino R.: Fill the Gap in the Legal Knowledge Modelling. In Guido Governatori, John Hall, and Adrian Paschke, editors, Rule Representation, Interchange and Reasoning on the Web, RuleML-2009. LNCS 5858: pp. 305--314, 2009.

Digital Library

[17]

Palmirani M., Governatori G., and Contissa G.: Temporal dimensions in rules modelling. In Radboud Winkels, editor, Legal Knowledge and Information Systems JURIX 2010: The Twenty-Third Annual Conference, Frontiers in Artificial Intelligence and Applications, Amsterdam, 2010. IOS Press

Digital Library

[18]

Proceeding of the 12th International Conference on Artificial Intelligence and Law, Barcelona 8-12 June, 2009, ACM, NY, 243.

[19]

Sartor G.: Legal Reasoning: A Cognitive Approach to the Law. Vol. 5. Treatise on Legal Philosophy and General Jurisprudence. Berlin: Springer, 2005.

Cited By

Täks EKruuk HDraheim D(2023)Three-Dimensional Visualization of Legal Acts: Concept and PrototypeFuture Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications10.1007/978-981-99-8296-7_1(3-17)Online publication date: 17-Nov-2023
https://doi.org/10.1007/978-981-99-8296-7_1
Hashmi M(2020)Mapping Shari’ah Normative Reasoning ConceptsJournal of Catalan Intellectual History10.2478/jocih-2019-000612:1(79-88)Online publication date: 31-Dec-2020
https://doi.org/10.2478/jocih-2019-0006
Hashmi MGovernatori G(2018)Norms modeling constructs of business process compliance management frameworksArtificial Intelligence and Law10.1007/s10506-017-9215-826:3(251-305)Online publication date: 1-Sep-2018
https://dl.acm.org/doi/10.1007/s10506-017-9215-8
Show More Cited By

Index Terms

Modelling temporal legal rules
1. Applied computing
  1. Enterprise computing
  2. Law, social and behavioral sciences
    1. Law
2. Computing methodologies
  1. Modeling and simulation
    1. Model development and analysis

Recommendations

Towards a Legal Rule-Based System Grounded on the Integration of Criminal Domain Ontology and Rules

This research aims to define an integrated strategy for modelling legal norms in the criminal domain for supporting the legal reasoning. For this purpose, OWL-DL criminal domain ontology is captured from legal texts, using a middle-out approach, and ...
Temporal Dimensions in Rules Modelling
Proceedings of the 2010 conference on Legal Knowledge and Information Systems: JURIX 2010: The Twenty-Third Annual Conference

Typically legal reasoning involves multiple temporal dimensions. The contribution of this work is to extend LKIF-rules (LKIF is a proposed mark-up language designed for legal documents and legal knowledge in ESTRELLA Project [3]) with temporal ...
Modeling Legal Arguments: Reasoning with Cases and Hypotheticals

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

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

June 2011

270 pages

ISBN:9781450307550

DOI:10.1145/2018358

Conference Chair:
Kevin Ashley
University of Pittsburgh School of Law, Pittsburgh, PA MAIL@[email protected]
,
Program Chair:
Tom van Engers
Leibniz Center for Law, University of Amsterdam, Amsterdam, The Netherlands MAIL@[email protected]

Copyright © 2011 Authors.

Sponsors

The International Association for Artificial Intelligence and Law
AAAI: Am Assoc for Artifical Intelligence
PittLaw: U. of Pittsburgh School of Law

In-Cooperation

SIGAI: ACM Special Interest Group on Artificial Intelligence

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 06 June 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ICAIL '11

Sponsor:

AAAI
PittLaw

ICAIL '11: International Conference on Artificial Intelligence and Law

June 6 - 10, 2011

Pennsylvania, Pittsburgh

Acceptance Rates

Overall Acceptance Rate 69 of 169 submissions, 41%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
175
Total Downloads

Downloads (Last 12 months)7
Downloads (Last 6 weeks)2

Reflects downloads up to 15 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Täks EKruuk HDraheim D(2023)Three-Dimensional Visualization of Legal Acts: Concept and PrototypeFuture Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications10.1007/978-981-99-8296-7_1(3-17)Online publication date: 17-Nov-2023
https://doi.org/10.1007/978-981-99-8296-7_1
Hashmi M(2020)Mapping Shari’ah Normative Reasoning ConceptsJournal of Catalan Intellectual History10.2478/jocih-2019-000612:1(79-88)Online publication date: 31-Dec-2020
https://doi.org/10.2478/jocih-2019-0006
Hashmi MGovernatori G(2018)Norms modeling constructs of business process compliance management frameworksArtificial Intelligence and Law10.1007/s10506-017-9215-826:3(251-305)Online publication date: 1-Sep-2018
https://dl.acm.org/doi/10.1007/s10506-017-9215-8
Saralaya SSaralaya VD’Souza R(2018)Compliance Management in Business ProcessesDigital Business10.1007/978-3-319-93940-7_3(53-91)Online publication date: 27-Jul-2018
https://doi.org/10.1007/978-3-319-93940-7_3
Al-Abdulkarim LAtkinson KBench-Capon T(2016)A methodology for designing systems to reason with legal cases using Abstract Dialectical FrameworksArtificial Intelligence and Law10.1007/s10506-016-9178-124:1(1-49)Online publication date: 1-Mar-2016
https://dl.acm.org/doi/10.1007/s10506-016-9178-1
Elgammal ATuretken OHeuvel WPapazoglou M(2016)Formalizing and appling compliance patterns for business process complianceSoftware and Systems Modeling (SoSyM)10.1007/s10270-014-0395-315:1(119-146)Online publication date: 1-Feb-2016
https://dl.acm.org/doi/10.1007/s10270-014-0395-3
Casalicchio EPalmirani M(2015)A Cloud Service Broker with Legal-Rule Compliance Checking and Quality Assurance CapabilitiesProcedia Computer Science10.1016/j.procs.2015.09.23068(136-150)Online publication date: 2015
https://doi.org/10.1016/j.procs.2015.09.230
Hashmi MGovernatori GWynn M(2014)Modeling Obligations with Event-CalculusRules on the Web. From Theory to Applications10.1007/978-3-319-09870-8_22(296-310)Online publication date: 2014
https://doi.org/10.1007/978-3-319-09870-8_22
Bench-Capon TAraszkiewicz MAshley KAtkinson KBex FBorges FBourcier DBourgine PConrad JFrancesconi EGordon TGovernatori GLeidner JLewis DLoui RMccarty LPrakken HSchilder FSchweighofer EThompson PTyrrell AVerheij BWalton DWyner A(2012)A history of AI and Law in 50 papersArtificial Intelligence and Law10.1007/s10506-012-9131-x20:3(215-319)Online publication date: 1-Sep-2012
https://dl.acm.org/doi/10.1007/s10506-012-9131-x
Palmirani MGovernatori GRotolo ATabet SBoley HPaschke A(2011)LegalRuleMLProceedings of the 5th international conference on Rule-based modeling and computing on the semantic web10.5555/2075505.2075544(298-312)Online publication date: 3-Nov-2011
https://dl.acm.org/doi/10.5555/2075505.2075544
Show More Cited By

View Options

Get Access

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