Skip to content
Snippets Groups Projects
Commit 6c621f6d authored by Aurélien Lamercerie's avatar Aurélien Lamercerie
Browse files

Update Composite Class Extraction with QB (2)

parent 094de192
No related branches found
No related tags found
No related merge requests found
Showing
with 6386 additions and 1100 deletions
......@@ -32,38 +32,22 @@ ns1:atomProperty_hasPart_p9 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/
ns1:atomProperty_orbit_o2 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#orbit-of> ;
ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#orbit> .
ns1:compositeClass_gravitation-binding-system-binding-system-hasPart-object_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-binding-system-hasPart-object> .
ns1:compositeClass_gravitation-binding-system-binding-system-hasPart-sun_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-binding-system-hasPart-sun> .
ns1:compositeClass_gravitation-binding-system-binding-system_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-binding-system> .
ns1:compositeClass_gravitation-binding-system-hasPart-object_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-object> .
ns1:compositeClass_gravitation-binding-system-hasPart-sun_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun> .
ns1:compositeClass_gravitation-binding-system_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system> .
ns1:compositeClass_object-orbiting-sun-orbiting-sun_o ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun-orbiting-sun> .
ns1:compositeClass_object-orbiting-sun_o ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> .
ns1:compositeClass_system-hasPart-object-hasPart-object-orbiting-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-object-orbiting-sun> .
ns1:compositeClass_system-hasPart-object-hasPart-object_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-object> .
ns1:compositeClass_system-hasPart-object-hasPart-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-sun> .
ns1:compositeClass_system-hasPart-object-orbiting-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-orbiting-sun> .
ns1:compositeClass_system-hasPart-object_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> .
ns1:compositeClass_system-hasPart-sun-hasPart-object-orbiting-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-object-orbiting-sun> .
ns1:compositeClass_system-hasPart-sun-hasPart-object_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-object> .
ns1:compositeClass_system-hasPart-sun-hasPart-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-sun> .
ns1:compositeClass_system-hasPart-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> .
ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#solar-system> .
......@@ -73,45 +57,29 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation> a owl:Class ;
rdfs:label "gravitation" ;
rdfs:subClassOf ns2:Entity ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system> a owl:Class ;
rdfs:label "gravitation-binding-system" ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system> ] .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-binding-system> a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system> ] .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-binding-system-hasPart-object> a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> ] .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-binding-system-hasPart-sun> a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> ] .
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system> ],
<https://tenet.tetras-libre.fr/extract-result#gravitation> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-object> a owl:Class ;
rdfs:label "gravitation-binding-system-hasPart-object" ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> ] .
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> ],
<https://tenet.tetras-libre.fr/extract-result#gravitation> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun> a owl:Class ;
rdfs:label "gravitation-binding-system-hasPart-sun" ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> ] .
<https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun-orbiting-sun> a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ] .
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> ],
<https://tenet.tetras-libre.fr/extract-result#gravitation> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#orbit> a owl:ObjectProperty ;
rdfs:label "orbit" ;
......@@ -121,14 +89,10 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
<https://tenet.tetras-libre.fr/extract-result#solar-system> 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-object-hasPart-object>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-object-orbiting-sun>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-sun>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-orbiting-sun>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-object>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-object-orbiting-sun>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-sun> ;
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-object> ;
rdfs:label "Solar System" ;
ns2:fromStructure "SSC-01-01" .
......@@ -147,20 +111,17 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-object> a owl:Class ;
rdfs:label "system-hasPart-object-hasPart-object" ;
<https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> a owl:Class ;
rdfs:label "object-orbiting-sun" ;
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> ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ],
<https://tenet.tetras-libre.fr/extract-result#object> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-object-orbiting-sun> a owl:Class ;
rdfs:label "system-hasPart-object-hasPart-object-orbiting-sun" ;
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-orbiting-sun> ],
<https://tenet.tetras-libre.fr/extract-result#system> ;
<https://tenet.tetras-libre.fr/extract-result#orbit-of> a owl:ObjectProperty ;
rdfs:label "orbit-of" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-sun> a owl:Class ;
......@@ -168,7 +129,8 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
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> ;
<https://tenet.tetras-libre.fr/extract-result#system>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-orbiting-sun> a owl:Class ;
......@@ -184,28 +146,18 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
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> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-object-orbiting-sun> a owl:Class ;
rdfs:label "system-hasPart-sun-hasPart-object-orbiting-sun" ;
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-orbiting-sun> ],
<https://tenet.tetras-libre.fr/extract-result#system> ;
<https://tenet.tetras-libre.fr/extract-result#system>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-sun> a owl:Class ;
rdfs:label "system-hasPart-sun-hasPart-sun" ;
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> ;
<https://tenet.tetras-libre.fr/extract-result#bind-of> a owl:ObjectProperty ;
rdfs:label "bind-of" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#orbit-of> a owl:ObjectProperty ;
rdfs:label "orbit-of" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
<https://tenet.tetras-libre.fr/extract-result#gravitation> a owl:Class ;
rdfs:label "gravitation" ;
rdfs:subClassOf ns2:Entity ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ;
......@@ -213,10 +165,10 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
rdfs:subClassOf ns2:Entity ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ] .
<https://tenet.tetras-libre.fr/extract-result#sun> a owl:Class ;
rdfs:label "sun" ;
rdfs:subClassOf ns2:Entity ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> a owl:Class ;
rdfs:label "system-hasPart-object" ;
......@@ -234,16 +186,6 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
<https://tenet.tetras-libre.fr/extract-result#system> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#sun> a owl:Class ;
rdfs:label "sun" ;
rdfs:subClassOf ns2:Entity ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#bind-of> a owl:ObjectProperty ;
rdfs:label "bind-of" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ;
rdfs:label "hasPart" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
......
......
......@@ -32,38 +32,22 @@ ns1:atomProperty_hasPart_p9 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/
ns1:atomProperty_orbit_o2 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#orbit-of> ;
ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#orbit> .
ns1:compositeClass_gravitation-binding-system-binding-system-hasPart-object_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-binding-system-hasPart-object> .
ns1:compositeClass_gravitation-binding-system-binding-system-hasPart-sun_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-binding-system-hasPart-sun> .
ns1:compositeClass_gravitation-binding-system-binding-system_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-binding-system> .
ns1:compositeClass_gravitation-binding-system-hasPart-object_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-object> .
ns1:compositeClass_gravitation-binding-system-hasPart-sun_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun> .
ns1:compositeClass_gravitation-binding-system_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system> .
ns1:compositeClass_object-orbiting-sun-orbiting-sun_o ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun-orbiting-sun> .
ns1:compositeClass_object-orbiting-sun_o ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> .
ns1:compositeClass_system-hasPart-object-hasPart-object-orbiting-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-object-orbiting-sun> .
ns1:compositeClass_system-hasPart-object-hasPart-object_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-object> .
ns1:compositeClass_system-hasPart-object-hasPart-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-sun> .
ns1:compositeClass_system-hasPart-object-orbiting-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-orbiting-sun> .
ns1:compositeClass_system-hasPart-object_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> .
ns1:compositeClass_system-hasPart-sun-hasPart-object-orbiting-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-object-orbiting-sun> .
ns1:compositeClass_system-hasPart-sun-hasPart-object_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-object> .
ns1:compositeClass_system-hasPart-sun-hasPart-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-sun> .
ns1:compositeClass_system-hasPart-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> .
ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#solar-system> .
......@@ -73,45 +57,29 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation> a owl:Class ;
rdfs:label "gravitation" ;
rdfs:subClassOf ns2:Entity ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system> a owl:Class ;
rdfs:label "gravitation-binding-system" ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system> ] .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-binding-system> a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system> ] .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-binding-system-hasPart-object> a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> ] .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-binding-system-hasPart-sun> a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> ] .
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system> ],
<https://tenet.tetras-libre.fr/extract-result#gravitation> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-object> a owl:Class ;
rdfs:label "gravitation-binding-system-hasPart-object" ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> ] .
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> ],
<https://tenet.tetras-libre.fr/extract-result#gravitation> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun> a owl:Class ;
rdfs:label "gravitation-binding-system-hasPart-sun" ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> ] .
<https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun-orbiting-sun> a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ] .
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> ],
<https://tenet.tetras-libre.fr/extract-result#gravitation> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#orbit> a owl:ObjectProperty ;
rdfs:label "orbit" ;
......@@ -121,14 +89,10 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
<https://tenet.tetras-libre.fr/extract-result#solar-system> 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-object-hasPart-object>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-object-orbiting-sun>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-sun>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-orbiting-sun>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-object>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-object-orbiting-sun>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-sun> ;
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-object> ;
rdfs:label "Solar System" ;
ns2:fromStructure "SSC-01-01" .
......@@ -147,20 +111,17 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-object> a owl:Class ;
rdfs:label "system-hasPart-object-hasPart-object" ;
<https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> a owl:Class ;
rdfs:label "object-orbiting-sun" ;
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> ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ],
<https://tenet.tetras-libre.fr/extract-result#object> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-object-orbiting-sun> a owl:Class ;
rdfs:label "system-hasPart-object-hasPart-object-orbiting-sun" ;
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-orbiting-sun> ],
<https://tenet.tetras-libre.fr/extract-result#system> ;
<https://tenet.tetras-libre.fr/extract-result#orbit-of> a owl:ObjectProperty ;
rdfs:label "orbit-of" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-sun> a owl:Class ;
......@@ -168,7 +129,8 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
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> ;
<https://tenet.tetras-libre.fr/extract-result#system>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-orbiting-sun> a owl:Class ;
......@@ -184,28 +146,18 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
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> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-object-orbiting-sun> a owl:Class ;
rdfs:label "system-hasPart-sun-hasPart-object-orbiting-sun" ;
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-orbiting-sun> ],
<https://tenet.tetras-libre.fr/extract-result#system> ;
<https://tenet.tetras-libre.fr/extract-result#system>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-sun> a owl:Class ;
rdfs:label "system-hasPart-sun-hasPart-sun" ;
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> ;
<https://tenet.tetras-libre.fr/extract-result#bind-of> a owl:ObjectProperty ;
rdfs:label "bind-of" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#orbit-of> a owl:ObjectProperty ;
rdfs:label "orbit-of" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
<https://tenet.tetras-libre.fr/extract-result#gravitation> a owl:Class ;
rdfs:label "gravitation" ;
rdfs:subClassOf ns2:Entity ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ;
......@@ -213,10 +165,10 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
rdfs:subClassOf ns2:Entity ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ] .
<https://tenet.tetras-libre.fr/extract-result#sun> a owl:Class ;
rdfs:label "sun" ;
rdfs:subClassOf ns2:Entity ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> a owl:Class ;
rdfs:label "system-hasPart-object" ;
......@@ -234,16 +186,6 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
<https://tenet.tetras-libre.fr/extract-result#system> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#sun> a owl:Class ;
rdfs:label "sun" ;
rdfs:subClassOf ns2:Entity ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#bind-of> a owl:ObjectProperty ;
rdfs:label "bind-of" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ;
rdfs:label "hasPart" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
......
......
This diff is collapsed.
@base <http://SolarSystemDev1/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_gravitation_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation> .
ns1:atomClass_object_o ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object> .
ns1:atomClass_sun_s2 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#sun> .
ns1:atomClass_system_p ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system> .
ns1:atomClass_system_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system> .
ns1:atomProperty_bind_b ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#bind> .
ns1:atomProperty_direct_d ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#direct-of> ;
ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#direct> .
ns1:atomProperty_direct_d2 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#direct-of> ;
ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#direct> .
ns1:atomProperty_hasManner_m9 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#hasManner> ;
ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#hasManner> .
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_orbit_o2 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#orbit-of> ;
ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#orbit> .
ns1:compositeClass_gravitation-binding-system-hasPart-object_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-object> .
ns1:compositeClass_gravitation-binding-system-hasPart-sun_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun> .
ns1:compositeClass_gravitation-binding-system_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system> .
ns1:compositeClass_object-orbiting-sun_o ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> .
ns1:compositeClass_system-hasPart-object-hasPart-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-sun> .
ns1:compositeClass_system-hasPart-object-orbiting-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-orbiting-sun> .
ns1:compositeClass_system-hasPart-object_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> .
ns1:compositeClass_system-hasPart-sun-hasPart-object_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-object> .
ns1:compositeClass_system-hasPart-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> .
ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#solar-system> .
<https://tenet.tetras-libre.fr/extract-result#bind> a owl:ObjectProperty ;
rdfs:label "bind" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system> a owl:Class ;
rdfs:label "gravitation-binding-system" ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system> ],
<https://tenet.tetras-libre.fr/extract-result#gravitation> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-object> a owl:Class ;
rdfs:label "gravitation-binding-system-hasPart-object" ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> ],
<https://tenet.tetras-libre.fr/extract-result#gravitation> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun> a owl:Class ;
rdfs:label "gravitation-binding-system-hasPart-sun" ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> ],
<https://tenet.tetras-libre.fr/extract-result#gravitation> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#orbit> a owl:ObjectProperty ;
rdfs:label "orbit" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#solar-system> 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-object-hasPart-sun>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-orbiting-sun>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-object> ;
rdfs:label "Solar System" ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#direct> a owl:ObjectProperty ;
rdfs:label "direct" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#direct-of> a owl:ObjectProperty ;
rdfs:label "direct-of" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#hasManner> a owl:ObjectProperty ;
rdfs:label "hasManner" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> a owl:Class ;
rdfs:label "object-orbiting-sun" ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ],
<https://tenet.tetras-libre.fr/extract-result#object> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#orbit-of> a owl:ObjectProperty ;
rdfs:label "orbit-of" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-sun> a owl:Class ;
rdfs:label "system-hasPart-object-hasPart-sun" ;
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>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-orbiting-sun> a owl:Class ;
rdfs:label "system-hasPart-object-orbiting-sun" ;
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-orbiting-sun> ],
<https://tenet.tetras-libre.fr/extract-result#system> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-object> a owl:Class ;
rdfs:label "system-hasPart-sun-hasPart-object" ;
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>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#bind-of> a owl:ObjectProperty ;
rdfs:label "bind-of" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation> a owl:Class ;
rdfs:label "gravitation" ;
rdfs:subClassOf ns2:Entity ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ;
rdfs:label "object" ;
rdfs:subClassOf ns2:Entity ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#sun> a owl:Class ;
rdfs:label "sun" ;
rdfs:subClassOf ns2:Entity ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> a owl:Class ;
rdfs:label "system-hasPart-object" ;
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> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> a owl:Class ;
rdfs:label "system-hasPart-sun" ;
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> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ;
rdfs:label "hasPart" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system> a owl:Class ;
rdfs:label "system" ;
rdfs:subClassOf ns2:Entity,
ns2:Undetermined_Thing ;
ns2:fromStructure "SSC-01-01" .
This diff is collapsed.
......@@ -13,6 +13,7 @@
#==============================================================================
from .element.net import Net
from .element.class_net import ClassNet
from .element.atom_class_net import AtomClassNet
from .element.individual_net import IndividualNet
from .element.atom_property_net import AtomPropertyNet
......@@ -25,8 +26,15 @@ from .element.restriction_net import RestrictionNet
# Net Builder(s)
#==============================================================================
# -- Class Net
class_net = ClassNet()
class_net_0 = ClassNet(0)
class_net_1 = ClassNet(1)
class_net_2 = ClassNet(2)
# -- Atom Class Net
atom_class_net = AtomClassNet()
atom_class_net_0 = AtomClassNet(0)
atom_class_net_1 = AtomClassNet(1)
atom_class_net_2 = AtomClassNet(2)
......
......
......@@ -11,14 +11,14 @@
# Importing required modules
#==============================================================================
from .net import Net
from .class_net import ClassNet
#==============================================================================
# Net Class
#==============================================================================
class AtomClassNet(Net):
class AtomClassNet(ClassNet):
""" Class to generate SPARQL query parts related to semantic nets.
"""
......@@ -37,30 +37,6 @@ class AtomClassNet(Net):
# -- Parent init
super().__init__(signature=True)
# -- Net Attributes
self.class_name = f'{self.id}ClassName'
self.predicate_table.update({
'class_name': 'hasClassName'
})
#--------------------------------------------------------------------------
# Method(s) to build 'Construct' parts
#--------------------------------------------------------------------------
def construct(self, **net_attribute):
query_code = super().construct(**net_attribute)
return query_code
#--------------------------------------------------------------------------
# Method(s) to build 'Binding' parts
#--------------------------------------------------------------------------
def bind_uri(self, net_name='nameless', node_reference='00'):
return super().bind_uri(net_name, node_reference)
#==============================================================================
......
......
This diff is collapsed.
......@@ -11,14 +11,14 @@
# Importing required modules
#==============================================================================
from .net import Net
from .class_net import ClassNet
#==============================================================================
# Net Class
#==============================================================================
class CompositeClassNet(Net):
class CompositeClassNet(ClassNet):
""" Class to generate SPARQL query parts related to semantic nets.
"""
......@@ -39,37 +39,18 @@ class CompositeClassNet(Net):
# -- Net Attributes
self.node = f'{self.id}Node'
self.class_name = f'{self.id}ClassName'
self.mother_class_name = f'{self.id}ClassName'
self.mother_class_net = f'{self.id}MotherClassNet'
self.restriction = f'{self.id}Restriction'
self.restriction01 = f'{self.id}Restriction01'
self.predicate_table.update({
'node': 'coverNode',
'class_name': 'hasClassName',
'mother_class_name': 'hasMotherClassNet',
'mother_class_net': 'hasMotherClassNet',
'restriction': 'hasRestriction',
'restriction01': 'hasRestriction01'
})
#--------------------------------------------------------------------------
# Method(s) to build 'Construct' parts
#--------------------------------------------------------------------------
def construct(self, **net_attribute):
query_code = super().construct(**net_attribute)
return query_code
#--------------------------------------------------------------------------
# Method(s) to build 'Binding' parts
#--------------------------------------------------------------------------
def bind_uri(self, net_name='nameless', node_reference='00'):
return super().bind_uri(net_name, node_reference)
#==============================================================================
# Development Test
......
......
This diff is collapsed.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment