Аксиоматическое или основанное на правилах определение порядковой шкалы

Question

Я хотел бы создать класс по порядковой шкале, чтобы быть родным классом " categorical value specification "в онтологии биомедицинских исследований

Грубо говоря, каждый пункт в шкале "больше", чем предыдущий.

Я думаю, что мне нужно будет указать ранг или порядок каждого предмета в моих экземплярах порядковой шкалы. Кроме того, я хотел бы обеспечить, чтобы экземпляры порядковых шкал имели один и только один элемент в каждом ранге без пробелов. Таким образом, порядковая шкала с элементами ранжирования 1, 2, 3 Прошёл бы рассуждения, но весы с рядами 1,2,2 или же 1,2,4 будет считаться несовместимым. Я предполагаю, что это может быть реализовано в OWL или SWRL? Я просто не знаю как.

Похоже, что эти парни предусмотрели это как приказано rdf:lists, но я еще не видел реализацию.

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