Cuerpo de conocimiento

A veces, la ontología se define como un cuerpo de conocimiento que describe algún dominio, típicamente un dominio de conocimiento de sentido común, utilizando un vocabulario de representación como el descrito anteriormente. En este caso, una ontología no es solo el vocabulario, sino toda la base de conocimiento "superior" (incluido el vocabulario que se utiliza para describir esa base de conocimiento).

El ejemplo típico es el proyecto CYC, que define su base de conocimiento como una ontología para cualquier otro sistema basado en conocimiento. CYC es el nombre de una base de conocimiento muy grande y multicontextual, junto con un motor de inferencia. CYC es un intento temprano de hacer IA simbólica a gran escala, capturando conocimiento común requerido para realizar tareas que son triviales para las personas, pero muy difíciles para las computadoras. Todo el conocimiento de CYC está representado declarativamente en forma de aserciones lógicas. CYC contiene más de 400,000 aserciones significativas, que incluyen declaraciones simples de hechos, reglas sobre qué conclusiones extraer cuando se satisfacen ciertas declaraciones de hechos y reglas sobre cómo razonar con ciertos tipos de hechos y reglas. Las nuevas conclusiones son derivadas por el motor de inferencia mediante razonamiento deductivo. El conocimiento de sentido común de CYC puede utilizarse como base de conocimiento para cualquier sistema intensivo en conocimiento. En este sentido, este cuerpo de conocimiento puede verse como una ontología de la base de conocimiento del sistema.

En general, no es posible distinguir objetivamente qué debe estar en una ontología y qué debe estar en una base de conocimiento. Depende de los requisitos del uso previsto de la ontología. Por eso, la visión de CYC sobre la ontología no es incompatible con la definición de Gruber, aunque pueda contener hechos que alguien clasificaría como representación del estado de cosas.