Sparql 序数尺度的公理化或基于规则的定义

我想创建一个类，作为

粗略地说，量表中的每一项都比前一项“多”

我想我需要在我的有序量表实例中指出每个项目的等级或顺序。此外，我还想强调，顺序量表的实例在每个级别上都有一个且只有一个项目，没有间隙。因此，项目排名

1,2,3

的顺序量表可以通过推理，但排名

1,2,2

或

1,2,4

的量表将被视为不一致。我想它可以在OWL或SWRL中实现？我只是不知道怎么做

似乎我们已经将其设想为有序的

rdf:list

，但我还没有看到实现

Prefix: : <http://example.com/>
Prefix: dc: <http://purl.org/dc/elements/1.1/>
Prefix: obo: <http://purl.obolibrary.org/obo/>
Prefix: owl: <http://www.w3.org/2002/07/owl#>
Prefix: rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
Prefix: rdfs: <http://www.w3.org/2000/01/rdf-schema#>
Prefix: xml: <http://www.w3.org/XML/1998/namespace>
Prefix: xsd: <http://www.w3.org/2001/XMLSchema#>

Ontology: <http://example.com/Likert>

AnnotationProperty: rdfs:label

Datatype: owl:rational

Datatype: rdf:PlainLiteral

Datatype: xsd:integer

Datatype: xsd:nonNegativeInteger

ObjectProperty: hasPart

    InverseOf: 
        partOf

ObjectProperty: partOf

    InverseOf: 
        hasPart

DataProperty: hasMaxRank

    Characteristics: 
        Functional

    Domain: 
        ordinalValSpec

    Range: 
        xsd:nonNegativeInteger

    SubPropertyOf: 
        owl:topDataProperty

DataProperty: hasMinRank

    Characteristics: 
        Functional

    Domain: 
        ordinalValSpec

    Range: 
        xsd:nonNegativeInteger

DataProperty: hasRank

    Characteristics: 
        Functional

    Domain: 
        ordinalItem

    Range: 
        xsd:nonNegativeInteger

DataProperty: owl:topDataProperty

Class: obo:OBI_0001933

    Annotations: 
        rdfs:label "value specification"

Class: ordinalItem

    EquivalentTo: 
        partOf only ordinalValSpec

Class: ordinalValSpec

    EquivalentTo: 
        hasPart only ordinalItem,
        hasMaxRank exactly 1 owl:rational,
        hasMinRank exactly 1 owl:rational

    SubClassOf: 
        obo:OBI_0001933

Individual: Dislike

    Types: 
        ordinalItem

    Facts:  
     hasRank  1

Individual: Like

    Types: 
        ordinalItem

    Facts:  
     hasRank  3

Individual: Likert

    Types: 
        ordinalValSpec

    Facts:  
     hasPart  Dislike,
     hasPart  Like,
     hasPart  Neutral

Individual: Neutral

    Types: 
        ordinalItem

    Facts:  
     hasRank  2

前缀：：
前缀：dc:
前缀：海外建筑运营管理局：
前缀：owl:
前缀：rdf:
前缀：rdfs:
前缀：xml:
前缀：xsd:
本体：
AnnotationProperty:rdfs:标签
数据类型：owl:rational
数据类型：rdf:PlainLiteral
数据类型：xsd:integer
数据类型：xsd:nonNegativeInteger
ObjectProperty:hasPart
相反：
一部分
ObjectProperty:的一部分
相反：
哈斯帕
DataProperty:hasMaxRank
特点：
功能的
域：
普通规范
范围：
xsd：非负整数
次级方案：
owl:topDataProperty
DataProperty:hasMinRank
特点：
功能的
域：
普通规范
范围：
xsd：非负整数
数据属性：hasRank
特点：
功能的
域：
普通的
范围：
xsd：非负整数
DataProperty:owl:topDataProperty
类别：海外建筑运营管理局：OBI_0001933
注释：
rdfs：标签“值规范”
类别：普通
相当于：
仅为普通规格的一部分
类别：普通规格
相当于：
只有一部分是普通的，
hasMaxRank正好是1猫头鹰：理性，
hasMinRank正好是一只猫头鹰：理性
子类：
海外建筑运营管理局：OBI_0001933
个人：不喜欢
类型：
普通的
事实：
hasRank 1
个人：喜欢
类型：
普通的
事实：
hasRank 3
个人：利克特
类型：
普通规范
事实：
他有一部分不喜欢，
有点像，
hasPart中性
个人：中立
类型：
普通的
事实：
hasRank 2