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

Dev in progress: composite class extraction using QB

parent 51edaa93
No related branches found
No related tags found
No related merge requests found
Expand all Show whitespace changes
Inline Side-by-side
Showing
with 6032 additions and 54 deletions
output/SolarSystemDev1-20221221/SolarSystemDev1-1/SolarSystemDev1_factoid.ttl 0 → 100644
+ 257
− 0
View file @ 094de192
@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-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> .
<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> 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: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> ] .
<https://tenet.tetras-libre.fr/extract-result#gravitation-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-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> ] .
<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> ] .
<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-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> ;
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#system-hasPart-object-hasPart-object> a owl:Class ;
rdfs:label "system-hasPart-object-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-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> ;
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> ;
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> ;
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> ;
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> ;
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#object> a owl:Class ;
rdfs:label "object" ;
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#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#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 ;
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" .
output/SolarSystemDev1-20221221/SolarSystemDev1_factoid.ttl 0 → 100644
+ 257
− 0
View file @ 094de192
@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-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> .
<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> 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: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> ] .
<https://tenet.tetras-libre.fr/extract-result#gravitation-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-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> ] .
<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> ] .
<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-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> ;
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#system-hasPart-object-hasPart-object> a owl:Class ;
rdfs:label "system-hasPart-object-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-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> ;
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> ;
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> ;
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> ;
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> ;
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#object> a owl:Class ;
rdfs:label "object" ;
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#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#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 ;
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" .
structure/cts/amr_ctr/transduction/composite_class_extraction_1.py
+ 46
− 54
View file @ 094de192
......@@ -34,31 +34,22 @@ rule_set['create-composite-class-net-from-property-1'] = {
" (2) with a relation corresponding to Core Role property",
" (3) in normal direction"),
'construction': f"""
# -- New Restriction Net
?newRestrictionNet a net:Restriction_Net ;
net:hasStructure {atom_property_net.structure} ;
net:coverBaseNode ?baseLeaf ;
net:coverTargetNode {atom_property_net.base_node},
?nodeOfArg1Net ;
net:hasRestrictionOnProperty {atom_property_net.id} ;
net:hasRestrictionNetValue ?arg1Net.
# -- New Class Net
?newNet a net:Composite_Class_Net ;
net:hasStructure {atom_property_net.structure} ;
net:coverBaseNode ?baseLeaf ;
net:coverNode {atom_property_net.base_node},
?nodeOfArg0Net,
?nodeOfArg1Net ;
net:hasClassName ?newClassName ;
net:hasMotherClassNet ?arg0Net ;
net:hasRestriction01 ?newRestrictionNet.
{restriction_net.construct(base_node='?baseLeaf',
target_node=atom_property_net.node,
restriction_property=atom_property_net.id,
restriction_net_value='?arg1Net')}
{restriction_net.add_attribute(target_node='?nodeOfArg1Net')}
{composite_class_net.construct(base_node='?baseLeaf',
node=atom_property_net.base_node,
class_name='?newClassName',
mother_class_net='?arg0Net',
restriction01=restriction_net.id)}
{composite_class_net.add_attribute(target_node='?nodeOfArg0Net')}
{composite_class_net.add_attribute(target_node='?nodeOfArg1Net')}
# -- Propagation of relations (from nodes to nets)
?inRelationRole a net:Relation.
?inNet ?inRelationRole ?newNet.
?outRelationRole a net:Relation.
?newNet ?outRelationRole ?outNet.
""",
'clause': f"""
# -- Identify Property(arg0:Class, arg1:Class)
......@@ -81,33 +72,23 @@ rule_set['create-composite-class-net-from-property-1'] = {
FILTER NOT EXISTS {{?arg0Net net:coverNode ?node.
?arg1Net net:coverNode ?node.}}
# -- Identify inbound relations linked to the base leaf (for propagation)
OPTIONAL {{?inNet a [rdfs:subClassOf* net:Net] ;
net:coverBaseNode ?inLeaf.
?inLeaf ?inRelationEdge ?baseLeaf.
?inRelationEdge amr:hasAmrRole ?inRelationRole.}}
# -- Identify variable label of base leaf
?baseLeaf a amr:AMR_Leaf ;
amr:hasVariable ?variable.
?variable amr:label ?varLabel.
# -- Identify outgoing relations linked to the base leaf (for propagation)
OPTIONAL {{?outNet a [rdfs:subClassOf* net:Net] ;
net:coverBaseNode ?outLeaf.
?baseLeaf ?outRelationEdge ?outLeaf.
?outRelationEdge amr:hasAmrRole ?outRelationRole.}}
{composite_class_net.complete_clauses_for_construction('?baseLeaf')}
{restriction_net.complete_clauses_for_construction()}
""",
'binding': f"""
# -- New Class Name
BIND (CONCAT(?arg0Name, '-', {atom_property_net.property_name01}) AS ?cn1).
BIND (CONCAT(?cn1, '-', ?arg1Name) AS ?newClassName).
# -- New Restriction Net
BIND (CONCAT(str(net:), 'restriction') AS ?rn1).
BIND (CONCAT(?rn1, '_', {atom_property_net.property_name01}) AS ?rn2).
BIND (CONCAT(?rn2, '_', str(?arg1Name)) AS ?rn3).
BIND (uri(?rn3) AS ?newRestrictionNet).
{restriction_net.bind_uri(atom_property_net.property_name01, '?arg1Name')}
# -- New Class Net
BIND (CONCAT(str(net:), 'compositeClass') AS ?n1).
BIND (CONCAT(?n1, '_', ?newClassName) AS ?n2).
BIND (uri(?n2) AS ?newNet).
{composite_class_net.bind_uri('?newClassName', '?varLabel')}
"""
}
......@@ -387,23 +368,34 @@ if __name__ == '__main__':
print('\n' + ' -- test: update a test query (1)')
test_query_1 = f"""[...]
CONSTRUCT {{
{atom_property_net.construct(base_node='?baseLeaf',
core_role='true',
target_argument_node='?argLeaf',
property_type='owl:ObjectProperty',
property_name='?propertyName',
property_name01='?propertyName01',
property_name10='?propertyName10',
property_name12='?propertyName12')}
{restriction_net.construct(base_node='?baseLeaf',
target_node=atom_property_net.node,
restriction_property=atom_property_net.id,
restriction_net_value='?arg1Net')}
{restriction_net.add_attribute(target_node='?nodeOfArg1Net')}
{composite_class_net.construct(base_node='?baseLeaf',
node=atom_property_net.base_node,
class_name='?newClassName',
mother_class_net='?arg0Net',
restriction01=restriction_net.id)}
{composite_class_net.add_attribute(target_node='?nodeOfArg0Net')}
{composite_class_net.add_attribute(target_node='?nodeOfArg1Net')}
}}
WHERE {{
{atom_property_net.identify(core_role='true')}
{atom_property_net.complete_clauses_for_construction('?baseLeaf')}
{atom_property_net.bind_uri('{{node1.concept_label}}',
{composite_class_net.complete_clauses_for_construction('?baseLeaf')}
{restriction_net.complete_clauses_for_construction()}
{restriction_net.bind_uri(atom_property_net.property_name01, '?arg1Name')}
{composite_class_net.bind_uri('{{node1.concept_label}}',
'{{node1.variable_label}}')}
}}
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment