Expresión de la ontología

En esta introducción usaremos el significado de ontología como "especificación explícita de una conceptualización". La ontología, en este sentido, restringe el uso previsto de los términos de la ontología (como se ilustra en la figura de la página anterior) de modo que forme un vocabulario y un conjunto de axiomas que puedan usarse para expresar una base de conocimiento y para compartir conocimiento entre diferentes sistemas.

Además, exigimos que la especificación sea formal (del mismo modo que un programa está escrito formalmente en un lenguaje de programación), para que la ontología pueda ser procesada por una computadora. Algunos de los lenguajes formales que pueden usarse para expresar ontologías se describen en el siguiente capítulo.

Salvo que se indique lo contrario, en el resto de esta introducción se usa ontología en el sentido de "especificación explícita formal de una conceptualización".