diff --git a/tenet/scheme/amr_master_rule/transduction/heuristic_deducer/relation_deducer_1.py b/tenet/scheme/amr_master_rule/transduction/heuristic_deducer/relation_deducer_1.py
index 0c2d8aa0df3eb9c92525387c1b5b094b3d7b801c..090ed69f5158597278f49d003cd8d0495a3f1795 100644
--- a/tenet/scheme/amr_master_rule/transduction/heuristic_deducer/relation_deducer_1.py
+++ b/tenet/scheme/amr_master_rule/transduction/heuristic_deducer/relation_deducer_1.py
@@ -12,7 +12,7 @@ from rdflib import Graph
import transduction
from transduction import net
from transduction.query_builder import generate_select_query
-from transduction.naming_computer import define_individual_naming_1
+from transduction.naming_computer import define_individual_naming, define_relation_naming
#==============================================================================
# Pattern Search:
@@ -104,7 +104,7 @@ def __construct_individual_net(graph, mother_class_net):
individual_net.structure = structure_ref
# -- Net Naming
- individual_net.naming = define_individual_naming_1(mother_class_net, structure_ref)
+ individual_net.naming = define_individual_naming(mother_class_net, structure_ref)
# -- Relation Propagation
# __propagate_relation(graph, individual_net, base_leaf)
@@ -117,8 +117,27 @@ def __construct_individual_net(graph, mother_class_net):
def __construct_relation_net(graph, subject_net, predicate_net, object_net):
- # To be defined
- return None, []
+
+ # -- Net Composition
+ relation_net = net.RelationNet(graph)
+ relation_net.compose(subject_net, predicate_net, object_net)
+
+ # -- Data Computation
+ relation_net.subject_net = subject_net.uri
+ relation_net.predicate_net = predicate_net.uri
+ relation_net.object_net = object_net.uri
+
+ # -- Net Naming
+ relation_net.naming = define_relation_naming(subject_net, predicate_net, object_net)
+
+ # -- Relation Propagation
+ # __propagate_relation(graph, subject_net, base_leaf)
+
+ # -- Finalization
+ relation_net.finalize()
+ triple_definition = relation_net.generate_triple_definition()
+
+ return relation_net, triple_definition
#==============================================================================
@@ -135,15 +154,17 @@ def deduce_individual_and_relation_from_restriction(graph):
# -- Selection Analyzing (1)
rule_triple_list = []
for pattern in pattern_set:
+ subject_individual_net = net.IndividualNet(graph, uri=pattern.subject_individual_net)
+ predicate_property_net = net.PropertyNet(graph, uri=pattern.predicate_property_net)
object_class_net = net.ClassNet(graph, uri=pattern.object_class_net)
- # -- New Net Construction for Individual
- new_individual_net, individual_triple_list = __construct_individual_net(graph, object_class_net)
+ # -- New Net Construction for (object) Individual
+ object_individual_net, individual_triple_list = __construct_individual_net(graph, object_class_net)
rule_triple_list += individual_triple_list
# -- New Net Construction for Relation
new_relation_net, relation_triple_list = __construct_relation_net(
- graph, pattern.subject_individual_net, pattern.predicate_property_net, new_individual_net)
+ graph, subject_individual_net, predicate_property_net, object_individual_net)
rule_triple_list += relation_triple_list
return rule_label, rule_triple_list
diff --git a/tenet/transduction/naming_computer.py b/tenet/transduction/naming_computer.py
index 0b895741332e33f8a0cd9311e699904ba66d5629..a099efebbe132460656cd1f34c738a9bf5265f95 100644
--- a/tenet/transduction/naming_computer.py
+++ b/tenet/transduction/naming_computer.py
@@ -35,7 +35,7 @@ def __extract_naming(net, default='none'):
# Method to compute naming for Individual Net
#==============================================================================
-def define_individual_naming_1(net_1, reference):
+def define_individual_naming(net_1, reference):
name_1 = __extract_naming(net_1, default='something')
@@ -69,7 +69,6 @@ def define_composite_naming_2(feature_str, net,
# Method to compute naming for Restriction Net
#==============================================================================
-
def define_restriction_naming(net_1, net_2):
name_1 = __extract_naming(net_1, default='do')
@@ -83,7 +82,6 @@ def define_restriction_naming(net_1, net_2):
# Method to compute naming for Axiom Net
#==============================================================================
-
def define_axiom_naming(axiom_net, arg_net_list):
naming = f''
@@ -102,4 +100,18 @@ def define_axiom_naming(axiom_net, arg_net_list):
argument_ref += f'_{arg_naming}'
return f'{base_axiom_name}{argument_ref}'
+
+
+
+#==============================================================================
+# Method to compute naming for Relation Net
+#==============================================================================
+
+def define_relation_naming(net_1, net_2, net_3):
+
+ name_1 = __extract_naming(net_1, default='anything')
+ name_2 = __extract_naming(net_2, default='inRelationWith')
+ name_3 = __extract_naming(net_3, default='anything')
+
+ return f'{name_1}-{name_2}-{name_3}'
\ No newline at end of file
diff --git a/tests/dev_owl_rule_tests/test_data/deducer-devGraph-1.result.ttl b/tests/dev_owl_rule_tests/test_data/deducer-devGraph-1.result.ttl
index ce1040b725aff0adbebd1401bc412a0645a10461..a2381970bbb3170fc67c1086a0bb59e9b6d4ef5e 100644
--- a/tests/dev_owl_rule_tests/test_data/deducer-devGraph-1.result.ttl
+++ b/tests/dev_owl_rule_tests/test_data/deducer-devGraph-1.result.ttl
@@ -610,22 +610,6 @@ net:has_target a owl:AnnotationProperty ;
rdfs:label "has target" ;
rdfs:subPropertyOf net:has_relation_value .
-net:individual_object-SSC-01-01_o a net:Individual_Net ;
- net:coverBaseNode :leaf_object_o ;
- net:coverNode :leaf_object_o ;
- net:hasIndividualLabel "any object" ;
- net:hasMotherClassNet net:atomClass_object_o ;
- net:hasNaming "object-SSC-01-01" ;
- net:hasStructure "SSC-01-01" .
-
-net:individual_sun-SSC-01-01_s2 a net:Individual_Net ;
- net:coverBaseNode :leaf_sun_s2 ;
- net:coverNode :leaf_sun_s2 ;
- net:hasIndividualLabel "any sun" ;
- net:hasMotherClassNet net:atomClass_sun_s2 ;
- net:hasNaming "sun-SSC-01-01" ;
- net:hasStructure "SSC-01-01" .
-
net:inverse_direction a owl:NamedIndividual .
net:listBy a owl:AnnotationProperty ;
@@ -654,6 +638,34 @@ net:relationOf a owl:AnnotationProperty ;
rdfs:label "relation of" ;
rdfs:subPropertyOf net:typeProperty .
+net:relation_SolarSystem-hasPart-object-SSC-01-01_p a net:Relation_Net ;
+ net:composeFrom net:atomProperty_hasPart_p9,
+ net:individual_SolarSystem_p,
+ net:individual_object-SSC-01-01_o ;
+ net:coverBaseNode :leaf_system_p ;
+ net:coverNode :leaf_hasPart_p9,
+ :leaf_object_o,
+ :leaf_system_p ;
+ net:hasNaming "SolarSystem-hasPart-object-SSC-01-01" ;
+ net:hasObjectNet net:individual_object-SSC-01-01_o ;
+ net:hasPredicateNet net:atomProperty_hasPart_p9 ;
+ net:hasStructure "SSC-01-01" ;
+ net:hasSubjectNet net:individual_SolarSystem_p .
+
+net:relation_SolarSystem-hasPart-sun-SSC-01-01_p a net:Relation_Net ;
+ net:composeFrom net:atomProperty_hasPart_p9,
+ net:individual_SolarSystem_p,
+ net:individual_sun-SSC-01-01_s2 ;
+ net:coverBaseNode :leaf_system_p ;
+ net:coverNode :leaf_hasPart_p9,
+ :leaf_sun_s2,
+ :leaf_system_p ;
+ net:hasNaming "SolarSystem-hasPart-sun-SSC-01-01" ;
+ net:hasObjectNet net:individual_sun-SSC-01-01_s2 ;
+ net:hasPredicateNet net:atomProperty_hasPart_p9 ;
+ net:hasStructure "SSC-01-01" ;
+ net:hasSubjectNet net:individual_SolarSystem_p .
+
net:type a owl:AnnotationProperty ;
rdfs:label "type "@fr ;
rdfs:subPropertyOf net:netProperty .
@@ -1102,6 +1114,22 @@ net:Property_Net a owl:Class ;
net:Value_Net a owl:Class ;
rdfs:subClassOf net:Net .
+net:individual_object-SSC-01-01_o a net:Individual_Net ;
+ net:coverBaseNode :leaf_object_o ;
+ net:coverNode :leaf_object_o ;
+ net:hasIndividualLabel "any object" ;
+ net:hasMotherClassNet net:atomClass_object_o ;
+ net:hasNaming "object-SSC-01-01" ;
+ net:hasStructure "SSC-01-01" .
+
+net:individual_sun-SSC-01-01_s2 a net:Individual_Net ;
+ net:coverBaseNode :leaf_sun_s2 ;
+ net:coverNode :leaf_sun_s2 ;
+ net:hasIndividualLabel "any sun" ;
+ net:hasMotherClassNet net:atomClass_sun_s2 ;
+ net:hasNaming "sun-SSC-01-01" ;
+ net:hasStructure "SSC-01-01" .
+
net:objectProperty a owl:AnnotationProperty ;
rdfs:label "object attribute" .
@@ -1242,18 +1270,6 @@ net:has_relation_value a owl:AnnotationProperty ;
rdfs:label "has relation value" ;
rdfs:subPropertyOf net:has_object .
-net:individual_SolarSystem_p a net:Individual_Net ;
- :role_name net:value_SolarSystem_blankNode ;
- net:coverBaseNode :leaf_system_p ;
- net:coverNode :leaf_system_p ;
- net:hasIndividualLabel "SolarSystem" ;
- net:hasMotherClassNet net:atomClass_system_p,
- net:atomClass_system_s,
- net:compositeClass_system-hasPart-object_s,
- net:compositeClass_system-hasPart-sun_s ;
- net:hasNaming "SolarSystem" ;
- net:hasStructure "SSC-01-01" .
-
ns3:FrameRole a ns2:Role,
owl:Class,
owl:NamedIndividual ;
@@ -1318,11 +1334,6 @@ net:typeProperty a owl:AnnotationProperty ;
:hasConcept :concept_bind-01 ;
:hasVariable :variable_b .
-:leaf_system_p a :AMR_Leaf ;
- :edge_p_name_SolarSystem :value_SolarSystem ;
- :hasConcept :concept_system ;
- :hasVariable :variable_p .
-
sys:Out_Structure a owl:Class ;
rdfs:label "Output Ontology Structure" .
@@ -1370,24 +1381,6 @@ net:atomProperty_hasManner_m9 a net:Atom_Property_Net ;
net:targetArgumentNode :leaf_or_o3,
:leaf_orbit-01_o2 .
-net:atomProperty_hasPart_p9 a net:Atom_Property_Net ;
- :role_ARG0 net:atomClass_system_s ;
- :role_ARG1 net:atomClass_object_o,
- net:atomClass_sun_s2,
- net:phenomena_conjunction-AND_a ;
- net:coverBaseNode :leaf_hasPart_p9 ;
- net:coverNode :leaf_hasPart_p9 ;
- net:hasNaming "hasPart" ;
- net:hasPropertyName "hasPart" ;
- net:hasPropertyName01 "hasParting" ;
- net:hasPropertyName10 "hasPart-by" ;
- net:hasPropertyName12 "hasPart-of" ;
- net:hasPropertyType owl:ObjectProperty ;
- net:hasStructure "SSC-01-01" ;
- net:isCoreRoleLinked "true" ;
- net:targetArgumentNode :leaf_and_a,
- :leaf_system_s .
-
net:atomProperty_orbit_o2 a net:Atom_Property_Net,
net:Deprecated_Net ;
:role_ARG0 net:atomClass_object_o ;
@@ -1432,12 +1425,17 @@ net:atomClass_system_p a net:Atom_Class_Net,
net:hasNaming "system" ;
net:hasStructure "SSC-01-01" .
-:leaf_hasPart_p9 a :AMR_Leaf ;
- :edge_p9_ARG0_s :leaf_system_s ;
- :edge_p9_ARG1_a :leaf_and_a ;
- :hasConcept :concept_part ;
- :hasVariable :variable_p9 ;
- :isReifiedLeaf true .
+net:individual_SolarSystem_p a net:Individual_Net ;
+ :role_name net:value_SolarSystem_blankNode ;
+ net:coverBaseNode :leaf_system_p ;
+ net:coverNode :leaf_system_p ;
+ net:hasIndividualLabel "SolarSystem" ;
+ net:hasMotherClassNet net:atomClass_system_p,
+ net:atomClass_system_s,
+ net:compositeClass_system-hasPart-object_s,
+ net:compositeClass_system-hasPart-sun_s ;
+ net:hasNaming "SolarSystem" ;
+ net:hasStructure "SSC-01-01" .
net:compositeProperty_not-direct_d2 a net:Composite_Property_Net ;
:role_polarity net:value_negative_blankNode ;
@@ -1455,6 +1453,11 @@ net:has_object a owl:AnnotationProperty ;
:AMR_Op_Role a owl:Class ;
rdfs:subClassOf :AMR_Role .
+:leaf_system_p a :AMR_Leaf ;
+ :edge_p_name_SolarSystem :value_SolarSystem ;
+ :hasConcept :concept_system ;
+ :hasVariable :variable_p .
+
net:Class_Net a owl:Class ;
rdfs:subClassOf net:Net .
@@ -1481,6 +1484,13 @@ net:atomProperty_direct_d2 a net:Atom_Property_Net,
:AMR_Core_Role a owl:Class ;
rdfs:subClassOf :AMR_Role .
+:leaf_hasPart_p9 a :AMR_Leaf ;
+ :edge_p9_ARG0_s :leaf_system_s ;
+ :edge_p9_ARG1_a :leaf_and_a ;
+ :hasConcept :concept_part ;
+ :hasVariable :variable_p9 ;
+ :isReifiedLeaf true .
+
net:atomClass_system_s a net:Atom_Class_Net,
net:Class_Net,
net:Deprecated_Net ;
@@ -1494,6 +1504,24 @@ net:atomClass_system_s a net:Atom_Class_Net,
net:hasNaming "system" ;
net:hasStructure "SSC-01-01" .
+net:atomProperty_hasPart_p9 a net:Atom_Property_Net ;
+ :role_ARG0 net:atomClass_system_s ;
+ :role_ARG1 net:atomClass_object_o,
+ net:atomClass_sun_s2,
+ net:phenomena_conjunction-AND_a ;
+ net:coverBaseNode :leaf_hasPart_p9 ;
+ net:coverNode :leaf_hasPart_p9 ;
+ net:hasNaming "hasPart" ;
+ net:hasPropertyName "hasPart" ;
+ net:hasPropertyName01 "hasParting" ;
+ net:hasPropertyName10 "hasPart-by" ;
+ net:hasPropertyName12 "hasPart-of" ;
+ net:hasPropertyType owl:ObjectProperty ;
+ net:hasStructure "SSC-01-01" ;
+ net:isCoreRoleLinked "true" ;
+ net:targetArgumentNode :leaf_and_a,
+ :leaf_system_s .
+
:leaf_hasManner_m9 a :AMR_Leaf ;
:edge_m9_ARG0_o2 :leaf_orbit-01_o2 ;
:edge_m9_ARG1_o3 :leaf_or_o3 ;
@@ -1504,6 +1532,11 @@ net:atomClass_system_s a net:Atom_Class_Net,
:AMR_Variable a owl:Class ;
rdfs:subClassOf :AMR_Element .
+:leaf_system_s a :AMR_Leaf ;
+ :edge_s_p :leaf_system_p ;
+ :hasConcept :concept_system ;
+ :hasVariable :variable_s .
+
:leaf_object_o a :AMR_Leaf ;
:hasConcept :concept_object ;
:hasVariable :variable_o .
@@ -1512,11 +1545,6 @@ net:atomClass_system_s a net:Atom_Class_Net,
:hasConcept :concept_sun ;
:hasVariable :variable_s2 .
-:leaf_system_s a :AMR_Leaf ;
- :edge_s_p :leaf_system_p ;
- :hasConcept :concept_system ;
- :hasVariable :variable_s .
-
net:atomClass_object_o a net:Atom_Class_Net,
net:Class_Net,
net:Deprecated_Net ;
diff --git a/tests/main_tests/test_owl_output/SolarSystemDev01-20230906/technical-data/tenet.log b/tests/main_tests/test_owl_output/SolarSystemDev01-20230906/technical-data/tenet.log
index eca01e8ddcb58361e2ce965aeb513ea3d2c12888..a3030835d2dfe2f8272b3011904c052756160d32 100644
--- a/tests/main_tests/test_owl_output/SolarSystemDev01-20230906/technical-data/tenet.log
+++ b/tests/main_tests/test_owl_output/SolarSystemDev01-20230906/technical-data/tenet.log
@@ -76,25 +76,25 @@
- DEBUG - [P-1] ----- Total rule number: 0
- INFO - [P-1] -- Step 1: Preprocessing
- INFO - [P-1] --- Sequence: Bug fixing for some known anomalies of AMR-LD data
-- INFO - [P-1] ----- fix AMR bug (1): 5/5 new triples (605, 0:00:00.018851)
+- INFO - [P-1] ----- fix AMR bug (1): 5/5 new triples (605, 0:00:00.015620)
- INFO - [P-1] --- Sequence: AMR reification from AMR-Linked-Data to AMR (tenet) structure
-- INFO - [P-1] ----- reclassify AMR-LD concept (1): 10/10 new triples (615, 0:00:00.101238)
-- DEBUG - [P-1] ----- reclassify AMR-LD concept (2): 0/0 new triple (615, 0:00:00.049581)
-- INFO - [P-1] ----- reclassify AMR-LD concept (3): 12/12 new triples (627, 0:00:00.028784)
-- INFO - [P-1] ----- reclassify AMR-LD concept (4): 16/16 new triples (643, 0:00:00.051777)
-- INFO - [P-1] ----- reclassify AMR-LD concept (5): 2/4 new triples (645, 0:00:00.028166)
-- INFO - [P-1] ----- reify roles as concept: 10/10 new triples (655, 0:00:00.040290)
-- INFO - [P-1] ----- reclassify existing variable: 45/45 new triples (700, 0:00:00.018143)
-- INFO - [P-1] ----- add new variable for reified concept: 8/8 new triples (708, 0:00:00.045604)
-- INFO - [P-1] ----- add AMR leaf for reclassified concept: 33/33 new triples (741, 0:00:00.018656)
-- INFO - [P-1] ----- add AMR leaf for reified concept: 8/8 new triples (749, 0:00:00.016570)
-- INFO - [P-1] ----- add AMR edge for core relation: 27/27 new triples (776, 0:00:00.088164)
-- INFO - [P-1] ----- add AMR edge for reified concept: 12/12 new triples (788, 0:00:00.063856)
-- INFO - [P-1] ----- add AMR edge for name relation: 5/5 new triples (793, 0:00:00.018579)
-- DEBUG - [P-1] ----- add AMR edge for quant relation: 0/0 new triple (793, 0:00:00.028566)
-- INFO - [P-1] ----- add AMR edge for polarity relation: 5/5 new triples (798, 0:00:00.028746)
-- INFO - [P-1] ----- update AMR edge role 1: 15/15 new triples (813, 0:00:00.072307)
-- INFO - [P-1] ----- add AMR root: 5/5 new triples (818, 0:00:00.010552)
+- INFO - [P-1] ----- reclassify AMR-LD concept (1): 10/10 new triples (615, 0:00:00.085073)
+- DEBUG - [P-1] ----- reclassify AMR-LD concept (2): 0/0 new triple (615, 0:00:00.049408)
+- INFO - [P-1] ----- reclassify AMR-LD concept (3): 12/12 new triples (627, 0:00:00.030799)
+- INFO - [P-1] ----- reclassify AMR-LD concept (4): 16/16 new triples (643, 0:00:00.049864)
+- INFO - [P-1] ----- reclassify AMR-LD concept (5): 2/4 new triples (645, 0:00:00.027882)
+- INFO - [P-1] ----- reify roles as concept: 10/10 new triples (655, 0:00:00.039276)
+- INFO - [P-1] ----- reclassify existing variable: 45/45 new triples (700, 0:00:00.021072)
+- INFO - [P-1] ----- add new variable for reified concept: 8/8 new triples (708, 0:00:00.047295)
+- INFO - [P-1] ----- add AMR leaf for reclassified concept: 33/33 new triples (741, 0:00:00.018441)
+- INFO - [P-1] ----- add AMR leaf for reified concept: 8/8 new triples (749, 0:00:00.014258)
+- INFO - [P-1] ----- add AMR edge for core relation: 27/27 new triples (776, 0:00:00.083836)
+- INFO - [P-1] ----- add AMR edge for reified concept: 12/12 new triples (788, 0:00:00.068741)
+- INFO - [P-1] ----- add AMR edge for name relation: 5/5 new triples (793, 0:00:00.018140)
+- DEBUG - [P-1] ----- add AMR edge for quant relation: 0/0 new triple (793, 0:00:00.024061)
+- INFO - [P-1] ----- add AMR edge for polarity relation: 5/5 new triples (798, 0:00:00.027029)
+- INFO - [P-1] ----- update AMR edge role 1: 15/15 new triples (813, 0:00:00.071808)
+- INFO - [P-1] ----- add AMR root: 5/5 new triples (818, 0:00:00.010238)
- DEBUG - [P-1] --- Serializing graph to tenet.tetras-libre.fr_demo_01_Preprocessing
- DEBUG - [P-1] ----- step: Preprocessing
- DEBUG - [P-1] ----- id: https://tenet.tetras-libre.fr/demo/01/
@@ -103,51 +103,51 @@
- INFO - [P-1] ----- 218 triples extracted during Preprocessing step
- INFO - [P-1] -- Step 2: Transduction
- INFO - [P-1] --- Sequence: atomic extraction sequence
-- INFO - [P-1] ----- extract atom classes: 30/30 new triples (848, 0:00:00.162280)
-- INFO - [P-1] ----- extract atom individuals: 8/8 new triples (856, 0:00:00.045686)
-- INFO - [P-1] ----- extract atomic properties: 75/75 new triples (931, 0:00:00.226992)
-- INFO - [P-1] ----- extract atom values: 10/10 new triples (941, 0:00:00.051786)
-- INFO - [P-1] ----- extract atom phenomena: 14/14 new triples (955, 0:00:00.087392)
-- INFO - [P-1] ----- propagate atom relations: 24/68 new triples (979, 0:00:01.436104)
+- INFO - [P-1] ----- extract atom classes: 30/30 new triples (848, 0:00:00.147829)
+- INFO - [P-1] ----- extract atom individuals: 8/8 new triples (856, 0:00:00.043447)
+- INFO - [P-1] ----- extract atomic properties: 75/75 new triples (931, 0:00:00.205234)
+- INFO - [P-1] ----- extract atom values: 10/10 new triples (941, 0:00:00.057538)
+- INFO - [P-1] ----- extract atom phenomena: 14/14 new triples (955, 0:00:00.063343)
+- INFO - [P-1] ----- propagate atom relations: 24/68 new triples (979, 0:00:01.005282)
- INFO - [P-1] --- Sequence: classification sequence (1)
-- DEBUG - [P-1] ----- classify modality phenomena: 0/0 new triple (979, 0:00:00.027633)
-- INFO - [P-1] ----- reclassify argument property to class: 11/14 new triples (990, 0:00:00.086838)
+- DEBUG - [P-1] ----- classify modality phenomena: 0/0 new triple (979, 0:00:00.020802)
+- INFO - [P-1] ----- reclassify argument property to class: 11/14 new triples (990, 0:00:00.065016)
- INFO - [P-1] --- Sequence: phenomena analyze sequence (1)
-- INFO - [P-1] ----- analyze "polarity" phenomena (1): 32/36 new triples (1022, 0:00:00.139221)
-- DEBUG - [P-1] ----- analyze "polarity" phenomena (2): 0/0 new triple (1022, 0:00:00.019085)
-- DEBUG - [P-1] ----- analyze "polarity" phenomena (3): 0/0 new triple (1022, 0:00:00.020556)
-- DEBUG - [P-1] ----- analyze "polarity" phenomena (4): 0/0 new triple (1022, 0:00:00.050223)
-- DEBUG - [P-1] ----- analyze "polarity" phenomena (5): 0/0 new triple (1022, 0:00:00.052868)
-- DEBUG - [P-1] ----- analyze modifier phenomena (mod): 0/0 new triple (1022, 0:00:00.012118)
-- DEBUG - [P-1] ----- classify modality phenomena: 0/0 new triple (1022, 0:00:00.033710)
+- INFO - [P-1] ----- analyze "polarity" phenomena (1): 32/36 new triples (1022, 0:00:00.101273)
+- DEBUG - [P-1] ----- analyze "polarity" phenomena (2): 0/0 new triple (1022, 0:00:00.017251)
+- DEBUG - [P-1] ----- analyze "polarity" phenomena (3): 0/0 new triple (1022, 0:00:00.018228)
+- DEBUG - [P-1] ----- analyze "polarity" phenomena (4): 0/0 new triple (1022, 0:00:00.037989)
+- DEBUG - [P-1] ----- analyze "polarity" phenomena (5): 0/0 new triple (1022, 0:00:00.039996)
+- DEBUG - [P-1] ----- analyze modifier phenomena (mod): 0/0 new triple (1022, 0:00:00.010478)
+- DEBUG - [P-1] ----- classify modality phenomena: 0/0 new triple (1022, 0:00:00.020166)
- INFO - [P-1] --- Sequence: phenomena analyze sequence (2)
-- INFO - [P-1] ----- analyze "or" phenomena (1): 1/1 new triple (1023, 0:00:00.101747)
-- INFO - [P-1] ----- analyze "or" phenomena (2): 55/82 new triples (1078, 0:00:00.304055)
-- INFO - [P-1] ----- analyze "and" phenomena (1): 2/14 new triples (1080, 0:00:00.164967)
-- DEBUG - [P-1] ----- analyze "and" phenomena (2): 0/0 new triple (1080, 0:00:00.012665)
+- INFO - [P-1] ----- analyze "or" phenomena (1): 1/1 new triple (1023, 0:00:00.075612)
+- INFO - [P-1] ----- analyze "or" phenomena (2): 55/82 new triples (1078, 0:00:00.266134)
+- INFO - [P-1] ----- analyze "and" phenomena (1): 2/14 new triples (1080, 0:00:00.151265)
+- DEBUG - [P-1] ----- analyze "and" phenomena (2): 0/0 new triple (1080, 0:00:00.011186)
- INFO - [P-1] --- Sequence: composite class extraction sequence
-- INFO - [P-1] ----- extract composite classes (1): 127/138 new triples (1207, 0:00:00.706358)
-- DEBUG - [P-1] ----- extract composite classes (2): 0/0 new triple (1207, 0:00:00.049868)
+- INFO - [P-1] ----- extract composite classes (1): 127/138 new triples (1207, 0:00:00.508342)
+- DEBUG - [P-1] ----- extract composite classes (2): 0/0 new triple (1207, 0:00:00.030570)
- INFO - [P-1] --- Sequence: classification sequence (2)
-- INFO - [P-1] ----- classify class net as entity from core arguments: 10/181 new triples (1217, 0:00:00.370219)
-- DEBUG - [P-1] ----- classify class net as entity from :part relation: 0/0 new triple (1217, 0:00:00.017399)
-- DEBUG - [P-1] ----- classify class net as entity from degree arguments: 0/0 new triple (1217, 0:00:00.031276)
-- INFO - [P-1] ----- Associate mother to class net from :domain relation: 5/34 new triples (1222, 0:00:00.106562)
-- DEBUG - [P-1] ----- Propagate individuals to net with same base node: 0/10 new triple (1222, 0:00:00.031863)
-- INFO - [P-1] ----- Propagate individuals to net with domain link: 3/60 new triples (1225, 0:00:00.141028)
+- INFO - [P-1] ----- classify class net as entity from core arguments: 10/181 new triples (1217, 0:00:00.255949)
+- DEBUG - [P-1] ----- classify class net as entity from :part relation: 0/0 new triple (1217, 0:00:00.009253)
+- DEBUG - [P-1] ----- classify class net as entity from degree arguments: 0/0 new triple (1217, 0:00:00.017830)
+- INFO - [P-1] ----- Associate mother to class net from :domain relation: 5/34 new triples (1222, 0:00:00.077896)
+- DEBUG - [P-1] ----- Propagate individuals to net with same base node: 0/10 new triple (1222, 0:00:00.025623)
+- INFO - [P-1] ----- Propagate individuals to net with domain link: 3/60 new triples (1225, 0:00:00.114215)
- INFO - [P-1] --- Sequence: heuristic dedeuction sequence
-- INFO - [P-1] ----- deduce individual and relation from restriction: 14/14 new triples (1239, 0:00:00.145266)
+- INFO - [P-1] ----- deduce individual and relation from restriction: 40/40 new triples (1265, 0:00:00.215058)
- DEBUG - [P-1] --- Serializing graph to tenet.tetras-libre.fr_demo_01_Transduction
- DEBUG - [P-1] ----- step: Transduction
- DEBUG - [P-1] ----- id: https://tenet.tetras-libre.fr/demo/01/
- DEBUG - [P-1] ----- work_file: /home/lamenji/Workspace/Tetras/tenet/tests/main_tests/test_owl_output/SolarSystemDev01-20230906/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_Transduction.ttl
- DEBUG - [P-1] ----- base: http://https://tenet.tetras-libre.fr/demo/01//Transduction
-- INFO - [P-1] ----- 421 triples extracted during Transduction step
+- INFO - [P-1] ----- 447 triples extracted during Transduction step
- INFO - [P-1] -- Step 3: Generation
- INFO - [P-1] --- Sequence: OWL Generation Sequence
-- INFO - [P-1] ----- generate OWL class: 52/55 new triples (1291, 0:00:00.894404)
-- INFO - [P-1] ----- generate OWL property: 29/29 new triples (1320, 0:00:00.395239)
-- INFO - [P-1] ----- generate OWL individual: 14/15 new triples (1334, 0:00:00.338782)
+- INFO - [P-1] ----- generate OWL class: 52/55 new triples (1317, 0:00:00.554421)
+- INFO - [P-1] ----- generate OWL property: 29/29 new triples (1346, 0:00:00.297564)
+- INFO - [P-1] ----- generate OWL individual: 14/15 new triples (1360, 0:00:00.155865)
- DEBUG - [P-1] --- Serializing graph to tenet.tetras-libre.fr_demo_01_Generation
- DEBUG - [P-1] ----- step: Generation
- DEBUG - [P-1] ----- id: https://tenet.tetras-libre.fr/demo/01/
diff --git a/tests/main_tests/test_owl_output/SolarSystemDev01-20230906/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_Generation.ttl b/tests/main_tests/test_owl_output/SolarSystemDev01-20230906/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_Generation.ttl
index 85c21289478ac9efd2c845f58419c2dae92d89a0..5f02a5a12965feb6f507d1177d9c08bacfe3d144 100644
--- a/tests/main_tests/test_owl_output/SolarSystemDev01-20230906/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_Generation.ttl
+++ b/tests/main_tests/test_owl_output/SolarSystemDev01-20230906/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_Generation.ttl
@@ -483,9 +483,6 @@ net:Property_Axiom_Net a owl:Class ;
net:Property_Direction a owl:Class ;
rdfs:subClassOf net:Feature .
-net:Relation_Net a owl:Class ;
- rdfs:subClassOf net:Net .
-
net:abstractionClass a owl:AnnotationProperty ;
rdfs:label "abstraction class" ;
rdfs:subPropertyOf net:objectValue .
@@ -661,22 +658,6 @@ net:has_target a owl:AnnotationProperty ;
rdfs:label "has target" ;
rdfs:subPropertyOf net:has_relation_value .
-net:individual_object-SSC-01-01_o a net:Individual_Net ;
- net:coverBaseNode :leaf_object_o ;
- net:coverNode :leaf_object_o ;
- net:hasIndividualLabel "any object" ;
- net:hasMotherClassNet net:atomClass_object_o ;
- net:hasNaming "object-SSC-01-01" ;
- net:hasStructure "SSC-01-01" .
-
-net:individual_sun-SSC-01-01_s2 a net:Individual_Net ;
- net:coverBaseNode :leaf_sun_s2 ;
- net:coverNode :leaf_sun_s2 ;
- net:hasIndividualLabel "any sun" ;
- net:hasMotherClassNet net:atomClass_sun_s2 ;
- net:hasNaming "sun-SSC-01-01" ;
- net:hasStructure "SSC-01-01" .
-
net:inverse_direction a owl:NamedIndividual .
net:listBy a owl:AnnotationProperty ;
@@ -705,6 +686,34 @@ net:relationOf a owl:AnnotationProperty ;
rdfs:label "relation of" ;
rdfs:subPropertyOf net:typeProperty .
+net:relation_SolarSystem-hasPart-object-SSC-01-01_p a net:Relation_Net ;
+ net:composeFrom net:atomProperty_hasPart_p9,
+ net:individual_SolarSystem_p,
+ net:individual_object-SSC-01-01_o ;
+ net:coverBaseNode :leaf_system_p ;
+ net:coverNode :leaf_hasPart_p9,
+ :leaf_object_o,
+ :leaf_system_p ;
+ net:hasNaming "SolarSystem-hasPart-object-SSC-01-01" ;
+ net:hasObjectNet net:individual_object-SSC-01-01_o ;
+ net:hasPredicateNet net:atomProperty_hasPart_p9 ;
+ net:hasStructure "SSC-01-01" ;
+ net:hasSubjectNet net:individual_SolarSystem_p .
+
+net:relation_SolarSystem-hasPart-sun-SSC-01-01_p a net:Relation_Net ;
+ net:composeFrom net:atomProperty_hasPart_p9,
+ net:individual_SolarSystem_p,
+ net:individual_sun-SSC-01-01_s2 ;
+ net:coverBaseNode :leaf_system_p ;
+ net:coverNode :leaf_hasPart_p9,
+ :leaf_sun_s2,
+ :leaf_system_p ;
+ net:hasNaming "SolarSystem-hasPart-sun-SSC-01-01" ;
+ net:hasObjectNet net:individual_sun-SSC-01-01_s2 ;
+ net:hasPredicateNet net:atomProperty_hasPart_p9 ;
+ net:hasStructure "SSC-01-01" ;
+ net:hasSubjectNet net:individual_SolarSystem_p .
+
net:type a owl:AnnotationProperty ;
rdfs:label "type "@fr ;
rdfs:subPropertyOf net:netProperty .
@@ -1193,9 +1202,28 @@ net:Phenomena_Net a owl:Class ;
net:Property_Net a owl:Class ;
rdfs:subClassOf net:Net .
+net:Relation_Net a owl:Class ;
+ rdfs:subClassOf net:Net .
+
net:Value_Net a owl:Class ;
rdfs:subClassOf net:Net .
+net:individual_object-SSC-01-01_o a net:Individual_Net ;
+ net:coverBaseNode :leaf_object_o ;
+ net:coverNode :leaf_object_o ;
+ net:hasIndividualLabel "any object" ;
+ net:hasMotherClassNet net:atomClass_object_o ;
+ net:hasNaming "object-SSC-01-01" ;
+ net:hasStructure "SSC-01-01" .
+
+net:individual_sun-SSC-01-01_s2 a net:Individual_Net ;
+ net:coverBaseNode :leaf_sun_s2 ;
+ net:coverNode :leaf_sun_s2 ;
+ net:hasIndividualLabel "any sun" ;
+ net:hasMotherClassNet net:atomClass_sun_s2 ;
+ net:hasNaming "sun-SSC-01-01" ;
+ net:hasStructure "SSC-01-01" .
+
net:objectProperty a owl:AnnotationProperty ;
rdfs:label "object attribute" .
@@ -1336,18 +1364,6 @@ net:has_relation_value a owl:AnnotationProperty ;
rdfs:label "has relation value" ;
rdfs:subPropertyOf net:has_object .
-net:individual_SolarSystem_p a net:Individual_Net ;
- :role_name net:value_SolarSystem_blankNode ;
- net:coverBaseNode :leaf_system_p ;
- net:coverNode :leaf_system_p ;
- net:hasIndividualLabel "SolarSystem" ;
- net:hasMotherClassNet net:atomClass_system_p,
- net:atomClass_system_s,
- net:compositeClass_system-hasPart-object_s,
- net:compositeClass_system-hasPart-sun_s ;
- net:hasNaming "SolarSystem" ;
- net:hasStructure "SSC-01-01" .
-
ns3:FrameRole a ns2:Role,
owl:Class,
owl:NamedIndividual ;
@@ -1428,11 +1444,6 @@ net:typeProperty a owl:AnnotationProperty ;
:hasConcept :concept_bind-01 ;
:hasVariable :variable_b .
-:leaf_system_p a :AMR_Leaf ;
- :edge_p_name_SolarSystem :value_SolarSystem ;
- :hasConcept :concept_system ;
- :hasVariable :variable_p .
-
sys:Out_Structure a owl:Class ;
rdfs:label "Output Ontology Structure" .
@@ -1477,24 +1488,6 @@ net:atomProperty_hasManner_m9 a net:Atom_Property_Net ;
net:targetArgumentNode :leaf_or_o3,
:leaf_orbit-01_o2 .
-net:atomProperty_hasPart_p9 a net:Atom_Property_Net ;
- :role_ARG0 net:atomClass_system_s ;
- :role_ARG1 net:atomClass_object_o,
- net:atomClass_sun_s2,
- net:phenomena_conjunction-AND_a ;
- net:coverBaseNode :leaf_hasPart_p9 ;
- net:coverNode :leaf_hasPart_p9 ;
- net:hasNaming "hasPart" ;
- net:hasPropertyName "hasPart" ;
- net:hasPropertyName01 "hasParting" ;
- net:hasPropertyName10 "hasPart-by" ;
- net:hasPropertyName12 "hasPart-of" ;
- net:hasPropertyType owl:ObjectProperty ;
- net:hasStructure "SSC-01-01" ;
- net:isCoreRoleLinked "true" ;
- net:targetArgumentNode :leaf_and_a,
- :leaf_system_s .
-
net:atomProperty_orbit_o2 a net:Atom_Property_Net,
net:Deprecated_Net ;
:role_ARG0 net:atomClass_object_o ;
@@ -1539,12 +1532,17 @@ net:atomClass_system_p a net:Atom_Class_Net,
net:hasNaming "system" ;
net:hasStructure "SSC-01-01" .
-:leaf_hasPart_p9 a :AMR_Leaf ;
- :edge_p9_ARG0_s :leaf_system_s ;
- :edge_p9_ARG1_a :leaf_and_a ;
- :hasConcept :concept_part ;
- :hasVariable :variable_p9 ;
- :isReifiedLeaf true .
+net:individual_SolarSystem_p a net:Individual_Net ;
+ :role_name net:value_SolarSystem_blankNode ;
+ net:coverBaseNode :leaf_system_p ;
+ net:coverNode :leaf_system_p ;
+ net:hasIndividualLabel "SolarSystem" ;
+ net:hasMotherClassNet net:atomClass_system_p,
+ net:atomClass_system_s,
+ net:compositeClass_system-hasPart-object_s,
+ net:compositeClass_system-hasPart-sun_s ;
+ net:hasNaming "SolarSystem" ;
+ net:hasStructure "SSC-01-01" .
sys:Out_ObjectProperty a owl:ObjectProperty .
@@ -1564,6 +1562,11 @@ net:has_object a owl:AnnotationProperty ;
:AMR_Op_Role a owl:Class ;
rdfs:subClassOf :AMR_Role .
+:leaf_system_p a :AMR_Leaf ;
+ :edge_p_name_SolarSystem :value_SolarSystem ;
+ :hasConcept :concept_system ;
+ :hasVariable :variable_p .
+
net:Class_Net a owl:Class ;
rdfs:subClassOf net:Net .
@@ -1587,6 +1590,13 @@ net:atomProperty_direct_d2 a net:Atom_Property_Net,
:AMR_Core_Role a owl:Class ;
rdfs:subClassOf :AMR_Role .
+:leaf_hasPart_p9 a :AMR_Leaf ;
+ :edge_p9_ARG0_s :leaf_system_s ;
+ :edge_p9_ARG1_a :leaf_and_a ;
+ :hasConcept :concept_part ;
+ :hasVariable :variable_p9 ;
+ :isReifiedLeaf true .
+
sys:Entity a owl:Class ;
rdfs:subClassOf sys:Out_Structure .
@@ -1606,6 +1616,24 @@ net:atomClass_system_s a net:Atom_Class_Net,
net:hasNaming "system" ;
net:hasStructure "SSC-01-01" .
+net:atomProperty_hasPart_p9 a net:Atom_Property_Net ;
+ :role_ARG0 net:atomClass_system_s ;
+ :role_ARG1 net:atomClass_object_o,
+ net:atomClass_sun_s2,
+ net:phenomena_conjunction-AND_a ;
+ net:coverBaseNode :leaf_hasPart_p9 ;
+ net:coverNode :leaf_hasPart_p9 ;
+ net:hasNaming "hasPart" ;
+ net:hasPropertyName "hasPart" ;
+ net:hasPropertyName01 "hasParting" ;
+ net:hasPropertyName10 "hasPart-by" ;
+ net:hasPropertyName12 "hasPart-of" ;
+ net:hasPropertyType owl:ObjectProperty ;
+ net:hasStructure "SSC-01-01" ;
+ net:isCoreRoleLinked "true" ;
+ net:targetArgumentNode :leaf_and_a,
+ :leaf_system_s .
+
:leaf_hasManner_m9 a :AMR_Leaf ;
:edge_m9_ARG0_o2 :leaf_orbit-01_o2 ;
:edge_m9_ARG1_o3 :leaf_or_o3 ;
@@ -1616,6 +1644,11 @@ net:atomClass_system_s a net:Atom_Class_Net,
:AMR_Variable a owl:Class ;
rdfs:subClassOf :AMR_Element .
+:leaf_system_s a :AMR_Leaf ;
+ :edge_s_p :leaf_system_p ;
+ :hasConcept :concept_system ;
+ :hasVariable :variable_s .
+
:leaf_object_o a :AMR_Leaf ;
:hasConcept :concept_object ;
:hasVariable :variable_o .
@@ -1624,11 +1657,6 @@ net:atomClass_system_s a net:Atom_Class_Net,
:hasConcept :concept_sun ;
:hasVariable :variable_s2 .
-:leaf_system_s a :AMR_Leaf ;
- :edge_s_p :leaf_system_p ;
- :hasConcept :concept_system ;
- :hasVariable :variable_s .
-
net:atomClass_object_o a net:Atom_Class_Net,
net:Class_Net,
net:Deprecated_Net ;
diff --git a/tests/main_tests/test_owl_output/SolarSystemDev01-20230906/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_Transduction.ttl b/tests/main_tests/test_owl_output/SolarSystemDev01-20230906/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_Transduction.ttl
index 3c5a5e38cc63c2fa1d531f00715fe94de1218ae8..84ec37ce88cff4955e902544d5aa9c4920074864 100644
--- a/tests/main_tests/test_owl_output/SolarSystemDev01-20230906/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_Transduction.ttl
+++ b/tests/main_tests/test_owl_output/SolarSystemDev01-20230906/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_Transduction.ttl
@@ -434,9 +434,6 @@ net:Property_Axiom_Net a owl:Class ;
net:Property_Direction a owl:Class ;
rdfs:subClassOf net:Feature .
-net:Relation_Net a owl:Class ;
- rdfs:subClassOf net:Net .
-
net:abstractionClass a owl:AnnotationProperty ;
rdfs:label "abstraction class" ;
rdfs:subPropertyOf net:objectValue .
@@ -612,22 +609,6 @@ net:has_target a owl:AnnotationProperty ;
rdfs:label "has target" ;
rdfs:subPropertyOf net:has_relation_value .
-net:individual_object-SSC-01-01_o a net:Individual_Net ;
- net:coverBaseNode :leaf_object_o ;
- net:coverNode :leaf_object_o ;
- net:hasIndividualLabel "any object" ;
- net:hasMotherClassNet net:atomClass_object_o ;
- net:hasNaming "object-SSC-01-01" ;
- net:hasStructure "SSC-01-01" .
-
-net:individual_sun-SSC-01-01_s2 a net:Individual_Net ;
- net:coverBaseNode :leaf_sun_s2 ;
- net:coverNode :leaf_sun_s2 ;
- net:hasIndividualLabel "any sun" ;
- net:hasMotherClassNet net:atomClass_sun_s2 ;
- net:hasNaming "sun-SSC-01-01" ;
- net:hasStructure "SSC-01-01" .
-
net:inverse_direction a owl:NamedIndividual .
net:listBy a owl:AnnotationProperty ;
@@ -656,6 +637,34 @@ net:relationOf a owl:AnnotationProperty ;
rdfs:label "relation of" ;
rdfs:subPropertyOf net:typeProperty .
+net:relation_SolarSystem-hasPart-object-SSC-01-01_p a net:Relation_Net ;
+ net:composeFrom net:atomProperty_hasPart_p9,
+ net:individual_SolarSystem_p,
+ net:individual_object-SSC-01-01_o ;
+ net:coverBaseNode :leaf_system_p ;
+ net:coverNode :leaf_hasPart_p9,
+ :leaf_object_o,
+ :leaf_system_p ;
+ net:hasNaming "SolarSystem-hasPart-object-SSC-01-01" ;
+ net:hasObjectNet net:individual_object-SSC-01-01_o ;
+ net:hasPredicateNet net:atomProperty_hasPart_p9 ;
+ net:hasStructure "SSC-01-01" ;
+ net:hasSubjectNet net:individual_SolarSystem_p .
+
+net:relation_SolarSystem-hasPart-sun-SSC-01-01_p a net:Relation_Net ;
+ net:composeFrom net:atomProperty_hasPart_p9,
+ net:individual_SolarSystem_p,
+ net:individual_sun-SSC-01-01_s2 ;
+ net:coverBaseNode :leaf_system_p ;
+ net:coverNode :leaf_hasPart_p9,
+ :leaf_sun_s2,
+ :leaf_system_p ;
+ net:hasNaming "SolarSystem-hasPart-sun-SSC-01-01" ;
+ net:hasObjectNet net:individual_sun-SSC-01-01_s2 ;
+ net:hasPredicateNet net:atomProperty_hasPart_p9 ;
+ net:hasStructure "SSC-01-01" ;
+ net:hasSubjectNet net:individual_SolarSystem_p .
+
net:type a owl:AnnotationProperty ;
rdfs:label "type "@fr ;
rdfs:subPropertyOf net:netProperty .
@@ -1101,9 +1110,28 @@ net:Phenomena_Net a owl:Class ;
net:Property_Net a owl:Class ;
rdfs:subClassOf net:Net .
+net:Relation_Net a owl:Class ;
+ rdfs:subClassOf net:Net .
+
net:Value_Net a owl:Class ;
rdfs:subClassOf net:Net .
+net:individual_object-SSC-01-01_o a net:Individual_Net ;
+ net:coverBaseNode :leaf_object_o ;
+ net:coverNode :leaf_object_o ;
+ net:hasIndividualLabel "any object" ;
+ net:hasMotherClassNet net:atomClass_object_o ;
+ net:hasNaming "object-SSC-01-01" ;
+ net:hasStructure "SSC-01-01" .
+
+net:individual_sun-SSC-01-01_s2 a net:Individual_Net ;
+ net:coverBaseNode :leaf_sun_s2 ;
+ net:coverNode :leaf_sun_s2 ;
+ net:hasIndividualLabel "any sun" ;
+ net:hasMotherClassNet net:atomClass_sun_s2 ;
+ net:hasNaming "sun-SSC-01-01" ;
+ net:hasStructure "SSC-01-01" .
+
net:objectProperty a owl:AnnotationProperty ;
rdfs:label "object attribute" .
@@ -1244,18 +1272,6 @@ net:has_relation_value a owl:AnnotationProperty ;
rdfs:label "has relation value" ;
rdfs:subPropertyOf net:has_object .
-net:individual_SolarSystem_p a net:Individual_Net ;
- :role_name net:value_SolarSystem_blankNode ;
- net:coverBaseNode :leaf_system_p ;
- net:coverNode :leaf_system_p ;
- net:hasIndividualLabel "SolarSystem" ;
- net:hasMotherClassNet net:atomClass_system_p,
- net:atomClass_system_s,
- net:compositeClass_system-hasPart-object_s,
- net:compositeClass_system-hasPart-sun_s ;
- net:hasNaming "SolarSystem" ;
- net:hasStructure "SSC-01-01" .
-
ns3:FrameRole a ns2:Role,
owl:Class,
owl:NamedIndividual ;
@@ -1320,11 +1336,6 @@ net:typeProperty a owl:AnnotationProperty ;
:hasConcept :concept_bind-01 ;
:hasVariable :variable_b .
-:leaf_system_p a :AMR_Leaf ;
- :edge_p_name_SolarSystem :value_SolarSystem ;
- :hasConcept :concept_system ;
- :hasVariable :variable_p .
-
sys:Out_Structure a owl:Class ;
rdfs:label "Output Ontology Structure" .
@@ -1372,24 +1383,6 @@ net:atomProperty_hasManner_m9 a net:Atom_Property_Net ;
net:targetArgumentNode :leaf_or_o3,
:leaf_orbit-01_o2 .
-net:atomProperty_hasPart_p9 a net:Atom_Property_Net ;
- :role_ARG0 net:atomClass_system_s ;
- :role_ARG1 net:atomClass_object_o,
- net:atomClass_sun_s2,
- net:phenomena_conjunction-AND_a ;
- net:coverBaseNode :leaf_hasPart_p9 ;
- net:coverNode :leaf_hasPart_p9 ;
- net:hasNaming "hasPart" ;
- net:hasPropertyName "hasPart" ;
- net:hasPropertyName01 "hasParting" ;
- net:hasPropertyName10 "hasPart-by" ;
- net:hasPropertyName12 "hasPart-of" ;
- net:hasPropertyType owl:ObjectProperty ;
- net:hasStructure "SSC-01-01" ;
- net:isCoreRoleLinked "true" ;
- net:targetArgumentNode :leaf_and_a,
- :leaf_system_s .
-
net:atomProperty_orbit_o2 a net:Atom_Property_Net,
net:Deprecated_Net ;
:role_ARG0 net:atomClass_object_o ;
@@ -1434,12 +1427,17 @@ net:atomClass_system_p a net:Atom_Class_Net,
net:hasNaming "system" ;
net:hasStructure "SSC-01-01" .
-:leaf_hasPart_p9 a :AMR_Leaf ;
- :edge_p9_ARG0_s :leaf_system_s ;
- :edge_p9_ARG1_a :leaf_and_a ;
- :hasConcept :concept_part ;
- :hasVariable :variable_p9 ;
- :isReifiedLeaf true .
+net:individual_SolarSystem_p a net:Individual_Net ;
+ :role_name net:value_SolarSystem_blankNode ;
+ net:coverBaseNode :leaf_system_p ;
+ net:coverNode :leaf_system_p ;
+ net:hasIndividualLabel "SolarSystem" ;
+ net:hasMotherClassNet net:atomClass_system_p,
+ net:atomClass_system_s,
+ net:compositeClass_system-hasPart-object_s,
+ net:compositeClass_system-hasPart-sun_s ;
+ net:hasNaming "SolarSystem" ;
+ net:hasStructure "SSC-01-01" .
net:compositeProperty_not-direct_d2 a net:Composite_Property_Net ;
:role_polarity net:value_negative_blankNode ;
@@ -1457,6 +1455,11 @@ net:has_object a owl:AnnotationProperty ;
:AMR_Op_Role a owl:Class ;
rdfs:subClassOf :AMR_Role .
+:leaf_system_p a :AMR_Leaf ;
+ :edge_p_name_SolarSystem :value_SolarSystem ;
+ :hasConcept :concept_system ;
+ :hasVariable :variable_p .
+
net:Class_Net a owl:Class ;
rdfs:subClassOf net:Net .
@@ -1480,6 +1483,13 @@ net:atomProperty_direct_d2 a net:Atom_Property_Net,
:AMR_Core_Role a owl:Class ;
rdfs:subClassOf :AMR_Role .
+:leaf_hasPart_p9 a :AMR_Leaf ;
+ :edge_p9_ARG0_s :leaf_system_s ;
+ :edge_p9_ARG1_a :leaf_and_a ;
+ :hasConcept :concept_part ;
+ :hasVariable :variable_p9 ;
+ :isReifiedLeaf true .
+
net:Net a owl:Class ;
rdfs:subClassOf net:Net_Structure .
@@ -1496,6 +1506,24 @@ net:atomClass_system_s a net:Atom_Class_Net,
net:hasNaming "system" ;
net:hasStructure "SSC-01-01" .
+net:atomProperty_hasPart_p9 a net:Atom_Property_Net ;
+ :role_ARG0 net:atomClass_system_s ;
+ :role_ARG1 net:atomClass_object_o,
+ net:atomClass_sun_s2,
+ net:phenomena_conjunction-AND_a ;
+ net:coverBaseNode :leaf_hasPart_p9 ;
+ net:coverNode :leaf_hasPart_p9 ;
+ net:hasNaming "hasPart" ;
+ net:hasPropertyName "hasPart" ;
+ net:hasPropertyName01 "hasParting" ;
+ net:hasPropertyName10 "hasPart-by" ;
+ net:hasPropertyName12 "hasPart-of" ;
+ net:hasPropertyType owl:ObjectProperty ;
+ net:hasStructure "SSC-01-01" ;
+ net:isCoreRoleLinked "true" ;
+ net:targetArgumentNode :leaf_and_a,
+ :leaf_system_s .
+
:leaf_hasManner_m9 a :AMR_Leaf ;
:edge_m9_ARG0_o2 :leaf_orbit-01_o2 ;
:edge_m9_ARG1_o3 :leaf_or_o3 ;
@@ -1506,6 +1534,11 @@ net:atomClass_system_s a net:Atom_Class_Net,
:AMR_Variable a owl:Class ;
rdfs:subClassOf :AMR_Element .
+:leaf_system_s a :AMR_Leaf ;
+ :edge_s_p :leaf_system_p ;
+ :hasConcept :concept_system ;
+ :hasVariable :variable_s .
+
:leaf_object_o a :AMR_Leaf ;
:hasConcept :concept_object ;
:hasVariable :variable_o .
@@ -1514,11 +1547,6 @@ net:atomClass_system_s a net:Atom_Class_Net,
:hasConcept :concept_sun ;
:hasVariable :variable_s2 .
-:leaf_system_s a :AMR_Leaf ;
- :edge_s_p :leaf_system_p ;
- :hasConcept :concept_system ;
- :hasVariable :variable_s .
-
net:atomClass_object_o a net:Atom_Class_Net,
net:Class_Net,
net:Deprecated_Net ;