En
ciencia de la computación y
ciencia de la información, una
'ontología es una definición formal de tipos, propiedades, y relaciones entre entidades que realmente o fundamentalmente existen para un dominio de discusión en particular. Es una aplicación práctica de la
ontología filosófica, con una taxonomía.