New Preprocessing Rule: AMR Leaf adding

tenet/scheme/amr_master_rule/__init__.py

@@ -8,8 +8,8 @@ from scheme.amr_master_rule.preprocessing.amr_reification_5 import *
 from scheme.amr_master_rule.preprocessing.amr_reification_6 import * 
 from scheme.amr_master_rule.preprocessing.amr_reification_7 import * 
 from scheme.amr_master_rule.preprocessing.amr_reification_8 import * 
-# from scheme.amr_master_rule.preprocessing.amr_reification_9 import *
-# from scheme.amr_master_rule.preprocessing.amr_reification_10 import *  
+from scheme.amr_master_rule.preprocessing.amr_reification_9 import *
+from scheme.amr_master_rule.preprocessing.amr_reification_10 import *  
 
 from scheme.amr_master_rule.transduction.extractor.atom_class_extractor import * 
 from scheme.amr_master_rule.transduction.extractor.atom_individual_extractor import * 

tenet/scheme/amr_master_rule/preprocessing/amr_reification10.py

- 

tenet/scheme/amr_master_rule/preprocessing/amr_reification_10.py

+#!/usr/bin/python3.10
+# -*- coding: Utf-8 -*-
+
+#==============================================================================
+# TENET: Rule to add AMR leaf for reified concept
+#------------------------------------------------------------------------------
+# Add AMR leaf corresponding to reified concept (with new variable)
+#==============================================================================
+
+from rdflib import Graph, Literal
+
+import transduction
+from transduction import net
+from transduction.query_builder import generate_select_query
+from transduction.rdfterm_computer import ( produce_uriref, produce_literal )
+
+
+#==============================================================================
+# Pattern Search: concept{variable, concept}
+#==============================================================================
+
+def __search_pattern(graph):
+    select_data_list = ['?concept', '?cLabel', '?variable', '?vLabel']
+    clause_list = ['?concept rdfs:subClassOf* amr:AMR_Concept .',
+                    '?concept amr:isReifiedConcept true .',
+                    '?concept amr:label ?cLabel .',
+                    '?concept amr:fromAmrLk ?linkedC .',
+                    '?variable a amr:AMR_Variable .',
+                    '?variable amr:isReifiedVariable true .',
+                    '?variable amr:label ?vLabel .',
+                    '?variable a ?linkedC .']
+    query_code = generate_select_query(graph, select_data_list, clause_list)
+    result_set = graph.query(query_code) 
+    return query_code, result_set
+
+
+#==============================================================================
+# Construct Method(s)
+#==============================================================================
+
+def __add_amr_leaf(graph, concept, cLabel, variable, vLabel):
+    triple_list = []
+    
+    # -- New leaf
+    new_leaf_uri = produce_uriref(graph, f'amr:leaf_{cLabel}_{vLabel}')
+    relation = produce_uriref(graph, 'rdf:type')
+    value = produce_uriref(graph, 'amr:AMR_Leaf')
+    triple_list.append((new_leaf_uri, relation, value))
+    
+    # -- Reification flag
+    relation = produce_uriref(graph, 'amr:isReifiedLeaf')
+    value = Literal(True)
+    triple_list.append((new_leaf_uri, relation, value))
+    
+    # -- Relation: hasVariable
+    relation = produce_uriref(graph, 'amr:hasVariable')
+    triple_list.append((new_leaf_uri, relation, variable))
+    
+    # -- Relation: hasConcept
+    relation = produce_uriref(graph, 'amr:hasConcept')
+    triple_list.append((new_leaf_uri, relation, concept))
+    
+    return triple_list
+
+
+#==============================================================================
+# Main Method
+#==============================================================================
+
+def add_amr_leaf_for_reified_concept(graph):
+    
+    # -- Rule Initialization
+    rule_label = 'add AMR leaf for reified concept'
+    
+    # -- Search for patterns
+    _, pattern_set = __search_pattern(graph)
+    
+    # -- Selection Analyzing (1)
+    rule_triple_list = []
+    for pattern in pattern_set:
+        rule_triple_list += __add_amr_leaf(
+            graph, pattern.concept, pattern.cLabel, pattern.variable, pattern.vLabel)
+    
+    return rule_label, rule_triple_list
+ 
+ 

tenet/scheme/amr_master_rule/preprocessing/amr_reification_8.py

@@ -47,7 +47,7 @@ def __add_new_variable_for_reified_concept(graph, originConcept, vLetter, vLabel
     new_variable_uri = produce_uriref(graph, f'amr:variable_{vLabel}')
     
     # -- New variable
-    relation = produce_uriref(graph, 'rdfs:type')
+    relation = produce_uriref(graph, 'rdf:type')
     value = produce_uriref(graph, 'amr:AMR_Variable')
     triple_list.append((new_variable_uri, relation, value))
     

tenet/scheme/amr_master_rule/preprocessing/amr_reification_9.py

+#!/usr/bin/python3.10
+# -*- coding: Utf-8 -*-
+
+#==============================================================================
+# TENET: Rule to add AMR leaf for reclassified concept
+#------------------------------------------------------------------------------
+# Add AMR leaf corresponding to the relation between concept and variable.
+#==============================================================================
+
+from rdflib import Graph
+
+import transduction
+from transduction import net
+from transduction.query_builder import generate_select_query
+from transduction.rdfterm_computer import ( produce_uriref, produce_literal )
+
+
+#==============================================================================
+# Pattern Search: concept{variable, concept}
+#==============================================================================
+
+def __search_pattern(graph):
+    select_data_list = ['?concept', '?cLabel', '?variable', '?vLabel']
+    clause_list = [f'?concept rdfs:subClassOf* amr:AMR_Concept .',
+                   f'?concept amr:label ?cLabel .',
+                   f'?concept amr:fromAmrLk ?linkedC .',
+                   f'?variable a amr:AMR_Variable .',
+                   f'?variable amr:label ?vLabel .',
+                   f'?variable amr:fromAmrLk ?v .',
+                   f'?v a ?linkedC .']
+    query_code = generate_select_query(graph, select_data_list, clause_list)
+    result_set = graph.query(query_code) 
+    return query_code, result_set
+
+
+#==============================================================================
+# Construct Method(s)
+#==============================================================================
+
+def __add_amr_leaf(graph, concept, cLabel, variable, vLabel):
+    triple_list = []
+    
+    # -- New leaf
+    new_leaf_uri = produce_uriref(graph, f'amr:leaf_{cLabel}_{vLabel}')
+    relation = produce_uriref(graph, 'rdf:type')
+    value = produce_uriref(graph, 'amr:AMR_Leaf')
+    triple_list.append((new_leaf_uri, relation, value))
+    
+    # -- Relation: hasVariable
+    relation = produce_uriref(graph, 'amr:hasVariable')
+    triple_list.append((new_leaf_uri, relation, variable))
+    
+    # -- Relation: hasConcept
+    relation = produce_uriref(graph, 'amr:hasConcept')
+    triple_list.append((new_leaf_uri, relation, concept))
+    
+    return triple_list
+
+
+#==============================================================================
+# Main Method
+#==============================================================================
+
+def add_amr_leaf_for_reclassified_concept(graph):
+    
+    # -- Rule Initialization
+    rule_label = 'add AMR leaf for reclassified concept'
+    
+    # -- Search for patterns
+    _, pattern_set = __search_pattern(graph)
+    
+    # -- Selection Analyzing (1)
+    rule_triple_list = []
+    for pattern in pattern_set:
+        rule_triple_list += __add_amr_leaf(
+            graph, pattern.concept, pattern.cLabel, pattern.variable, pattern.vLabel)
+    
+    return rule_label, rule_triple_list
  

tenet/scheme/owl_amr_scheme_1.py

@@ -76,8 +76,8 @@ nov_amr_reification_sequence = {
                       #'reify-roles-as-concept',
                       #'reclassify-existing-variable',
                       #'add-new-variable-for-reified-concept',
-                      'add-amr-leaf-for-reclassified-concept',
-                      'add-amr-leaf-for-reified-concept',
+                      #'add-amr-leaf-for-reclassified-concept',
+                      #'add-amr-leaf-for-reified-concept',
                       'add-amr-edge-for-core-relation',
                       'add-amr-edge-for-reified-concept',
                       'add-amr-edge-for-name-relation',
@@ -95,7 +95,9 @@ amr_reification_sequence = ['AMR reification from AMR-Linked-Data to AMR (tenet)
                             rule.reclassify_concept_5,
                             rule.reify_roles_as_concept,
                             rule.reclassify_existing_variable,
-                            rule.add_new_variable_for_reified_concept
+                            rule.add_new_variable_for_reified_concept,
+                            rule.add_amr_leaf_for_reclassified_concept,
+                            rule.add_amr_leaf_for_reified_concept
                             ]
 
 # ---------------------------------------------

tenet/tenet.log

@@ -74,90 +74,90 @@
 - DEBUG - ----- Total rule number: 18
 - INFO - -- Step 1: Preprocessing
 - INFO - --- *** November Transduction *** Sequence: amrld-correcting-sequence
-- INFO - ----- fix-amr-bug-about-system-solar-planet: 5/5 new triples (603, 0:00:00.116813)
+- INFO - ----- fix-amr-bug-about-system-solar-planet: 5/5 new triples (603, 0:00:00.042193)
 - INFO - --- Sequence: AMR reification from AMR-Linked-Data to AMR (tenet) structure
-- INFO - ----- reclassify AMR-LD concept (1): 10/10 new triples (613, 0:00:00.097001)
-- DEBUG - ----- reclassify AMR-LD concept (2): 0/0 new triple (613, 0:00:00.051071)
-- INFO - ----- reclassify AMR-LD concept (3): 12/12 new triples (625, 0:00:00.031494)
-- INFO - ----- reclassify AMR-LD concept (4): 16/16 new triples (641, 0:00:00.042261)
-- INFO - ----- reclassify AMR-LD concept (5): 2/4 new triples (643, 0:00:00.023160)
-- INFO - ----- reify roles as concept: 10/10 new triples (653, 0:00:00.031341)
-- INFO - ----- reclassify existing variable: 45/45 new triples (698, 0:00:00.018505)
-- INFO - ----- add new variable for reified concept: 8/8 new triples (706, 0:00:00.037320)
+- INFO - ----- reclassify AMR-LD concept (1): 10/10 new triples (613, 0:00:00.102829)
+- DEBUG - ----- reclassify AMR-LD concept (2): 0/0 new triple (613, 0:00:00.044106)
+- INFO - ----- reclassify AMR-LD concept (3): 12/12 new triples (625, 0:00:00.038416)
+- INFO - ----- reclassify AMR-LD concept (4): 16/16 new triples (641, 0:00:00.061895)
+- INFO - ----- reclassify AMR-LD concept (5): 2/4 new triples (643, 0:00:00.034456)
+- INFO - ----- reify roles as concept: 10/10 new triples (653, 0:00:00.042023)
+- INFO - ----- reclassify existing variable: 45/45 new triples (698, 0:00:00.026731)
+- INFO - ----- add new variable for reified concept: 8/8 new triples (706, 0:00:00.044332)
+- INFO - ----- add AMR leaf for reclassified concept: 33/33 new triples (739, 0:00:00.024475)
+- INFO - ----- add AMR leaf for reified concept: 8/8 new triples (747, 0:00:00.013921)
 - INFO - --- *** November Transduction *** Sequence: amr-reification-sequence
-- INFO - ----- add-amr-leaf-for-reclassified-concept: 33/33 new triples (739, 0:00:00.046261)
-- DEBUG - ----- add-amr-leaf-for-reified-concept: 0/0 new triple (739, 0:00:00.036339)
-- INFO - ----- add-amr-edge-for-core-relation: 27/27 new triples (766, 0:00:00.109515)
-- DEBUG - ----- add-amr-edge-for-reified-concept: 0/0 new triple (766, 0:00:00.067585)
-- INFO - ----- add-amr-edge-for-name-relation: 5/5 new triples (771, 0:00:00.099479)
-- DEBUG - ----- add-value-for-quant-relation: 0/0 new triple (771, 0:00:00.093799)
-- INFO - ----- add-amr-edge-for-polarity-relation: 5/5 new triples (776, 0:00:00.109524)
-- INFO - ----- update-amr-edge-role-1: 11/11 new triples (787, 0:00:00.087497)
-- INFO - ----- add-amr-root: 5/5 new triples (792, 0:00:00.040803)
+- INFO - ----- add-amr-edge-for-core-relation: 27/27 new triples (774, 0:00:00.116593)
+- INFO - ----- add-amr-edge-for-reified-concept: 12/12 new triples (786, 0:00:00.125194)
+- INFO - ----- add-amr-edge-for-name-relation: 5/5 new triples (791, 0:00:00.069840)
+- DEBUG - ----- add-value-for-quant-relation: 0/0 new triple (791, 0:00:00.066898)
+- INFO - ----- add-amr-edge-for-polarity-relation: 5/5 new triples (796, 0:00:00.075913)
+- INFO - ----- update-amr-edge-role-1: 15/15 new triples (811, 0:00:00.091490)
+- INFO - ----- add-amr-root: 5/5 new triples (816, 0:00:00.024982)
 - DEBUG - --- Serializing graph to tenet.tetras-libre.fr_demo_01_Preprocessing 
 - DEBUG - ----- step: Preprocessing
 - DEBUG - ----- id: https://tenet.tetras-libre.fr/demo/01/
 - DEBUG - ----- work_file: /home/lamenji/Workspace/Tetras/tenet/tests/main_tests/test_owl_output/SolarSystemDev01-20230614/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_Preprocessing.ttl
 - DEBUG - ----- base: http://https://tenet.tetras-libre.fr/demo/01//Preprocessing
-- INFO - ----- 194 triples extracted during Preprocessing step
+- INFO - ----- 218 triples extracted during Preprocessing step
 - INFO - -- Step 2: Transduction
 - INFO - --- Sequence: atomic extraction sequence
-- INFO - ----- extract atom classes: 30/30 new triples (822, 0:00:00.193618)
-- INFO - ----- extract atom individuals: 8/8 new triples (830, 0:00:00.057638)
-- INFO - ----- extract atomic properties: 49/49 new triples (879, 0:00:00.189840)
-- INFO - ----- extract atom values: 10/10 new triples (889, 0:00:00.063652)
-- INFO - ----- extract atom phenomena: 14/14 new triples (903, 0:00:00.093796)
-- INFO - ----- propagate atom relations: 20/52 new triples (923, 0:00:00.902266)
+- INFO - ----- extract atom classes: 30/30 new triples (846, 0:00:00.164632)
+- INFO - ----- extract atom individuals: 8/8 new triples (854, 0:00:00.046073)
+- INFO - ----- extract atomic properties: 75/75 new triples (929, 0:00:00.225725)
+- INFO - ----- extract atom values: 10/10 new triples (939, 0:00:00.066707)
+- INFO - ----- extract atom phenomena: 14/14 new triples (953, 0:00:00.075190)
+- INFO - ----- propagate atom relations: 24/68 new triples (977, 0:00:01.331963)
 - INFO - --- Sequence: classification sequence (1)
-- DEBUG - ----- classify modality phenomena: 0/0 new triple (923, 0:00:00.019754)
-- DEBUG - ----- reclassify argument property to class: 0/0 new triple (923, 0:00:00.025035)
+- DEBUG - ----- classify modality phenomena: 0/0 new triple (977, 0:00:00.021275)
+- INFO - ----- reclassify argument property to class: 11/14 new triples (988, 0:00:00.085088)
 - INFO - --- Sequence: phenomena analyze sequence (1)
-- INFO - ----- analyze "polarity" phenomena (1): 32/36 new triples (955, 0:00:00.101026)
-- DEBUG - ----- analyze "polarity" phenomena (2): 0/0 new triple (955, 0:00:00.014009)
-- DEBUG - ----- analyze "polarity" phenomena (3): 0/0 new triple (955, 0:00:00.012298)
-- DEBUG - ----- analyze "polarity" phenomena (4): 0/0 new triple (955, 0:00:00.033059)
-- DEBUG - ----- analyze "polarity" phenomena (5): 0/0 new triple (955, 0:00:00.033254)
-- DEBUG - ----- analyze modifier phenomena (mod): 0/0 new triple (955, 0:00:00.007692)
-- DEBUG - ----- classify modality phenomena: 0/0 new triple (955, 0:00:00.018203)
+- INFO - ----- analyze "polarity" phenomena (1): 32/36 new triples (1020, 0:00:00.107939)
+- DEBUG - ----- analyze "polarity" phenomena (2): 0/0 new triple (1020, 0:00:00.013870)
+- DEBUG - ----- analyze "polarity" phenomena (3): 0/0 new triple (1020, 0:00:00.018920)
+- DEBUG - ----- analyze "polarity" phenomena (4): 0/0 new triple (1020, 0:00:00.031485)
+- DEBUG - ----- analyze "polarity" phenomena (5): 0/0 new triple (1020, 0:00:00.038943)
+- DEBUG - ----- analyze modifier phenomena (mod): 0/0 new triple (1020, 0:00:00.012694)
+- DEBUG - ----- classify modality phenomena: 0/0 new triple (1020, 0:00:00.019295)
 - INFO - --- Sequence: phenomena analyze sequence (2)
-- DEBUG - ----- analyze "or" phenomena (1): 0/0 new triple (955, 0:00:00.017103)
-- DEBUG - ----- analyze "or" phenomena (2): 0/0 new triple (955, 0:00:00.018517)
-- DEBUG - ----- analyze "and" phenomena (1): 0/0 new triple (955, 0:00:00.019055)
-- DEBUG - ----- analyze "and" phenomena (2): 0/0 new triple (955, 0:00:00.015868)
+- INFO - ----- analyze "or" phenomena (1): 1/1 new triple (1021, 0:00:00.078029)
+- INFO - ----- analyze "or" phenomena (2): 55/82 new triples (1076, 0:00:00.298662)
+- INFO - ----- analyze "and" phenomena (1): 2/14 new triples (1078, 0:00:00.173906)
+- DEBUG - ----- analyze "and" phenomena (2): 0/0 new triple (1078, 0:00:00.014463)
 - INFO - --- Sequence: composite class extraction sequence
-- INFO - ----- extract composite classes (1): 46/48 new triples (1001, 0:00:00.217068)
-- DEBUG - ----- extract composite classes (2): 0/0 new triple (1001, 0:00:00.024731)
+- INFO - ----- extract composite classes (1): 127/138 new triples (1205, 0:00:00.599295)
+- DEBUG - ----- extract composite classes (2): 0/0 new triple (1205, 0:00:00.038679)
 - INFO - --- Sequence: classification sequence (2)
-- INFO - ----- classify class net as entity from core arguments: 8/26 new triples (1009, 0:00:00.235898)
-- DEBUG - ----- classify class net as entity from :part relation: 0/0 new triple (1009, 0:00:00.011622)
-- DEBUG - ----- classify class net as entity from degree arguments: 0/0 new triple (1009, 0:00:00.017043)
-- INFO - ----- Associate mother to class net from :domain relation: 1/16 new triple (1010, 0:00:00.036231)
-- DEBUG - ----- Propagate individuals to net with same base node: 0/6 new triple (1010, 0:00:00.021667)
-- INFO - ----- Propagate individuals to net with domain link: 1/12 new triple (1011, 0:00:00.049730)
+- INFO - ----- classify class net as entity from core arguments: 10/181 new triples (1215, 0:00:00.306414)
+- DEBUG - ----- classify class net as entity from :part relation: 0/0 new triple (1215, 0:00:00.010347)
+- DEBUG - ----- classify class net as entity from degree arguments: 0/0 new triple (1215, 0:00:00.017225)
+- INFO - ----- Associate mother to class net from :domain relation: 5/34 new triples (1220, 0:00:00.096490)
+- DEBUG - ----- Propagate individuals to net with same base node: 0/10 new triple (1220, 0:00:00.032242)
+- INFO - ----- Propagate individuals to net with domain link: 3/60 new triples (1223, 0:00:00.128059)
 - DEBUG - --- Serializing graph to tenet.tetras-libre.fr_demo_01_Transduction 
 - DEBUG - ----- step: Transduction
 - DEBUG - ----- id: https://tenet.tetras-libre.fr/demo/01/
 - DEBUG - ----- work_file: /home/lamenji/Workspace/Tetras/tenet/tests/main_tests/test_owl_output/SolarSystemDev01-20230614/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_Transduction.ttl
 - DEBUG - ----- base: http://https://tenet.tetras-libre.fr/demo/01//Transduction
-- INFO - ----- 219 triples extracted during Transduction step
+- INFO - ----- 407 triples extracted during Transduction step
 - INFO - -- Step 3: Generation
 - INFO - --- Sequence: OWL Generation Sequence
-- INFO - ----- generate OWL class: 30/30 new triples (1041, 0:00:00.285631)
-- INFO - ----- generate OWL property: 15/15 new triples (1056, 0:00:00.137508)
-- INFO - ----- generate OWL individual: 4/5 new triples (1060, 0:00:00.052614)
+- INFO - ----- generate OWL class: 52/55 new triples (1275, 0:00:00.610934)
+- INFO - ----- generate OWL property: 29/29 new triples (1304, 0:00:00.318082)
+- INFO - ----- generate OWL individual: 6/7 new triples (1310, 0:00:00.080452)
 - DEBUG - --- Serializing graph to tenet.tetras-libre.fr_demo_01_Generation 
 - DEBUG - ----- step: Generation
 - DEBUG - ----- id: https://tenet.tetras-libre.fr/demo/01/
 - DEBUG - ----- work_file: /home/lamenji/Workspace/Tetras/tenet/tests/main_tests/test_owl_output/SolarSystemDev01-20230614/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_Generation.ttl
 - DEBUG - ----- base: http://https://tenet.tetras-libre.fr/demo/01//Generation
-- INFO - ----- 49 triples extracted during Generation step
+- INFO - ----- 87 triples extracted during Generation step
 - DEBUG - --- Serializing graph to factoid file (/home/lamenji/Workspace/Tetras/tenet/tests/main_tests/test_owl_output/SolarSystemDev01-20230614/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_factoid.ttl)
-- DEBUG - ----- Number of factoids: 50
+- DEBUG - ----- Number of factoids: 91
 - DEBUG - ----- Graph base: http://https://tenet.tetras-libre.fr/demo/01//factoid
 - INFO - 
  === Final Ontology Generation  === 
 - INFO - -- Making complete factoid graph by merging the result factoids
-- INFO - ----- Total factoid number: 50
+- INFO - ----- Total factoid number: 91
 - INFO - -- Serializing graph to factoid string
 - INFO - ----- Graph base: http://https://tenet.tetras-libre.fr/demo/01//factoid
 - INFO - -- Serializing graph to factoid file
@@ -167,6 +167,6 @@
 - INFO - 
   *** Execution Time *** 
 ----- Function: create_ontology_from_amrld_dir (tenet.main)
------ Total Time: 0:00:04.538157
------ Process Time: 0:00:04.477511
+----- Total Time: 0:00:06.756032
+----- Process Time: 0:00:06.601319
   *** - *** 

tests/main_tests/test_owl_output/SolarSystemDev01-20230614/SolarSystemDev01_factoid.ttl

@@ -4,7 +4,9 @@
 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
 
 <https://tenet.tetras-libre.fr/extract-result#SolarSystem> a owl:Individual,
-        <https://tenet.tetras-libre.fr/extract-result#system> ;
+        <https://tenet.tetras-libre.fr/extract-result#system>,
+        <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object>,
+        <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> ;
     rdfs:label "Solar System" ;
     ns1:fromStructure "SSC-01-01" .
 
@@ -20,13 +22,25 @@
         <https://tenet.tetras-libre.fr/extract-result#gravitation> ;
     ns1: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" .
+
 <https://tenet.tetras-libre.fr/extract-result#not-direct> a owl:ObjectProperty ;
     rdfs:subPropertyOf ns1:Out_ObjectProperty ;
     ns1:fromStructure "SSC-01-01" .
 
-<https://tenet.tetras-libre.fr/extract-result#object-orbit-sun> a owl:Class ;
+<https://tenet.tetras-libre.fr/extract-result#object-orbit-hasManner-direct-sun> a owl:Class ;
+    rdfs:subClassOf [ a owl:Restriction ;
+            owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit-hasManner-direct> ;
+            owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ],
+        <https://tenet.tetras-libre.fr/extract-result#object> ;
+    ns1:fromStructure "SSC-01-01" .
+
+<https://tenet.tetras-libre.fr/extract-result#object-orbit-hasManner-not-direct-sun> a owl:Class ;
     rdfs:subClassOf [ a owl:Restriction ;
-            owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit> ;
+            owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit-hasManner-not-direct> ;
             owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ],
         <https://tenet.tetras-libre.fr/extract-result#object> ;
     ns1:fromStructure "SSC-01-01" .
@@ -41,9 +55,31 @@
     rdfs:subClassOf ns1:Entity ;
     ns1:fromStructure "SSC-01-01" .
 
-<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ;
-    rdfs:label "object" ;
-    rdfs:subClassOf ns1:Entity ;
+<https://tenet.tetras-libre.fr/extract-result#orbit-hasManner-direct> a owl:ObjectProperty ;
+    rdfs:subPropertyOf <https://tenet.tetras-libre.fr/extract-result#orbit> ;
+    ns1:fromStructure "SSC-01-01" .
+
+<https://tenet.tetras-libre.fr/extract-result#orbit-hasManner-not-direct> a owl:ObjectProperty ;
+    rdfs:subPropertyOf <https://tenet.tetras-libre.fr/extract-result#orbit> ;
+    ns1:fromStructure "SSC-01-01" .
+
+<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> a owl:Class ;
+    rdfs:subClassOf [ a owl:Restriction ;
+            owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
+            owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#object> ],
+        <https://tenet.tetras-libre.fr/extract-result#system> ;
+    ns1:fromStructure "SSC-01-01" .
+
+<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> a owl:Class ;
+    rdfs:subClassOf [ a owl:Restriction ;
+            owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
+            owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ],
+        <https://tenet.tetras-libre.fr/extract-result#system> ;
+    ns1:fromStructure "SSC-01-01" .
+
+<https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ;
+    rdfs:label "hasPart" ;
+    rdfs:subPropertyOf ns1:Out_ObjectProperty ;
     ns1:fromStructure "SSC-01-01" .
 
 <https://tenet.tetras-libre.fr/extract-result#orbit> a owl:ObjectProperty ;
@@ -51,6 +87,11 @@
     rdfs:subPropertyOf ns1:Out_ObjectProperty ;
     ns1:fromStructure "SSC-01-01" .
 
+<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ;
+    rdfs:label "object" ;
+    rdfs:subClassOf ns1:Entity ;
+    ns1:fromStructure "SSC-01-01" .
+
 <https://tenet.tetras-libre.fr/extract-result#sun> a owl:Class ;
     rdfs:label "sun" ;
     rdfs:subClassOf ns1:Entity ;
@@ -58,6 +99,7 @@
 
 <https://tenet.tetras-libre.fr/extract-result#system> a owl:Class ;
     rdfs:label "system" ;
-    rdfs:subClassOf ns1:Entity ;
+    rdfs:subClassOf ns1:Entity,
+        ns1:Undetermined_Thing ;
     ns1:fromStructure "SSC-01-01" .
 

tests/main_tests/test_owl_output/SolarSystemDev01-20230614/technical-data/tenet.log

@@ -74,90 +74,90 @@
 - DEBUG - ----- Total rule number: 18
 - INFO - -- Step 1: Preprocessing
 - INFO - --- *** November Transduction *** Sequence: amrld-correcting-sequence
-- INFO - ----- fix-amr-bug-about-system-solar-planet: 5/5 new triples (603, 0:00:00.116813)
+- INFO - ----- fix-amr-bug-about-system-solar-planet: 5/5 new triples (603, 0:00:00.042193)
 - INFO - --- Sequence: AMR reification from AMR-Linked-Data to AMR (tenet) structure
-- INFO - ----- reclassify AMR-LD concept (1): 10/10 new triples (613, 0:00:00.097001)
-- DEBUG - ----- reclassify AMR-LD concept (2): 0/0 new triple (613, 0:00:00.051071)
-- INFO - ----- reclassify AMR-LD concept (3): 12/12 new triples (625, 0:00:00.031494)
-- INFO - ----- reclassify AMR-LD concept (4): 16/16 new triples (641, 0:00:00.042261)
-- INFO - ----- reclassify AMR-LD concept (5): 2/4 new triples (643, 0:00:00.023160)
-- INFO - ----- reify roles as concept: 10/10 new triples (653, 0:00:00.031341)
-- INFO - ----- reclassify existing variable: 45/45 new triples (698, 0:00:00.018505)
-- INFO - ----- add new variable for reified concept: 8/8 new triples (706, 0:00:00.037320)
+- INFO - ----- reclassify AMR-LD concept (1): 10/10 new triples (613, 0:00:00.102829)
+- DEBUG - ----- reclassify AMR-LD concept (2): 0/0 new triple (613, 0:00:00.044106)
+- INFO - ----- reclassify AMR-LD concept (3): 12/12 new triples (625, 0:00:00.038416)
+- INFO - ----- reclassify AMR-LD concept (4): 16/16 new triples (641, 0:00:00.061895)
+- INFO - ----- reclassify AMR-LD concept (5): 2/4 new triples (643, 0:00:00.034456)
+- INFO - ----- reify roles as concept: 10/10 new triples (653, 0:00:00.042023)
+- INFO - ----- reclassify existing variable: 45/45 new triples (698, 0:00:00.026731)
+- INFO - ----- add new variable for reified concept: 8/8 new triples (706, 0:00:00.044332)
+- INFO - ----- add AMR leaf for reclassified concept: 33/33 new triples (739, 0:00:00.024475)
+- INFO - ----- add AMR leaf for reified concept: 8/8 new triples (747, 0:00:00.013921)
 - INFO - --- *** November Transduction *** Sequence: amr-reification-sequence
-- INFO - ----- add-amr-leaf-for-reclassified-concept: 33/33 new triples (739, 0:00:00.046261)
-- DEBUG - ----- add-amr-leaf-for-reified-concept: 0/0 new triple (739, 0:00:00.036339)
-- INFO - ----- add-amr-edge-for-core-relation: 27/27 new triples (766, 0:00:00.109515)
-- DEBUG - ----- add-amr-edge-for-reified-concept: 0/0 new triple (766, 0:00:00.067585)
-- INFO - ----- add-amr-edge-for-name-relation: 5/5 new triples (771, 0:00:00.099479)
-- DEBUG - ----- add-value-for-quant-relation: 0/0 new triple (771, 0:00:00.093799)
-- INFO - ----- add-amr-edge-for-polarity-relation: 5/5 new triples (776, 0:00:00.109524)
-- INFO - ----- update-amr-edge-role-1: 11/11 new triples (787, 0:00:00.087497)
-- INFO - ----- add-amr-root: 5/5 new triples (792, 0:00:00.040803)
+- INFO - ----- add-amr-edge-for-core-relation: 27/27 new triples (774, 0:00:00.116593)
+- INFO - ----- add-amr-edge-for-reified-concept: 12/12 new triples (786, 0:00:00.125194)
+- INFO - ----- add-amr-edge-for-name-relation: 5/5 new triples (791, 0:00:00.069840)
+- DEBUG - ----- add-value-for-quant-relation: 0/0 new triple (791, 0:00:00.066898)
+- INFO - ----- add-amr-edge-for-polarity-relation: 5/5 new triples (796, 0:00:00.075913)
+- INFO - ----- update-amr-edge-role-1: 15/15 new triples (811, 0:00:00.091490)
+- INFO - ----- add-amr-root: 5/5 new triples (816, 0:00:00.024982)
 - DEBUG - --- Serializing graph to tenet.tetras-libre.fr_demo_01_Preprocessing 
 - DEBUG - ----- step: Preprocessing
 - DEBUG - ----- id: https://tenet.tetras-libre.fr/demo/01/
 - DEBUG - ----- work_file: /home/lamenji/Workspace/Tetras/tenet/tests/main_tests/test_owl_output/SolarSystemDev01-20230614/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_Preprocessing.ttl
 - DEBUG - ----- base: http://https://tenet.tetras-libre.fr/demo/01//Preprocessing
-- INFO - ----- 194 triples extracted during Preprocessing step
+- INFO - ----- 218 triples extracted during Preprocessing step
 - INFO - -- Step 2: Transduction
 - INFO - --- Sequence: atomic extraction sequence
-- INFO - ----- extract atom classes: 30/30 new triples (822, 0:00:00.193618)
-- INFO - ----- extract atom individuals: 8/8 new triples (830, 0:00:00.057638)
-- INFO - ----- extract atomic properties: 49/49 new triples (879, 0:00:00.189840)
-- INFO - ----- extract atom values: 10/10 new triples (889, 0:00:00.063652)
-- INFO - ----- extract atom phenomena: 14/14 new triples (903, 0:00:00.093796)
-- INFO - ----- propagate atom relations: 20/52 new triples (923, 0:00:00.902266)
+- INFO - ----- extract atom classes: 30/30 new triples (846, 0:00:00.164632)
+- INFO - ----- extract atom individuals: 8/8 new triples (854, 0:00:00.046073)
+- INFO - ----- extract atomic properties: 75/75 new triples (929, 0:00:00.225725)
+- INFO - ----- extract atom values: 10/10 new triples (939, 0:00:00.066707)
+- INFO - ----- extract atom phenomena: 14/14 new triples (953, 0:00:00.075190)
+- INFO - ----- propagate atom relations: 24/68 new triples (977, 0:00:01.331963)
 - INFO - --- Sequence: classification sequence (1)
-- DEBUG - ----- classify modality phenomena: 0/0 new triple (923, 0:00:00.019754)
-- DEBUG - ----- reclassify argument property to class: 0/0 new triple (923, 0:00:00.025035)
+- DEBUG - ----- classify modality phenomena: 0/0 new triple (977, 0:00:00.021275)
+- INFO - ----- reclassify argument property to class: 11/14 new triples (988, 0:00:00.085088)
 - INFO - --- Sequence: phenomena analyze sequence (1)
-- INFO - ----- analyze "polarity" phenomena (1): 32/36 new triples (955, 0:00:00.101026)
-- DEBUG - ----- analyze "polarity" phenomena (2): 0/0 new triple (955, 0:00:00.014009)
-- DEBUG - ----- analyze "polarity" phenomena (3): 0/0 new triple (955, 0:00:00.012298)
-- DEBUG - ----- analyze "polarity" phenomena (4): 0/0 new triple (955, 0:00:00.033059)
-- DEBUG - ----- analyze "polarity" phenomena (5): 0/0 new triple (955, 0:00:00.033254)
-- DEBUG - ----- analyze modifier phenomena (mod): 0/0 new triple (955, 0:00:00.007692)
-- DEBUG - ----- classify modality phenomena: 0/0 new triple (955, 0:00:00.018203)
+- INFO - ----- analyze "polarity" phenomena (1): 32/36 new triples (1020, 0:00:00.107939)
+- DEBUG - ----- analyze "polarity" phenomena (2): 0/0 new triple (1020, 0:00:00.013870)
+- DEBUG - ----- analyze "polarity" phenomena (3): 0/0 new triple (1020, 0:00:00.018920)
+- DEBUG - ----- analyze "polarity" phenomena (4): 0/0 new triple (1020, 0:00:00.031485)
+- DEBUG - ----- analyze "polarity" phenomena (5): 0/0 new triple (1020, 0:00:00.038943)
+- DEBUG - ----- analyze modifier phenomena (mod): 0/0 new triple (1020, 0:00:00.012694)
+- DEBUG - ----- classify modality phenomena: 0/0 new triple (1020, 0:00:00.019295)
 - INFO - --- Sequence: phenomena analyze sequence (2)
-- DEBUG - ----- analyze "or" phenomena (1): 0/0 new triple (955, 0:00:00.017103)
-- DEBUG - ----- analyze "or" phenomena (2): 0/0 new triple (955, 0:00:00.018517)
-- DEBUG - ----- analyze "and" phenomena (1): 0/0 new triple (955, 0:00:00.019055)
-- DEBUG - ----- analyze "and" phenomena (2): 0/0 new triple (955, 0:00:00.015868)
+- INFO - ----- analyze "or" phenomena (1): 1/1 new triple (1021, 0:00:00.078029)
+- INFO - ----- analyze "or" phenomena (2): 55/82 new triples (1076, 0:00:00.298662)
+- INFO - ----- analyze "and" phenomena (1): 2/14 new triples (1078, 0:00:00.173906)
+- DEBUG - ----- analyze "and" phenomena (2): 0/0 new triple (1078, 0:00:00.014463)
 - INFO - --- Sequence: composite class extraction sequence
-- INFO - ----- extract composite classes (1): 46/48 new triples (1001, 0:00:00.217068)
-- DEBUG - ----- extract composite classes (2): 0/0 new triple (1001, 0:00:00.024731)
+- INFO - ----- extract composite classes (1): 127/138 new triples (1205, 0:00:00.599295)
+- DEBUG - ----- extract composite classes (2): 0/0 new triple (1205, 0:00:00.038679)
 - INFO - --- Sequence: classification sequence (2)
-- INFO - ----- classify class net as entity from core arguments: 8/26 new triples (1009, 0:00:00.235898)
-- DEBUG - ----- classify class net as entity from :part relation: 0/0 new triple (1009, 0:00:00.011622)
-- DEBUG - ----- classify class net as entity from degree arguments: 0/0 new triple (1009, 0:00:00.017043)
-- INFO - ----- Associate mother to class net from :domain relation: 1/16 new triple (1010, 0:00:00.036231)
-- DEBUG - ----- Propagate individuals to net with same base node: 0/6 new triple (1010, 0:00:00.021667)
-- INFO - ----- Propagate individuals to net with domain link: 1/12 new triple (1011, 0:00:00.049730)
+- INFO - ----- classify class net as entity from core arguments: 10/181 new triples (1215, 0:00:00.306414)
+- DEBUG - ----- classify class net as entity from :part relation: 0/0 new triple (1215, 0:00:00.010347)
+- DEBUG - ----- classify class net as entity from degree arguments: 0/0 new triple (1215, 0:00:00.017225)
+- INFO - ----- Associate mother to class net from :domain relation: 5/34 new triples (1220, 0:00:00.096490)
+- DEBUG - ----- Propagate individuals to net with same base node: 0/10 new triple (1220, 0:00:00.032242)
+- INFO - ----- Propagate individuals to net with domain link: 3/60 new triples (1223, 0:00:00.128059)
 - DEBUG - --- Serializing graph to tenet.tetras-libre.fr_demo_01_Transduction 
 - DEBUG - ----- step: Transduction
 - DEBUG - ----- id: https://tenet.tetras-libre.fr/demo/01/
 - DEBUG - ----- work_file: /home/lamenji/Workspace/Tetras/tenet/tests/main_tests/test_owl_output/SolarSystemDev01-20230614/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_Transduction.ttl
 - DEBUG - ----- base: http://https://tenet.tetras-libre.fr/demo/01//Transduction
-- INFO - ----- 219 triples extracted during Transduction step
+- INFO - ----- 407 triples extracted during Transduction step
 - INFO - -- Step 3: Generation
 - INFO - --- Sequence: OWL Generation Sequence
-- INFO - ----- generate OWL class: 30/30 new triples (1041, 0:00:00.285631)
-- INFO - ----- generate OWL property: 15/15 new triples (1056, 0:00:00.137508)
-- INFO - ----- generate OWL individual: 4/5 new triples (1060, 0:00:00.052614)
+- INFO - ----- generate OWL class: 52/55 new triples (1275, 0:00:00.610934)
+- INFO - ----- generate OWL property: 29/29 new triples (1304, 0:00:00.318082)
+- INFO - ----- generate OWL individual: 6/7 new triples (1310, 0:00:00.080452)
 - DEBUG - --- Serializing graph to tenet.tetras-libre.fr_demo_01_Generation 
 - DEBUG - ----- step: Generation
 - DEBUG - ----- id: https://tenet.tetras-libre.fr/demo/01/
 - DEBUG - ----- work_file: /home/lamenji/Workspace/Tetras/tenet/tests/main_tests/test_owl_output/SolarSystemDev01-20230614/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_Generation.ttl
 - DEBUG - ----- base: http://https://tenet.tetras-libre.fr/demo/01//Generation
-- INFO - ----- 49 triples extracted during Generation step
+- INFO - ----- 87 triples extracted during Generation step
 - DEBUG - --- Serializing graph to factoid file (/home/lamenji/Workspace/Tetras/tenet/tests/main_tests/test_owl_output/SolarSystemDev01-20230614/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_factoid.ttl)
-- DEBUG - ----- Number of factoids: 50
+- DEBUG - ----- Number of factoids: 91
 - DEBUG - ----- Graph base: http://https://tenet.tetras-libre.fr/demo/01//factoid
 - INFO - 
  === Final Ontology Generation  === 
 - INFO - -- Making complete factoid graph by merging the result factoids
-- INFO - ----- Total factoid number: 50
+- INFO - ----- Total factoid number: 91
 - INFO - -- Serializing graph to factoid string
 - INFO - ----- Graph base: http://https://tenet.tetras-libre.fr/demo/01//factoid
 - INFO - -- Serializing graph to factoid file

tests/main_tests/test_owl_output/SolarSystemDev01-20230614/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_Preprocessing.ttl

@@ -59,16 +59,6 @@ ns2:root a owl:AnnotationProperty .
 :AMR_Prep_Role a owl:Class ;
     rdfs:subClassOf :AMR_Role .
 
-:concept_manner rdfs:subClassOf :AMR_Predicat_Concept ;
-    :fromAmrLk ns11:manner ;
-    :isReifiedConcept true ;
-    :label "hasManner" .
-
-:concept_part rdfs:subClassOf :AMR_Predicat_Concept ;
-    :fromAmrLk ns11:part ;
-    :isReifiedConcept true ;
-    :label "hasPart" .
-
 :edge_a_op1_s2 a :AMR_Edge ;
     :hasAmrRole :role_op1 ;
     :hasRoleID "op1" .
@@ -89,6 +79,14 @@ ns2:root a owl:AnnotationProperty .
     :hasAmrRole :role_polarity ;
     :hasRoleID "polarity" .
 
+:edge_m9_ARG0_o2 a :AMR_Edge ;
+    :hasAmrRole :role_ARG0 ;
+    :hasRoleID "ARG0" .
+
+:edge_m9_ARG1_o3 a :AMR_Edge ;
+    :hasAmrRole :role_ARG1 ;
+    :hasRoleID "ARG1" .
+
 :edge_o2_ARG0_o a :AMR_Edge ;
     :hasAmrRole :role_ARG0 ;
     :hasRoleID "ARG0" .
@@ -105,6 +103,14 @@ ns2:root a owl:AnnotationProperty .
     :hasAmrRole :role_op2 ;
     :hasRoleID "op2" .
 
+:edge_p9_ARG0_s a :AMR_Edge ;
+    :hasAmrRole :role_ARG0 ;
+    :hasRoleID "ARG0" .
+
+:edge_p9_ARG1_a a :AMR_Edge ;
+    :hasAmrRole :role_ARG1 ;
+    :hasRoleID "ARG1" .
+
 :edge_p_name_SolarSystem a :AMR_Edge ;
     :hasAmrRole :role_name ;
     :hasRoleID "name" .
@@ -185,29 +191,25 @@ ns2:root a owl:AnnotationProperty .
 :label a owl:AnnotationProperty ;
     rdfs:subPropertyOf :AMR_AnnotationProperty .
 
-:leaf_and_a a :AMR_Leaf ;
-    :edge_a_op1_s2 :leaf_sun_s2 ;
-    :edge_a_op2_o :leaf_object_o ;
-    :hasConcept :concept_and ;
-    :hasVariable :variable_a .
-
 :leaf_bind-01_b a :AMR_Leaf ;
     :edge_b_ARG0_g :leaf_gravitation_g ;
     :edge_b_ARG1_s :leaf_system_s ;
     :hasConcept :concept_bind-01 ;
     :hasVariable :variable_b .
 
-:leaf_or_o3 a :AMR_Leaf ;
-    :edge_o3_op1_d :leaf_direct-02_d ;
-    :edge_o3_op2_d2 :leaf_direct-02_d2 ;
-    :hasConcept :concept_or ;
-    :hasVariable :variable_o3 .
+:leaf_hasManner_m9 a :AMR_Leaf ;
+    :edge_m9_ARG0_o2 :leaf_orbit-01_o2 ;
+    :edge_m9_ARG1_o3 :leaf_or_o3 ;
+    :hasConcept :concept_manner ;
+    :hasVariable :variable_m9 ;
+    :isReifiedLeaf true .
 
-:leaf_orbit-01_o2 a :AMR_Leaf ;
-    :edge_o2_ARG0_o :leaf_object_o ;
-    :edge_o2_ARG1_s2 :leaf_sun_s2 ;
-    :hasConcept :concept_orbit-01 ;
-    :hasVariable :variable_o2 .
+: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 .
 
 :phenomena_degree a owl:Class ;
     rdfs:subClassOf :AMR_Phenomena ;
@@ -385,16 +387,6 @@ ns2:root a owl:AnnotationProperty .
 :toReifyWithHeadEdge a owl:AnnotationProperty ;
     rdfs:subPropertyOf :toReify .
 
-:variable_m9 a ns11:manner ;
-    rdfs:type :AMR_Variable ;
-    :isReifiedVariable true ;
-    :label "m9" .
-
-:variable_p9 a ns11:part ;
-    rdfs:type :AMR_Variable ;
-    :isReifiedVariable true ;
-    :label "p9" .
-
 <https://tenet.tetras-libre.fr/base-ontology> a owl:Ontology .
 
 sys:Event a owl:Class ;
@@ -679,6 +671,11 @@ ns2:AMR a owl:Class ;
     :fromAmrLk ns11:gravitation ;
     :label "gravitation" .
 
+:concept_manner rdfs:subClassOf :AMR_Predicat_Concept ;
+    :fromAmrLk ns11:manner ;
+    :isReifiedConcept true ;
+    :label "hasManner" .
+
 :concept_object rdfs:subClassOf :AMR_Term_Concept ;
     :fromAmrLk ns11:object ;
     :label "object" .
@@ -692,10 +689,21 @@ ns2:AMR a owl:Class ;
     :fromAmrLk ns3:orbit-01 ;
     :label "orbit-01" .
 
+:concept_part rdfs:subClassOf :AMR_Predicat_Concept ;
+    :fromAmrLk ns11:part ;
+    :isReifiedConcept true ;
+    :label "hasPart" .
+
 :concept_sun rdfs:subClassOf :AMR_Term_Concept ;
     :fromAmrLk ns11:sun ;
     :label "sun" .
 
+:leaf_and_a a :AMR_Leaf ;
+    :edge_a_op1_s2 :leaf_sun_s2 ;
+    :edge_a_op2_o :leaf_object_o ;
+    :hasConcept :concept_and ;
+    :hasVariable :variable_a .
+
 :leaf_direct-02_d a :AMR_Leaf ;
     :hasConcept :concept_direct-02 ;
     :hasVariable :variable_d .
@@ -709,6 +717,18 @@ ns2:AMR a owl:Class ;
     :hasConcept :concept_gravitation ;
     :hasVariable :variable_g .
 
+:leaf_or_o3 a :AMR_Leaf ;
+    :edge_o3_op1_d :leaf_direct-02_d ;
+    :edge_o3_op2_d2 :leaf_direct-02_d2 ;
+    :hasConcept :concept_or ;
+    :hasVariable :variable_o3 .
+
+:leaf_orbit-01_o2 a :AMR_Leaf ;
+    :edge_o2_ARG0_o :leaf_object_o ;
+    :edge_o2_ARG1_s2 :leaf_sun_s2 ;
+    :hasConcept :concept_orbit-01 ;
+    :hasVariable :variable_o2 .
+
 :leaf_system_p a :AMR_Leaf ;
     :edge_p_name_SolarSystem :value_SolarSystem ;
     :hasConcept :concept_system ;
@@ -766,6 +786,11 @@ ns2:AMR a owl:Class ;
     :fromAmrLk <http://amr.isi.edu/amr_data/SSC-01-01#g> ;
     :label "g" .
 
+:variable_m9 a ns11:manner,
+        :AMR_Variable ;
+    :isReifiedVariable true ;
+    :label "m9" .
+
 :variable_o a :AMR_Variable ;
     :fromAmrLk <http://amr.isi.edu/amr_data/SSC-01-01#o> ;
     :label "o" .
@@ -783,6 +808,11 @@ ns2:AMR a owl:Class ;
     :label "p" ;
     :name "Solar System" .
 
+:variable_p9 a ns11:part,
+        :AMR_Variable ;
+    :isReifiedVariable true ;
+    :label "p9" .
+
 :variable_s a :AMR_Variable ;
     :fromAmrLk <http://amr.isi.edu/amr_data/SSC-01-01#s> ;
     :label "s" .
@@ -907,11 +937,6 @@ ns2:or a ns2:Concept ;
     :hasConcept :concept_sun ;
     :hasVariable :variable_s2 .
 
-:leaf_system_s a :AMR_Leaf ;
-    :edge_s_domain_p :leaf_system_p ;
-    :hasConcept :concept_system ;
-    :hasVariable :variable_s .
-
 :phenomena_conjunction a owl:Class ;
     rdfs:subClassOf :AMR_Phenomena ;
     :hasConceptLink "contrast-01",
@@ -919,14 +944,6 @@ ns2:or a ns2:Concept ;
         "neither" ;
     :label "conjunction" .
 
-:role_ARG0 a owl:Class ;
-    rdfs:subClassOf :AMR_Core_Role ;
-    :label "ARG0" .
-
-:role_ARG1 a owl:Class ;
-    rdfs:subClassOf :AMR_Core_Role ;
-    :label "ARG1" .
-
 :role_op1 a owl:Class ;
     rdfs:subClassOf :AMR_Op_Role ;
     :label "op1" .
@@ -985,6 +1002,11 @@ ns2:Frame a ns2:Concept,
     rdfs:range rdfs:Literal ;
     rdfs:subPropertyOf :AMR_AnnotationProperty .
 
+:leaf_system_s a :AMR_Leaf ;
+    :edge_s_domain_p :leaf_system_p ;
+    :hasConcept :concept_system ;
+    :hasVariable :variable_s .
+
 :phenomena_modality a owl:Class ;
     rdfs:subClassOf :AMR_Phenomena .
 
@@ -1011,6 +1033,14 @@ ns3:FrameRole a ns2:Role,
 :AMR_Term_Concept a owl:Class ;
     rdfs:subClassOf :AMR_Concept .
 
+:role_ARG0 a owl:Class ;
+    rdfs:subClassOf :AMR_Core_Role ;
+    :label "ARG0" .
+
+:role_ARG1 a owl:Class ;
+    rdfs:subClassOf :AMR_Core_Role ;
+    :label "ARG1" .
+
 net:typeProperty a owl:AnnotationProperty ;
     rdfs:label "type property" .
 
@@ -1057,19 +1087,19 @@ net:Net a owl:Class ;
 :AMR_Core_Role a owl:Class ;
     rdfs:subClassOf :AMR_Role .
 
-:AMR_Leaf a owl:Class ;
-    rdfs:subClassOf :AMR_Structure .
-
 :AMR_Variable a owl:Class ;
     rdfs:subClassOf :AMR_Element .
 
-:AMR_Edge a owl:Class ;
+:AMR_Leaf a owl:Class ;
     rdfs:subClassOf :AMR_Structure .
 
 net:objectValue a owl:AnnotationProperty ;
     rdfs:label "valuations"@fr ;
     rdfs:subPropertyOf net:objectProperty .
 
+:AMR_Edge a owl:Class ;
+    rdfs:subClassOf :AMR_Structure .
+
 :AMR_Linked_Data a owl:Class .
 
 [] a owl:AllDisjointClasses ;

tests/main_tests/test_owl_output/SolarSystemDev01-20230614/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_factoid.ttl

@@ -4,7 +4,9 @@
 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
 
 <https://tenet.tetras-libre.fr/extract-result#SolarSystem> a owl:Individual,
-        <https://tenet.tetras-libre.fr/extract-result#system> ;
+        <https://tenet.tetras-libre.fr/extract-result#system>,
+        <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object>,
+        <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> ;
     rdfs:label "Solar System" ;
     ns1:fromStructure "SSC-01-01" .
 
@@ -20,13 +22,25 @@
         <https://tenet.tetras-libre.fr/extract-result#gravitation> ;
     ns1: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" .
+
 <https://tenet.tetras-libre.fr/extract-result#not-direct> a owl:ObjectProperty ;
     rdfs:subPropertyOf ns1:Out_ObjectProperty ;
     ns1:fromStructure "SSC-01-01" .
 
-<https://tenet.tetras-libre.fr/extract-result#object-orbit-sun> a owl:Class ;
+<https://tenet.tetras-libre.fr/extract-result#object-orbit-hasManner-direct-sun> a owl:Class ;
+    rdfs:subClassOf [ a owl:Restriction ;
+            owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit-hasManner-direct> ;
+            owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ],
+        <https://tenet.tetras-libre.fr/extract-result#object> ;
+    ns1:fromStructure "SSC-01-01" .
+
+<https://tenet.tetras-libre.fr/extract-result#object-orbit-hasManner-not-direct-sun> a owl:Class ;
     rdfs:subClassOf [ a owl:Restriction ;
-            owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit> ;
+            owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit-hasManner-not-direct> ;
             owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ],
         <https://tenet.tetras-libre.fr/extract-result#object> ;
     ns1:fromStructure "SSC-01-01" .
@@ -41,9 +55,31 @@
     rdfs:subClassOf ns1:Entity ;
     ns1:fromStructure "SSC-01-01" .
 
-<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ;
-    rdfs:label "object" ;
-    rdfs:subClassOf ns1:Entity ;
+<https://tenet.tetras-libre.fr/extract-result#orbit-hasManner-direct> a owl:ObjectProperty ;
+    rdfs:subPropertyOf <https://tenet.tetras-libre.fr/extract-result#orbit> ;
+    ns1:fromStructure "SSC-01-01" .
+
+<https://tenet.tetras-libre.fr/extract-result#orbit-hasManner-not-direct> a owl:ObjectProperty ;
+    rdfs:subPropertyOf <https://tenet.tetras-libre.fr/extract-result#orbit> ;
+    ns1:fromStructure "SSC-01-01" .
+
+<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> a owl:Class ;
+    rdfs:subClassOf [ a owl:Restriction ;
+            owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
+            owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#object> ],
+        <https://tenet.tetras-libre.fr/extract-result#system> ;
+    ns1:fromStructure "SSC-01-01" .
+
+<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> a owl:Class ;
+    rdfs:subClassOf [ a owl:Restriction ;
+            owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
+            owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ],
+        <https://tenet.tetras-libre.fr/extract-result#system> ;
+    ns1:fromStructure "SSC-01-01" .
+
+<https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ;
+    rdfs:label "hasPart" ;
+    rdfs:subPropertyOf ns1:Out_ObjectProperty ;
     ns1:fromStructure "SSC-01-01" .
 
 <https://tenet.tetras-libre.fr/extract-result#orbit> a owl:ObjectProperty ;
@@ -51,6 +87,11 @@
     rdfs:subPropertyOf ns1:Out_ObjectProperty ;
     ns1:fromStructure "SSC-01-01" .
 
+<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ;
+    rdfs:label "object" ;
+    rdfs:subClassOf ns1:Entity ;
+    ns1:fromStructure "SSC-01-01" .
+
 <https://tenet.tetras-libre.fr/extract-result#sun> a owl:Class ;
     rdfs:label "sun" ;
     rdfs:subClassOf ns1:Entity ;
@@ -58,6 +99,7 @@
 
 <https://tenet.tetras-libre.fr/extract-result#system> a owl:Class ;
     rdfs:label "system" ;
-    rdfs:subClassOf ns1:Entity ;
+    rdfs:subClassOf ns1:Entity,
+        ns1:Undetermined_Thing ;
     ns1:fromStructure "SSC-01-01" .