Clase (representación del conocimiento)

Las clases de una ontología pueden ser extensionales o intensionales . Una clase es extensional si y solo si se caracteriza únicamente por su pertenencia. 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énticas. Si una clase no satisface esta condición, entonces es intensional. Si bien las clases extensionales se comportan mejor y se comprenden mejor matemáticamente, además de ser menos problemáticas filosóficamente, no permiten las distinciones sutiles que las ontologías a menudo necesitan hacer. Por ejemplo, una ontología puede querer distinguir entre la clase de todas las criaturas con riñón y la clase de todas las criaturas con 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 intensionalmente generalmente tienen condiciones necesarias asociadas a la pertenencia a 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 .

Las clases pueden subsumirse entre sí. Generalmente decimos que si Ay Bson clases, y todas Alas instancias también son Binstancias de , entonces B subsume a A, o A es una subclase de B; por ejemplo, en el lenguaje OWL se denomina 'subclassof'. ^{[ 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, Vehículo subsume a Coche , ya que (necesariamente) todo lo que pertenece a esta última clase pertenece también a la primera. La relación de subsunción se utiliza para crear una jerarquía de clases, generalmente con una clase lo más general posible, como Cualquier cosa , en la cima, y ​​clases muy específicas, como Ford Explorer 2002, en la base. La consecuencia crucial 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 para una clase padre también lo es necesariamente para todas sus clases hijas subsumidas. En algunas ontologías, una clase solo puede tener un padre ( herencia simple ), pero en la mayoría de ellas, las clases pueden tener cualquier número de padres ( herencia múltiple ). En este último caso, la clase hija hereda todas las propiedades necesarias de cada padre. Así, una clase particular de animal ( Gato Doméstico ) puede ser hija de la clase Gato y también de la clase Mascota .

Una partición es un conjunto de clases relacionadas y reglas asociadas que permiten clasificar los objetos según la subclase correspondiente. Las reglas se corresponden con los valores de aspecto que distinguen las subclases de las superclases. Por ejemplo, a la derecha se muestra el diagrama parcial de una ontología que tiene una partición de la clase Coche en las clases Coche de tracción a dos ruedas y Coche de tracción a las cuatro ruedas . La regla de partición (o regla de subsunción) determina si un coche en particular se clasifica como Coche de tracción a dos ruedas o Coche de tracción a las cuatro ruedas .

Si las reglas de partición garantizan que un mismo objeto Car no puede pertenecer a ambas clases, entonces la partición se denomina disjunta. Si las reglas de partición aseguran que cada objeto concreto de la superclase es una instancia de al menos una de las clases de partición, entonces la partición se denomina exhaustiva.