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".

OWL (Web Ontology Language) est un langage informatique qui permet d'écrire des ontologies de manière formelle et standardisée. Grâce à OWL, les ordinateurs peuvent "lire" les relations entre concepts et en déduire automatiquement de nouvelles informations logiques.