В логике описания есть понятие, называемое "rolification" (СОВА и правила, раздел 3.2). Он преобразует концепт (класс) в роль (свойство). Например, когда мы свертываемR(x), мы получилиr(x,x), Этот метод полезен для выражения некоторых правил в DL.

Как мы это делаем в OWL 2? Кажется, что нет прямой поддержкиСпецификация OWL 2.