Skip to content
Snippets Groups Projects
Select Git revision
  • 65b0c4bef675849ff69ee0bc4d9b2edbe5b75439
  • main default protected
2 results

reference_ontology_1.ttl

Blame
    • reference_ontology_1.ttl 3.43 KiB
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41
    42
    43
    44
    45
    46
    47
    48
    49
    50
    51
    52
    53
    54
    55
    56
    57
    58
    59
    60
    61
    62
    63
    64
    65
    66
    67
    68
    69
    70
    71
    72
    73
    74
    75
    76
    77
    78
    79
    80
    81
    82
    83
    84
    85
    86
    87
    88
    89
    90
    91
    92
    93
    94
    95
    96
    97
    98
    99
    100
    101
    102
    103
    104
    105
    106
    107
    108
    109
    110 
    

    

    

    @prefix base: <https://reference.tetras-libre.fr/base-ontology#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix result: <https://reference.tetras-libre.fr/expected-result#> .

result:SolarSystem a owl:Individual,
        result:system,
        result:system-isBindBy-gravitation,
        result:system-hasPart-object-orbit-sun,
        result:system-hasPart-sun ;
    rdfs:label "SolarSystem" .

result:direct a owl:ObjectProperty ;
    rdfs:label "direct" ;
    rdfs:subPropertyOf base:Out_ObjectProperty .

result:gravitation-bind-system a owl:Class ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty result:bind ;
            owl:someValuesFrom result:system ],
        result:gravitation .

result:hasManner a owl:ObjectProperty ;
    rdfs:label "hasManner" ;
    rdfs:subPropertyOf base:Out_ObjectProperty .

result:not-direct a owl:ObjectProperty ;
    rdfs:subPropertyOf base:Out_ObjectProperty .

result:object-orbit-sun a owl:Class ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty result:orbit ;
            owl:someValuesFrom result:sun ],
        result:object .

result:object-orbit-hasManner-direct-sun a owl:Class ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty result:orbit-hasManner-direct ;
            owl:someValuesFrom result:sun ],
        result:object-orbit-sun .

result:object-orbit-hasManner-not-direct-sun a owl:Class ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty result:orbit-hasManner-not-direct ;
            owl:someValuesFrom result:sun ],
        result:object-orbit-sun .

result:gravitation a owl:Class ;
    rdfs:label "gravitation" ;
    rdfs:subClassOf base:Entity .

result:system-isBindBy-gravitation a owl:Class ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty result:isBindBy ;
            owl:someValuesFrom result:gravitation ],
        result:system .

result:system-hasPart-object a owl:Class ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty result:hasPart ;
            owl:someValuesFrom result:object ],
        result:system .

result:system-hasPart-object-orbit-sun a owl:Class ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty result:hasPart ;
            owl:someValuesFrom result:object-orbit-sun ],
        result:system-hasPart-object .

result:system-hasPart-sun a owl:Class ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty result:hasPart ;
            owl:someValuesFrom result:sun ],
        result:system .

result:bind a owl:ObjectProperty ;
    rdfs:label "bind" ;
    rdfs:subPropertyOf base:Out_ObjectProperty .

result:isBindBy owl:inverseOf result:bind ;
    rdfs:label "isBindBy" ;
    rdfs:subPropertyOf base:Out_ObjectProperty .

result:orbit a owl:ObjectProperty ;
    rdfs:label "orbit" ;
    rdfs:subPropertyOf base:Out_ObjectProperty .

result:orbit-hasManner-direct a owl:ObjectProperty ;
    rdfs:subPropertyOf result:orbit .

result:orbit-hasManner-not-direct a owl:ObjectProperty ;
    rdfs:subPropertyOf result:orbit .

result:hasPart a owl:ObjectProperty ;
    rdfs:label "hasPart" ;
    rdfs:subPropertyOf base:Out_ObjectProperty .

result:object a owl:Class ;
    rdfs:label "object" ;
    rdfs:subClassOf base:Entity .

result:system a owl:Class ;
    rdfs:label "system" ;
    rdfs:subClassOf base:Entity.

result:sun a owl:Class ;
    rdfs:label "sun" ;
    rdfs:subClassOf base:Entity .