Skip to content
Snippets Groups Projects
Select Git revision
  • 4f8f627d91adb778824c4a98e836bd4c8fc7269b
  • main default protected
2 results

SolarSystemProd_factoid_11.ttl

Blame
    • SolarSystemProd_factoid_11.ttl 6.07 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
    111
    112
    113
    114
    115
    116
    117
    118
    119
    120
    121
    122
    123
    124
    125
    126
    127
    128
    129
    130
    131
    132
    133
    134
    135
    136
    137
    138
    139
    140
    141
    142
    143
    144
    145
    146
    147
    148
    149
    150
    151
    152
    153
    154
    155
    156
    157
    158
    159
    160
    161
    162
    163
    164 
    

    

    

    @prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix base: <https://reference.tetras-libre.fr/base-ontology#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
@base <http://www.w3.org/2002/07/owl#> .

[ rdf:type owl:Ontology
 ] .

#################################################################
#    Annotation properties
#################################################################

###  https://reference.tetras-libre.fr/base-ontology#fromStructure
base:fromStructure rdf:type owl:AnnotationProperty .


#################################################################
#    Object Properties
#################################################################

###  https://reference.tetras-libre.fr/base-ontology#Out_ObjectProperty
base:Out_ObjectProperty rdf:type owl:ObjectProperty .


###  https://reference.tetras-libre.fr/expected-result#compareTo
result:compareTo rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf base:Out_ObjectProperty ;
               rdfs:label "compareTo" ;
               base:fromStructure "SolarSystem-11" .


###  https://reference.tetras-libre.fr/expected-result#hasDegree
result:hasDegree rdf:type owl:ObjectProperty ;
                  rdfs:subPropertyOf base:Out_ObjectProperty ;
                  rdfs:label "hasDegree" ;
                  base:fromStructure "predefinedProperty" .


###  https://reference.tetras-libre.fr/expected-result#hasFeature
result:hasFeature rdf:type owl:ObjectProperty ;
                  rdfs:subPropertyOf base:Out_ObjectProperty ;
                  rdfs:label "hasFeature" ;
                  base:fromStructure "predefinedProperty" .


###  https://reference.tetras-libre.fr/expected-result#have
result:have rdf:type owl:ObjectProperty ;
            rdfs:subPropertyOf base:Out_ObjectProperty ;
            rdfs:label "have" ;
            base:fromStructure "SolarSystem-11" .


#################################################################
#    Classes
#################################################################

###  https://reference.tetras-libre.fr/base-ontology#Entity
base:Entity rdf:type owl:Class .


###  https://reference.tetras-libre.fr/base-ontology#Feature
base:Feature rdf:type owl:Class .


###  https://reference.tetras-libre.fr/expected-result#helium
result:helium rdf:type owl:Class ;
              rdfs:subClassOf base:Entity ;
              rdfs:label "helium" ;
              base:fromStructure "SolarSystem-11" .


###  https://reference.tetras-libre.fr/expected-result#hydrogen
result:hydrogen rdf:type owl:Class ;
                rdfs:subClassOf base:Entity ;
                rdfs:label "hydrogen" ;
                base:fromStructure "SolarSystem-11" .


###  https://reference.tetras-libre.fr/expected-result#point
result:point rdf:type owl:Class ;
             rdfs:subClassOf base:Entity ;
             rdfs:label "point" ;
             base:fromStructure "SolarSystem-11" .

###  https://reference.tetras-libre.fr/expected-result#melt-point
result:melt-point rdf:type owl:Class ;
             rdfs:subClassOf result:point ,
             [ rdf:type owl:Restriction ;
                                              owl:onProperty result:hasFeature ;
                                              owl:hasValue result:melt
                                            ] ;
             rdfs:label "melt-point" ;
             base:fromStructure "SolarSystem-11" .


###  https://reference.tetras-libre.fr/expected-result#substance
result:substance rdf:type owl:Class ;
                 rdfs:subClassOf base:Entity ;
                 rdfs:label "substance" ;
                 base:fromStructure "SolarSystem-11" .


###  https://reference.tetras-libre.fr/expected-result#volatile
result:volatile rdf:type owl:Class ;
                rdfs:subClassOf result:substance ,
                                            [ rdf:type owl:Restriction ;
                                              owl:onProperty result:have ;
                                              owl:hasValue result:relative-high-melt-point
                                            ] ;
                rdfs:label "volatile" ;
                base:fromStructure "SolarSystem-11" .


#################################################################
#    Individuals
#################################################################

###  https://reference.tetras-libre.fr/expected-result#high
result:high rdf:type owl:NamedIndividual ,
                      owl:Individual ,
                      base:Feature ;
             rdfs:label "high" ;
             base:fromStructure "SolarSystem-11" .

###  https://reference.tetras-libre.fr/expected-result#melt
result:melt rdf:type owl:NamedIndividual ,
                      owl:Individual ,
                      base:Feature ;
             rdfs:label "melt" ;
             base:fromStructure "SolarSystem-11" .


###  https://reference.tetras-libre.fr/expected-result#relative
result:relative rdf:type owl:NamedIndividual ,
                     owl:Individual ,
                     base:Degree ;
            rdfs:label "relative" ;
            base:fromStructure "SolarSystem-11" .


###  https://reference.tetras-libre.fr/expected-result#relative-high
result:relative-high rdf:type owl:NamedIndividual ,
                         owl:Individual ,
                         base:Feature ;
                result:hasDegree result:relative ;
                rdfs:label "relative-high" ;
                base:fromStructure "SolarSystem-11" .


###  https://reference.tetras-libre.fr/expected-result#relative-high-melt-point
result:relative-high-melt-point rdf:type owl:NamedIndividual ,
                         owl:Individual ,
                        base:Entity ,
       result:melt-point ;
             result:hasFeature result:relative-high ;
             result:compareTo result:hydrogen,
             result:helium ;
             rdfs:label "relative-high-melt-point" ;
             base:fromStructure "SolarSystem-11" .