基于Hitzler等人的语义网络技术基金会的定义，如果R上存在严格的偏序≺，则角色层次称为常规规则，例如 满足以下条件：
a）○S≺R当且仅当S−≺R
b）○每个角色包含公理都是以下形式之一：
■R◦R⊑R，R−⊑R，S1◦···◦Sn⊑R， R◦S1◦···◦Sn⊑R，S1◦···◦Sn◦R⊑R
使得R是一个非反向角色名称，并且i = 1的Si = R。 。 。 ，
我不明白严格的角色分工到底意味着什么 以及如何解释表示它的符号“≺”。我应该怎么读“ S≺R”？我将不胜感激任何解释/示例。
谢谢！