An Integration of Software Engineering Methods and Semantic Technologies for Drafting and Modeling Statutes and Legal Rules

The semantic representation and modeling of legal texts has for a long time been a signicant research challenge. While approaches from both, software engineering and semantic modeling, have led to impressive results, some gaps are still remaining. This paper tries to bridge the gap between generalizability and applicability by combining semantic modeling with traditional software engineering processes. A framework for drafting legislation was implemented in OWL, SWRL, various web-based technologies and Java using the Jena framework. Links to external ontologies were made via semantic relations, following the principles of linked open data. A base model including ontologies, semantic rulesets and additional algorithms were developed and amended by a general development process for implementing diverse elds of law. The base model and process suggested in this paper were then tested in an extensive case study, which clearly documented the approaches benets, such as increased eciency of the modeling process, automatic consistency checking, compatibility with established standards in legal semantics, and the reusability of base classes underlying the developed models. The case study addresses curricula based on Austrian legislation in depth, which are exemplarily covered as a whole.

[1]  Stephan Grimm,et al.  Knowledge Representation and Ontologies , 2010, Scientific Data Mining and Knowledge Discovery.

[2]  Marek J. Sergot,et al.  The British Nationality Act as a logic program , 1986, CACM.

[3]  Kevin D. Ashley,et al.  AI and Law: A fruitful synergy , 2003, Artif. Intell..

[4]  Martin J. O'Connor,et al.  SQWRL: A Query Language for OWL , 2009, OWLED.

[5]  Kevin D. Ashley Modeling legal argument - reasoning with cases and hypotheticals , 1991, Artificial intelligence and legal reasoning.

[6]  Herbert Fiedler,et al.  Untersuchungen zur Formalisierung im Recht als Beitrag zur Grundlagenforschung juristischer Datenverarbeitung (UFORED) , 1984 .

[7]  Thomas F. Gordon Oblog-2: A hybrid knowledge representation system for defeasible reasoning , 1987, ICAIL '87.

[8]  Richard Susskind Proceedings of the 3rd international conference on Artificial intelligence and law , 1991 .

[9]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

[10]  Standard Glossary of Software Engineering Terminology , 1990 .

[11]  L. Thorne McCarty,et al.  Reflections on "Taxman": An Experiment in Artificial Intelligence and Legal Reasoning , 1977 .

[12]  Tim Berners-Lee,et al.  Linked Data on the Web , 2008, LDOW.

[13]  Graham Greenleaf,et al.  Expert systems in law: The datalex project , 1987, ICAIL '87.

[14]  Gerd Wagner,et al.  Design Rationale for RuleML: A Markup Language for Semantic Web Rules , 2001, SWWS.

[15]  C. van Noortwijk,et al.  The JURICAS-System: new applications and future development , 1991, ICAIL '91.

[16]  Mohamed Medhat Gaber,et al.  Scientific Data Mining and Knowledge Discovery - Principles and Foundations , 2009 .

[17]  Richard E. Susskind,et al.  Expert Systems in Law: A Jurisprudential Inquiry , 1988 .

[18]  Marc Lauritsen,et al.  Are we free to code the law? , 2013, CACM.

[19]  E. Schweighofer Legal Knowledge Representation: Automatic Text Analysis in Public International and European Law , 1999 .

[20]  Peter F. Patel-Schneider,et al.  OWL 2 Web Ontology Language Primer (Second Edition) , 2012 .

[21]  Alain Abran,et al.  The Guide to the Software Engineering Body of Knowledge , 1999, IEEE Softw..

[22]  Jon Bing,et al.  Handbook of Legal Information Retrieval , 1984 .

[23]  Robert A. Kowalski,et al.  Legislation as Logic Programs , 1992, Logic Programming Summer School.

[24]  Richard E. Fairley,et al.  Guide to the Software Engineering Body of Knowledge (SWEBOK(R)): Version 3.0 , 2014 .

[25]  Radboud Winkels,et al.  Automated legislative drafting: generating paraphrases of legislation , 1995, ICAIL '95.

[26]  Henry Prakken,et al.  Informatics and the Foundations of Legal Reasoning , 1996 .

[27]  Barry W. Boehm,et al.  A spiral model of software development and enhancement , 1986, Computer.

[28]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[29]  L. Thorne McCarty,et al.  Proceedings of the 5th international conference on Artificial intelligence and law , 1995 .

[30]  Tim Berners-Lee,et al.  Linked data on the web (LDOW2008) , 2008, WWW.