UvA-DARE ( Digital Academic Repository ) Judging Amy : Automated legal assessment using OWL 2

One of the most salient tasks in law is legal assessment, and concerns the problem of determining whether some case is allowed or disallowed given an appropriate body of legal norms. In this paper we describe a system and Protege 4 plugin, called OWL Judge, that uses standard OWL 2 DL reasoning for legal assessment. Norms are represented in terms of the LKIF Core ontology, as generic situation descriptions in which something (state, action) is deemed obliged, prohibited or permitted. We demonstrate the design patterns for defining the norms and actual cases. Furthermore we show how a DL classifier can be used to assess individual cases and automatically generate a lex specialis exception structure using OWL Judge. We illustrate our approach with a worked-out example of university library regulations.

[1]  Alexander Boer,et al.  Specification of the Legal Knowledge Interchange Format: Deliverable 1.1 , 2007 .

[2]  Hans Kelsen,et al.  General Theory of Norms , 1991 .

[3]  Rinke Hoekstra,et al.  Polishing Diamonds in OWL 2 , 2008, EKAW.

[4]  Boris Motik,et al.  Structured objects in owl: representation and reasoning , 2008, WWW.

[5]  E. D. Maat,et al.  UvA-DARE (Digital Academic Repository) Making sense of legal texts , 2012 .

[6]  Rinke Hoekstra,et al.  Versions and Applicability of Concept Definitions in Legal Ontologies , 2008, OWLED.

[7]  Luc Steels,et al.  A Future for Knowledge Acquisition. Proceedings of the 8th European Knowledge Acquisition Workshop EKAW'94 , 1994 .

[8]  André Valente,et al.  ON-LINE: an architecture for modelling legal information , 1995, ICAIL '95.

[9]  Radboud Winkels,et al.  METAlex: An XML Standard for Legal Documents , 2003 .

[10]  Tom M. van Engers,et al.  Mixing Legal and Non-legal Norms , 2005, JURIX.

[11]  André Valente,et al.  Legal modeling and automated reasoning with ON-LINE , 1999, Int. J. Hum. Comput. Stud..

[12]  Yarden Katz,et al.  Belief Base Revision for Expressive Description Logics , 2006, OWLED.

[13]  Rinke Hoekstra,et al.  The LKIF Core Ontology of Basic Legal Concepts , 2007, LOAIT.

[14]  A. Valente,et al.  Legal Knowledge Engineering - A Modelling Approach , 1995 .

[15]  William J. Clancey,et al.  The Epistemology of a Rule-Based Expert System - A Framework for Explanation , 1981, Artif. Intell..

[16]  Rinke Hoekstra,et al.  MetaVex: Regulation Drafting Meets the Semantic Web , 2008, Computable Models of the Law, Languages, Dialogues, Games, Ontologies.

[17]  Catherine Dolbear,et al.  A Comparison of three Controlled Natural Languages for OWL 1.1 , 2008, OWLED.

[18]  Abdullatif A. O. Elhag,et al.  On the Formal Analysis of Normative Conflicts , 2000 .

[19]  Joost Breuker Components of Problem Solving , 1994 .