Основываясь на определении, взятом из Основы технологий семантической паутины Хитцлером и др., Иерархия ролей называется регулярной, если существует строгий частичный порядок ≺ на R, например
что имеет место следующее:
а) ○ S ≺ R тогда и только тогда, когда S− ≺ R
б) ○ каждая аксиома включения роли имеет одну из форм:
■ R ◦ R ⊑ R, R− ⊑ R, S1 ◦ · · · ◦ Sn ⊑ R,
R ◦ S1 ◦ · · · ◦ Sn ⊑ R, S1 ◦ · · · ◦ Sn ◦ R ⊑ R
такой, что R - не обратное имя роли, а Si ≺ R для i = 1,. , , , n.
Я не понимаю, что именно означает строгий частичный порядок на роли
и как я должен интерпретировать обозначение «≺», представляющее его. Как я должен читать "S ≺ R"? Буду признателен за любое объяснение / пример.
Заранее спасибо!