diff --git a/output/SolarSystemDev1-20230110/SolarSystemDev1-1/SolarSystemDev1_factoid.ttl b/output/SolarSystemDev1-20230110/SolarSystemDev1-1/SolarSystemDev1_factoid.ttl index c4ba0d2a5662f208b04a40d2d88e4da57e210350..33176d20f3ddc88174626832e0514c895d8fd2a1 100644 --- a/output/SolarSystemDev1-20230110/SolarSystemDev1-1/SolarSystemDev1_factoid.ttl +++ b/output/SolarSystemDev1-20230110/SolarSystemDev1-1/SolarSystemDev1_factoid.ttl @@ -1,70 +1,70 @@ @base <http://SolarSystemDev1/factoid> . -@prefix ns1: <https://tenet.tetras-libre.fr/base-ontology#> . -@prefix ns2: <https://tenet.tetras-libre.fr/semantic-net#> . +@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#> . -ns2:atomClass_gravitation_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation> . +ns1:atomClass_gravitation_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation> . -ns2:atomClass_object_o ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object> . +ns1:atomClass_object_o ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object> . -ns2:atomClass_sun_s2 ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#sun> . +ns1:atomClass_sun_s2 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#sun> . -ns2:atomClass_system_p ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system> . +ns1:atomClass_system_p 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:atomClass_system_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system> . -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_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_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_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_hasManner_m9 ns2:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#hasManner> ; - ns2:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#hasManner> . +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_hasPart_p9 ns2:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#hasPart> ; - ns2:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#hasPart> . +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_orbit_o2 ns2:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#orbit-of> ; - ns2:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#orbit> . +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:compositeClass_gravitation-binding-system-hasPart-object_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-object> . +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_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun> . +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_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system> . +ns1:compositeClass_gravitation-binding-system_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system> . -ns2:compositeClass_object-orbiting-sun_o ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> . +ns1:compositeClass_object-orbiting-sun_o ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> . -ns2:compositeClass_system-hasPart-object-hasPart-sun_s ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-sun> . +ns1:compositeClass_system-hasPart-object-hasPart-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-sun> . -ns2:compositeClass_system-hasPart-object-orbiting-sun_s ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-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-object_s ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> . +ns1:compositeClass_system-hasPart-object_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> . -ns2:compositeClass_system-hasPart-sun-hasPart-object_s ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-object> . +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_s ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> . +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> . -ns2:individual_system_SolarSystem ns2:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#solar-system> . +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 ns1:Out_ObjectProperty ; - ns1:fromStructure "SSC-01-01" . + 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 ns1:Out_ObjectProperty ; - ns1:fromStructure "SSC-01-01" . + 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 ns1:Out_ObjectProperty ; - ns1:fromStructure "SSC-01-01" . + 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" ; @@ -72,7 +72,7 @@ ns2:individual_system_SolarSystem ns2: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> ; - ns1:fromStructure "SSC-01-01" . + 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" ; @@ -80,7 +80,7 @@ ns2:individual_system_SolarSystem ns2: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-hasPart-object> ], <https://tenet.tetras-libre.fr/extract-result#gravitation> ; - ns1:fromStructure "SSC-01-01" . + 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" ; @@ -88,12 +88,12 @@ ns2:individual_system_SolarSystem ns2: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-hasPart-sun> ], <https://tenet.tetras-libre.fr/extract-result#gravitation> ; - ns1:fromStructure "SSC-01-01" . + ns2:fromStructure "SSC-01-01" . <https://tenet.tetras-libre.fr/extract-result#orbit> a owl:ObjectProperty ; rdfs:label "orbit" ; - rdfs:subPropertyOf ns1:Out_ObjectProperty ; - ns1:fromStructure "SSC-01-01" . + 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>, @@ -103,12 +103,12 @@ ns2:individual_system_SolarSystem ns2:hasIndividualURI <https://tenet.tetras-lib <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" ; - ns1:fromStructure "SSC-01-01" . + ns2:fromStructure "SSC-01-01" . <https://tenet.tetras-libre.fr/extract-result#hasManner> a owl:ObjectProperty ; rdfs:label "hasManner" ; - rdfs:subPropertyOf ns1:Out_ObjectProperty ; - ns1:fromStructure "SSC-01-01" . + 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" ; @@ -116,12 +116,12 @@ ns2:individual_system_SolarSystem ns2:hasIndividualURI <https://tenet.tetras-lib 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" . + ns2:fromStructure "SSC-01-01" . <https://tenet.tetras-libre.fr/extract-result#orbit-of> a owl:ObjectProperty ; rdfs:label "orbit-of" ; - rdfs:subPropertyOf ns1:Out_ObjectProperty ; - ns1:fromStructure "SSC-01-01" . + 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" ; @@ -130,7 +130,7 @@ ns2:individual_system_SolarSystem ns2:hasIndividualURI <https://tenet.tetras-lib 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> ; - ns1:fromStructure "SSC-01-01" . + 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" ; @@ -138,7 +138,7 @@ ns2:individual_system_SolarSystem ns2:hasIndividualURI <https://tenet.tetras-lib 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> ; - ns1:fromStructure "SSC-01-01" . + 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" ; @@ -147,27 +147,27 @@ ns2:individual_system_SolarSystem ns2:hasIndividualURI <https://tenet.tetras-lib 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> ; - ns1:fromStructure "SSC-01-01" . + ns2:fromStructure "SSC-01-01" . <https://tenet.tetras-libre.fr/extract-result#bind-of> a owl:ObjectProperty ; rdfs:label "bind-of" ; - rdfs:subPropertyOf ns1:Out_ObjectProperty ; - ns1:fromStructure "SSC-01-01" . + 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 ns1:Entity ; - ns1:fromStructure "SSC-01-01" . + 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 ns1:Entity ; - ns1:fromStructure "SSC-01-01" . + 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 ns1:Entity ; - ns1:fromStructure "SSC-01-01" . + 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" ; @@ -175,7 +175,7 @@ ns2:individual_system_SolarSystem ns2:hasIndividualURI <https://tenet.tetras-lib 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> ; - ns1:fromStructure "SSC-01-01" . + ns2:fromStructure "SSC-01-01" . <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> a owl:Class ; rdfs:label "system-hasPart-sun" ; @@ -183,15 +183,15 @@ ns2:individual_system_SolarSystem ns2:hasIndividualURI <https://tenet.tetras-lib 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> ; - ns1:fromStructure "SSC-01-01" . + 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" . + 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 ns1:Entity ; - ns1:fromStructure "SSC-01-01" . + rdfs:subClassOf ns2:Entity ; + ns2:fromStructure "SSC-01-01" . diff --git a/output/SolarSystemDev1-20230110/SolarSystemDev1-1/SolarSystemDev1_generation.ttl b/output/SolarSystemDev1-20230110/SolarSystemDev1-1/SolarSystemDev1_generation.ttl index bef1a98510b7869a2269586a61fdbb13f17ae21f..aa476b125e5ab2a153e7afc669a3bfabbe7698ca 100644 --- a/output/SolarSystemDev1-20230110/SolarSystemDev1-1/SolarSystemDev1_generation.ttl +++ b/output/SolarSystemDev1-20230110/SolarSystemDev1-1/SolarSystemDev1_generation.ttl @@ -939,9 +939,7 @@ net:restriction_binding_system a net:Restriction_Net ; net:coverTargetNode :leaf_bind-01_b, :leaf_system_s ; net:hasRestrictionNetValue net:atomClass_system_s ; - net:hasRestrictionOnProperty net:atomProperty_bind_b ; - net:hasStructure "SSC-01-01" ; - net:trackProgress 2 . + net:hasRestrictionOnProperty net:atomProperty_bind_b . net:restriction_binding_system-hasPart-object a net:Restriction_Net ; net:coverBaseNode :leaf_gravitation_g ; @@ -955,9 +953,7 @@ net:restriction_binding_system-hasPart-object a net:Restriction_Net ; :leaf_object_o, :leaf_system_s ; net:hasRestrictionNetValue net:compositeClass_system-hasPart-object_s ; - net:hasRestrictionOnProperty net:atomProperty_bind_b ; - net:hasStructure "SSC-01-01" ; - net:trackProgress 2 . + net:hasRestrictionOnProperty net:atomProperty_bind_b . net:restriction_binding_system-hasPart-sun a net:Restriction_Net ; net:coverBaseNode :leaf_gravitation_g ; @@ -971,9 +967,7 @@ net:restriction_binding_system-hasPart-sun a net:Restriction_Net ; :leaf_sun_s2, :leaf_system_s ; net:hasRestrictionNetValue net:compositeClass_system-hasPart-sun_s ; - net:hasRestrictionOnProperty net:atomProperty_bind_b ; - net:hasStructure "SSC-01-01" ; - net:trackProgress 2 . + net:hasRestrictionOnProperty net:atomProperty_bind_b . net:restriction_hasPart_object-orbiting-sun a net:Restriction_Net ; net:coverBaseNode :leaf_system_s ; @@ -987,9 +981,7 @@ net:restriction_hasPart_object-orbiting-sun a net:Restriction_Net ; :leaf_orbit-01_o2, :leaf_sun_s2 ; net:hasRestrictionNetValue net:compositeClass_object-orbiting-sun_o ; - net:hasRestrictionOnProperty net:atomProperty_hasPart_p9 ; - net:hasStructure "SSC-01-01" ; - net:trackProgress 2 . + net:hasRestrictionOnProperty net:atomProperty_hasPart_p9 . net:restriction_orbiting_sun a net:Restriction_Net ; net:coverBaseNode :leaf_object_o ; @@ -999,9 +991,7 @@ net:restriction_orbiting_sun a net:Restriction_Net ; net:coverTargetNode :leaf_orbit-01_o2, :leaf_sun_s2 ; net:hasRestrictionNetValue net:atomClass_sun_s2 ; - net:hasRestrictionOnProperty net:atomProperty_orbit_o2 ; - net:hasStructure "SSC-01-01" ; - net:trackProgress 2 . + net:hasRestrictionOnProperty net:atomProperty_orbit_o2 . net:value_negative_blankNode a net:Value_Net ; net:hasStructure "SSC-01-01" ; @@ -1260,9 +1250,7 @@ net:restriction_hasPart_object a net:Restriction_Net ; net:coverTargetNode :leaf_hasPart_p9, :leaf_object_o ; net:hasRestrictionNetValue net:atomClass_object_o ; - net:hasRestrictionOnProperty net:atomProperty_hasPart_p9 ; - net:hasStructure "SSC-01-01" ; - net:trackProgress 2 . + net:hasRestrictionOnProperty net:atomProperty_hasPart_p9 . net:restriction_hasPart_sun a net:Restriction_Net ; net:coverBaseNode :leaf_system_s ; @@ -1272,9 +1260,7 @@ net:restriction_hasPart_sun a net:Restriction_Net ; net:coverTargetNode :leaf_hasPart_p9, :leaf_sun_s2 ; net:hasRestrictionNetValue net:atomClass_sun_s2 ; - net:hasRestrictionOnProperty net:atomProperty_hasPart_p9 ; - net:hasStructure "SSC-01-01" ; - net:trackProgress 2 . + net:hasRestrictionOnProperty net:atomProperty_hasPart_p9 . net:value_SolarSystem_blankNode a net:Value_Net ; net:hasStructure "SSC-01-01" ; diff --git a/output/SolarSystemDev1-20230110/SolarSystemDev1-1/SolarSystemDev1_transduction.ttl b/output/SolarSystemDev1-20230110/SolarSystemDev1-1/SolarSystemDev1_transduction.ttl index 4f4ffa86f25ad445c6583a4e11c1e2c4eab103ce..ccc97fa2e68901c0c5cb17badc4e63218a2a34ce 100644 --- a/output/SolarSystemDev1-20230110/SolarSystemDev1-1/SolarSystemDev1_transduction.ttl +++ b/output/SolarSystemDev1-20230110/SolarSystemDev1-1/SolarSystemDev1_transduction.ttl @@ -880,9 +880,7 @@ net:restriction_binding_system a net:Restriction_Net ; net:coverTargetNode :leaf_bind-01_b, :leaf_system_s ; net:hasRestrictionNetValue net:atomClass_system_s ; - net:hasRestrictionOnProperty net:atomProperty_bind_b ; - net:hasStructure "SSC-01-01" ; - net:trackProgress 2 . + net:hasRestrictionOnProperty net:atomProperty_bind_b . net:restriction_binding_system-hasPart-object a net:Restriction_Net ; net:coverBaseNode :leaf_gravitation_g ; @@ -896,9 +894,7 @@ net:restriction_binding_system-hasPart-object a net:Restriction_Net ; :leaf_object_o, :leaf_system_s ; net:hasRestrictionNetValue net:compositeClass_system-hasPart-object_s ; - net:hasRestrictionOnProperty net:atomProperty_bind_b ; - net:hasStructure "SSC-01-01" ; - net:trackProgress 2 . + net:hasRestrictionOnProperty net:atomProperty_bind_b . net:restriction_binding_system-hasPart-sun a net:Restriction_Net ; net:coverBaseNode :leaf_gravitation_g ; @@ -912,9 +908,7 @@ net:restriction_binding_system-hasPart-sun a net:Restriction_Net ; :leaf_sun_s2, :leaf_system_s ; net:hasRestrictionNetValue net:compositeClass_system-hasPart-sun_s ; - net:hasRestrictionOnProperty net:atomProperty_bind_b ; - net:hasStructure "SSC-01-01" ; - net:trackProgress 2 . + net:hasRestrictionOnProperty net:atomProperty_bind_b . net:restriction_hasPart_object-orbiting-sun a net:Restriction_Net ; net:coverBaseNode :leaf_system_s ; @@ -928,9 +922,7 @@ net:restriction_hasPart_object-orbiting-sun a net:Restriction_Net ; :leaf_orbit-01_o2, :leaf_sun_s2 ; net:hasRestrictionNetValue net:compositeClass_object-orbiting-sun_o ; - net:hasRestrictionOnProperty net:atomProperty_hasPart_p9 ; - net:hasStructure "SSC-01-01" ; - net:trackProgress 2 . + net:hasRestrictionOnProperty net:atomProperty_hasPart_p9 . net:restriction_orbiting_sun a net:Restriction_Net ; net:coverBaseNode :leaf_object_o ; @@ -940,9 +932,7 @@ net:restriction_orbiting_sun a net:Restriction_Net ; net:coverTargetNode :leaf_orbit-01_o2, :leaf_sun_s2 ; net:hasRestrictionNetValue net:atomClass_sun_s2 ; - net:hasRestrictionOnProperty net:atomProperty_orbit_o2 ; - net:hasStructure "SSC-01-01" ; - net:trackProgress 2 . + net:hasRestrictionOnProperty net:atomProperty_orbit_o2 . net:value_negative_blankNode a net:Value_Net ; net:hasStructure "SSC-01-01" ; @@ -1154,9 +1144,7 @@ net:restriction_hasPart_object a net:Restriction_Net ; net:coverTargetNode :leaf_hasPart_p9, :leaf_object_o ; net:hasRestrictionNetValue net:atomClass_object_o ; - net:hasRestrictionOnProperty net:atomProperty_hasPart_p9 ; - net:hasStructure "SSC-01-01" ; - net:trackProgress 2 . + net:hasRestrictionOnProperty net:atomProperty_hasPart_p9 . net:restriction_hasPart_sun a net:Restriction_Net ; net:coverBaseNode :leaf_system_s ; @@ -1166,9 +1154,7 @@ net:restriction_hasPart_sun a net:Restriction_Net ; net:coverTargetNode :leaf_hasPart_p9, :leaf_sun_s2 ; net:hasRestrictionNetValue net:atomClass_sun_s2 ; - net:hasRestrictionOnProperty net:atomProperty_hasPart_p9 ; - net:hasStructure "SSC-01-01" ; - net:trackProgress 2 . + net:hasRestrictionOnProperty net:atomProperty_hasPart_p9 . net:value_SolarSystem_blankNode a net:Value_Net ; net:hasStructure "SSC-01-01" ; diff --git a/output/SolarSystemDev1-20230110/SolarSystemDev1_factoid.ttl b/output/SolarSystemDev1-20230110/SolarSystemDev1_factoid.ttl index c4ba0d2a5662f208b04a40d2d88e4da57e210350..33176d20f3ddc88174626832e0514c895d8fd2a1 100644 --- a/output/SolarSystemDev1-20230110/SolarSystemDev1_factoid.ttl +++ b/output/SolarSystemDev1-20230110/SolarSystemDev1_factoid.ttl @@ -1,70 +1,70 @@ @base <http://SolarSystemDev1/factoid> . -@prefix ns1: <https://tenet.tetras-libre.fr/base-ontology#> . -@prefix ns2: <https://tenet.tetras-libre.fr/semantic-net#> . +@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#> . -ns2:atomClass_gravitation_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation> . +ns1:atomClass_gravitation_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation> . -ns2:atomClass_object_o ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object> . +ns1:atomClass_object_o ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object> . -ns2:atomClass_sun_s2 ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#sun> . +ns1:atomClass_sun_s2 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#sun> . -ns2:atomClass_system_p ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system> . +ns1:atomClass_system_p 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:atomClass_system_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system> . -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_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_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_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_hasManner_m9 ns2:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#hasManner> ; - ns2:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#hasManner> . +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_hasPart_p9 ns2:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#hasPart> ; - ns2:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#hasPart> . +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_orbit_o2 ns2:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#orbit-of> ; - ns2:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#orbit> . +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:compositeClass_gravitation-binding-system-hasPart-object_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-object> . +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_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun> . +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_g ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system> . +ns1:compositeClass_gravitation-binding-system_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system> . -ns2:compositeClass_object-orbiting-sun_o ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> . +ns1:compositeClass_object-orbiting-sun_o ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> . -ns2:compositeClass_system-hasPart-object-hasPart-sun_s ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-sun> . +ns1:compositeClass_system-hasPart-object-hasPart-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-sun> . -ns2:compositeClass_system-hasPart-object-orbiting-sun_s ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-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-object_s ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> . +ns1:compositeClass_system-hasPart-object_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> . -ns2:compositeClass_system-hasPart-sun-hasPart-object_s ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-object> . +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_s ns2:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> . +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> . -ns2:individual_system_SolarSystem ns2:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#solar-system> . +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 ns1:Out_ObjectProperty ; - ns1:fromStructure "SSC-01-01" . + 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 ns1:Out_ObjectProperty ; - ns1:fromStructure "SSC-01-01" . + 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 ns1:Out_ObjectProperty ; - ns1:fromStructure "SSC-01-01" . + 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" ; @@ -72,7 +72,7 @@ ns2:individual_system_SolarSystem ns2: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> ; - ns1:fromStructure "SSC-01-01" . + 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" ; @@ -80,7 +80,7 @@ ns2:individual_system_SolarSystem ns2: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-hasPart-object> ], <https://tenet.tetras-libre.fr/extract-result#gravitation> ; - ns1:fromStructure "SSC-01-01" . + 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" ; @@ -88,12 +88,12 @@ ns2:individual_system_SolarSystem ns2: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-hasPart-sun> ], <https://tenet.tetras-libre.fr/extract-result#gravitation> ; - ns1:fromStructure "SSC-01-01" . + ns2:fromStructure "SSC-01-01" . <https://tenet.tetras-libre.fr/extract-result#orbit> a owl:ObjectProperty ; rdfs:label "orbit" ; - rdfs:subPropertyOf ns1:Out_ObjectProperty ; - ns1:fromStructure "SSC-01-01" . + 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>, @@ -103,12 +103,12 @@ ns2:individual_system_SolarSystem ns2:hasIndividualURI <https://tenet.tetras-lib <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" ; - ns1:fromStructure "SSC-01-01" . + ns2:fromStructure "SSC-01-01" . <https://tenet.tetras-libre.fr/extract-result#hasManner> a owl:ObjectProperty ; rdfs:label "hasManner" ; - rdfs:subPropertyOf ns1:Out_ObjectProperty ; - ns1:fromStructure "SSC-01-01" . + 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" ; @@ -116,12 +116,12 @@ ns2:individual_system_SolarSystem ns2:hasIndividualURI <https://tenet.tetras-lib 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" . + ns2:fromStructure "SSC-01-01" . <https://tenet.tetras-libre.fr/extract-result#orbit-of> a owl:ObjectProperty ; rdfs:label "orbit-of" ; - rdfs:subPropertyOf ns1:Out_ObjectProperty ; - ns1:fromStructure "SSC-01-01" . + 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" ; @@ -130,7 +130,7 @@ ns2:individual_system_SolarSystem ns2:hasIndividualURI <https://tenet.tetras-lib 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> ; - ns1:fromStructure "SSC-01-01" . + 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" ; @@ -138,7 +138,7 @@ ns2:individual_system_SolarSystem ns2:hasIndividualURI <https://tenet.tetras-lib 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> ; - ns1:fromStructure "SSC-01-01" . + 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" ; @@ -147,27 +147,27 @@ ns2:individual_system_SolarSystem ns2:hasIndividualURI <https://tenet.tetras-lib 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> ; - ns1:fromStructure "SSC-01-01" . + ns2:fromStructure "SSC-01-01" . <https://tenet.tetras-libre.fr/extract-result#bind-of> a owl:ObjectProperty ; rdfs:label "bind-of" ; - rdfs:subPropertyOf ns1:Out_ObjectProperty ; - ns1:fromStructure "SSC-01-01" . + 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 ns1:Entity ; - ns1:fromStructure "SSC-01-01" . + 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 ns1:Entity ; - ns1:fromStructure "SSC-01-01" . + 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 ns1:Entity ; - ns1:fromStructure "SSC-01-01" . + 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" ; @@ -175,7 +175,7 @@ ns2:individual_system_SolarSystem ns2:hasIndividualURI <https://tenet.tetras-lib 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> ; - ns1:fromStructure "SSC-01-01" . + ns2:fromStructure "SSC-01-01" . <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> a owl:Class ; rdfs:label "system-hasPart-sun" ; @@ -183,15 +183,15 @@ ns2:individual_system_SolarSystem ns2:hasIndividualURI <https://tenet.tetras-lib 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> ; - ns1:fromStructure "SSC-01-01" . + 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" . + 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 ns1:Entity ; - ns1:fromStructure "SSC-01-01" . + rdfs:subClassOf ns2:Entity ; + ns2:fromStructure "SSC-01-01" . diff --git a/structure/cts/amr_ctr/transduction/composite_class_extraction_1.py b/structure/cts/amr_ctr/transduction/composite_class_extraction_1.py index 8b8b7d7746a0127a31c3f592d5e20fe106966d08..ecc23f473aa8cf528a19fbfb5d20429c3213434e 100644 --- a/structure/cts/amr_ctr/transduction/composite_class_extraction_1.py +++ b/structure/cts/amr_ctr/transduction/composite_class_extraction_1.py @@ -33,15 +33,11 @@ rule_set['create-composite-class-net-from-property-1'] = { " (1) from relation between two classes as ARG0 and ARG1, ", " (2) with a relation corresponding to Core Role property"), 'construction': f""" - {restriction_net.construct(base_node=class_net_0.base_node, target_node=atom_property_net.node, restriction_property=atom_property_net.id, restriction_net_value=class_net_1.id)} - {restriction_net.add_attribute(target_node=class_net_1.node)} - - {restriction_net.propagate_relations()} - + {restriction_net.add_attribute(target_node=class_net_1.node)} {composite_class_net.construct(base_node=class_net_0.base_node, node=atom_property_net.base_node, @@ -49,10 +45,7 @@ rule_set['create-composite-class-net-from-property-1'] = { mother_class_net=class_net_0.id, restriction01=restriction_net.id)} {composite_class_net.add_attribute(node=class_net_0.node)} - {composite_class_net.add_attribute(node=class_net_1.node)} - - {composite_class_net.propagate_relations()} - + {composite_class_net.add_attribute(node=class_net_1.node)} """, 'clause': f""" # *** Identify Property(arg0:Class, arg1:Class) *** @@ -76,10 +69,6 @@ rule_set['create-composite-class-net-from-property-1'] = { {class_net_0.base_node} a amr:AMR_Leaf ; amr:hasVariable ?variable. ?variable amr:label ?varLabel. - - {composite_class_net.complete_clauses_for_construction(class_net_0.base_node)} - - {restriction_net.complete_clauses_for_construction()} """, 'binding': f""" # -- New Class Name @@ -195,8 +184,6 @@ rule_set['create-composite-class-net-from-property-2'] = { restriction_property=atom_property_net.id, restriction_net_value=class_net_2.id)} {restriction_net.add_attribute(target_node=class_net_2.node)} - - {restriction_net.propagate_relations()} {composite_class_net.construct(base_node=class_net_1.base_node, @@ -205,21 +192,15 @@ rule_set['create-composite-class-net-from-property-2'] = { mother_class_net=class_net_1.id, restriction01=restriction_net.id)} {composite_class_net.add_attribute(node=class_net_1.node)} - {composite_class_net.add_attribute(node=class_net_2.node)} - - {composite_class_net.propagate_relations()} - + {composite_class_net.add_attribute(node=class_net_2.node)} """, 'clause': f""" # *** Identify Property(arg0:Class, arg1:Class) *** - - {atom_property_net.identify_net(core_role='true')} - + {atom_property_net.identify_net(core_role='true')} {atom_property_net.id} amr:role_ARG1 {class_net_1.id}. {atom_property_net.id} amr:role_ARG2 {class_net_2.id}. {class_net_1.identify_net()} - {class_net_2.identify_net()} # *** condition: disjoint cover *** @@ -232,10 +213,6 @@ rule_set['create-composite-class-net-from-property-2'] = { {class_net_1.base_node} a amr:AMR_Leaf ; amr:hasVariable ?variable. ?variable amr:label ?varLabel. - - {composite_class_net.complete_clauses_for_construction(class_net_1.base_node)} - - {restriction_net.complete_clauses_for_construction()} """, 'binding': f""" # -- New Class Name @@ -249,6 +226,11 @@ rule_set['create-composite-class-net-from-property-2'] = { } +# {restriction_net.propagate_relations()} +# {composite_class_net.propagate_relations()} +# {composite_class_net.complete_clauses_for_construction(class_net_1.base_node)} +# {restriction_net.complete_clauses_for_construction()} + # rule_set['create-composite-class-net-from-property-2'] = { @@ -338,8 +320,30 @@ rule_set['create-composite-class-net-from-property-2'] = { + rule_set['create-composite-class-net-from-property-3'] = { 'label': "create-composite-class-net-from-property-3", + 'comment': ("Create Composite Class Net: ", + " (1) complete Composite Class Net for relation propagation"), + 'construction': f""" + {composite_class_net.define_structure()} + {composite_class_net.propagate_relations()} + """, + 'clause': f""" + # *** Identify CompositeClass in progress step INIT *** + {composite_class_net.identify_net()} + {composite_class_net.is_progress_step(1)} + + # *** Complete clauses for net construction *** + {composite_class_net.complete_clauses_for_construction()} + """, + 'binding': f""" + """ +} + + +rule_set['create-composite-class-net-from-property-4'] = { + 'label': "create-composite-class-net-from-property-4", 'comment': ("Create Composite Class Net (and Restriction Net): ", " (1) from relation between two classes, ", " (2) with a relation corresponding to Non-Core Role property"), diff --git a/structure/cts/amr_scheme_1.py b/structure/cts/amr_scheme_1.py index 2fcc14019676d9c38d16a98c782f54ce5038a9b7..bcf18cfb8d4f9dd4b8e4210dca67209f73289b99 100644 --- a/structure/cts/amr_scheme_1.py +++ b/structure/cts/amr_scheme_1.py @@ -125,7 +125,8 @@ composite_class_extraction_sequence_1 = { 'comment': 'creation of composite classes from properties', 'rule_key_list': ['create-composite-class-net-from-property-1', 'create-composite-class-net-from-property-2', - 'create-composite-class-net-from-property-3'] + 'create-composite-class-net-from-property-3', + 'create-composite-class-net-from-property-4'] } diff --git a/tenet.log b/tenet.log index e49c4a69e5da0af38cebe622e0a708da4d3192a8..39fd4f66a2ab04894164dc7be4c7782c6b1b16a8 100644 --- a/tenet.log +++ b/tenet.log @@ -66,11 +66,11 @@ - 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.147208 +- DEBUG - ----- Total Execution Time = 0:00:00.130350 - INFO - -- Loading Extraction Scheme (amr_scheme_1) - DEBUG - ----- Step number: 3 - INFO - -- Loading Extraction Rules (amr_ctr/*) -- DEBUG - ----- Total rule number: 93 +- DEBUG - ----- Total rule number: 94 - INFO - -- Applying extraction step: preprocessing - INFO - --- Sequence: amrld-correcting-sequence - INFO - ----- fix-amr-bug-about-system-solar-planet: 5/5 new triples (626) @@ -131,83 +131,85 @@ - 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) - INFO - --- Sequence: composite-class-extraction-sequence-1 -- INFO - ----- create-composite-class-net-from-property-1: 87/91 new triples (1119) -- DEBUG - ----- (refinement) refine-cover-node-1: 12 new triples (1131) -- DEBUG - ----- (refinement) refine-cover-node-2: 4 new triples (1135) -- DEBUG - ----- create-composite-class-net-from-property-2: 0/0 new triples (1135) -- DEBUG - ----- create-composite-class-net-from-property-3: 0/0 new triples (1135) +- 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 - --- Sequence: composite-class-extraction-sequence-2 -- DEBUG - ----- create-composite-class-net-from-phenomena-1: 0/0 new triples (1135) -- DEBUG - ----- create-composite-class-net-from-phenomena-2: 0/0 new triples (1135) -- DEBUG - ----- create-composite-class-net-from-phenomena-3: 0/0 new triples (1135) -- DEBUG - ----- create-composite-class-net-from-phenomena-4: 0/0 new triples (1135) +- 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) - INFO - --- Sequence: phenomena-application-sequence -- DEBUG - ----- polarity-phenomena-application: 0/0 new triples (1135) +- DEBUG - ----- polarity-phenomena-application: 0/0 new triples (1127) - INFO - --- Sequence: phenomena-checking-sequence -- INFO - ----- expand-and-conjunction-phenomena-net: 1/6 new triples (1136) -- DEBUG - ----- expand-degree-phenomena-net-1: 0/0 new triples (1136) -- DEBUG - ----- expand-degree-phenomena-net-2: 0/0 new triples (1136) -- DEBUG - ----- expand-degree-phenomena-net-3: 0/0 new triples (1136) -- DEBUG - ----- expand-degree-phenomena-net-4: 0/0 new triples (1136) -- DEBUG - ----- expand-degree-phenomena-net-5: 0/0 new triples (1136) -- DEBUG - ----- expand-degree-phenomena-net-6: 0/0 new triples (1136) +- 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) - INFO - --- Sequence: composite-property-extraction-sequence -- DEBUG - ----- create-composite-class-net-from-property-1: 0/0 new triples (1136) -- DEBUG - ----- create-composite-class-net-from-property-2: 0/0 new triples (1136) +- 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) - INFO - --- Sequence: composite-class-extraction-sequence-1 -- INFO - ----- create-composite-class-net-from-property-1: 107/198 new triples (1243) -- DEBUG - ----- (refinement) refine-cover-node-1: 15 new triples (1258) -- DEBUG - ----- (refinement) refine-cover-node-2: 5 new triples (1263) -- DEBUG - ----- create-composite-class-net-from-property-2: 0/0 new triples (1263) -- DEBUG - ----- create-composite-class-net-from-property-3: 0/0 new triples (1263) +- 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 - --- Sequence: composite-class-extraction-sequence-2 -- DEBUG - ----- create-composite-class-net-from-phenomena-1: 0/0 new triples (1263) -- DEBUG - ----- create-composite-class-net-from-phenomena-2: 0/0 new triples (1263) -- DEBUG - ----- create-composite-class-net-from-phenomena-3: 0/0 new triples (1263) -- DEBUG - ----- create-composite-class-net-from-phenomena-4: 0/0 new triples (1263) +- 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) - INFO - --- Sequence: restriction-adding-sequence -- DEBUG - ----- add-restriction-to-class-net-from-property-1: 0/0 new triples (1263) +- DEBUG - ----- add-restriction-to-class-net-from-property-1: 0/0 new triples (1249) - INFO - --- Sequence: classification-sequence -- INFO - ----- classify-net-from-core-1: 12/12 new triples (1275) -- INFO - ----- classify-net-from-core-2: 1/9 new triples (1276) -- DEBUG - ----- classify-net-from-core-3: 0/0 new triples (1276) -- DEBUG - ----- classify-net-from-part: 0/0 new triples (1276) -- INFO - ----- classify-net-from-domain: 6/6 new triples (1282) -- DEBUG - ----- classify-net-from-degree-phenomena-1: 0/0 new triples (1282) -- DEBUG - ----- classify-net-from-degree-phenomena-2: 0/0 new triples (1282) -- DEBUG - ----- classify-net-from-degree-phenomena-3: 0/0 new triples (1282) -- INFO - ----- propagate-individual-1: 1/1 new triples (1283) -- INFO - ----- propagate-individual-2: 6/6 new triples (1289) -- DEBUG - ----- reclassify-deprecated-net: 0/0 new triples (1289) +- 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) - 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 - ----- 450 triples extracted during transduction step +- INFO - ----- 436 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 (1303) -- INFO - ----- compute-uri-for-owl-declaration-2: 1/1 new triples (1304) -- DEBUG - ----- compute-uri-for-owl-declaration-3: 0/0 new triples (1304) -- INFO - ----- compute-uri-for-owl-declaration-4: 6/6 new triples (1310) -- INFO - ----- compute-uri-for-owl-declaration-5: 5/5 new triples (1315) -- INFO - ----- generate-atom-class: 12/12 new triples (1327) -- INFO - ----- classify-atom-class-1: 4/4 new triples (1331) -- DEBUG - ----- classify-atom-class-2: 0/0 new triples (1331) -- INFO - ----- generate-individual: 3/3 new triples (1334) -- INFO - ----- classify-individual: 6/6 new triples (1340) -- INFO - ----- generate-atom-property-1: 20/20 new triples (1360) -- INFO - ----- generate-atom-property-12: 12/20 new triples (1372) -- DEBUG - ----- generate-inverse-relation: 0/0 new triples (1372) -- INFO - ----- generate-composite-class: 38/38 new triples (1410) -- DEBUG - ----- add-restriction-to-class-1: 0/0 new triples (1410) -- DEBUG - ----- add-restriction-to-class-2: 0/0 new triples (1410) -- INFO - ----- add-restriction-to-class-3: 36/45 new triples (1446) -- DEBUG - ----- add-restriction-to-class-4: 0/0 new triples (1446) -- DEBUG - ----- add-restriction-to-class-5: 0/0 new triples (1446) -- DEBUG - ----- add-restriction-to-class-6: 0/0 new triples (1446) -- DEBUG - ----- generate-composite-property: 0/0 new triples (1446) +- 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) - DEBUG - --- Serializing graph to SolarSystemDev1_generation - DEBUG - ----- step: generation - DEBUG - ----- id: SolarSystemDev1 @@ -222,8 +224,8 @@ - INFO - *** Execution Time *** ----- Function: apply (lib.tenet_extraction) ------ Total Time: 0:00:22.014350 ------ Process Time: 0:00:21.471567 +----- Total Time: 0:00:09.878238 +----- Process Time: 0:00:09.845836 *** - *** - INFO - === Final Ontology Generation === - INFO - -- Making complete factoid graph by merging sentence factoid graphs