ontología formal

También conocidos como continuos, o en algunos casos como "sustancia", los perdurables son aquellas entidades que pueden observarse y percibirse como un concepto completo, independientemente del momento en que se encuentren . Si congeláramos el tiempo, aún podríamos percibir o concebir el perdurable en su totalidad.

Entre los ejemplos se incluyen objetos materiales (como una manzana o un ser humano) y objetos abstractos "fiduciarios" (como una organización o la frontera de un país).

También conocidos como sucesos, accidentes o acontecimientos, los perdurantes son entidades de las que solo existe una parte si las observamos en un instante determinado. Al congelar el tiempo, solo podemos ver una parte del perdurante. Los perdurantes suelen ser lo que conocemos como procesos, por ejemplo: "correr". Si congelamos el tiempo, solo vemos una parte de la carrera; sin ningún conocimiento previo, es posible que ni siquiera podamos determinar que se trata de un proceso de carrera. Otros ejemplos incluyen una activación, un beso o un procedimiento.

En un sentido amplio, las cualidades también pueden conocerse como propiedades o tropos .

Las cualidades no existen por sí mismas, sino que necesitan otra entidad (en muchas ontologías formales, esta entidad se limita a ser un endurante) a la que puedan pertenecer. Ejemplos de cualidades y los valores que asumen incluyen los colores (rojo) o las temperaturas (cálido).

La mayoría de las ontologías formales de nivel superior reconocen cualidades, atributos, tropos o algo relacionado, aunque la clasificación exacta puede variar. Algunas consideran las cualidades y los valores que pueden asumir (a veces llamados quale ) como una jerarquía separada de los endurantes y perdurantes (ejemplo: DOLCE ). Otras clasifican las cualidades como una subsección de los endurantes, por ejemplo, los endurantes dependientes (ejemplo: BFO ). Otras consideran las instancias de propiedades o tropos que son características únicas de los individuos como los átomos de la ontología, las entidades más simples de las que se componen todas las demás entidades, de modo que todas las entidades son sumas o conjuntos de tropos.

Una ontología podría contener un concepto que represente la "movilidad del brazo". En una ontología no formal, un concepto como este a menudo se clasifica, por ejemplo, como un "hallazgo en el brazo", junto a otros conceptos como "hematoma en el brazo". Este método de modelado puede generar problemas con cantidades crecientes de información, ya que no existe una forma infalible de evitar que jerarquías como esta, o sus jerarquías descendientes (una representa un proceso y la otra una cualidad), se entrelacen o se anude.

En una ontología formal, existe una forma óptima de clasificar adecuadamente este concepto: se trata de una especie de «movilidad», que a su vez es una cualidad o propiedad (véase más arriba). Como cualidad, se dice que reside en entidades independientes y duraderas (véase más arriba); por lo tanto, no puede existir sin un portador (en este caso, el brazo).

Disponer de una ontología formal, especialmente si consta de una capa superior formal enriquecida con conceptos concretos e independientes del dominio en la capa intermedia, puede facilitar enormemente la creación de una ontología específica del dominio. Permite al modelador centrarse en el contenido de la ontología específica del dominio sin tener que preocuparse por la estructura superior exacta o el marco filosófico abstracto que le confiere una base rígida. Los axiomas disjuntos en el nivel superior evitarán muchos de los errores ontológicos comunes que se cometen al crear la capa detallada de la ontología.

Alinear terminologías y ontologías no es tarea fácil. La divergencia en el significado subyacente de las descripciones y términos en diferentes fuentes de información es un obstáculo bien conocido para los enfoques directos de integración y mapeo de datos. Una misma descripción puede tener un significado completamente distinto en una fuente de datos en comparación con otra. Esto se debe a que las distintas bases de datos y terminologías suelen tener una perspectiva diferente sobre elementos similares. Generalmente se diseñan teniendo en cuenta una aplicación específica, y su estructura jerárquica lo refleja.

Por otro lado, una ontología formal representa entidades sin un ámbito de aplicación específico. Su jerarquía refleja principios ontológicos y una relación básica de clase-subclase entre sus conceptos. Un marco coherente como este resulta ideal para la interconexión de fuentes de datos. Sin embargo, no basta con integrar estas fuentes de datos externas en la ontología formal. Una incorporación directa corrompería el marco y los principios de la ontología formal.

Una ontología formal solo constituye un excelente centro de mapeo cruzado si se mantiene una distinción clara entre el contenido y la estructura de las fuentes de información externas y la propia ontología formal. Esto se logra especificando una relación de mapeo entre conceptos de una fuente de información externa caótica y un concepto de la ontología formal que se corresponda con el significado del concepto anterior.

Cuando dos o más fuentes de información externas se corresponden con un mismo concepto de ontología formal, se logra una correspondencia/traducción cruzada, ya que se sabe que esos conceptos, independientemente de su formulación, significan lo mismo.

En las ontologías diseñadas para sistemas de procesamiento del lenguaje natural (PLN) y comprensión del lenguaje natural (CLN), los conceptos ontológicos suelen estar conectados y simbolizados por términos. Este tipo de conexión representa una realización lingüística. Los términos son palabras o combinaciones de palabras (unidades multipalabra), en diferentes idiomas, que se utilizan para describir en lenguaje natural un elemento de la realidad y, por lo tanto, están conectados al concepto ontológico formal que define dicho elemento en la realidad.

El léxico , el conjunto de términos y sus inflexiones asignadas a los conceptos y relaciones en una ontología, constituye la "interfaz de la ontología con el lenguaje natural", el canal a través del cual se puede acceder a la ontología a partir de una entrada en lenguaje natural.

Lo mejor de una ontología formal, a diferencia de las taxonomías o clasificaciones rígidas , es que permite una expansión ilimitada. Con un modelado adecuado, prácticamente cualquier tipo de información conceptual , independientemente de su contenido, puede encontrar su lugar.

Para determinar la posición de un concepto en la ontología, a menudo resulta útil un modelo de contexto para mejorar la capacidad de clasificación. Este modelo suele aplicar reglas a los elementos circundantes del contexto para seleccionar la clasificación más válida.