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 puede observarse en la estructura de la ontología de la figura, poles sería el nombre de las instancias de ComplexNumber que se encuentran en el slot hasRoots de las instancias de RootsAndCoeffPolynomialDescription que se encuentran en el slot hasRootsAndCoeffDescription de las instancias de Polynomial que se encuentran en el slot hasDenominator de las instancias de PolynomialQuotient que se encuentran en el slot hasPolynomialQuotient de las instancias de TransferFunctionSystemModel de las que se esté diciendo algo. Dentro del camino de slots que define a poles se encuentran slots a los que ya se le ha dado nombre en los ejemplos anteriores, en concreto transfer function y roots. Utilizando estos conceptos se puede acortar la definición de poles. Primeramente utilizando el concepto transfer function se pasaría de esta definición: 112 poles es el nombre de las instancias de ComplexNumber que se encuentran en el slot hasRoots de las instancias de RootsAndCoeffPolynomialDescription que se encuentran en el slot hasRootsAndCoeffDescription de las instancias de Polynomial que se encuentran en el slot hasDenominator de las instancias de PolynomialQuotient que se encuentran en el slot hasPolynomialQuotient de las instancias de TransferFunctionSystemModel de las que se esté diciendo algo a esta otra: poles es el nombre de las instancias de ComplexNumber que se encuentran en el slot hasRoots de las instancias de RootsAndCoeffPolynomialDescription que se encuentran en el slot hasRootsAndCoeffDescription de las instancias de Polynomial que se encuentran en el slot hasDenominator de las transfer function de las instancias de TransferFunctionSystemModel de las que se esté diciendo algo Se ha resaltado el texto equivalente en ambos párrafos. Haciendo lo mismo con la expresión que define a roots y creando una nueva para el concepto denominador, podría llegarse a una definición mucho más cercana a la utilizada por un ingeniero de control: poles es el nombre de las raíces(roots) del denominador(denominador) de la función de
Capítulo 4. Esquema de representación propuesto transferencia (transfer function) de las instancias de TransferFunctionSystemModel de las que se esté diciendo algo Los términos raíces, denominador y función de transferencia aparecen resaltados para ver su correspondencia en la versión original: poles es el nombre de las instancias de ComplexNumber que se encuentran en el slot hasRoots de las instancias de RootsAndCoeffPolynomialDescription que se encuentran en el slot hasRootsAndCoeffDescription de las instancias de Polynomial que se encuentran en el slot hasDenominator de las instancias de PolynomialQuotient que se encuentran en el slot hasPolynomialQuotient de las instancias de TransferFunctionSystemModel de las que se esté diciendo algo Los conceptos denominador (denominator) y raíces (roots) no pertenecen al dominio del control sino al de las matemáticas, aunque el método para definirlos es conceptualmente similar. Así denominador sería: denominator es el nombre de uno de los componentes de un cociente (de polinomios en este caso) 95 . denominator es pues el nombre que recibe la instancia que se encuentra en el slot hasDenominator de una instancia cualquiera de PolynomialQuotient. Por su parte, roots sería el conjunto de instancias que aparecen en el slot hasRoots de la instancia de RootsAndCoeffDescription que está en el slot hasRootsAndCoeffPolynomialDescription de cualquier instancia de Polynomial. El caso de denominator es muy similar conceptualmente al de transfer function ya que sólo un slot está involucrado en su definición. Una vez definidos los conceptos roots, denominator y transfer function el concepto polos (poles), como se ha visto, puede definirse utilizando estos conceptos (entidades) en vez de utilizar el camino de slots completo. En la figura 4.20 puede verse gráficamente la forma de definir el concepto poles de forma alternativa a la expresada en la figura 4.19. 95 En la ontología no existe una conceptualización explícita de los papeles de numerador y denominador en un cociente. 113
- Page 82 and 83: Capítulo 3. Representación del co
- Page 84 and 85: Capítulo 4. Esquema de representac
- Page 86 and 87: Capítulo 4. Esquema de representac
- Page 88 and 89: Capítulo 4. Esquema de representac
- Page 90 and 91: Capítulo 4. Esquema de representac
- Page 92 and 93: Capítulo 4. Esquema de representac
- Page 94 and 95: Capítulo 4. Esquema de representac
- Page 96 and 97: Capítulo 4. Esquema de representac
- Page 98 and 99: Capítulo 4. Esquema de representac
- Page 100 and 101: Capítulo 4. Esquema de representac
- Page 102 and 103: Capítulo 4. Esquema de representac
- Page 104 and 105: Capítulo 4. Esquema de representac
- Page 106 and 107: Capítulo 4. Esquema de representac
- Page 108 and 109: Capítulo 4. Esquema de representac
- Page 110 and 111: Capítulo 4. Esquema de representac
- Page 112 and 113: Capítulo 4. Esquema de representac
- Page 114 and 115: Capítulo 4. Esquema de representac
- Page 116 and 117: Capítulo 4. Esquema de representac
- Page 118 and 119: Capítulo 4. Esquema de representac
- Page 120 and 121: Capítulo 4. Esquema de representac
- 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 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 172 and 173: 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
Capítulo 4. Esquema <strong>de</strong> repres<strong>en</strong>tación propuesto<br />
Como pue<strong>de</strong> observarse <strong>en</strong> <strong>la</strong> estructura <strong>de</strong> <strong>la</strong> ontología <strong>de</strong> <strong>la</strong> figura, poles sería<br />
el nombre <strong>de</strong> <strong>la</strong>s instancias <strong>de</strong> ComplexNumber que se <strong>en</strong>cu<strong>en</strong>tran <strong>en</strong> el slot<br />
hasRoots <strong>de</strong> <strong>la</strong>s instancias <strong>de</strong><br />
RootsAndCoeffPolynomialDescription que se <strong>en</strong>cu<strong>en</strong>tran <strong>en</strong> el slot<br />
hasRootsAndCoeffDescription <strong>de</strong> <strong>la</strong>s instancias <strong>de</strong> Polynomial que<br />
se <strong>en</strong>cu<strong>en</strong>tran <strong>en</strong> el slot hasD<strong>en</strong>ominator <strong>de</strong> <strong>la</strong>s instancias <strong>de</strong><br />
PolynomialQuoti<strong>en</strong>t que se <strong>en</strong>cu<strong>en</strong>tran <strong>en</strong> el slot<br />
hasPolynomialQuoti<strong>en</strong>t <strong>de</strong> <strong>la</strong>s instancias <strong>de</strong><br />
TransferFunctionSystemMo<strong>de</strong>l <strong>de</strong> <strong>la</strong>s que se esté dici<strong>en</strong>do algo.<br />
D<strong>en</strong>tro <strong>de</strong>l camino <strong>de</strong> slots que <strong>de</strong>fine a poles se <strong>en</strong>cu<strong>en</strong>tran slots a los que ya se<br />
le ha dado nombre <strong>en</strong> los ejemplos anteriores, <strong>en</strong> concreto transfer<br />
function y roots. Utilizando estos conceptos se pue<strong>de</strong> acortar <strong>la</strong> <strong>de</strong>finición<br />
<strong>de</strong> poles. Primeram<strong>en</strong>te utilizando el concepto transfer function se<br />
pasaría <strong>de</strong> esta <strong>de</strong>finición:<br />
112<br />
poles es el nombre <strong>de</strong> <strong>la</strong>s instancias <strong>de</strong> ComplexNumber que se<br />
<strong>en</strong>cu<strong>en</strong>tran <strong>en</strong> el slot hasRoots <strong>de</strong> <strong>la</strong>s instancias <strong>de</strong><br />
RootsAndCoeffPolynomialDescription que se <strong>en</strong>cu<strong>en</strong>tran<br />
<strong>en</strong> el slot hasRootsAndCoeffDescription <strong>de</strong> <strong>la</strong>s instancias <strong>de</strong><br />
Polynomial que se <strong>en</strong>cu<strong>en</strong>tran <strong>en</strong> el slot hasD<strong>en</strong>ominator <strong>de</strong><br />
<strong>la</strong>s instancias <strong>de</strong> PolynomialQuoti<strong>en</strong>t que se <strong>en</strong>cu<strong>en</strong>tran <strong>en</strong> el<br />
slot hasPolynomialQuoti<strong>en</strong>t <strong>de</strong> <strong>la</strong>s instancias <strong>de</strong><br />
TransferFunctionSystemMo<strong>de</strong>l <strong>de</strong> <strong>la</strong>s que se esté dici<strong>en</strong>do<br />
algo<br />
a esta otra:<br />
poles es el nombre <strong>de</strong> <strong>la</strong>s instancias <strong>de</strong> ComplexNumber que se<br />
<strong>en</strong>cu<strong>en</strong>tran <strong>en</strong> el slot hasRoots <strong>de</strong> <strong>la</strong>s instancias <strong>de</strong><br />
RootsAndCoeffPolynomialDescription que se <strong>en</strong>cu<strong>en</strong>tran<br />
<strong>en</strong> el slot hasRootsAndCoeffDescription <strong>de</strong> <strong>la</strong>s instancias <strong>de</strong><br />
Polynomial que se <strong>en</strong>cu<strong>en</strong>tran <strong>en</strong> el slot hasD<strong>en</strong>ominator <strong>de</strong><br />
<strong>la</strong>s transfer function <strong>de</strong> <strong>la</strong>s instancias <strong>de</strong><br />
TransferFunctionSystemMo<strong>de</strong>l <strong>de</strong> <strong>la</strong>s que se esté dici<strong>en</strong>do<br />
algo<br />
Se ha resaltado el texto equival<strong>en</strong>te <strong>en</strong> ambos párrafos. Haci<strong>en</strong>do lo mismo con <strong>la</strong><br />
expresión que <strong>de</strong>fine a roots y creando una nueva <strong>para</strong> el concepto<br />
<strong>de</strong>nominador, podría llegarse a una <strong>de</strong>finición mucho más cercana a <strong>la</strong><br />
utilizada por un ing<strong>en</strong>iero <strong>de</strong> control:<br />
poles es el nombre <strong>de</strong> <strong>la</strong>s raíces(roots) <strong>de</strong>l<br />
<strong>de</strong>nominador(<strong>de</strong>nominador) <strong>de</strong> <strong>la</strong> función <strong>de</strong>