owl - 描述逻辑中Rbox的规律性

Question

根据 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 是一个非逆角色名，并且 Si ≺ R 对于 i = 1, . . . , n.

我不明白角色的严格偏序究竟意味着什么，以及我应该如何解释表示它的符号“≺”。我应该如何阅读“S≺R”？我将不胜感激任何形式的解释/示例。

提前致谢！

标签： owlontologydescription-logic