Mejor respuesta
La ontología es el estudio de los tipos básicos de entidades que existen. La palabra tradicional para un «tipo básico» en este sentido es una categoría y. Para tomar un ejemplo, distinguimos entre objetos particulares y sus características, como el color, la forma y el peso de esta hoja. Esta distinción se presupone en todas las ciencias. Así, las hipótesis o «teorías» sobre esta distinción, sobre lo que es ser una propiedad o un particular, no entran dentro de ninguna de las otras ciencias. Esto es típico de un problema ontológico. Las otras dos respuestas aquí son incorrectas en la medida en que implican que la epistemología es de alguna manera parte de la ontología. No lo es. La epistemología es un estudio separado. La epistemología se ocupa de cómo las creencias se justifican o qué es el conocimiento.
Una entidad puede entenderse como cualquier cosa sobre la que se puedan hacer declaraciones verdaderas, cualquier cosa que tenga alguna características cualesquiera. Todos los lenguajes sin excepción tienen una distinción entre un sujeto, algo sobre lo que podemos decir cosas, y las frases verbales que usamos para predicar o afirmar características de esa entidad. Todos los lenguajes sin excepción hacen una distinción entre afirmar un predicado de algo y negar ese predicado de esa cosa. Por lo tanto, el tema de la ontología no se debe a las peculiaridades de ninguna familia lingüística en particular.
Hay una variedad de candidatos que se han propuesto para el estado de categoría. «He mencionado dos hasta ahora: particular y propiedad. Otros incluyen evento o actividad, proceso, estado de cosas, hecho. Por ejemplo, algunos ontólogos proponen que existen objetos particulares, como moléculas, árboles, personas, etc., y en estas cosas tienen lugar eventos, y estas cosas persisten a través de los diversos cambios que tienen lugar en ellas. Desde este punto de vista, los eventos son una entidad compleja que consta de particulares que tienen propiedades de evento. Se suele sostener que los particulares persistentes tienen naturaleza, que son las capacidades básicas para el cambio que tienen. O, en todo caso, los particulares persistentes tienen capacidades, y éstas se manifiestan en sus actividades. Otros ontólogos, sin embargo, sostienen que los particulares son una ilusión, reducible a cadenas de eventos o procesos. Entonces, estas ontologías de eventos toman los eventos o procesos como algo básico.
Respuesta
Dos respuestas ** muy diferentes ** de Thomas Musselman y Kingsley Ihehen, ambos respondedores altamente calificados (de hecho, Considero a Kingsley Idehen como un referente de la ontología computacional). ¿Por qué tan diferente? Ambos hablan de cosas diferentes: Musseman sobre la ontología como * tema en filosofía * e Idehen sobre la ontología como un tema emergente * en ingeniería informática *.
En filosofía, la ontología se trata de cuáles son las categorías generales de cositas que existen, como quizás objetos físicos, sensaciones, ideas, almas, estados de ánimo, eventos, relaciones, roles, hechos, suposiciones, imágenes mentales…. En ingeniería informática, las ontologías catalogan los tipos de «cositas» que se utilizan para describir los dominios del esfuerzo y el conocimiento humanos, como electrones y protones y … en química, acciones y bonos, intercambios y asentamientos y … en el negocio de valores …, widgets y estilos y píxeles y … en interfaces de usuario web,. Básicamente, el lenguaje de un dominio y las relaciones de significado entre los conceptos del dominio. Entonces, la ontología es la base del lenguaje que debe entenderse para tener algún conocimiento del dominio, como cada átomo tiene un número igual de protones y electrones.
Pero, en mi opinión, esto El enfoque en ingeniería informática se mete en problemas cuando se trata de lo que ellos llaman la «ontología superior», que a menudo se dice que son clases de cosas de nivel superior que no dependen del dominio. Aquí, la ontología de la ingeniería informática se topa con la ontología filosófica. Por ejemplo, Kingsley afirma que una ontología es un catálogo de «tipos de entidad» y tipos de relación «. Esto * presupone * que las cosas que pueden existir son todas entidades o relaciones. ¿Cómo se determinó esto? ¿Es este el mejor modelo para todos los propósitos? (Y, en particular, los ontólogos de ingeniería de hoy en día casi todos siguen la web semántica y su uso de una forma particular para todas las afirmaciones como un RDF Triple: Sujeto-Verbo-Objeto). Se afirma, y podría ser cierto con algunas extensiones , que cada afirmación * puede * expresarse de esta forma. Pero, como suele ser el caso, el hecho de que todo pueda expresarse de una determinada forma lleva a la gente a pensar que esto es lo que realmente es. Otras lenguas no indoeuropeas no reducen los pensamientos a cosas y relaciones. , sino más bien, por ejemplo, a eventos y / o roles en eventos. (Por ejemplo, malgache).Algunos enfoques alternativos relacionados con la ingeniería informática, como el modelado de objetos y roles, han demostrado ser más efectivos, en mi opinión, especialmente para aplicaciones de ciencia de datos.
Lo que se necesita, en mi opinión, es alguna ciencia que podría relacionar la ontología filosófica y la ontología de la ingeniería. Como dijo recientemente Ronald Stamper, uno de los pensadores fundadores de la semántica de la informática:
“En mi vida científica, tengo dos deseos fuertes y persistentes:
1. Descubrir en qué se basa la ontología oculta en el sentido metafísico de la ingeniería ontológica; “
Creo que en el trabajo de Stamper desde finales de los 80 hasta principios de los 2000 en realidad se abre el camino hacia esta federación de ideas.