Représentation formelle et complexe d'un domaine de connaissance qui définit non seulement les concepts et leur hiérarchie, mais aussi les relations logiques entre eux. Plus sophistiquée qu'un thésaurus, elle permet le raisonnement automatisé.

Exemple : Une ontologie médicale peut définir que "si un patient a de la fièvre ET une toux, alors il présente des symptômes respiratoires".