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 ...

buleria.unileon.es
from buleria.unileon.es More from this publisher
08.05.2013 Views

Capítulo 4. Esquema de representación propuesto se utilizan para describir el modelo en función de transferencia. En la figura 4.11 se representa esta estructura básica. Las flechas indican el tipo de conceptos que pueden ir en los slots, es decir, unen una clase con un slot, de forma que el rango de ese slot son las instancias de esa clase. TransferFunctionSystemModel 94 hasPolynomialQuotient PolynomialQuotient Polynomial hasNumerator hasDenominator hasDescendingPowersOfVariableDescription hasRootsAndGainDescription DescendingPowersOfVariablePolynomialDescription hasDescendingPowersOfVariable RootsAndCoeffPolynomialDescription hasLeadingCoefficient ComplexNumber hasRoots RealAndImaginaryPartsDescription hasRealPart hasImaginaryPart RealNumber hasNumericalValue Built-in Float in ontology hasRealAndImaginaryPartDescription hasModulusAndArgumentDescription Figura 4.11. Estructura básica de conceptos. ModulusAndArgumentDescription hasModulus hasArgument A partir de esta estructura básica se crearán los demás conceptos pertenecientes al campo del control y su lenguaje. Los slots se han utilizado para representar la información esencial de cada concepto, es decir, los atributos (propiedades) esenciales. Los demás atributos que se pueden asociar a los conceptos, como por ejemplo las características cuantitativas y cualitativas, no serán representados como slots de esos conceptos sino como una predicación 88 de los mismos almacenada en una estructura asertiva separada. Esta decisión, además de ser 88 Se usa el término “predicación” como traducción del término inglés “predication” utilizado en representación del conocimiento. Podría usarse “afirmación” como término con sentido similar. Lo que se pretende transmitir es la idea de “lo que se dice de algo” y como tal se toma el significado original que Aristóteles dio al término “predicatio” y que a menudo se utiliza también en lógica matemática como “predicación lógica”.

Capítulo 4. Esquema de representación propuesto coherente con ciertos estudios sobre la naturaleza de los atributos de los conceptos (ver párrafos siguientes), también permite mantener la conceptualización de los conceptos lo más sencilla, comprensible y reutilizable posible, así como facilitar la propia descripción de la estructura de las características, aspecto de gran importancia en este dominio. Los slots que están asociados a cada concepto son, por tanto, aquellos que sirven para describir lo que hace que ese concepto sea lo que es, aquellos que lo describen totalmente. En el dominio aquí tratado esto significa describir cómo está formado o compuesto ese concepto. Los atributos o propiedades de los conceptos que son específicos de un dominio son los que se han separado de la descripción “esencial” y se han colocado en una estructura separada. Esta aproximación a la descripción o definición de conceptos distinguiendo la esencia (o atributos esenciales) de otros atributos accesorios parte de los estudios filosóficos de Aristóteles (Smith, 2004), aunque aquí se toma con una visión más pragmática y no se persigue encontrar la "verdadera definición de las cosas". En el caso de un dominio artificial correspondiente al ámbito científico, como el que se trata, la esencia se asimilará a la descripción de composición de conceptos que definen a uno dado. Como se resalta en (Burek, 2004) "en muchos dominios, incluyendo los técnicos y científicos, las definiciones no intentan proporcionar la esencia de los conceptos. Parece que los autores de esas definiciones no intentan señalar a ninguna propiedad fundamental de los mismos. En estos casos, si se sigue estrictamente la sugerencia [de separar características esenciales de las que no lo son] muchos conceptos no tendrían definiciones en el TBox y todo el conocimiento afirmado sobre ellos estaría contenido en el ABox, donde las características no esenciales, pero que sí son definitorias estarían mezcladas con el conocimiento puramente afirmativo" 89 . En (Burek, 2005) se postula distinguir entre atributos (propiedades) esenciales y no esenciales, pero teniendo en cuenta en el caso de estas últimas aquellas que son definitorias para el concepto y las que no. La aproximación seguida en la presente conceptualización sigue una línea similar aunque, como se ha mencionado aquí, se asimilan las propiedades esenciales con las que definen la composición de los conceptos que parece el aspecto más importante en el caso de esta disciplina. Así, un polinomio tiene como descripción esencial sus coeficientes o bien sus raíces y su coeficiente principal, mientras que características que se pueden aplicar al polinomio, como el grado, no pertenecen a su esencia ya que, por ejemplo, pueden ser calculadas a partir de la información esencial. Por tanto, el 89 La separación entre conocimiento esencial y no esencial se sigue en mayor o menor medida en varios sistemas basados en lógicas descriptivas donde la TBOX o red terminológica contendría la información esencial (las propiedades necesarias y suficientes que definen a los conceptos) y la ABOX o red asertiva contendría la información no esencial sobre los conceptos. En CLASSIC, por ejemplo, se utilizan reglas para especificar predicados con propiedades no esenciales (Brachman et. al., 1991). 95

Capítulo 4. Esquema <strong>de</strong> repres<strong>en</strong>tación propuesto<br />

se utilizan <strong>para</strong> <strong>de</strong>scribir el mo<strong>de</strong>lo <strong>en</strong> función <strong>de</strong> transfer<strong>en</strong>cia. En <strong>la</strong> figura 4.11<br />

se repres<strong>en</strong>ta esta estructura básica. Las flechas indican el tipo <strong>de</strong> conceptos que<br />

pue<strong>de</strong>n ir <strong>en</strong> los slots, es <strong>de</strong>cir, un<strong>en</strong> una c<strong>la</strong>se con un slot, <strong>de</strong> forma que el rango<br />

<strong>de</strong> ese slot son <strong>la</strong>s instancias <strong>de</strong> esa c<strong>la</strong>se.<br />

TransferFunctionSystemMo<strong>de</strong>l<br />

94<br />

hasPolynomialQuoti<strong>en</strong>t<br />

PolynomialQuoti<strong>en</strong>t<br />

Polynomial<br />

hasNumerator hasD<strong>en</strong>ominator<br />

hasDesc<strong>en</strong>dingPowersOfVariableDescription hasRootsAndGainDescription<br />

Desc<strong>en</strong>dingPowersOfVariablePolynomialDescription<br />

hasDesc<strong>en</strong>dingPowersOfVariable<br />

RootsAndCoeffPolynomialDescription<br />

hasLeadingCoeffici<strong>en</strong>t<br />

ComplexNumber<br />

hasRoots<br />

RealAndImaginaryPartsDescription<br />

hasRealPart hasImaginaryPart<br />

RealNumber<br />

hasNumericalValue<br />

Built-in Float in ontology<br />

hasRealAndImaginaryPartDescription hasModulusAndArgum<strong>en</strong>tDescription<br />

Figura 4.11. Estructura básica <strong>de</strong> conceptos.<br />

ModulusAndArgum<strong>en</strong>tDescription<br />

hasModulus hasArgum<strong>en</strong>t<br />

A partir <strong>de</strong> esta estructura básica se crearán los <strong>de</strong>más conceptos pert<strong>en</strong>eci<strong>en</strong>tes al<br />

campo <strong>de</strong>l control y su l<strong>en</strong>guaje. Los slots se han utilizado <strong>para</strong> repres<strong>en</strong>tar <strong>la</strong><br />

información es<strong>en</strong>cial <strong>de</strong> cada concepto, es <strong>de</strong>cir, los atributos (propieda<strong>de</strong>s)<br />

es<strong>en</strong>ciales. Los <strong>de</strong>más atributos que se pue<strong>de</strong>n asociar a los conceptos, como por<br />

ejemplo <strong>la</strong>s características cuantitativas y cualitativas, no serán repres<strong>en</strong>tados<br />

como slots <strong>de</strong> esos conceptos sino como una predicación 88 <strong>de</strong> los mismos<br />

almac<strong>en</strong>ada <strong>en</strong> una estructura asertiva se<strong>para</strong>da. Esta <strong>de</strong>cisión, a<strong>de</strong>más <strong>de</strong> ser<br />

88 Se usa el término “predicación” como traducción <strong>de</strong>l término inglés “predication” utilizado <strong>en</strong> repres<strong>en</strong>tación <strong>de</strong>l<br />

conocimi<strong>en</strong>to. Podría usarse “afirmación” como término con s<strong>en</strong>tido simi<strong>la</strong>r. Lo que se pret<strong>en</strong><strong>de</strong> transmitir es <strong>la</strong> i<strong>de</strong>a <strong>de</strong> “lo<br />

que se dice <strong>de</strong> algo” y como tal se toma el significado original que Aristóteles dio al término “predicatio” y que a m<strong>en</strong>udo<br />

se utiliza también <strong>en</strong> lógica matemática como “predicación lógica”.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!