OWL-DL本体中的序列顺序建模

Question

默认情况下，序列顺序不在OWL本体中维护。如何在OWL-DL本体中对序列进行建模？

Answer 1

对序列进行建模并对其元素进行排序的一种方法是引入hasNext属性来捕获序列顺序：

Class: SequenceItem
    EquivalentTo: 
        hasNext only SequenceItem

ObjectProperty: hasNext 
    Domain: 
       SequenceItem
    Range: 
       SequenceItem
    InverseOf:
       hasPrevious

然后，假设您要按顺序排序的项目表示为实例，您可以按顺序捕获它们的顺序：

SequenceItem: item_1
    hasNext: 
         item_2

Answer 2

OWL允许您说明例如：

• 每个项目最多只能跟一个项目。
• 每个项目后面最多只有一个项目。
• 每个第一项都是不跟随任何项目的项目。
• Item1是一个项目，后跟Item2。
• ...

这些语句允许您描述序列（可能是开放式的，即具有无限模型）。

（以上陈述是用ACE编写的，使用ACE parser将它们转换为OWL，item成为一个类，follows成为对象属性，Item1 Item2是个人。）