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