Modelos de Conocimiento Basados en Ontologías para la ...
Modelos de Conocimiento Basados en Ontologías para la ... 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
Capítulo 4. Esquema de representación propuesto Por otro lado, aun cuando la ontología pueda considerarse completa, pueden existir diferentes conceptualizaciones que sean igual de correctas desde el punto de vista de ser un modelo válido del conocimiento pero que tengan estructuras de conocimiento muy diferentes 104 . Una posibilidad para solventar este problema es ofrecer mecanismos de mapeo de conceptos que permitan comparar y traducir conceptos y estructuras equivalentes entre ontologías (Noy, 2004), otra sería que surjan conceptualizaciones que puedan ser consideradas estándar y adoptadas por un amplio grupo de usuarios. 4.6.2 Sobre aspectos de conceptualización del dominio de la ingeniería de control 4.6.2.1 La naturaleza del conocimiento de control En primer lugar, sobre la propia naturaleza del conocimiento en ingeniería de control, puede decirse que la particularidad más relevante radica en el uso de un lenguaje propio con el que se transmite dicho conocimiento. Lo que se expresa en este lenguaje son los términos de la denominada "aproximación sistémica", hecho que caracteriza a la ingeniería de control frente a otras ingenierías y que también condiciona la forma de conceptualizar los conceptos frente a otras conceptualizaciones existentes acerca de dominios de la ingeniería que tienen en cuenta los dispositivos, su conexión, su comportamiento y/ó su función. En el caso de la ingeniería de control no se hace referencia directa al sistema físico, sino a un modelo matemático del mismo. Y es más, lo que se usa en el lenguaje de control son nombres que se le dan en este dominio a determinados componentes estructurales de esos modelos matemáticos y, por tanto, a nivel de la ontología, nombres que se le dan a elementos que ya existirán en la conceptualización del dominio matemático. Esta estrategia sirve, en último término, para simplificar las expresiones con las que se transmite el conocimiento en esta disciplina tecnológica. Sin embargo, esto no es una cuestión sólo de ahorro de expresiones, sino que la disciplina necesita este lenguaje para poder existir, desarrollarse y ser comunicada. Uno de los aspectos clave de la conceptualización ha sido cómo reflejar este hecho en la ontología. La solución final, como se ha visto, fue la utilización de instancias para representar a las denominadas “entidades” de control. Estas entidades son los nombres que reciben los elementos estructurales de los modelos matemáticos de los sistemas (por ejemplo, los polos son las raíces del denominador de modelo en función de transferencia). 104 De hecho la discrepancia entre conceptualizaciones puede aparecer en varios aspectos aún cuando se utilicen lenguajes muy formales como OWL. Ver (Uschold, 2003). 153
- Page 122 and 123: Capítulo 4. Esquema de representac
- Page 124 and 125: Capítulo 4. Esquema de representac
- Page 126 and 127: Capítulo 4. Esquema de representac
- Page 128 and 129: Capítulo 4. Esquema de representac
- Page 130 and 131: Capítulo 4. Esquema de representac
- Page 132 and 133: Capítulo 4. Esquema de representac
- Page 134 and 135: Capítulo 4. Esquema de representac
- Page 136 and 137: Capítulo 4. Esquema de representac
- Page 138 and 139: Capítulo 4. Esquema de representac
- Page 140 and 141: Capítulo 4. Esquema de representac
- Page 142 and 143: Capítulo 4. Esquema de representac
- Page 144 and 145: Capítulo 4. Esquema de representac
- Page 146 and 147: Capítulo 4. Esquema de representac
- Page 148 and 149: Capítulo 4. Esquema de representac
- Page 150 and 151: Capítulo 4. Esquema de representac
- Page 152 and 153: Capítulo 4. Esquema de representac
- Page 154 and 155: Capítulo 4. Esquema de representac
- Page 156 and 157: Capítulo 4. Esquema de representac
- Page 158 and 159: Capítulo 4. Esquema de representac
- Page 160 and 161: Capítulo 4. Esquema de representac
- Page 162 and 163: precondition#1 hasLogicalOperator A
- Page 164 and 165: Capítulo 4. Esquema de representac
- Page 166 and 167: Capítulo 4. Esquema de representac
- Page 168 and 169: Capítulo 4. Esquema de representac
- Page 170 and 171: Capítulo 4. Esquema de representac
- Page 174 and 175: Capítulo 4. Esquema de representac
- Page 176 and 177: Capítulo 4. Esquema de representac
- Page 178 and 179: Capítulo 5. Experimentos y resulta
- Page 180 and 181: Capítulo 5. Experimentos y resulta
- Page 182 and 183: Capítulo 5. Experimentos y resulta
- Page 184 and 185: Capítulo 5. Experimentos y resulta
- Page 186 and 187: Capítulo 5. Experimentos y resulta
- Page 188 and 189: Capítulo 5. Experimentos y resulta
- Page 190 and 191: Capítulo 5. Experimentos y resulta
- Page 192 and 193: Capítulo 5. Experimentos y resulta
- Page 194 and 195: Capítulo 5. Experimentos y resulta
- Page 196 and 197: Capítulo 5. Experimentos y resulta
- Page 198 and 199: Capítulo 5. Experimentos y resulta
- Page 200 and 201: Capítulo 5. Experimentos y resulta
- Page 202 and 203: Capítulo 5. Experimentos y resulta
- Page 204 and 205: Capítulo 5. Experimentos y resulta
- Page 206 and 207: Capítulo 5. Experimentos y resulta
- Page 209 and 210: Capítulo 6 Conclusiones finales y
- Page 211 and 212: Capítulo 6. Conclusiones finales y
- Page 213 and 214: Referencias Nota: Todos los enlaces
- Page 215 and 216: Referencias (Bissell, 2004) Bissell
- Page 217 and 218: Referencias knowledge acquisition.
- Page 219 and 220: Referencias OWLED 2006 - OWL: Exper
- Page 221 and 222: Referencias (Genesereth y Nilsson,
Capítulo 4. Esquema <strong>de</strong> repres<strong>en</strong>tación propuesto<br />
Por otro <strong>la</strong>do, aun cuando <strong>la</strong> ontología pueda consi<strong>de</strong>rarse completa, pue<strong>de</strong>n<br />
existir difer<strong>en</strong>tes conceptualizaciones que sean igual <strong>de</strong> correctas <strong>de</strong>s<strong>de</strong> el punto<br />
<strong>de</strong> vista <strong>de</strong> ser un mo<strong>de</strong>lo válido <strong>de</strong>l conocimi<strong>en</strong>to pero que t<strong>en</strong>gan estructuras <strong>de</strong><br />
conocimi<strong>en</strong>to muy difer<strong>en</strong>tes 104 . Una posibilidad <strong>para</strong> solv<strong>en</strong>tar este problema es<br />
ofrecer mecanismos <strong>de</strong> mapeo <strong>de</strong> conceptos que permitan com<strong>para</strong>r y traducir<br />
conceptos y estructuras equival<strong>en</strong>tes <strong>en</strong>tre ontologías (Noy, 2004), otra sería que<br />
surjan conceptualizaciones que puedan ser consi<strong>de</strong>radas estándar y adoptadas por<br />
un amplio grupo <strong>de</strong> usuarios.<br />
4.6.2 Sobre aspectos <strong>de</strong> conceptualización <strong>de</strong>l dominio <strong>de</strong> <strong>la</strong><br />
ing<strong>en</strong>iería <strong>de</strong> control<br />
4.6.2.1 La naturaleza <strong>de</strong>l conocimi<strong>en</strong>to <strong>de</strong> control<br />
En primer lugar, sobre <strong>la</strong> propia naturaleza <strong>de</strong>l conocimi<strong>en</strong>to <strong>en</strong> ing<strong>en</strong>iería <strong>de</strong><br />
control, pue<strong>de</strong> <strong>de</strong>cirse que <strong>la</strong> particu<strong>la</strong>ridad más relevante radica <strong>en</strong> el uso <strong>de</strong> un<br />
l<strong>en</strong>guaje propio con el que se transmite dicho conocimi<strong>en</strong>to. Lo que se expresa <strong>en</strong><br />
este l<strong>en</strong>guaje son los términos <strong>de</strong> <strong>la</strong> <strong>de</strong>nominada "aproximación sistémica", hecho<br />
que caracteriza a <strong>la</strong> ing<strong>en</strong>iería <strong>de</strong> control fr<strong>en</strong>te a otras ing<strong>en</strong>ierías y que también<br />
condiciona <strong>la</strong> forma <strong>de</strong> conceptualizar los conceptos fr<strong>en</strong>te a otras<br />
conceptualizaciones exist<strong>en</strong>tes acerca <strong>de</strong> dominios <strong>de</strong> <strong>la</strong> ing<strong>en</strong>iería que ti<strong>en</strong><strong>en</strong> <strong>en</strong><br />
cu<strong>en</strong>ta los dispositivos, su conexión, su comportami<strong>en</strong>to y/ó su función.<br />
En el caso <strong>de</strong> <strong>la</strong> ing<strong>en</strong>iería <strong>de</strong> control no se hace refer<strong>en</strong>cia directa al sistema<br />
físico, sino a un mo<strong>de</strong>lo matemático <strong>de</strong>l mismo. Y es más, lo que se usa <strong>en</strong> el<br />
l<strong>en</strong>guaje <strong>de</strong> control son nombres que se le dan <strong>en</strong> este dominio a <strong>de</strong>terminados<br />
compon<strong>en</strong>tes estructurales <strong>de</strong> esos mo<strong>de</strong>los matemáticos y, por tanto, a nivel <strong>de</strong> <strong>la</strong><br />
ontología, nombres que se le dan a elem<strong>en</strong>tos que ya existirán <strong>en</strong> <strong>la</strong><br />
conceptualización <strong>de</strong>l dominio matemático. Esta estrategia sirve, <strong>en</strong> último<br />
término, <strong>para</strong> simplificar <strong>la</strong>s expresiones con <strong>la</strong>s que se transmite el conocimi<strong>en</strong>to<br />
<strong>en</strong> esta disciplina tecnológica. Sin embargo, esto no es una cuestión sólo <strong>de</strong> ahorro<br />
<strong>de</strong> expresiones, sino que <strong>la</strong> disciplina necesita este l<strong>en</strong>guaje <strong>para</strong> po<strong>de</strong>r existir,<br />
<strong>de</strong>sarrol<strong>la</strong>rse y ser comunicada.<br />
Uno <strong>de</strong> los aspectos c<strong>la</strong>ve <strong>de</strong> <strong>la</strong> conceptualización ha sido cómo reflejar este<br />
hecho <strong>en</strong> <strong>la</strong> ontología. La solución final, como se ha visto, fue <strong>la</strong> utilización <strong>de</strong><br />
instancias <strong>para</strong> repres<strong>en</strong>tar a <strong>la</strong>s <strong>de</strong>nominadas “<strong>en</strong>tida<strong>de</strong>s” <strong>de</strong> control. Estas<br />
<strong>en</strong>tida<strong>de</strong>s son los nombres que recib<strong>en</strong> los elem<strong>en</strong>tos estructurales <strong>de</strong> los mo<strong>de</strong>los<br />
matemáticos <strong>de</strong> los sistemas (por ejemplo, los polos son <strong>la</strong>s raíces <strong>de</strong>l<br />
<strong>de</strong>nominador <strong>de</strong> mo<strong>de</strong>lo <strong>en</strong> función <strong>de</strong> transfer<strong>en</strong>cia).<br />
104<br />
De hecho <strong>la</strong> discrepancia <strong>en</strong>tre conceptualizaciones pue<strong>de</strong> aparecer <strong>en</strong> varios aspectos aún cuando se utilic<strong>en</strong> l<strong>en</strong>guajes<br />
muy formales como OWL. Ver (Uschold, 2003).<br />
153