Це лише каталог термінів без формальних зв’язків.

Визначає правила інференції SPARQL

Описує «онтологію онтологій» — метамодель понять, відношень і патернів.

Задає структурні обмеження/типи онтологічних елементів на метарівні.

Є синонімом ABox.