序数量表的公理或基于规则的定义

时间:2017-07-18 20:41:36

标签: sparql owl swrl

我想创建一个ordinal scale类,成为"categorical value specification" in the ontology of biomedical investigations的兄弟类

松散地说,比例中的每个项目都比前一个项目“更多”。

我想我需要在顺序尺度实例中指出每个项目的等级或顺序。此外,我想强制说,序数量表的实例在每个等级中只有一个项目,没有间隙。因此,排名为1, 2, 3的项目的序数比例将通过推理,但排名为1,2,21,2,4的比例将被视为不一致。我想它可以用OWL或SWRL实现吗?我只是不知道如何。

似乎these guys已将此设想为有序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

0 个答案:

没有答案