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

Capítulo 4. Esquema de representación propuesto
(como el número de coeficientes menos uno), que sirve para poder calcularlo
directamente pero no si lo que se persigue es transmitir la noción y la definición
de ese concepto. El haber desarrollado la conceptualización de esta forma se
justifica por el hecho de que, de no haber sido así, el esfuerzo realizado para
conceptualizar completamente este dominio de las matemáticas habría sido, al
menos, comparable al del resto de la ontología.
El desarrollo de un mayor número de ontologías, una de más alto nivel, y otras
centradas en dominios concretos y acotados, junto con la reutilización de las
mismas, puede solventar este factor que hace manifestarse al problema de la
interacción. Para que esto ocurra deberán desarrollarse una gran cantidad de
ontologías, lo que conlleva contar con equipos multidisciplinares formados por
expertos en los dominios correspondientes e ingenieros del conocimiento, así
como utilizar un formalismo que sea fácilmente integrable y automatizable para
conseguir la reutilización. En el campo de las matemáticas, por ejemplo, pueden y
deben realizarse ontologías que no estén orientadas a ningún tipo de aplicación. Se
dice que las matemáticas son el lenguaje de la ciencia y como tal sería
representado el dominio: como una serie de términos del lenguaje que,
posteriormente, fuesen utilizados en otros dominios como es el caso del control
automático.
Por último, mencionar que, si bien OWL ofrece un lenguaje basado en teoría
lógica de modelos y por tanto la integración sería posible, su expresividad hoy en
día no es suficiente para representar la mayoría de las estructuras de conocimiento
relevantes necesarias. El uso de mecanismos de representación del conocimiento
como las reglas de producción dificultan la reutilización de las ontologías.
El segundo aspecto que influye en el problema de la interacción aparece también
en la ontología desarrollada. Los términos de control (entidades, características) se
modelaron como instancias, entre otras razones, para poder ser utilizados en
posteriores procesos de adquisición del conocimiento. En concreto, estas
instancias son utilizadas para definir otros conceptos y son también la base para la
conceptualización del conocimiento dinámico. En ambos casos se estaba
pensando en la implementación de la estructura de tareas involucrada en los
procesos de diseño de controladores. Pese a que existen estudios dedicados a
evitar esta vertiente del problema de la interacción, las investigaciones acerca de
la representación y procesamiento de las estructuras dinámicas de las ontologías
están mucho menos desarrolladas que las correspondientes a las estructuras
estáticas 103 (Chandrasekaran et. al., 1999).
103
Esto es debido, en gran parte, a la aplicación del conocimiento factual de dominio en las investigaciones acerca de la
comprensión del lenguaje y también a las aplicaciones directas en la Web Semántica.
152