Формальна специфікація спільного понятійного апарату предметної області.

Набір тверджень про конкретні екземпляри класів.

Набір аксіом про класи, властивості та обмеження.

Дедуктивний процес отримання нових фактів/перевірки несуперечності.

Узагальнена високорівнева онтологія для багаторазового перевикористання (напр., BFO/DOLCE).

Встановлення відповідностей між поняттями різних онтологій.