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

Capítulo 4. Esquema de representación propuesto
4.5.5.2 Estructura para la conceptualización de precondiciones
Las precondiciones son, como se ha dicho, bloques de comparaciones unidas por
los operadores lógicos AND y OR. Agrupan a una serie de comparaciones
(también se pueden agrupar otras precondiciones, estableciendo así diferentes
niveles en las mismas) creando una expresión compleja que, en conjunto, será
evaluada a un valor de verdad.
Las precondiciones se utilizarán en diferentes lugares, formando parte de
diferentes estructuras conceptuales en la ontología. A continuación se describen
algunos usos:
140
• Para establecer rangos o condiciones sobre las que se definen las
características cualitativas (descrito en la sección 4.5.4.2).
• Para definir entidades que son subcolecciones a partir de entidades que son
colecciones, estableciendo algún tipo de restricción establecida sobre las
características aplicables a los elementos que forman la colección inicial y
que todos los elementos de la sub-colección deben cumplir. Es el caso del
concepto "polos reales" (real poles) por ejemplo (descrito en la
sección 4.5.3.2).
• Formando parte de la parte izquierda (de las condiciones) de las reglas de
producción que describirán el aspecto dinámico de las aplicaciones que se
implementen en base a esta ontología (no abordado en esta tesis).
• Para expresar condiciones de aplicabilidad de características (descrito en la
sección 4.5.4.3)
A modo de ejemplo, en la figura 4.31 se presenta una precondición sencilla
formada por dos comparaciones. Esta comparación puede utilizarse, por ejemplo,
para obtener la subcolección de “polos imaginarios puros”, ya que establece la
comparación entre la parte real (de un número complejo) y el número 0.0
utilizando el operador de igualdad.
Comparison#3
hasLeftComparatedElement
compoundExpression#1
hasComparisonClause
equal
hasLeftComparatedElement
compoundExpression#2
compoundExpression#1
hasExpression
(real_part)
hasVariableBindings
varBinding#1
compoundExpression#1
hasExpression
(0.0)
hasVariableBindings
varBinding#1
equal
hasVariableName
real_part
hasBoundCharacteristic
real part
real part
hasPath
hasBaseClass
slotPath#3
ComplexNumber
slotPath#3
hasSlotEnumeration
hasRealPart
Figura 4.31. Instancia que representa a una precondición sencilla
hasRealAndImaginaryPartsDescription