En la representación del conocimiento , una clase es una colección de individuos u objetos individuales. [1] Una clase se puede definir por extensión (especificando miembros) o por intención (especificando condiciones), utilizando lo que se llama en algunos lenguajes de ontología como OWL . De acuerdo con la distinción tipo-muestra , la ontología se divide en individuos, que son objetos del mundo real, o eventos, y tipos, o clases, que son conjuntos de objetos del mundo real. Las expresiones o definiciones de clase proporcionan las propiedades que los individuos deben cumplir para ser miembros de la clase. Los individuos que cumplen la propiedad se denominan Instancias .
Algunos ejemplos de clases: [2]
Las clases (conceptos que también se denominan tipo , ordenación , categoría y clase ) se pueden definir como una extensión o una intención. Según una definición extensional, son grupos, conjuntos o colecciones abstractas de objetos. Según una definición intensional, son objetos abstractos que se definen por valores de aspectos que son restricciones para ser miembro de la clase. La primera definición de clase da como resultado ontologías en las que una clase es una subclase de una colección. La segunda definición de clase da como resultado ontologías en las que las colecciones y las clases son fundamentalmente diferentes. Las clases pueden clasificar individuos, otras clases o una combinación de ambas.
Las clases de una ontología pueden ser de naturaleza extensional o intensional . Una clase es extensional si y solo si se caracteriza únicamente por su membresía. Más precisamente, una clase C es extensional si y solo si para cualquier clase C', si C' tiene exactamente los mismos miembros que C, entonces C y C' son idénticos. Si una clase no satisface esta condición, entonces es intensional. Si bien las clases extensionales se comportan mejor y se entienden mejor matemáticamente, así como menos problemáticas filosóficamente, no permiten las distinciones de grano fino que las ontologías a menudo necesitan hacer. Por ejemplo, una ontología puede querer distinguir entre la clase de todas las criaturas con un riñón y la clase de todas las criaturas con un corazón, incluso si estas clases tienen exactamente los mismos miembros. En la mayoría de las ontologías superiores , las clases se definen intensionalmente. Las clases definidas intencionalmente generalmente tienen condiciones necesarias asociadas con la membresía en cada clase. Algunas clases también pueden tener condiciones suficientes y, en esos casos, la combinación de condiciones necesarias y suficientes hace que esa clase sea una clase completamente definida .
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 atribuir a un águila, por ejemplo, sus padres eran águilas, es un pájaro, come carne, etc. Es un tipo especial de relación . Su concepto de aserción ( ) se menciona en Lógica de descripción , una familia de lógica basada en clases, aserción de clase [3]
Las ontologías varían en función de si las clases pueden contener otras clases, si una clase puede pertenecer a sí misma, si existe una clase universal (es decir, una clase que contenga todo), etc. A veces se hacen restricciones en este sentido para evitar ciertas paradojas bien conocidas .
Las clases pueden subsumirse entre sí. Generalmente decimos que si Ay Bson clases, y todas Alas instancias también son Binstancias, entonces B subsume a A, o A es una subclase de B, por ejemplo en el lenguaje OWL se llama 'subclase de'. [3]
Es importante destacar que una clase puede subsumir o ser subsumida por otras clases; una clase subsumida por otra se denomina subclase ( o subtipo ) de la clase subsumidora (o supertipo ). Por ejemplo, Vehicle subsume Car , ya que (necesariamente) todo lo que es miembro de la última clase es miembro de la primera. La relación de subsunción se utiliza para crear una jerarquía de clases, normalmente con una clase máximamente general como Anything en la parte superior y clases muy específicas como 2002 Ford Explorer en la parte inferior. La consecuencia críticamente importante de la relación de subsunción es la herencia de propiedades de la clase padre (subsumidora) a la clase hija (subsumida). Por lo tanto, todo lo que es necesariamente cierto de una clase padre también es necesariamente cierto de todas sus clases hijas subsumidas. En algunas ontologías, a una clase solo se le permite tener un padre ( herencia simple ), pero en la mayoría de las ontologías, a las clases se les permite tener cualquier número de padres ( herencia múltiple ), y en el último caso todas las propiedades necesarias de cada padre son heredadas por la clase hija subsumida. Por lo tanto, una clase particular de animal ( HouseCat ) puede ser hija de la clase Cat y también hija de la clase Pet .
Una partición es un conjunto de clases relacionadas y reglas asociadas que permiten clasificar los objetos por la subclase apropiada. Las reglas corresponden a los valores de aspecto que distinguen las subclases de las superclases. Por ejemplo, a la derecha se encuentra el diagrama parcial de una ontología que tiene una partición de la clase Car en las clases 2-Wheel Drive Car y 4-Wheel Drive Car . La regla de partición (o regla de subsunción) determina si un automóvil en particular se clasifica por la clase 2-Wheel Drive Car o 4-Wheel Drive Car .
Si las reglas de partición garantizan que un solo vehículo no puede estar en ambas clases, la partición se denomina partición disjunta. Si las reglas de partición garantizan que cada objeto concreto de la superclase sea una instancia de al menos una de las clases de partición, la partición se denomina partición exhaustiva.
