OWL Ontology：表示递增的数字，如第一、第二、第三

Question

我对我正在制作的 OWL 本体有疑问。我有一个实际上是 ID 类的类，我想要有实例：第一、第二、第三等。

第一个解决方案我想为这个类创建个体{第一，第二，第三等}，但是我必须写大量的个体。

另一个解决方案是创建一个数据属性，该属性将与我的类型为“整数”的类连接。

第二种解决方案看起来更合适，但问题是我不能代表“第一”这个词，只能代表数字 1。

你知道我该怎么做吗？

Answer 1

您可以创建一类由整数唯一标识的序数，如下所示（在 Turtle语法）：

:hasPosition  a  owl:DatatypeProperty, owl:FunctionalProperty ;
    rdfs:range  xsd:integer .
:Ordinal  a  owl:Class ;
    rdfs:subClassOf  [
        a  owl:Restriction ;
        owl:onProperty  :hasPosition ;
        owl:someValuesFrom  :integer
    ] ;
    owl:hasKey ( :hasPosition ) .

注意 owl:hasKey 的使用（在 OWL 2 中引入)这意味着 :hasPosition 的值标识一个唯一的实例。该属性是功能性的，因此一个实例不能有两个不同的位置。