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 ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
precondition#1<br />
hasLogicalOperator<br />
AND<br />
AND<br />
hasComparisonsAndPreconditions<br />
comparison#1<br />
comparison#2<br />
Capítulo 4. Esquema <strong>de</strong> repres<strong>en</strong>tación propuesto<br />
Comparison#1<br />
142<br />
hasLeftCom<strong>para</strong>tedElem<strong>en</strong>t<br />
compoundExpression#1<br />
hasComparisonC<strong>la</strong>use<br />
greater than<br />
hasLeftCom<strong>para</strong>tedElem<strong>en</strong>t<br />
compoundExpression#2<br />
compoundExpression#1<br />
hasExpression<br />
(1+a)<br />
hasVariableBindings<br />
varBinding#1<br />
greater rhan<br />
compoundExpression#5<br />
hasExpression<br />
(1.0)<br />
hasVariableBindings<br />
varBinding#1<br />
hasVariableName<br />
a<br />
hasBoundCharacteristic<br />
type of (p<strong>la</strong>nt)<br />
roots<br />
<strong>de</strong>nominator<br />
hasSlotEnumeration<br />
hasBaseC<strong>la</strong>ss<br />
hasSlotEnumeration<br />
hasBaseC<strong>la</strong>ss<br />
transfer function<br />
hasPolynomialRoots<br />
type of (p<strong>la</strong>nt )<br />
hasRootsAndCoeffDescription<br />
Polynomial<br />
hasD<strong>en</strong>ominator<br />
PolynomialQuoti<strong>en</strong>t<br />
hasSlotEnumeration<br />
hasPolynomialQuoti<strong>en</strong>t<br />
hasBaseC<strong>la</strong>ss<br />
TransferFunctionSystemMo<strong>de</strong>l<br />
hasQuantitativeCharacteristic<br />
type<br />
hasConcept<br />
p<strong>la</strong>nt<br />
poles<br />
hasPath<br />
roots<br />
type<br />
hasBaseC<strong>la</strong>ss<br />
p<strong>la</strong>nt<br />
<strong>de</strong>nominator<br />
transfer function<br />
hasDefiningExpression<br />
compounExpression#2<br />
hasBaseC<strong>la</strong>ss<br />
TransferFunctionSystemMo<strong>de</strong>l<br />
TransferFunctionSystemMo<strong>de</strong>l<br />
compoundExpression#2<br />
poles in origin<br />
hasExpression<br />
(n_roots_origin)<br />
hasVariableBindings<br />
varBinding#2<br />
number of elem<strong>en</strong>ts<br />
hasWholeCollection<br />
poles<br />
hasPrecondition<br />
precondition#1<br />
Precondition#1<br />
hasLogicalOperator<br />
AND<br />
hasComparisonsAndPreconditions<br />
Comparison#3<br />
comparison#3<br />
comparison#4<br />
hasLeftCom<strong>para</strong>tedElem<strong>en</strong>t<br />
compoundExpression#1<br />
hasComparisonC<strong>la</strong>use<br />
equal<br />
hasLeftCom<strong>para</strong>tedElem<strong>en</strong>t<br />
compoundExpression#2<br />
varBinding#2<br />
hasVariableName<br />
(n_roots_origin)<br />
hasBoundCharacteristic<br />
number elem<strong>en</strong>ts of<br />
(poles in origin)<br />
number of<br />
elem<strong>en</strong>ts of (poles<br />
in origin)<br />
hasCharacteristic<br />
hasNamedEntity<br />
AND<br />
Number of elem<strong>en</strong>ts<br />
poles in origin<br />
Comparison#3<br />
compoundExpression#1<br />
hasExpression<br />
hasLeftCom<strong>para</strong>tedElem<strong>en</strong>t<br />
compoundExpression#1<br />
hasComparisonC<strong>la</strong>use<br />
equal<br />
hasLeftCom<strong>para</strong>tedElem<strong>en</strong>t<br />
(imag_part)<br />
hasVariableBindings<br />
varBinding#1<br />
compoundExpression#1<br />
hasExpression<br />
(0.0)<br />
hasVariableBindings<br />
compoundExpression#2<br />
compoundExpression#1<br />
hasExpression<br />
(real_part)<br />
hasVariableBindings<br />
varBinding#1<br />
compoundExpression#1<br />
hasExpression<br />
(0.0)<br />
hasVariableBindings<br />
varBinding#1<br />
hasVariableName<br />
imag_part<br />
hasBoundCharacteristic<br />
imaginary part<br />
Figura 4.32. Instancia que repres<strong>en</strong>ta una precondición formada por dos com<strong>para</strong>ciones<br />
equal<br />
varBinding#1<br />
equal<br />
hasVariableName<br />
real_part<br />
hasBoundCharacteristic<br />
imaginary part<br />
hasPath<br />
real part<br />
hasBaseC<strong>la</strong>ss<br />
slotPath#4<br />
ComplexNumber<br />
real part<br />
hasPath<br />
hasBaseC<strong>la</strong>ss<br />
slotPath#4<br />
slotPath#3<br />
ComplexNumber<br />
hasSlotEnumeration<br />
hasImaginaryPart<br />
slotPath#3<br />
hasRealAndImaginaryPartsDescription<br />
hasSlotEnumeration<br />
hasRealPart<br />
hasRealAndImaginaryPartsDescription