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

AND conjunction phenomena application (test)

parent 79ff944a
No related branches found
No related tags found
No related merge requests found
@base <http://SolarSystemDev1/factoid> .
@prefix ns1: <https://tenet.tetras-libre.fr/semantic-net#> .
@prefix ns2: <https://tenet.tetras-libre.fr/base-ontology#> .
@prefix ns1: <https://tenet.tetras-libre.fr/base-ontology#> .
@prefix ns2: <https://tenet.tetras-libre.fr/semantic-net#> .
@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> .
ns2:atomClass_gravitation_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation> .
ns1:atomClass_object_o ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object> .
ns2:atomClass_object_o ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object> .
ns1:atomClass_sun_s2 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#sun> .
ns2:atomClass_sun_s2 ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#sun> .
ns1:atomClass_system_p ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system> .
ns2:atomClass_system_p ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system> .
ns1:atomClass_system_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system> .
ns2:atomClass_system_s ns2: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> .
ns2:atomProperty_bind_b ns2:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
ns2: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> .
ns2:atomProperty_direct_d ns2:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#direct-of> ;
ns2: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> .
ns2:atomProperty_hasManner_m9 ns2:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#hasManner> ;
ns2: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> .
ns2:atomProperty_hasPart_p9 ns2:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
ns2: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> .
ns2:atomProperty_orbit_o2 ns2:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#orbit-of> ;
ns2: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> .
ns2:compositeClass_gravitation-binding-system-hasPart-sun-and-object-etc_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object-etc> .
ns1:compositeClass_gravitation-binding-system-hasPart-sun_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun> .
ns2:compositeClass_gravitation-binding-system-hasPart-sun-and-object-orbiting-sun-etc_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object-orbiting-sun-etc> .
ns1:compositeClass_gravitation-binding-system_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system> .
ns2:compositeClass_gravitation-binding-system-hasPart-sun-and-object_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object> .
ns1:compositeClass_object-orbiting-sun_o ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> .
ns2:compositeClass_gravitation-binding-system_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system> .
ns1:compositeClass_system-hasPart-object-hasPart-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-sun> .
ns2:compositeClass_object-orbiting-sun_o ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> .
ns1:compositeClass_system-hasPart-object-orbiting-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-orbiting-sun> .
ns2:compositeClass_system-hasPart-sun-and-object-etc_s ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc> .
ns1:compositeClass_system-hasPart-object_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> .
ns2:compositeClass_system-hasPart-sun-and-object-orbiting-sun-etc_s ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-orbiting-sun-etc> .
ns1:compositeClass_system-hasPart-sun-hasPart-object_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-object> .
ns2:compositeClass_system-hasPart-sun-and-object_s ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object> .
ns1:compositeClass_system-hasPart-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> .
ns2:compositeProperty_not-direct_d2 ns2:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#not-direct> .
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> .
ns2:individual_system_SolarSystem ns2: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" .
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1: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" .
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1: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" .
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system> a owl:Class ;
rdfs:label "gravitation-binding-system" ;
......@@ -72,126 +70,105 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
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" .
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object> a owl:Class ;
rdfs:label "gravitation-binding-system-hasPart-sun-and-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-sun-and-object> ],
<https://tenet.tetras-libre.fr/extract-result#gravitation> ;
ns1: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" ;
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object-etc> a owl:Class ;
rdfs:label "gravitation-binding-system-hasPart-sun-and-object-etc" ;
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-sun-and-object-etc> ],
<https://tenet.tetras-libre.fr/extract-result#gravitation> ;
ns2:fromStructure "SSC-01-01" .
ns1: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" ;
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object-orbiting-sun-etc> a owl:Class ;
rdfs:label "gravitation-binding-system-hasPart-sun-and-object-orbiting-sun-etc" ;
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-hasPart-sun-and-object-orbiting-sun-etc> ],
<https://tenet.tetras-libre.fr/extract-result#gravitation> ;
ns2:fromStructure "SSC-01-01" .
ns1: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> ;
ns1: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" .
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1: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> ;
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-orbiting-sun-etc> ;
rdfs:label "Solar System" ;
ns2:fromStructure "SSC-01-01" .
ns1: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" .
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1: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#hasPart> a owl:ObjectProperty ;
rdfs:label "hasPart" ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ;
rdfs:label "object" ;
rdfs:subClassOf ns1:Entity ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#orbit-of> a owl:ObjectProperty ;
rdfs:label "orbit-of" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1: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#sun> a owl:Class ;
rdfs:label "sun" ;
rdfs:subClassOf ns1:Entity ;
ns1: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-and-object> a owl:Class ;
rdfs:label "system-hasPart-sun-and-object" ;
rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#system> ;
ns1: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#system-hasPart-sun-and-object-etc> a owl:Class ;
rdfs:label "system-hasPart-sun-and-object-etc" ;
rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#system> ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-orbiting-sun-etc> a owl:Class ;
rdfs:label "system-hasPart-sun-and-object-orbiting-sun-etc" ;
rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#system> ;
ns1: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" .
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation> a owl:Class ;
rdfs:label "gravitation" ;
rdfs:subClassOf 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" .
rdfs:subClassOf ns1:Entity ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system> a owl:Class ;
rdfs:label "system" ;
rdfs:subClassOf ns2:Entity ;
ns2:fromStructure "SSC-01-01" .
rdfs:subClassOf ns1:Entity ;
ns1:fromStructure "SSC-01-01" .
@base <http://SolarSystemDev1/factoid> .
@prefix ns1: <https://tenet.tetras-libre.fr/semantic-net#> .
@prefix ns2: <https://tenet.tetras-libre.fr/base-ontology#> .
@prefix ns1: <https://tenet.tetras-libre.fr/base-ontology#> .
@prefix ns2: <https://tenet.tetras-libre.fr/semantic-net#> .
@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> .
ns2:atomClass_gravitation_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation> .
ns1:atomClass_object_o ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object> .
ns2:atomClass_object_o ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object> .
ns1:atomClass_sun_s2 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#sun> .
ns2:atomClass_sun_s2 ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#sun> .
ns1:atomClass_system_p ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system> .
ns2:atomClass_system_p ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system> .
ns1:atomClass_system_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system> .
ns2:atomClass_system_s ns2: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> .
ns2:atomProperty_bind_b ns2:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
ns2: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> .
ns2:atomProperty_direct_d ns2:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#direct-of> ;
ns2: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> .
ns2:atomProperty_hasManner_m9 ns2:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#hasManner> ;
ns2: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> .
ns2:atomProperty_hasPart_p9 ns2:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
ns2: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> .
ns2:atomProperty_orbit_o2 ns2:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#orbit-of> ;
ns2: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> .
ns2:compositeClass_gravitation-binding-system-hasPart-sun-and-object-etc_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object-etc> .
ns1:compositeClass_gravitation-binding-system-hasPart-sun_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun> .
ns2:compositeClass_gravitation-binding-system-hasPart-sun-and-object-orbiting-sun-etc_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object-orbiting-sun-etc> .
ns1:compositeClass_gravitation-binding-system_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system> .
ns2:compositeClass_gravitation-binding-system-hasPart-sun-and-object_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object> .
ns1:compositeClass_object-orbiting-sun_o ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> .
ns2:compositeClass_gravitation-binding-system_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system> .
ns1:compositeClass_system-hasPart-object-hasPart-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-sun> .
ns2:compositeClass_object-orbiting-sun_o ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> .
ns1:compositeClass_system-hasPart-object-orbiting-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-orbiting-sun> .
ns2:compositeClass_system-hasPart-sun-and-object-etc_s ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc> .
ns1:compositeClass_system-hasPart-object_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> .
ns2:compositeClass_system-hasPart-sun-and-object-orbiting-sun-etc_s ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-orbiting-sun-etc> .
ns1:compositeClass_system-hasPart-sun-hasPart-object_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-object> .
ns2:compositeClass_system-hasPart-sun-and-object_s ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object> .
ns1:compositeClass_system-hasPart-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> .
ns2:compositeProperty_not-direct_d2 ns2:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#not-direct> .
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> .
ns2:individual_system_SolarSystem ns2: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" .
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1: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" .
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1: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" .
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system> a owl:Class ;
rdfs:label "gravitation-binding-system" ;
......@@ -72,126 +70,105 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
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" .
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object> a owl:Class ;
rdfs:label "gravitation-binding-system-hasPart-sun-and-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-sun-and-object> ],
<https://tenet.tetras-libre.fr/extract-result#gravitation> ;
ns1: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" ;
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object-etc> a owl:Class ;
rdfs:label "gravitation-binding-system-hasPart-sun-and-object-etc" ;
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-sun-and-object-etc> ],
<https://tenet.tetras-libre.fr/extract-result#gravitation> ;
ns2:fromStructure "SSC-01-01" .
ns1: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" ;
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object-orbiting-sun-etc> a owl:Class ;
rdfs:label "gravitation-binding-system-hasPart-sun-and-object-orbiting-sun-etc" ;
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-hasPart-sun-and-object-orbiting-sun-etc> ],
<https://tenet.tetras-libre.fr/extract-result#gravitation> ;
ns2:fromStructure "SSC-01-01" .
ns1: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> ;
ns1: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" .
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1: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> ;
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-orbiting-sun-etc> ;
rdfs:label "Solar System" ;
ns2:fromStructure "SSC-01-01" .
ns1: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" .
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1: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#hasPart> a owl:ObjectProperty ;
rdfs:label "hasPart" ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ;
rdfs:label "object" ;
rdfs:subClassOf ns1:Entity ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#orbit-of> a owl:ObjectProperty ;
rdfs:label "orbit-of" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1: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#sun> a owl:Class ;
rdfs:label "sun" ;
rdfs:subClassOf ns1:Entity ;
ns1: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-and-object> a owl:Class ;
rdfs:label "system-hasPart-sun-and-object" ;
rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#system> ;
ns1: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#system-hasPart-sun-and-object-etc> a owl:Class ;
rdfs:label "system-hasPart-sun-and-object-etc" ;
rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#system> ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-orbiting-sun-etc> a owl:Class ;
rdfs:label "system-hasPart-sun-and-object-orbiting-sun-etc" ;
rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#system> ;
ns1: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" .
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation> a owl:Class ;
rdfs:label "gravitation" ;
rdfs:subClassOf 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" .
rdfs:subClassOf ns1:Entity ;
ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system> a owl:Class ;
rdfs:label "system" ;
rdfs:subClassOf ns2:Entity ;
ns2:fromStructure "SSC-01-01" .
rdfs:subClassOf ns1:Entity ;
ns1:fromStructure "SSC-01-01" .
......@@ -116,7 +116,12 @@ atomic_extraction_sequence = {
phenomena_application_sequence = {
'label': 'phenomena-application-sequence',
'comment': 'Application of phenomena',
'rule_key_list': ['polarity-phenomena-application']
'rule_key_list': ['polarity-phenomena-application',
'and-conjunction-phenomena-application-1',
'and-conjunction-phenomena-application-2',
'and-conjunction-phenomena-application-3',
'and-conjunction-phenomena-application-4',
'and-conjunction-phenomena-application-5']
}
......@@ -148,7 +153,7 @@ restriction_adding_sequence = {
phenomena_checking_sequence = {
'label': 'phenomena-checking-sequence',
'comment': 'creation of phenomena nets',
'rule_key_list': ['expand-and-or-conjunction-phenomena-net',
'rule_key_list': [# -- 'expand-and-or-conjunction-phenomena-net',
'expand-degree-phenomena-net-1',
'expand-degree-phenomena-net-2',
'expand-degree-phenomena-net-3',
......
......@@ -66,7 +66,7 @@
- DEBUG - --- Export work graph as turtle
- DEBUG - ----- Work graph file: ./output/SolarSystemDev1-20230110/SolarSystemDev1-1/SolarSystemDev1.ttl
- DEBUG - --- Ending Structure Preparation
- DEBUG - ----- Total Execution Time = 0:00:00.130350
- DEBUG - ----- Total Execution Time = 0:00:00.130333
- INFO - -- Loading Extraction Scheme (amr_scheme_1)
- DEBUG - ----- Step number: 3
- INFO - -- Loading Extraction Rules (amr_ctr/*)
......@@ -119,117 +119,128 @@
- INFO - --- Sequence: phenomena-application-sequence
- INFO - ----- polarity-phenomena-application: 8/9 new triples (1026)
- DEBUG - ----- (refinement) refine-cover-node-1: 1 new triples (1027)
- INFO - ----- and-conjunction-phenomena-application-1: 14/17 new triples (1041)
- DEBUG - ----- (refinement) refine-cover-node-1: 1 new triples (1042)
- INFO - ----- and-conjunction-phenomena-application-2: 1/1 new triples (1043)
- INFO - ----- and-conjunction-phenomena-application-3: 14/14 new triples (1057)
- INFO - ----- and-conjunction-phenomena-application-4: 8/8 new triples (1065)
- DEBUG - ----- (refinement) refine-cover-node-2: 1 new triples (1066)
- INFO - ----- and-conjunction-phenomena-application-5: 6/9 new triples (1072)
- INFO - --- Sequence: phenomena-checking-sequence
- INFO - ----- expand-and-conjunction-phenomena-net: 5/5 new triples (1032)
- DEBUG - ----- expand-degree-phenomena-net-1: 0/0 new triples (1032)
- DEBUG - ----- expand-degree-phenomena-net-2: 0/0 new triples (1032)
- DEBUG - ----- expand-degree-phenomena-net-3: 0/0 new triples (1032)
- DEBUG - ----- expand-degree-phenomena-net-4: 0/0 new triples (1032)
- DEBUG - ----- expand-degree-phenomena-net-5: 0/0 new triples (1032)
- DEBUG - ----- expand-degree-phenomena-net-6: 0/0 new triples (1032)
- DEBUG - ----- expand-degree-phenomena-net-1: 0/0 new triples (1072)
- DEBUG - ----- expand-degree-phenomena-net-2: 0/0 new triples (1072)
- DEBUG - ----- expand-degree-phenomena-net-3: 0/0 new triples (1072)
- DEBUG - ----- expand-degree-phenomena-net-4: 0/0 new triples (1072)
- DEBUG - ----- expand-degree-phenomena-net-5: 0/0 new triples (1072)
- DEBUG - ----- expand-degree-phenomena-net-6: 0/0 new triples (1072)
- INFO - --- Sequence: composite-property-extraction-sequence
- DEBUG - ----- create-composite-class-net-from-property-1: 0/0 new triples (1032)
- DEBUG - ----- create-composite-class-net-from-property-2: 0/0 new triples (1032)
- DEBUG - ----- create-composite-class-net-from-property-1: 0/0 new triples (1072)
- DEBUG - ----- create-composite-class-net-from-property-2: 0/0 new triples (1072)
- INFO - --- Sequence: composite-class-extraction-sequence-1
- INFO - ----- create-composite-class-net-from-property-1: 60/60 new triples (1092)
- DEBUG - ----- (refinement) refine-cover-node-1: 12 new triples (1104)
- DEBUG - ----- (refinement) refine-cover-node-2: 4 new triples (1108)
- DEBUG - ----- create-composite-class-net-from-property-2: 0/0 new triples (1108)
- INFO - ----- create-composite-class-net-from-property-3: 19/23 new triples (1127)
- DEBUG - ----- create-composite-class-net-from-property-4: 0/0 new triples (1127)
- INFO - ----- create-composite-class-net-from-property-1: 49/49 new triples (1121)
- DEBUG - ----- (refinement) refine-cover-node-1: 11 new triples (1132)
- DEBUG - ----- (refinement) refine-cover-node-2: 3 new triples (1135)
- DEBUG - ----- create-composite-class-net-from-property-2: 0/0 new triples (1135)
- INFO - ----- create-composite-class-net-from-property-3: 11/13 new triples (1146)
- DEBUG - ----- create-composite-class-net-from-property-4: 0/0 new triples (1146)
- INFO - --- Sequence: composite-class-extraction-sequence-2
- DEBUG - ----- create-composite-class-net-from-phenomena-1: 0/0 new triples (1127)
- DEBUG - ----- create-composite-class-net-from-phenomena-2: 0/0 new triples (1127)
- DEBUG - ----- create-composite-class-net-from-phenomena-3: 0/0 new triples (1127)
- DEBUG - ----- create-composite-class-net-from-phenomena-4: 0/0 new triples (1127)
- DEBUG - ----- create-composite-class-net-from-phenomena-1: 0/0 new triples (1146)
- DEBUG - ----- create-composite-class-net-from-phenomena-2: 0/0 new triples (1146)
- DEBUG - ----- create-composite-class-net-from-phenomena-3: 0/0 new triples (1146)
- DEBUG - ----- create-composite-class-net-from-phenomena-4: 0/0 new triples (1146)
- INFO - --- Sequence: phenomena-application-sequence
- DEBUG - ----- polarity-phenomena-application: 0/0 new triples (1127)
- DEBUG - ----- polarity-phenomena-application: 0/0 new triples (1146)
- INFO - ----- and-conjunction-phenomena-application-1: 3/21 new triples (1149)
- INFO - ----- and-conjunction-phenomena-application-2: 2/2 new triples (1151)
- INFO - ----- and-conjunction-phenomena-application-3: 9/23 new triples (1160)
- INFO - ----- and-conjunction-phenomena-application-4: 16/24 new triples (1176)
- DEBUG - ----- (refinement) refine-cover-node-2: 2 new triples (1178)
- INFO - ----- and-conjunction-phenomena-application-5: 12/15 new triples (1190)
- INFO - --- Sequence: phenomena-checking-sequence
- INFO - ----- expand-and-conjunction-phenomena-net: 1/6 new triples (1128)
- DEBUG - ----- expand-degree-phenomena-net-1: 0/0 new triples (1128)
- DEBUG - ----- expand-degree-phenomena-net-2: 0/0 new triples (1128)
- DEBUG - ----- expand-degree-phenomena-net-3: 0/0 new triples (1128)
- DEBUG - ----- expand-degree-phenomena-net-4: 0/0 new triples (1128)
- DEBUG - ----- expand-degree-phenomena-net-5: 0/0 new triples (1128)
- DEBUG - ----- expand-degree-phenomena-net-6: 0/0 new triples (1128)
- DEBUG - ----- expand-degree-phenomena-net-1: 0/0 new triples (1190)
- DEBUG - ----- expand-degree-phenomena-net-2: 0/0 new triples (1190)
- DEBUG - ----- expand-degree-phenomena-net-3: 0/0 new triples (1190)
- DEBUG - ----- expand-degree-phenomena-net-4: 0/0 new triples (1190)
- DEBUG - ----- expand-degree-phenomena-net-5: 0/0 new triples (1190)
- DEBUG - ----- expand-degree-phenomena-net-6: 0/0 new triples (1190)
- INFO - --- Sequence: composite-property-extraction-sequence
- DEBUG - ----- create-composite-class-net-from-property-1: 0/0 new triples (1128)
- DEBUG - ----- create-composite-class-net-from-property-2: 0/0 new triples (1128)
- DEBUG - ----- create-composite-class-net-from-property-1: 0/0 new triples (1190)
- DEBUG - ----- create-composite-class-net-from-property-2: 0/0 new triples (1190)
- INFO - --- Sequence: composite-class-extraction-sequence-1
- INFO - ----- create-composite-class-net-from-property-1: 77/137 new triples (1205)
- DEBUG - ----- (refinement) refine-cover-node-1: 15 new triples (1220)
- DEBUG - ----- (refinement) refine-cover-node-2: 5 new triples (1225)
- DEBUG - ----- create-composite-class-net-from-property-2: 0/0 new triples (1225)
- INFO - ----- create-composite-class-net-from-property-3: 24/27 new triples (1249)
- DEBUG - ----- create-composite-class-net-from-property-4: 0/0 new triples (1249)
- INFO - ----- create-composite-class-net-from-property-1: 38/87 new triples (1228)
- DEBUG - ----- (refinement) refine-cover-node-1: 10 new triples (1238)
- DEBUG - ----- (refinement) refine-cover-node-2: 2 new triples (1240)
- DEBUG - ----- create-composite-class-net-from-property-2: 0/0 new triples (1240)
- INFO - ----- create-composite-class-net-from-property-3: 6/7 new triples (1246)
- DEBUG - ----- create-composite-class-net-from-property-4: 0/0 new triples (1246)
- INFO - --- Sequence: composite-class-extraction-sequence-2
- DEBUG - ----- create-composite-class-net-from-phenomena-1: 0/0 new triples (1249)
- DEBUG - ----- create-composite-class-net-from-phenomena-2: 0/0 new triples (1249)
- DEBUG - ----- create-composite-class-net-from-phenomena-3: 0/0 new triples (1249)
- DEBUG - ----- create-composite-class-net-from-phenomena-4: 0/0 new triples (1249)
- DEBUG - ----- create-composite-class-net-from-phenomena-1: 0/0 new triples (1246)
- DEBUG - ----- create-composite-class-net-from-phenomena-2: 0/0 new triples (1246)
- DEBUG - ----- create-composite-class-net-from-phenomena-3: 0/0 new triples (1246)
- DEBUG - ----- create-composite-class-net-from-phenomena-4: 0/0 new triples (1246)
- INFO - --- Sequence: restriction-adding-sequence
- DEBUG - ----- add-restriction-to-class-net-from-property-1: 0/0 new triples (1249)
- DEBUG - ----- add-restriction-to-class-net-from-property-1: 0/0 new triples (1246)
- INFO - --- Sequence: classification-sequence
- INFO - ----- classify-net-from-core-1: 12/12 new triples (1261)
- INFO - ----- classify-net-from-core-2: 1/9 new triples (1262)
- DEBUG - ----- classify-net-from-core-3: 0/0 new triples (1262)
- DEBUG - ----- classify-net-from-part: 0/0 new triples (1262)
- INFO - ----- classify-net-from-domain: 6/6 new triples (1268)
- DEBUG - ----- classify-net-from-degree-phenomena-1: 0/0 new triples (1268)
- DEBUG - ----- classify-net-from-degree-phenomena-2: 0/0 new triples (1268)
- DEBUG - ----- classify-net-from-degree-phenomena-3: 0/0 new triples (1268)
- INFO - ----- propagate-individual-1: 1/1 new triples (1269)
- INFO - ----- propagate-individual-2: 6/6 new triples (1275)
- DEBUG - ----- reclassify-deprecated-net: 0/0 new triples (1275)
- INFO - ----- classify-net-from-core-1: 11/11 new triples (1257)
- INFO - ----- classify-net-from-core-2: 1/5 new triples (1258)
- DEBUG - ----- classify-net-from-core-3: 0/0 new triples (1258)
- DEBUG - ----- classify-net-from-part: 0/0 new triples (1258)
- INFO - ----- classify-net-from-domain: 4/4 new triples (1262)
- DEBUG - ----- classify-net-from-degree-phenomena-1: 0/0 new triples (1262)
- DEBUG - ----- classify-net-from-degree-phenomena-2: 0/0 new triples (1262)
- DEBUG - ----- classify-net-from-degree-phenomena-3: 0/0 new triples (1262)
- INFO - ----- propagate-individual-1: 1/1 new triples (1263)
- INFO - ----- propagate-individual-2: 4/4 new triples (1267)
- DEBUG - ----- reclassify-deprecated-net: 0/0 new triples (1267)
- DEBUG - --- Serializing graph to SolarSystemDev1_transduction
- DEBUG - ----- step: transduction
- DEBUG - ----- id: SolarSystemDev1
- DEBUG - ----- work_file: ./output/SolarSystemDev1-20230110/SolarSystemDev1-1/SolarSystemDev1_transduction.ttl
- DEBUG - ----- base: http://SolarSystemDev1/transduction
- INFO - ----- 436 triples extracted during transduction step
- INFO - ----- 428 triples extracted during transduction step
- INFO - -- Applying extraction step: generation
- INFO - --- Sequence: main-generation-sequence
- INFO - ----- compute-uri-for-owl-declaration-1: 14/14 new triples (1289)
- INFO - ----- compute-uri-for-owl-declaration-2: 1/1 new triples (1290)
- DEBUG - ----- compute-uri-for-owl-declaration-3: 0/0 new triples (1290)
- INFO - ----- compute-uri-for-owl-declaration-4: 6/6 new triples (1296)
- INFO - ----- compute-uri-for-owl-declaration-5: 5/5 new triples (1301)
- INFO - ----- generate-atom-class: 12/12 new triples (1313)
- INFO - ----- classify-atom-class-1: 4/4 new triples (1317)
- DEBUG - ----- classify-atom-class-2: 0/0 new triples (1317)
- INFO - ----- generate-individual: 3/3 new triples (1320)
- INFO - ----- classify-individual: 6/6 new triples (1326)
- INFO - ----- generate-atom-property-1: 20/20 new triples (1346)
- INFO - ----- generate-atom-property-12: 12/20 new triples (1358)
- DEBUG - ----- generate-inverse-relation: 0/0 new triples (1358)
- INFO - ----- generate-composite-class: 38/38 new triples (1396)
- DEBUG - ----- add-restriction-to-class-1: 0/0 new triples (1396)
- DEBUG - ----- add-restriction-to-class-2: 0/0 new triples (1396)
- INFO - ----- add-restriction-to-class-3: 36/45 new triples (1432)
- DEBUG - ----- add-restriction-to-class-4: 0/0 new triples (1432)
- DEBUG - ----- add-restriction-to-class-5: 0/0 new triples (1432)
- DEBUG - ----- add-restriction-to-class-6: 0/0 new triples (1432)
- DEBUG - ----- generate-composite-property: 0/0 new triples (1432)
- INFO - ----- compute-uri-for-owl-declaration-1: 13/13 new triples (1280)
- INFO - ----- compute-uri-for-owl-declaration-2: 1/1 new triples (1281)
- DEBUG - ----- compute-uri-for-owl-declaration-3: 0/0 new triples (1281)
- INFO - ----- compute-uri-for-owl-declaration-4: 6/6 new triples (1287)
- INFO - ----- compute-uri-for-owl-declaration-5: 5/5 new triples (1292)
- INFO - ----- generate-atom-class: 12/12 new triples (1304)
- INFO - ----- classify-atom-class-1: 4/4 new triples (1308)
- DEBUG - ----- classify-atom-class-2: 0/0 new triples (1308)
- INFO - ----- generate-individual: 3/3 new triples (1311)
- INFO - ----- classify-individual: 4/4 new triples (1315)
- INFO - ----- generate-atom-property-1: 20/20 new triples (1335)
- INFO - ----- generate-atom-property-12: 12/20 new triples (1347)
- DEBUG - ----- generate-inverse-relation: 0/0 new triples (1347)
- INFO - ----- generate-composite-class: 32/32 new triples (1379)
- DEBUG - ----- add-restriction-to-class-1: 0/0 new triples (1379)
- DEBUG - ----- add-restriction-to-class-2: 0/0 new triples (1379)
- INFO - ----- add-restriction-to-class-3: 20/25 new triples (1399)
- DEBUG - ----- add-restriction-to-class-4: 0/0 new triples (1399)
- DEBUG - ----- add-restriction-to-class-5: 0/0 new triples (1399)
- DEBUG - ----- add-restriction-to-class-6: 0/0 new triples (1399)
- DEBUG - ----- generate-composite-property: 0/0 new triples (1399)
- DEBUG - --- Serializing graph to SolarSystemDev1_generation
- DEBUG - ----- step: generation
- DEBUG - ----- id: SolarSystemDev1
- DEBUG - ----- work_file: ./output/SolarSystemDev1-20230110/SolarSystemDev1-1/SolarSystemDev1_generation.ttl
- DEBUG - ----- base: http://SolarSystemDev1/generation
- INFO - ----- 157 triples extracted during generation step
- INFO - ----- 132 triples extracted during generation step
- INFO - -- Result: file containing only the factoids
- DEBUG - --- Making factoid graph with the last step result
- DEBUG - ----- Number of factoids: 174
- DEBUG - ----- Number of factoids: 145
- DEBUG - ----- Graph base: http://SolarSystemDev1/factoid
- DEBUG - --- Serializing graph to factoid file (./output/SolarSystemDev1-20230110/SolarSystemDev1-1/SolarSystemDev1_factoid.ttl)
- INFO -
*** Execution Time ***
----- Function: apply (lib.tenet_extraction)
----- Total Time: 0:00:09.878238
----- Process Time: 0:00:09.845836
----- Total Time: 0:00:16.981895
----- Process Time: 0:00:16.933699
*** - ***
- INFO - === Final Ontology Generation ===
- INFO - -- Making complete factoid graph by merging sentence factoid graphs
- INFO - ----- Total factoid number: 174
- INFO - ----- Total factoid number: 145
- INFO - ----- Graph base: http://SolarSystemDev1/factoid
- INFO - -- Serializing graph to factoid file (./output/SolarSystemDev1-20230110/SolarSystemDev1_factoid.ttl)
- INFO - === Done ===
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment