At your service, on the definition of services from sources of law

Abstract

At your service, on the definition of services from sources of law van Engers, T.M.; van Doesburg, R. General rightsIt is not permitted to download or to forward/distribute the text or part of it without the consent of the author(s) and/or copyright holder(s), other than for strictly personal, individual use, unless the work is under an open content license (like Creative Commons). Disclaimer/Complaints regulationsIf you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: http://uba.uva.nl/en/contact, or a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible. ABSTRACTIn this paper, we describe our work towards a method for a formal analysis of law. The Dutch Immigration and Naturalization Service (IND) is responsible for the implementation and execution of complex and ever changing regulations. Given the amount of cases to handle, the use of IT systems is a necessity. From 2007 the IND, being aware of their dependence on trustworthy methods to assure the correct implementation of law into their operations and services, have been working on developing an approach that enables them to 'translate' the legal rules expressed in natural language to specifications in computer executable form. In this paper, we will explain this approach and illustrate it 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'.

eFLINT: a domain-specific language for executable norm specifications

“…A predecessor of eflint demonstrated this capability and has been used to discover inconsistencies in sources of norms [34]. Natural language processing can assist with the interpretation process, introducing the necessary structure to allow contracts to be analyzed by software [4,35]. However, legal experts and policy makers are not all programmers, and certain information required to compute with norms is not present in sources, e.g.…”

Semantic Web for the Legal Domain: The next step

“…In this way, methodology, ontology-building, and epistemology can be kept in separate clusters, and different dimensions can be combined ad hoc to tailor specific solutions. Legal isomorphism and the so-called scoping problem [120] the extraction of implicit meaning from general regulations with concrete aims and targets in a given context -can be tackled in an ordered and relational manner, making it possible to create scenarios with lay and expert participation alike [112,113]. So, too, new general frameworks can be added to an emerging contemporary legal landscape for the Web of Data.…”