Se supone que una ontología computacional es decidible y tratable, ¿en qué otra cosa se diferencia de una ontología filosófica?
¿Existe una explicación revisada por pares de las similitudes y diferencias entre las ontologías computacionales y filosóficas?
¿Hay ejemplos de ontologías que no son decidibles y no tratables?
¿Qué es una ontología computacional?
La ontología identifica entidades y sus relaciones que son relevantes para un determinado dominio de investigación. Un ejemplo típico son las ontologías en el dominio médico.
Las ontologías filosóficas se esfuerzan por capturar los tipos de entidades más generales, que son relevantes para todos los dominios científicos. Aristóteles inició el estudio de tales ontologías introduciendo diez 10 categorías (= tipos de entidades).
Si considero que la "ontología computacional" se ocupa de ontologías en el dominio de la informática, denotaría los métodos para crear ontologías para el modelado.
Desde hace varias décadas, el prototipo de este tipo de ontología computacional se denomina " modelado entidad-relación (ERM)". Trata conceptos como tipo de entidad, instancia de un tipo de entidad, posibles atributos de un tipo de entidad, ciclo de vida de tipos de entidad, relación entre tipos de entidad, cardinalidades de tales relaciones, etc.
Un seguidor de ERM es el modelado de clases , que enriquece el ERM con las operaciones utilizadas para procesar una entidad determinada. Una formalización del modelado de clases es el diagrama de clases del Lenguaje de modelado unificado (UML).
Para una referencia general a la ontología ver http://ontology.buffalo.edu/
Tomas Klimpel