Skip to content
Snippets Groups Projects
Select Git revision
  • 3c6c3f668ea86d24edd6d87bb265413d52afb5bb
  • master default protected
  • multiprocessing
  • experiment/clara
  • experiment/spec2B-poc
  • experiment/qivalio-poc
  • experiment/ertms
  • MAY-2023
  • FEB-2023
  • EGC-2023
  • 0.2.1
  • v0.2.0
  • v0.1.2
13 results

SolarSystemDev01_factoid.ttl

Blame
    • SolarSystemDev01_factoid.ttl 4.74 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 
    

    

    

    @base <http://https://tenet.tetras-libre.fr/demo/01//factoid> .
@prefix ns1: <https://tenet.tetras-libre.fr/base-ontology#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<https://tenet.tetras-libre.fr/extract-result#SolarSystem> a owl:Individual,
        <https://tenet.tetras-libre.fr/extract-result#system>,
        <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object>,
        <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> ;
    rdfs:label "Solar System" ;
    ns1:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#direct> a owl:ObjectProperty ;
    rdfs:label "direct" ;
    rdfs:subPropertyOf ns1:Out_ObjectProperty ;
    ns1:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#gravitation-bind-system> a owl:Class ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind> ;
            owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system> ],
        <https://tenet.tetras-libre.fr/extract-result#gravitation> ;
    ns1:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#hasManner> a owl:ObjectProperty ;
    rdfs:label "hasManner" ;
    rdfs:subPropertyOf ns1:Out_ObjectProperty ;
    ns1:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#not-direct> a owl:ObjectProperty ;
    rdfs:subPropertyOf ns1:Out_ObjectProperty ;
    ns1:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#object-orbit-hasManner-direct-sun> a owl:Class ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit-hasManner-direct> ;
            owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ],
        <https://tenet.tetras-libre.fr/extract-result#object> ;
    ns1:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#object-orbit-hasManner-not-direct-sun> a owl:Class ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit-hasManner-not-direct> ;
            owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ],
        <https://tenet.tetras-libre.fr/extract-result#object> ;
    ns1:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#bind> a owl:ObjectProperty ;
    rdfs:label "bind" ;
    rdfs:subPropertyOf ns1:Out_ObjectProperty ;
    ns1:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#gravitation> a owl:Class ;
    rdfs:label "gravitation" ;
    rdfs:subClassOf ns1:Entity ;
    ns1:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#orbit-hasManner-direct> a owl:ObjectProperty ;
    rdfs:subPropertyOf <https://tenet.tetras-libre.fr/extract-result#orbit> ;
    ns1:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#orbit-hasManner-not-direct> a owl:ObjectProperty ;
    rdfs:subPropertyOf <https://tenet.tetras-libre.fr/extract-result#orbit> ;
    ns1:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> a owl:Class ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
            owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#object> ],
        <https://tenet.tetras-libre.fr/extract-result#system> ;
    ns1:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> a owl:Class ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
            owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ],
        <https://tenet.tetras-libre.fr/extract-result#system> ;
    ns1:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ;
    rdfs:label "hasPart" ;
    rdfs:subPropertyOf ns1:Out_ObjectProperty ;
    ns1:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#orbit> a owl:ObjectProperty ;
    rdfs:label "orbit" ;
    rdfs:subPropertyOf ns1:Out_ObjectProperty ;
    ns1:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ;
    rdfs:label "object" ;
    rdfs:subClassOf ns1:Entity ;
    ns1:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#sun> a owl:Class ;
    rdfs:label "sun" ;
    rdfs:subClassOf ns1:Entity ;
    ns1:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#system> a owl:Class ;
    rdfs:label "system" ;
    rdfs:subClassOf ns1:Entity,
        ns1:Undetermined_Thing ;
    ns1:fromStructure "SSC-01-01" .