OnProc: Una Ontologa para el Proceso Jurdico

OnProc: An Ontology for the Legal Process

Dra. Marta Isabel Blaquier Ascao,
Profesor Titular
Facultad de Matemtica y Computacin, Universidad de la Habana
San Lazaro y L, Vedado. Ciudad de la Habana, Cuba
Telf: 00537 2035236 - email: blaq@matcom.uh.cu
Palabras claves: ontologa jurdica, proceso jurdico, redes de Petri
Partiendo de un modelo computacional del proceso jurdico previamente
construido este trabajo se plantea el anlisis ontolgico y la integracin conceptual
en el mbito del proceso jurdico. Siguiendo una metodologa para la construccin
de ontologas se describe el rol de dicho modelo en la construccin de la ontologa.
Se analizan algunas de las caractersticas generales de la micro ontologa
OnProc.
1- Introduccin
La ontologa en el campo de la Filosofa se ocupa de los problemas de la
existencia: Qu significa existir? Qu es la existencia? La ontologa estudia
las cosas existentes y la relacin entre ellas. Sin embargo, no es esta la
interpretacin que en el ltimo decenio ha tenido el trmino ontologa dentro de
la comunidad de especialistas dedicados a los problemas de la representacin
del conocimiento. Esta nueva interpretacin es conocida a veces, ms
precisamente, como ontologa de los sistemas de informacin. En esta nueva
acepcin una ontologa define los trminos usados para describir y representar
un rea del conocimiento.
En la actualidad el desarrollo de ontologas ha salido de los centros de
investigacin y se ha convertido en patrimonio de los expertos en los dominios
ms diversos, En el marco de muchas disciplinas se desarrollan ontologas
estandarizadas, como por ejemplo en la Medicina y de manera particular en la
Web, donde se han convertido en algo comn.
Cada vez ms de forma creciente las ontologas juegan un rol
significativo en la recuperacin de informacin y en los procesos de compartir,
rehusar y adquirir conocimiento. Las ontologas hacen posible compartir una
comprensin comn de la estructura de la informacin entre personas o agentes
de software, rehusar el conocimiento de dominio, hacer explcitos presupuestos
de dominios, separar el conocimiento de dominio del conocimiento operacional y
analizar el conocimiento de dominio.
En la dcada del 90, dentro del campo del Derecho, han sido
desarrolladas diversas ontologas que formalizan desde diferentes perspectivas
normas, casos, responsabilidades, eventos y relaciones jurdicas. Despus de
los importantes trabajos de McCarty y Stamper aparecen la ontologa funcional
FOLaw de Valente (Valente, 1995) y FBO la ontologa basada en frames de van
Kralingen (van Kralingen, 1995).
FOLaw describe el sistema jurdico como un instrumento para influenciar
el comportamiento de la sociedad o parte de esta, con el propsito de alcanzar
ciertos objetivos. El sistema legal es visto como un dispositivo social que
reacciona al comportamiento social operando en y sobre la sociedad. Su
centro es la organizacin y la interconexin de conocimiento jurdico con vistas a
la recuperacin de informacin conceptual. No se le considera una ontologa en
sentido estricto. FOLaw distingue siete tipos de conocimiento sobre los cuales es
posible razonar: conocimiento de sentido comn, conocimiento del mundo,
conocimiento normativo, conocimiento de responsabilidad, conocimiento meta
legal, conocimiento creativo y conocimiento reactivo. Aqu es esencial la
separacin entre el conocimiento para describir el mundo y el conocimiento
normativo.
Los resultados obtenidos por FOLaw han sido utilizados en los proyectos
ON-LINE (Ontology-based Legal Information Environment) (Valente & Breuker,
1995) y CLIME-MILLE (Cooperative Legal Information Management and
Explanation), este ltimo en el marco del Derecho Martimo.
FBO es una ontologa general y rehusable, distingue tres clases de
entidades: normas, actos y descripcin de conceptos. Por cada entidad de la
ontologa define una estructura de frame con todos los atributos relevantes a la
misma.
FOLaw y FBO han sido formalizadas con el lenguaje de descripcin
ONTOLINGUA (Gruber, 1992). En [VB97] puede consultarse una interesante y
exhaustiva comparacin entre estas dos ontologas.
Las ontologas fundacionales (foundational ontology) son
conceptualizaciones que contienen especificaciones de conceptos
independientes del dominio y relaciones basados en principios formales
derivados de la lingstica, la filosofa y la matemtica. El rol de estas ontologas
es servir como punto de partida para la construccin de nuevas ontologas,
suministrar un punto de referencia para realizar comparaciones fciles y
rigurosas entre diferentes puntos de vista ontolgicos y para crear estructuras
fundacionales para analizar, armonizar e integrar ontologas existentes y
metadatos estndares.
DOLCE, Foundational Ontology (Masolo et al., 2002), SUMO (Suggested
Upper Merged Ontology) y SOWA (Sowa, 2000) son algunas de las ms
importantes ontologas fundacionales desarrolladas. Si bien en ninguna de ellas
esta explicitado el sentido comn, ni siquiera en DOLCE que est basada sobre
la percepcin humana, la impronta cultural y las convenciones sociales, estas
ontologas fundacionales son un marco de referencia para el desarrollo de las
ontologas jurdicas.
La ontologa de alto nivel LRICore (Breuker et al, 20020), de fuerte sabor
fundacional, puede ser considerada un importante instrumento en el desarrollo
de ontologas jurdicas, es el resultado de un decenio de trabajo en diversas
ramas del Derecho y de la experiencia alcanzada con FOLaw Esta ontologa
suministra un modelo global y extensible dentro del cual puede establecerse
correspondencia entre datos pertenecientes a diversos dominios y permitir la
integracin de estos, formalizando dentro de la ley el conocimiento de sentido
comn.
Las principales categoras de LRI-Core son: Role, Physical-Concept,
Mental-Concept, Occurrence y Abstrac-Concept. La ontologa ofrece
adicionalmente otras categoras que suministran estructura: Quantity, Quality y
Process. Estas categoras se dividen a su vez en subcategoras pertenecientes
a una segunda capa, por ejemplo, la categora Ocurrence tiene como
subcategoras a Spatio-Temporal-Reference, Causation, Situation, Event,
History y State. LRI-Core ha sido representada en OWL DL en el editor de
ontologas Protg. Esta ontologa tiene uso experimental en los proyectos E-
Power (Negrees et al., 2001) y DIRECT (Breuker&Hoekstra, 2000).
Por ltimo, como se muestra en [Haa01], las ontologas estn permitiendo
tambin la reformulacin de problemas no resueltos dentro de la lgica dentica
Qu es una ontologa? Una ontologa es una descripcin formal explcita
de conceptos en un dominio de discurso - las clases - las propiedades de cada
concepto que describen las funcionalidades y los atributos del concepto - los
slots, algunas veces llamados roles o propiedades - y las restricciones sobre los
slots - las facetas, algunas veces llamadas restricciones sobre los roles. Una
ontologa junto con un conjunto de instancias de clases constituye una base de
conocimiento.
Para desarrollar una ontologa es necesario definir las clases en la
ontologa, organizar las clases en una taxonomita jerrquica estableciendo las
relaciones subclase-superclase, definir los slots y describir los valores permitidos
para los slots de las instancias. Las clases describen los conceptos en el
dominio y constituyen el foco en la mayora de las ontologas.
El los siguientes epgrafes del trabajo de describe sintticamente el
modelo computacional que constituye el punto de partida para el diseo de
OnProc y los lineamientos que permiten el paso del modelo y sus elementos a
los componentes de la ontologa, por ltimo se describe OnProc.
2- El Modelo Computacional de Procesos Burocrticos
El seguimiento de procesos burocrticos - administrativos, jurdicos etc.
tambin conocido como seguimiento de casos o asuntos, constituye un
importante aspecto del Gobierno Electrnico. En [BAIQR03] y [Bl04]
presentamos un modelo computacional de los procesos burocrticos, con
nfasis en los procesos jurdicos. Este modelo tiene como fundamento las redes
de Petri coloreadas extendidas con operadores denticos y temporales - las
redes RPCIPETT - y la tecnologa XML. El modelo representa la multiplicidad de
procesos activos que participan en un sector dado como ejecuciones de redes
de Petri previamente definidas y creadas. Estas ejecuciones son tratadas como
documentos XML.
Una red RPCIPETT es una red de Petri Coloreada Inhibitoria con
Preferencia en la Ejecucin de las Transiciones y con Tiempo. Las modalidades
denticas prohibido, permitido y obligado - son introducidas en las redes de
Petri mediante la inclusin de la preferencia dentro de sus componentes y en la
ejecucin de las redes, el formalismo matemtico utilizado para ello puede verse
en [BAIQR03] y [Bl04]. Una red RPCIPETT permite la representacin de
procesos en los cuales ocurren tanto conductas ideales como sub-ideales y hace
posible establecer preferencias entre diferentes ejecuciones de la red teniendo
en cuenta la ocurrencia de las conductas sub-ideales.
Se realiz una implementacin del modelo en C# sobre la plataforma
.NET. En la implementacin se us PNML, un formato propuesto como
estndar, para lograr la persistencia de las redes o para su transmisin por
cualquier va. PNML es un lenguaje de marcas definido a partir de XML. La
representacin de las redes RPCIPETT en formato XML, para los cuales existen
esquemas predefinidos, constituye una gran ventaja en el trnsito haca la
ontologa, ya que los formatos de las redes pueden ser transformados fcilmente
en formatos de elementos de la ontologa con las herramientas que la tecnologa
XML brinda.
Partiendo de este modelo y su implementacin, de la experiencia
resultante del anlisis de una amplia tipologa de procesos con los expertos,
funcionarios y operadores jurdicos, del anlisis realizado sobre el corpus del
Derecho Procesal y de sus normas adjetivas para la construccin del modelo y
de la documentacin tcnica generada por estas actividades de anlisis y diseo
tablas, listado de trminos y relaciones entre los mismos, listado de acciones
etc. - formulamos la tarea de construir una micro ontologa del proceso jurdico
teniendo como pivote dicho modelo. El concepto de micro ontologa usado aqu
se corresponde al que aparece en [DS05].
3- Del Modelo Computacional a la Ontologa
. A diferencia de otros proyectos de desarrollo de ontologas sobre el
proceso jurdico, como por ejemplo el que se presenta en [Ga05], el camino que
hemos seguido en el anlisis ontolgico ha ido de una herramienta
computacional ya existente haca la ontologa.
El dominio de la ontologa OnProc es el proceso jurdico y tiene como
propsito ser un instrumento en la automatizacin de estos procesos y de la
recuperacin de informacin sobre los mismos. OnProc tiene un carcter mixto,
ha sido concebida como una ontologa general para el proceso jurdico y
adems es dependiente de la legislacin, en este caso del Derecho Procesal
cubano. En su primera capa OnProc ofrece las categoras: Proceso, Ocurrencia,
Rol y Agente.
En la definicin de las clases y la construccin de la jerarqua de clases
hemos usado un proceso hbrido que combina el punto de vista top-down - la
definicin inicial de los conceptos ms generales y la ulterior especializacin de
los mismos - con la aproximacin botom-up - definir primero los conceptos ms
especficos, las hojas de la jerarqua de clases, y realizar posteriormente un
agrupamiento de estas clases en conceptos ms generales. Para ello hemos
partido de los conceptos asociados a los elementos bsicos de las redes de
Petri: las redes, su ejecucin, los estados y los eventos. A partir de estos
elementos hemos generalizado y especializado segn ha sido necesario.
Ejemplifiquemos el proceso de definicin de clases. Toda red de Petri
definida en el modelo correspondiente a un tipo de proceso constituye una clase.
Proceso-de-Divorcio, Proceso-de-Matrimonio y Proceso-de Compraventa sern
clases y a su vez subclases de la clase Proceso-Civil en la jerarqua de clases
de la ontologa. Proceso-Civil es una subclase de la clase Proceso-Jurdico y
Proceso-Jurdico una subclase de Proceso. El Derecho Procesal especifica
claramente con su formalismo jurdico parte de esta jerarquizacin. Se mantiene
Proceso-Jurdico como nica subclase de la clase Proceso con vistas a una
ulterior integracin de OnProc con otras ontologas que definen esta clase.
La categora Ocurrencia tiene como subclases a Evento y Estado, las
cuales se corresponden respectivamente con los dos componentes bsicos de
las redes de Petri del modelo: transiciones y localizaciones. Para la definicin de
los slots y sus facetas se han utilizado las propiedades que el modelo tiene
definida para las transiciones y las localizaciones.
OnProc define una accin jurdica como los procesos jurdicos iniciados
por un agente actuando como un actor. Por ejemplo, la presentacin de una
demanda es una accin jurdica que inicia un proceso jurdico, el demandante
acta como actor en el proceso sin lugar a dudas esta accin est precedida
por una decisin de actuar intencional.
La diversidad de objetos que pueden participar en los procesos jurdicos
va desde objetos fsicos y virtuales hasta objetos mentales Dentro de la
ontologa interesa solo el rol que estos objetos tienen dentro del proceso, por
ejemplo si constituyen un medio de prueba, si dan fe de la voluntad de las
partes, etc. Es por ello que OnProc define los roles a jugar por los objetos dentro
del proceso jurdico y no realiza una categorizacin de estos atendiendo a otras
propiedades de naturaleza no jurdica. El manejo de otras propiedades de los
objetos podra realizarse mediante la integracin y/o alineacin de OnProc con
otras ontologas.
Respecto a la granularidad de OnProc se ha considerado que toda
ejecucin de una red en el modelo es una instancia de una clase. Por ejemplo,
una ejecucin de la red Proceso de Matrimonio se corresponde con el
matrimonio particular de AA y BB, y es una instancia de la clase Proceso-de-
Matrimonio. Esta instancia se denota por matrimonio-AA-BB. Ntese que
utilizamos maysculas para las clases y minsculas para las instancias.
Actualmente la ontologa OnProc tiene definida la rama de la jerarqua de
clases correspondiente a los procesos civiles, los slots y las facetas de estas
clases y est siendo sometida a nuevo test por expertos en Derecho Civil. En
paralelo hemos comenzado la representacin de OnProc en OWL DL con el
editor de ontologas Protg. En la prxima etapa de trabajo sern definidas las
clases correspondientes a los restantes tipos de procesos jurdicos.
Conclusiones
En este trabajo hemos presentado las caractersticas generales de la
ontologa OnProc, una ontologa que tiene como dominio el proceso jurdico y
como objetivo la automatizacin de estos procesos y la recuperacin de
informacin sobre los mismos, incluyendo los procesos particulares activos que
se estn desarrollando en un espacio y un tiempo dados. Hemos descrito
adems el procedimiento que nos ha llevado de un modelo computacional
previamente existente haca el anlisis ontolgico.
El trabajo futuro en OnProc estar encaminado a completar la jerarqua
de clases, su representacin completa en OWL con Protg y el anlisis de su
posible integracin y alineacin con otras ontologas como LRI-Core y DIRECT.
Bibliografa
[BAIQR03] Blaquier M., Alonso R., Infante E., Quintero A., Rodrguez E., Viera
Y. La Modelacin Computacional de los Procesos Jurdicos: una
Herramienta de Anlisis. Conferencia Internacional CISCI 2003,
Orlando, Fl., USA, 2003.
[BEW05] Boer A., van Negrees T., Winkels R. Normative Statements on the
Semantic Web. LOAIT-Legal Ontologies and Artificial Intelligence,
2005.
[Bl98] Blaquier Marta. SGML Applications to Legal Information. European
Journal of Law, Philosophy and Computer Science, Legal
Computer Science. Vol.1-2,1998.
[Bl04] Blaquier Marta. Modelo para el Seguimiento de Procesos
Burocrticos. Aceptado para su presentacin en CISCI 2004.
Orlando, Fl., USA, 2004.
[Br04] Breuker Joost. Constructing a legal core ontology LRI-Coree.
Workshop on Ontologies and their Applications, 2004.
[BH04] Breuker J., Hoekstra R. Core concepts of law: taking common-
sense seriously. Proceedings of Formal Ontologies in Information
Systems, FOIS 2004. IOS-Press, 2004.
[CGL01] Calvanese D, De Giacomo G, Lenzerini M. A Framework for
Ontology Integration. Proceedings of 2001 International Semantic
Web Working Symposium (SWWS 2001).
[DS05] Deprs S., Szulman S. Merging of Legal Micro-Ontologies from
European Directives. LOAIT- Legal Ontologies and Artificial
Intelligence Techniques. Wolf Legal Publisher, 2005.
[Ga05] Galindo Fernando. Ontologa y Filosofa del Derecho: el proyecto
REIMDOC. http://reimdoc.atosorigin.es/.
[GGMO01] Gangemi A, Guarino N, Masolo C, Oltramari A. Understanding Top-
Level Ontological Distinctions. Proceedings of the IJCAI 2001
Workshop on Ontologies and Information Sharing, H.
Stuckenschmidt editor, 2001.
[GST05] Gangemi A., Sagri M.T., Triscornia D. A Constructive Framework
for Legal Ontologies. Law and the Semantic Web, Springer Verlag,
2005.
[Ha01] Hage Jaap. Contrary to Duty Obligations. A Study in Legal
Ontology. Legal Knowledge and Information Systems, Jurix 2001.
The Fourteenth Annual Conference. Amsterdam: I O Press, 2001.
[Mu01] Muller Murk. Legal RDF Dictionary. Legal Knowledge and
Information Systems, Jurix 2001. The Fourteenth Annual
Conference. Amsterdam: I O Press, 2001.
[NNM05] Natalya F. Noy N., McGuinness D. Ontology Development 101: A
Guide to Creating Your First Ontology. Stanford University,
Stanford, CA, 94305.
[Sm02] Smith B. Ontology and Information Systems. 2002
[VB97] Visser, Bench-Capon. Four Ontologies for the Design of Legal
Knowledge. Artificial Intelligence and Law. 1997.