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

Capítulo 4. Esquema de representación propuesto
decir, cada raíz es un individuo independiente y por lo tanto tendrá una instancia
que lo represente.
4.5.1.3 Las expresiones compuestas
Dentro del dominio se encontrarán expresiones matemáticas que involucran a
cantidades representadas mediante números. En la presente ontología se ha
decidido hacer una conceptualización muy básica para estas expresiones con la
finalidad de concentrar los esfuerzos de conceptualización en los aspectos más
relevantes. Una expresión matemática será tratada como una cadena de caracteres
en la que se supone que la notación empleada es la infija. La expresión resultante
será evaluada por una aplicación externa de cálculo numérico de acuerdo a estas
suposiciones. A estas expresiones se las denominará "expresiones compuestas" y
serán instancias de la clase CompoundExpression. La nomenclatura
empleada para los operadores matemáticos es básica y consiste en el siguiente
conjunto de símbolos: {+, -, *, /, ^, sqrt, log, ln, e, sin, cos, tan, asin, acos, atan, (,
)}
Una alternativa mejor sería conceptualizar los distintos operadores matemáticos
así como las posibles expresiones. Para ello se pueden crear conceptualizaciones
basadas en representaciones del tipo MathML 84 o similares. De esta forma se
podría hacer que las expresiones pudiesen ser evaluadas por cualquier herramienta
de cálculo numérico que "conozca" esa estructura de representación. Además, se
podría comprobar que las expresiones están bien formadas y sería posible también
ofrecer explicaciones sobre la expresión así como efectuar razonamientos
cualitativos sobre la misma. La mayor complejidad de este tipo de representación
hizo que se descartara su implementación en la presente ontología, con el fin de
centrar el estudio en los conceptos de control.
Los únicos elementos que, dentro de la presente conceptualización, sí presentan
cierto contenido semántico dentro de una expresión son las variables, que
aparecerán en la expresión como cadenas de caracteres (sin poder utilizar los
caracteres reservados a símbolos de operadores o funciones matemáticas
mencionados anteriormente). Cada expresión tendrá asociada la traducción de
estas variables a los valores correspondientes. Estos valores, a su vez, harán
referencia a las características de los diferentes conceptos (sistemas, funciones de
transferencia, polinomios, etc.) que se hayan definido en la ontología.
supone dificultad en la conceptualización de los números tal como se ha realizado porque lo que denomina "nombre" de la
instancia es en realidad un identificador interno generado automáticamente por Protégé.
84 http://www.w3.org/Math/
90