Law and Justice in a Global Society Artificial Intelligence and Law Ontology and Philosophy of Law: from REIMDOC as example Fernando Galindo University of Zaragoza Granada, 25th May 2005

Summary Abstract of the paper REIMDOC: object The example: first steps Ontologies Philosophy of Law Consequences Conclusion

Abstract of the paper Paper as concrete example of the use of ontologies as tool for knowledge representation in Artificial Intelligence applications Philosophy of Law as adequate tool for the development of ontologies The proof of the theories is the study of a concrete case related to the making of a software programme of industrial character adequate to integrate and retrieve juridical documentation, using several languages

REIMDOC: object From a philosophical point of view: study of juridical transactions in the ICT society (best as the knowledge society) Procedures related with: 1) the elaboration of private agreements for the acquisition of real state property 2) their formalization to be included in the property registers, payment of tax in the tax Administration and solution of possible conflicts by the Administration of Justice (Judges) as examples The study as begin of the construction of REIMDOC: system of multi lingual retrieval and integration of juridical documents

REIMDOC: support PROFIT project (FIT ) Leader: Atos Origin Partners: Jurisweb Interactiva (Derecho.com) Polytechnic University of Madrid (Group Artificial Intelligence) University of Zaragoza (Group Data protection and electronic signature)

Another support PRIME.- Privacy and Identification Management in Europa.- IST Project GERSOCO.- Principles of governance for the knowledge society.- CICYT LEFIS.- Legal Framework for the Information Society Networks.- Socrates, AECI, ALFA E CREATOR.- Teaching to the e learning teachers.- Leonardo

The example: first steps Study of the information needs of the citizens that like to buy securely a house Proposal of agreements and required formalities to acquire the house to realize in Notaries, Property Registers and Tax Administration, specially Study of the legislation, including data protection and electronic signature (public key infrastructures) Study of standards to the making of software programmes Study of different juridical policies to articulate and put in practice all steps Establishment of four types of documents: glossary, contracts models, legislation and judicial sentences

Ontologies The basic words and the relations that form the vocabulary of a specific area, and the rules to combine the words and the relations to expand the vocabulary (AI proposals) Developed Ontologies in REIMDOC: Person, Location, Organization, Trading, Models of Contracts, Taxes, Judicial Sentences, Legislation, Belongings, Civil Personality, Proving of Trading of Estate

Philosophy of Law Not the first Jhering: only legal concepts Argumentation theorie Autopoiesis: knowledge theory Communicative Law: Law as activity Different kind of rules Values

Consequences Methodology as example for the development of tools for E Government (E Administration) Freedom and legal security (procedures) are guaranteed when the ICT are used as tools Juridical and Technical Data protection resources and Public Key Infrastructures are used

Conclusion The example has as objective the development of theories and practical examples for E Government, this is the access to the Public Administrations by the citizens using technological systems The point of departure is the access to documentation referred to the acquisition of properties: houses or appartments. It is enough easy (formal) and complex for the development and proof of systems of E Government The idea is to plan and design adequate procedures and programmes to build, formalize and send securely, documents made by citizens to the Public Administrations The activites are possible thanks to the adequate philosophical reduction of the example. It opens the door to put in practice all necessary resources for this kind of research