Ontologia – formalna reprezentacja pewnej dziedziny wiedzy, na którą składa się zapis zbiorów pojęć () i relacji między nimi. Zapis ten tworzy schemat pojęciowy, który będąc opisem danej dziedziny wiedzy, może służyć jednocześnie jako podstawa do rozumowania o właściwościach opisywanych ontologią pojęć.
Historia Termin ontologia wykorzystywany jest w informatyce od 1967 roku. Większego znaczenia ontologie komputerowe zaczęły nabierać w latach 90. XX wieku, gdy ukazał się artykuł Thomasa Grubera, w którym zdefiniował on ontologię jako formalną, jawną specyfikację wspólnej konceptualizacji. Kolejnym katalizatorem popularności ontologii komputerowych stało się ujęcie ich jako fragmentu (warstwy) w koncepcji sieci semantycznej przez Tima Bernersa-Lee i współpracowników.
Klasyfikacja Pod pojęciem ontologii mogą się kryć różne struktury wiedzy, a i przeznaczenie czy zakres stosowania ontologii może być wieloraki.