En la representación del conocimiento , una clase es una colección de individuos u objetos. [1] Una clase se puede definir por extensión (especificando miembros) o por intensión (especificando condiciones), usando lo que se llama en algunos lenguajes de ontología como OWL . De acuerdo con la distinción Tipo-token , la ontología se divide en individuos, que son objetos o eventos del mundo real, y tipos o clases, que son conjuntos de objetos del mundo real. Las expresiones o definiciones de clase dan las propiedades que los individuos deben cumplir para ser miembros de la clase. Los individuos que cumplen con la propiedad se denominan Instancias .
Relaciones
Instanciación
La relación de instanciación es una relación entre objetos y clases. Decimos que un objeto O, digamos Harry el águila es una instancia de una clase, digamos Águila . Harry el águila tiene todas las propiedades que podemos atribuirle a un águila, por ejemplo, sus padres eran águilas, él es un pájaro, es carnívoro y así sucesivamente. Es un tipo especial de una relación. Su señalada afirmación del concepto () en Lógicas de descripción , una familia de lógica basada en clases, afirmación de clase [2]
Subsunción
Las clases pueden subsumirse unas a otras. Normalmente decimos que si A
y B
son clases, y todas las A
instancias son también B
instancias, entonces B subsume A, o A es una subclase de B, por ejemplo en el lenguaje OWL se llama 'subclaseof'. [2]
Referencias
- ^ Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (2002). Descripción Lógica: fundamentos para la representación del conocimiento basada en clases . Lógica en Ciencias de la Computación .
- ^ a b "sintaxis owl2" .