Modelos de Conocimiento Basados en Ontologías para la ...

Capítulo 3. Representación del conocimiento y ontologías
Manipulation Language) (Finin et. al., 1992) 46 . La mayor aportación del proyecto
fue el proceso colaborativo de creación de los modelos de conocimiento. La
representación contaba también con una conceptualización de diferentes
conceptos temporales útiles para representar las etapas del proceso de diseño.
EngMath (Gruber y Olsen, 1994), una de las primeras ontologías que más difusión
tuvo, se dedicó a conceptualizar el dominio de matemáticas en ingeniería,
utilizándose además como ejemplo de ontología en uno de los primeros artículos
seminales sobre el tema (Gruber, 1995). Esta ontología describe conceptos
relacionados con las magnitudes y unidades físicas así como los conceptos
"escalar", "vector", etc. El desarrollo de la ontología se realizó mediante
Ontolingua, siendo también una de las primeras realizaciones en este lenguaje.
Los proyectos KACTUS (modelling Knowledge About Complex Technical
systems for multiple USe) y OLMECO (Open Library for Models of
MEchatronical COmponents) (Top y Akkermans, 1994), (Borst, 1997) fueron la
base para una serie de investigaciones en cuanto a aplicaciones de las ontologías
en el campo de la ingeniería de sistemas. Dentro de este proyecto se estudió la
forma de construir una librería de ontologías para describir sistemas físicos
tecnológicos y de usar esa librería para la construcción de bases de conocimiento
sobre el tema. Algunas de las aportaciones de estos proyectos son la ontología
PhysSys (Borst et. al., 1997), dedicada a la descripción de sistemas físicos a
diferentes niveles. Se desarrollaron ontologías independientes sobre mereología
(representación de las partes y el todo), topología (representación de la relación de
interconexión entre las partes que permite el intercambio de energía entre ellas) y
teoría de sistemas, así como ontologías dedicadas a representar las vistas posibles
de un sistema físico: ontología sobre la vista de proceso (de la que se extrae el
comportamiento), de componentes (de la que se extrae la distribución y conexión
de componentes) y de relaciones matemáticas (que describen el modelo de
ecuaciones diferenciales del sistema). Para esta última ontología se reutilizó la
ontología EngMath (siendo uno de los primeros ejemplos prácticos de
reutilización de estas estructuras de conocimiento). PhysSys ha sido formalizada
en diferentes lenguajes, en (Borst, 1997) se recoge la formalización en Ontolingua
versión 4.0. Por su parte OLMECO (Breunese et. al., 1997) es una librería de
componentes para la construcción de diseños de sistemas físicos, organizada en
forma de objetos. En conjunto estos proyectos supusieron una experiencia en la
creación de ontologías aisladas y en la integración de las mismas en un sistema
total, también supuso una experiencia en cuanto a reutilización, ya que se reutilizó
EngMath, y de integración y modificación de una ontología existente en el caso de
la dedicada a mereología. En cuanto a la ingeniería de sistemas, supuso una
aportación en el área de modelado basado en el conocimiento de sistemas
mecatrónicos descritos mediante grafos de ligaduras (bond graphs).
46 La cita se refiere a la versión de KQML utilizada en el proyecto PACT
55