Вимагає унікальної іменної гіпотези за замовчуванням (UNA)

Дозволяє описові обмеження на властивості (рестрикції)

Підтримує відкриту світову гіпотезу

Забороняє використання blank node

Підтримує опис класів через логічні конструкції (перетин, об’єднання, доповнення)