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

Capítulo 4. Esquema de representación propuesto
La clase que describe a los bloques canónicos se denomina
CanonicalBlockDiagramComponent 90 y contiene slots para indicar el
nombre o alias que se le da al bloque dentro de una determinada topología
(controlador, sistema a controlar, etc.) y el tipo de bloque (función de
transferencia, sumador, etc.) que representa. No existirán bloques si no es dentro
de una topología. En la figura 4.13 se pueden ver ejemplos de bloques canónicos
correspondientes a la topología de la figura 4.12.
Los bloques que aparecen en una topología concreta serán pues instancias de la
clase CanonicalBlockDiagramComponent. Este uso de instancias en el
formalismo de marcos se corresponde en cierta medida con los objetos o
instancias prototípicos (también llamadas roles) de UML (Booch et. al., 2005).
Allí estos elementos se utilizan para construir diagramas de interacción en los
cuales se representa al conjunto de objetos de una determinada clase de forma
genérica 91 .
La conceptualización de una topología incluye la especificación de los bloques
que forman parte de la misma, tal como se ha explicado, y la forma en la que están
conectados estos bloques (incluyendo las señales que fluyen por las conexiones
entre los mismos). Las clases que representan a las topologías como diagrama de
bloques y como diagrama de flujo se han denominado
CanonicalBlockDiagram y CanonicalSignalFluxDiagram
respectivamente.
Para conseguir describir la disposición de los bloques en un diagrama es
necesario, de forma general, utilizar tanto la mereología como la topología. La
mereología estudia la descripción de los sistemas u objetos que están compuestos
de otros, es decir, estudia la relación entre el todo y sus partes. Por su parte, la
topología estudia la forma en la que se establecen las conexiones o la disposición
de las partes dentro del todo. En medicina y muchas ramas de la ingeniería estas
relaciones son muy importantes, más incluso que la relación subtipo 92 . Sin
embargo, en el caso de la conceptualización de la teoría clásica de control, tal
como se ha postulado para el presente estudio, la representación de las relaciones
90 El bloque canónico representa a cualquier elemento que en un diagrama de bloques aparece conectado por las flechas.
Por tanto representará tanto a bloques función de transferencia como a sumadores y puntos de bifurcación e incluso a
sumideros y generadores de señal necesarios para mantener la coherencia de la representación de las topologías como se
verá más adelante.
91 El uso de una instancia para representar al conjunto de instancias de una determinada clase es también una solución que
se ha dado a ciertos problemas de representación del conocimiento desde el ámbito de la Web Semántica (Uschold y Welty,
2005). El problema en este caso surge ante la necesidad de utilizar clases como valores de las propiedades. Este hecho haría
que el lenguaje a utilizar pasase de ser decidible y tratable a ser indecidible (se pasaría de OWL-DL a OWL-Full). Para
mantener el lenguaje en la variante de lógicas descriptivas, una de las estrategias consiste precisamente en utilizar una
instancia como representante genérica de la clase (la aproximación denominada “approach 2” en (Uschold y Welty, 2005)).
92 La creación del lenguaje SysML (ver apartado 2.2.2) ha tenido muy en cuenta este hecho. Uno de los aspectos más
importantes en la construcción de este lenguaje de modelado a partir de la especificación 2.0 de UML fue la práctica
desaparición de la relación subtipo (clase-subclase) y la construcción en el lenguaje de estructuras apropiadas para reflejar
la relación parte-de cómo una relación básica en la descripción de modelos en ingeniería de sistemas.
99