Skip to content
Snippets Groups Projects
Select Git revision
  • a80b1ed64c5e42495aac49506c98cb428b003c87
  • 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

SolarSystemSample_factoid.ttl

Blame
  • SolarSystemSample_factoid.ttl 19.01 KiB
    @base <http://SolarSystemSample/factoid> .
    @prefix ns1: <https://tenet.tetras-libre.fr/semantic-net#> .
    @prefix ns2: <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#> .
    
    ns1:atomClass_metal_m ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#metal> .
    
    ns1:atomClass_planet_p ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet> .
    
    ns1:atomClass_planet_p2 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet> .
    
    ns1:atomClass_planet_p3 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet> .
    
    ns1:atomClass_planet_p4 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet> .
    
    ns1:atomClass_planet_p5 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet> .
    
    ns1:atomClass_rock_r ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#rock> .
    
    ns1:atomClass_small_s2 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#small> .
    
    ns1:atomClass_system_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system> .
    
    ns1:atomProperty_compose_c ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
        ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#compose> .
    
    ns1:atomProperty_hasPart_p9 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
        ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#hasPart> .
    
    ns1:atomProperty_more_m2 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#more> ;
        ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#more> .
    
    ns1:compositeClass_inner-system-compose-planet-and-planet-etc-hasPart-planet_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#inner-system-compose-planet-and-planet-etc-hasPart-planet> .
    
    ns1:compositeClass_inner-system-compose-planet-and-planet-etc_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#inner-system-compose-planet-and-planet-etc> .
    
    ns1:compositeClass_inner-system-hasPart-planet-and-planet-etc-hasPart-planet_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#inner-system-hasPart-planet-and-planet-etc-hasPart-planet> .
    
    ns1:compositeClass_inner-system-hasPart-planet-and-planet-etc_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#inner-system-hasPart-planet-and-planet-etc> .
    
    ns1:compositeClass_inner-system_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#inner-system> .
    
    ns1:compositeClass_planet-compose-of-metal_p2 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-metal> .
    
    ns1:compositeClass_planet-compose-of-metal_p3 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-metal> .
    
    ns1:compositeClass_planet-compose-of-metal_p4 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-metal> .
    
    ns1:compositeClass_planet-compose-of-metal_p5 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-metal> .
    
    ns1:compositeClass_planet-compose-of-rock_p2 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-rock> .
    
    ns1:compositeClass_planet-compose-of-rock_p3 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-rock> .
    
    ns1:compositeClass_planet-compose-of-rock_p4 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-rock> .
    
    ns1:compositeClass_planet-compose-of-rock_p5 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-rock> .
    
    ns1:compositeClass_terrestrial-planet_p ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#terrestrial-planet> .
    
    ns1:individual_inner_ii ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#inner> ;
        ns1:hasMotherClassURI ns2:Feature .
    
    ns1:individual_metal_fromClass ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#metal> ;
        ns1:hasMotherClassURI ns2:Feature .
    
    ns1:individual_planet_Earth ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#earth> .
    
    ns1:individual_planet_Mars ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#mars> .
    
    ns1:individual_planet_Mercury ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#mercury> .
    
    ns1:individual_planet_Venus ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#venus> .
    
    ns1:individual_primary_p6 ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#primary> ;
        ns1:hasMotherClassURI ns2:Feature .
    
    ns1:individual_rock_fromClass ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#rock> ;
        ns1:hasMotherClassURI ns2:Feature .
    
    ns1:individual_small_fromClass ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#small> ;
        ns1:hasMotherClassURI ns2:Feature .
    
    ns1:individual_terrestrial_t ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#terrestrial> ;
        ns1:hasMotherClassURI ns2:Feature .
    
    <https://tenet.tetras-libre.fr/extract-result#compose> a owl:ObjectProperty ;
        rdfs:label "compose" ;
        rdfs:subPropertyOf ns2:Out_ObjectProperty ;
        ns2:fromStructure "SSC-06-01" .
    
    <https://tenet.tetras-libre.fr/extract-result#earth> a owl:individual,
            <https://tenet.tetras-libre.fr/extract-result#planet>,
            <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-metal>,
            <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-rock>,
            <https://tenet.tetras-libre.fr/extract-result#terrestrial-planet> ;
        rdfs:label "Earth" ;
        ns2:fromStructure "SSC-06-01" .
    
    <https://tenet.tetras-libre.fr/extract-result#inner> a owl:individual,
            ns2:Feature ;
        rdfs:label "inner" ;
        ns2:fromStructure "SSC-06-01" .
    
    <https://tenet.tetras-libre.fr/extract-result#inner-system-compose-planet-and-planet-etc-hasPart-planet> a owl:Class ;
        rdfs:label "inner-system-compose-planet-and-planet-etc-hasPart-planet" ;
        rdfs:subClassOf [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
            [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
            [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
            [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
            <https://tenet.tetras-libre.fr/extract-result#inner-system-compose-planet-and-planet-etc> ;
        ns2:fromStructure "SSC-06-01" .
    
    <https://tenet.tetras-libre.fr/extract-result#inner-system-hasPart-planet-and-planet-etc-hasPart-planet> a owl:Class ;
        rdfs:label "inner-system-hasPart-planet-and-planet-etc-hasPart-planet" ;
        rdfs:subClassOf [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
            [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
            [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
            [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
            <https://tenet.tetras-libre.fr/extract-result#inner-system-hasPart-planet-and-planet-etc> ;
        ns2:fromStructure "SSC-06-01" .
    
    <https://tenet.tetras-libre.fr/extract-result#mars> a owl:individual,
            <https://tenet.tetras-libre.fr/extract-result#planet>,
            <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-metal>,
            <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-rock>,
            <https://tenet.tetras-libre.fr/extract-result#terrestrial-planet> ;
        rdfs:label "Mars" ;
        ns2:fromStructure "SSC-06-01" .
    
    <https://tenet.tetras-libre.fr/extract-result#mercury> a owl:individual,
            <https://tenet.tetras-libre.fr/extract-result#planet>,
            <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-metal>,
            <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-rock>,
            <https://tenet.tetras-libre.fr/extract-result#terrestrial-planet> ;
        rdfs:label "Mercury" ;
        ns2:fromStructure "SSC-06-01" .
    
    <https://tenet.tetras-libre.fr/extract-result#primary> a owl:individual,
            ns2:Feature ;
        rdfs:label "primary" ;
        ns2:fromStructure "SSC-06-01" .
    
    <https://tenet.tetras-libre.fr/extract-result#terrestrial> a owl:individual,
            ns2:Feature ;
        rdfs:label "terrestrial" ;
        ns2:fromStructure "SSC-06-01" .
    
    <https://tenet.tetras-libre.fr/extract-result#venus> a owl:individual,
            <https://tenet.tetras-libre.fr/extract-result#planet>,
            <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-metal>,
            <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-rock>,
            <https://tenet.tetras-libre.fr/extract-result#terrestrial-planet> ;
        rdfs:label "Venus" ;
        ns2:fromStructure "SSC-06-01" .
    
    <https://tenet.tetras-libre.fr/extract-result#inner-system-compose-planet-and-planet-etc> a owl:Class ;
        rdfs:label "inner-system-compose-planet-and-planet-etc" ;
        rdfs:subClassOf [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
            [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
            [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
            [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
            [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
            [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
            [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
            [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
            <https://tenet.tetras-libre.fr/extract-result#inner-system> ;
        ns2:fromStructure "SSC-06-01" .
    
    <https://tenet.tetras-libre.fr/extract-result#inner-system-hasPart-planet-and-planet-etc> a owl:Class ;
        rdfs:label "inner-system-hasPart-planet-and-planet-etc" ;
        rdfs:subClassOf [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
            [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
            [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
            [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
            [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
            [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
            [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
            [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
            <https://tenet.tetras-libre.fr/extract-result#inner-system> ;
        ns2:fromStructure "SSC-06-01" .
    
    <https://tenet.tetras-libre.fr/extract-result#more> a owl:ObjectProperty ;
        rdfs:label "more" ;
        rdfs:subPropertyOf ns2:Out_ObjectProperty ;
        ns2:fromStructure "SSC-06-01" .
    
    <https://tenet.tetras-libre.fr/extract-result#system> a owl:Class ;
        rdfs:label "system" ;
        rdfs:subClassOf ns2:Entity ;
        ns2:fromStructure "SSC-06-01" .
    
    <https://tenet.tetras-libre.fr/extract-result#inner-system> a owl:Class ;
        rdfs:label "inner-system" ;
        rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#system> ;
        ns2:fromStructure "SSC-06-01" .
    
    <https://tenet.tetras-libre.fr/extract-result#small> a owl:Class,
            owl:individual,
            ns2:Feature,
            <https://tenet.tetras-libre.fr/extract-result#small> ;
        rdfs:label "small" ;
        rdfs:subClassOf ns2:Undetermined_Thing ;
        ns2:fromStructure "SSC-06-01" .
    
    <https://tenet.tetras-libre.fr/extract-result#terrestrial-planet> a owl:Class ;
        rdfs:label "terrestrial-planet" ;
        rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#planet> ;
        ns2:fromStructure "SSC-06-01" .
    
    <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-metal> a owl:Class ;
        rdfs:label "planet-compose-of-metal" ;
        rdfs:subClassOf [ a owl:Restriction ;
                owl:hasValue <https://tenet.tetras-libre.fr/extract-result#metal> ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ],
            [ a owl:Restriction ;
                owl:hasValue <https://tenet.tetras-libre.fr/extract-result#metal> ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ],
            [ a owl:Restriction ;
                owl:hasValue <https://tenet.tetras-libre.fr/extract-result#metal> ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ],
            [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#metal> ],
            [ a owl:Restriction ;
                owl:hasValue <https://tenet.tetras-libre.fr/extract-result#metal> ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ],
            [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#metal> ],
            [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#metal> ],
            [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#metal> ],
            <https://tenet.tetras-libre.fr/extract-result#planet> ;
        ns2:fromStructure "SSC-06-01" .
    
    <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-rock> a owl:Class ;
        rdfs:label "planet-compose-of-rock" ;
        rdfs:subClassOf [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#rock> ],
            [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#rock> ],
            [ a owl:Restriction ;
                owl:hasValue <https://tenet.tetras-libre.fr/extract-result#rock> ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ],
            [ a owl:Restriction ;
                owl:hasValue <https://tenet.tetras-libre.fr/extract-result#rock> ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ],
            [ a owl:Restriction ;
                owl:hasValue <https://tenet.tetras-libre.fr/extract-result#rock> ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ],
            [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#rock> ],
            [ a owl:Restriction ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
                owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#rock> ],
            [ a owl:Restriction ;
                owl:hasValue <https://tenet.tetras-libre.fr/extract-result#rock> ;
                owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ],
            <https://tenet.tetras-libre.fr/extract-result#planet> ;
        ns2:fromStructure "SSC-06-01" .
    
    <https://tenet.tetras-libre.fr/extract-result#metal> a owl:Class,
            owl:individual,
            ns2:Feature,
            <https://tenet.tetras-libre.fr/extract-result#metal> ;
        rdfs:label "metal" ;
        rdfs:subClassOf ns2:Undetermined_Thing ;
        ns2:fromStructure "SSC-06-01" .
    
    <https://tenet.tetras-libre.fr/extract-result#rock> a owl:Class,
            owl:individual,
            ns2:Feature,
            <https://tenet.tetras-libre.fr/extract-result#rock> ;
        rdfs:label "rock" ;
        rdfs:subClassOf ns2:Undetermined_Thing ;
        ns2:fromStructure "SSC-06-01" .
    
    <https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ;
        rdfs:label "hasPart" ;
        rdfs:subPropertyOf ns2:Out_ObjectProperty ;
        ns2:fromStructure "SSC-06-01" .
    
    <https://tenet.tetras-libre.fr/extract-result#compose-of> a owl:ObjectProperty ;
        rdfs:label "compose-of" ;
        rdfs:subPropertyOf ns2:Out_ObjectProperty ;
        ns2:fromStructure "SSC-06-01" .
    
    <https://tenet.tetras-libre.fr/extract-result#planet> a owl:Class ;
        rdfs:label "planet" ;
        rdfs:subClassOf ns2:Entity ;
        ns2:fromStructure "SSC-06-01" .