2

我想创建一个序数规模类，成为生物医学研究本体中“ ”的兄弟类categorical value specification

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

我想我需要在我的序数比例实例中指出每个项目的等级或顺序。另外，我想强制规定顺序量表的实例在每个等级上只有一个且只有一个项目，没有间隙。因此，带有项目排名的序数量表1, 2, 3会通过推理，但带有排名1,2,2或的量表1,2,4会被认为是不一致的。我想它可以在 OWL 或 SWRL 中实现？我只是不知道怎么做。

似乎这些人已经将其设想为 ordered 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
4

0 回答 0