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

Development in progress: AND conjunction phenomena application

parent 5d37824a
Branches
Tags
No related merge requests found
Expand all Show whitespace changes
Inline Side-by-side
Showing
with 15932 additions and 0 deletions
input/amrDocuments/dev/solar-system-test-83/SSC-08-03.stog.amr.ttl 0 → 100644
+ 88
− 0
View file @ 524b4ee6
@prefix ns1: <http://amr.isi.edu/frames/ld/v1.2.2/> .
@prefix ns2: <http://amr.isi.edu/rdf/amr-terms#> .
@prefix ns3: <http://amr.isi.edu/rdf/core-amr#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
ns3:Concept a rdfs:Class ;
rdfs:label "AMR-Concept" .
ns3:Role a rdfs:Class ;
rdfs:label "AMR-Role" .
<http://amr.isi.edu/amr_data/SSC-08-03#c> a ns1:compose-01 ;
ns1:compose-01.ARG1 <http://amr.isi.edu/amr_data/SSC-08-03#p> ;
ns1:compose-01.ARG2 <http://amr.isi.edu/amr_data/SSC-08-03#a2> ;
ns2:mod <http://amr.isi.edu/amr_data/SSC-08-03#m> .
<http://amr.isi.edu/amr_data/SSC-08-03#root01> a ns3:AMR ;
ns3:has-id "SSC-08-03" ;
ns3:has-sentence "Jupiter and Saturn are gas giant planets, being composed mainly of hydrogen and helium." ;
ns3:root <http://amr.isi.edu/amr_data/SSC-08-03#p> .
ns1:compose-01.ARG1 a ns1:FrameRole .
ns1:compose-01.ARG2 a ns1:FrameRole .
ns2:domain a ns3:Role .
ns2:mod a ns3:Role .
ns2:op1 a ns3:Role .
ns2:op2 a ns3:Role .
<http://amr.isi.edu/amr_data/SSC-08-03#a> a ns3:and ;
ns2:op1 <http://amr.isi.edu/amr_data/SSC-08-03#p2> ;
ns2:op2 <http://amr.isi.edu/amr_data/SSC-08-03#p3> .
<http://amr.isi.edu/amr_data/SSC-08-03#a2> a ns3:and ;
ns2:op1 <http://amr.isi.edu/amr_data/SSC-08-03#h> ;
ns2:op2 <http://amr.isi.edu/amr_data/SSC-08-03#h2> .
<http://amr.isi.edu/amr_data/SSC-08-03#g> a ns2:giant ;
ns2:mod <http://amr.isi.edu/amr_data/SSC-08-03#g2> .
<http://amr.isi.edu/amr_data/SSC-08-03#g2> a ns2:gas .
<http://amr.isi.edu/amr_data/SSC-08-03#h> a ns2:hydrogen .
<http://amr.isi.edu/amr_data/SSC-08-03#h2> a ns2:helium .
<http://amr.isi.edu/amr_data/SSC-08-03#m> a ns2:main .
<http://amr.isi.edu/amr_data/SSC-08-03#p2> a <http://amr.isi.edu/entity-types#planet> ;
rdfs:label "Jupiter" .
<http://amr.isi.edu/amr_data/SSC-08-03#p3> a <http://amr.isi.edu/entity-types#planet> ;
rdfs:label "Saturn" .
ns1:compose-01 a ns3:Frame .
ns2:gas a ns3:Concept .
ns2:giant a ns3:Concept .
ns2:helium a ns3:Concept .
ns2:hydrogen a ns3:Concept .
ns2:main a ns3:Concept .
ns3:Frame a ns3:Concept ;
rdfs:label "AMR-PropBank-Frame" .
ns3:NamedEntity a ns3:Concept ;
rdfs:label "AMR-EntityType",
"AMR-Term" .
<http://amr.isi.edu/amr_data/SSC-08-03#p> a <http://amr.isi.edu/entity-types#planet> ;
ns2:domain <http://amr.isi.edu/amr_data/SSC-08-03#a> ;
ns2:mod <http://amr.isi.edu/amr_data/SSC-08-03#g> .
ns1:FrameRole a ns3:Role ;
rdfs:label "AMR-PropBank-Role" .
ns3:and a ns3:Concept .
<http://amr.isi.edu/entity-types#planet> a ns3:NamedEntity .
input/amrDocuments/dev/solar-system-test-84/SSC-08-04.stog.amr.ttl 0 → 100644
+ 79
− 0
View file @ 524b4ee6
@prefix ns1: <http://amr.isi.edu/rdf/amr-terms#> .
@prefix ns2: <http://amr.isi.edu/rdf/core-amr#> .
@prefix ns3: <http://amr.isi.edu/frames/ld/v1.2.2/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
ns2:Concept a rdfs:Class ;
rdfs:label "AMR-Concept" .
ns2:Role a rdfs:Class ;
rdfs:label "AMR-Role" .
<http://amr.isi.edu/amr_data/SSC-08-04#root01> a ns2:AMR ;
ns2:has-id "SSC-08-04" ;
ns2:has-sentence "The two gas giants planets, Jupiter and Saturn, are composed of hydrogen and helium." ;
ns2:root <http://amr.isi.edu/amr_data/SSC-08-04#c> .
ns3:compose-01.ARG1 a ns3:FrameRole .
ns3:compose-01.ARG2 a ns3:FrameRole .
ns1:domain a ns2:Role .
ns1:mod a ns2:Role .
ns1:op1 a ns2:Role .
ns1:op2 a ns2:Role .
<http://amr.isi.edu/amr_data/SSC-08-04#a> a ns2:and ;
ns1:op1 <http://amr.isi.edu/amr_data/SSC-08-04#p2> ;
ns1:op2 <http://amr.isi.edu/amr_data/SSC-08-04#p3> .
<http://amr.isi.edu/amr_data/SSC-08-04#a2> a ns2:and ;
ns1:op1 <http://amr.isi.edu/amr_data/SSC-08-04#h> ;
ns1:op2 <http://amr.isi.edu/amr_data/SSC-08-04#h2> .
<http://amr.isi.edu/amr_data/SSC-08-04#c> a ns3:compose-01 ;
ns3:compose-01.ARG1 <http://amr.isi.edu/amr_data/SSC-08-04#p> ;
ns3:compose-01.ARG2 <http://amr.isi.edu/amr_data/SSC-08-04#a2> .
<http://amr.isi.edu/amr_data/SSC-08-04#g> a ns1:gas-giant .
<http://amr.isi.edu/amr_data/SSC-08-04#h> a ns1:hydrogen .
<http://amr.isi.edu/amr_data/SSC-08-04#h2> a ns1:helium .
<http://amr.isi.edu/amr_data/SSC-08-04#p> a <http://amr.isi.edu/entity-types#planet> ;
ns1:domain <http://amr.isi.edu/amr_data/SSC-08-04#a> ;
ns1:mod <http://amr.isi.edu/amr_data/SSC-08-04#g> ;
ns1:quant "2" .
<http://amr.isi.edu/amr_data/SSC-08-04#p2> a <http://amr.isi.edu/entity-types#planet> ;
rdfs:label "Jupiter" .
<http://amr.isi.edu/amr_data/SSC-08-04#p3> a <http://amr.isi.edu/entity-types#planet> ;
rdfs:label "Saturn" .
ns3:compose-01 a ns2:Frame .
ns1:gas-giant a ns2:Concept .
ns1:helium a ns2:Concept .
ns1:hydrogen a ns2:Concept .
ns2:Frame a ns2:Concept ;
rdfs:label "AMR-PropBank-Frame" .
ns2:NamedEntity a ns2:Concept ;
rdfs:label "AMR-EntityType",
"AMR-Term" .
ns3:FrameRole a ns2:Role ;
rdfs:label "AMR-PropBank-Role" .
ns2:and a ns2:Concept .
<http://amr.isi.edu/entity-types#planet> a ns2:NamedEntity .
output/SolarSystemDev1-20230106/SolarSystemDev1-1/SolarSystemDev1.ttl 0 → 100644
+ 865
− 0
View file @ 524b4ee6
This diff is collapsed.
output/SolarSystemDev1-20230106/SolarSystemDev1-1/SolarSystemDev1_factoid.ttl 0 → 100644
+ 198
− 0
View file @ 524b4ee6
@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:fromStructure "SSC-01-01" .
output/SolarSystemDev1-20230106/SolarSystemDev1_factoid.ttl 0 → 100644
+ 198
− 0
View file @ 524b4ee6
@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:fromStructure "SSC-01-01" .
output/SolarSystemDev1-20230107/SolarSystemDev1-1/SolarSystemDev1.ttl 0 → 100644
+ 865
− 0
View file @ 524b4ee6
This diff is collapsed.
output/SolarSystemDev1-20230107/SolarSystemDev1-1/SolarSystemDev1_factoid.ttl 0 → 100644
+ 197
− 0
View file @ 524b4ee6
@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_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:compositeProperty_not-direct_d2 ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#not-direct> .
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#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#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#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:fromStructure "SSC-01-01" .
output/SolarSystemDev1-20230107/SolarSystemDev1_factoid.ttl 0 → 100644
+ 197
− 0
View file @ 524b4ee6
@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_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:compositeProperty_not-direct_d2 ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#not-direct> .
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#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#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#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:fromStructure "SSC-01-01" .
output/SolarSystemDevtest-83-20230106/SolarSystemDevtest-83-1/SolarSystemDevtest-83_factoid.ttl 0 → 100644
+ 66
− 0
View file @ 524b4ee6
@base <http://SolarSystemDevtest-83/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_gas_g2 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gas> .
ns1:atomClass_giant_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#giant> .
ns1:atomClass_helium_h2 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#helium> .
ns1:atomClass_hydrogen_h ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#hydrogen> .
ns1:atomClass_main_m ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#main> .
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:individual_planet_Jupiter ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#jupiter> .
ns1:individual_planet_Saturn ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#saturn> .
<https://tenet.tetras-libre.fr/extract-result#gas> a owl:Class ;
rdfs:label "gas" ;
rdfs:subClassOf ns2:Undetermined_Thing ;
ns2:fromStructure "SSC-08-03" .
<https://tenet.tetras-libre.fr/extract-result#giant> a owl:Class ;
rdfs:label "giant" ;
rdfs:subClassOf ns2:Undetermined_Thing ;
ns2:fromStructure "SSC-08-03" .
<https://tenet.tetras-libre.fr/extract-result#helium> a owl:Class ;
rdfs:label "helium" ;
rdfs:subClassOf ns2:Undetermined_Thing ;
ns2:fromStructure "SSC-08-03" .
<https://tenet.tetras-libre.fr/extract-result#hydrogen> a owl:Class ;
rdfs:label "hydrogen" ;
rdfs:subClassOf ns2:Undetermined_Thing ;
ns2:fromStructure "SSC-08-03" .
<https://tenet.tetras-libre.fr/extract-result#jupiter> a owl:individual,
<https://tenet.tetras-libre.fr/extract-result#planet> ;
rdfs:label "Jupiter" ;
ns2:fromStructure "SSC-08-03" .
<https://tenet.tetras-libre.fr/extract-result#main> a owl:Class ;
rdfs:label "main" ;
rdfs:subClassOf ns2:Undetermined_Thing ;
ns2:fromStructure "SSC-08-03" .
<https://tenet.tetras-libre.fr/extract-result#saturn> a owl:individual,
<https://tenet.tetras-libre.fr/extract-result#planet> ;
rdfs:label "Saturn" ;
ns2:fromStructure "SSC-08-03" .
<https://tenet.tetras-libre.fr/extract-result#planet> a owl:Class ;
rdfs:label "planet" ;
rdfs:subClassOf ns2:Undetermined_Thing ;
ns2:fromStructure "SSC-08-03" .
output/SolarSystemDevtest-83-20230106/SolarSystemDevtest-83_factoid.ttl 0 → 100644
+ 66
− 0
View file @ 524b4ee6
@base <http://SolarSystemDevtest-83/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_gas_g2 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gas> .
ns1:atomClass_giant_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#giant> .
ns1:atomClass_helium_h2 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#helium> .
ns1:atomClass_hydrogen_h ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#hydrogen> .
ns1:atomClass_main_m ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#main> .
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:individual_planet_Jupiter ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#jupiter> .
ns1:individual_planet_Saturn ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#saturn> .
<https://tenet.tetras-libre.fr/extract-result#gas> a owl:Class ;
rdfs:label "gas" ;
rdfs:subClassOf ns2:Undetermined_Thing ;
ns2:fromStructure "SSC-08-03" .
<https://tenet.tetras-libre.fr/extract-result#giant> a owl:Class ;
rdfs:label "giant" ;
rdfs:subClassOf ns2:Undetermined_Thing ;
ns2:fromStructure "SSC-08-03" .
<https://tenet.tetras-libre.fr/extract-result#helium> a owl:Class ;
rdfs:label "helium" ;
rdfs:subClassOf ns2:Undetermined_Thing ;
ns2:fromStructure "SSC-08-03" .
<https://tenet.tetras-libre.fr/extract-result#hydrogen> a owl:Class ;
rdfs:label "hydrogen" ;
rdfs:subClassOf ns2:Undetermined_Thing ;
ns2:fromStructure "SSC-08-03" .
<https://tenet.tetras-libre.fr/extract-result#jupiter> a owl:individual,
<https://tenet.tetras-libre.fr/extract-result#planet> ;
rdfs:label "Jupiter" ;
ns2:fromStructure "SSC-08-03" .
<https://tenet.tetras-libre.fr/extract-result#main> a owl:Class ;
rdfs:label "main" ;
rdfs:subClassOf ns2:Undetermined_Thing ;
ns2:fromStructure "SSC-08-03" .
<https://tenet.tetras-libre.fr/extract-result#saturn> a owl:individual,
<https://tenet.tetras-libre.fr/extract-result#planet> ;
rdfs:label "Saturn" ;
ns2:fromStructure "SSC-08-03" .
<https://tenet.tetras-libre.fr/extract-result#planet> a owl:Class ;
rdfs:label "planet" ;
rdfs:subClassOf ns2:Undetermined_Thing ;
ns2:fromStructure "SSC-08-03" .
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment