Home // eKNOW 2015, The Seventh International Conference on Information, Process, and Knowledge Management // View article

First Steps Towards a Formal Analysis of Law

Authors:
Tom Maarten van Engers
Robert van Doesburg

Keywords: knowledge acquisition; legal engineering; legal analysis; Hohfeldian analysis.

Abstract:
In this paper, the authors present some work recently done within the Dutch Immigration and Naturalization Service (IND). Being responsible for the implementation and execution of complex and ever changing regulations, for which the use of IT systems is a necessity, this organization has become aware of their dependence on trustworthy methods to assure the correct implementation of law into their operations and services. While many attempts to automate law, even in the domain of migration law, have been made before, hardly any attention has been paid to the ‘translation process’ from legal rules expressed in natural language to specifications in computer executable form. In this paper, we will explain the method we have developed and illustrate its application with some concrete examples. The work is part of a larger innovation programme initiative that we collaboratively conduct within a virtual collaboration, called the ‘Blue Chamber’.

Pages: 36 to 42

Copyright: Copyright (c) IARIA, 2015

Publication date: February 22, 2015

Published in: conference

ISSN: 2308-4375

ISBN: 978-1-61208-386-5

Location: Lisbon, Portugal

Dates: from February 22, 2015 to February 27, 2015