diff --git a/tenet/scheme/owl_amr_scheme_1.py b/tenet/scheme/owl_amr_scheme_1.py
index 5c17ce4795440a848a2adf0be3745d1aabf28a4f..4ec4d6589e7ed6e6f9b2b9fe48bd2fe4a5504e44 100644
--- a/tenet/scheme/owl_amr_scheme_1.py
+++ b/tenet/scheme/owl_amr_scheme_1.py
@@ -118,6 +118,7 @@ classification_sequence_2 = ['classification sequence (2)',
]
heuristic_deduction_sequence = ['heuristic dedeuction sequence',
+ rule.deduce_individual_and_relation_from_restriction,
rule.deduce_individual_and_relation_from_restriction
]
diff --git a/tests/main_tests/test_owl_output/SolarSystemDev01-20230908/SolarSystemDev01_factoid.ttl b/tests/main_tests/test_owl_output/SolarSystemDev01-20230908/SolarSystemDev01_factoid.ttl
index 92c96354440e42a5ef2ea17bc580b4637fbe6b27..e3e1f15380cce888500a7135c2884f840b6c1475 100644
--- a/tests/main_tests/test_owl_output/SolarSystemDev01-20230908/SolarSystemDev01_factoid.ttl
+++ b/tests/main_tests/test_owl_output/SolarSystemDev01-20230908/SolarSystemDev01_factoid.ttl
@@ -54,7 +54,9 @@ ns2:object-SSC-01-01 a owl:Individual,
ns2:object-orbit-hasManner-direct-sun,
ns2:object-orbit-hasManner-not-direct-sun ;
rdfs:label "any object" ;
- ns1:fromStructure "SSC-01-01" .
+ ns1:fromStructure "SSC-01-01" ;
+ ns2:orbit-hasManner-direct ns2:sun-SSC-01-01 ;
+ ns2:orbit-hasManner-not-direct ns2:sun-SSC-01-01 .
ns2:object-orbit-hasManner-direct-sun a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
@@ -78,11 +80,6 @@ ns2:orbit-hasManner-not-direct a owl:ObjectProperty ;
rdfs:subPropertyOf ns2:orbit ;
ns1:fromStructure "SSC-01-01" .
-ns2:sun-SSC-01-01 a owl:Individual,
- ns2:sun ;
- rdfs:label "any sun" ;
- ns1:fromStructure "SSC-01-01" .
-
ns2:system-hasPart-object a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty ns2:hasPart ;
@@ -107,6 +104,11 @@ ns2:orbit a owl:ObjectProperty ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
+ns2:sun-SSC-01-01 a owl:Individual,
+ ns2:sun ;
+ rdfs:label "any sun" ;
+ ns1:fromStructure "SSC-01-01" .
+
ns2:object a owl:Class ;
rdfs:label "object" ;
rdfs:subClassOf ns1:Entity ;
diff --git a/tests/main_tests/test_owl_output/SolarSystemDev01-20230908/technical-data/tenet.log b/tests/main_tests/test_owl_output/SolarSystemDev01-20230908/technical-data/tenet.log
index 642f6a2b7914d434952dcd2b2a153b90cbbb0d82..c7660bdf7c02de544e02af3993fe6079d63db11e 100644
--- a/tests/main_tests/test_owl_output/SolarSystemDev01-20230908/technical-data/tenet.log
+++ b/tests/main_tests/test_owl_output/SolarSystemDev01-20230908/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.020734)
+- INFO - [P-1] ----- fix AMR bug (1): 5/5 new triples (605, 0:00:00.018590)
- 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.082527)
-- DEBUG - [P-1] ----- reclassify AMR-LD concept (2): 0/0 new triple (615, 0:00:00.046103)
-- INFO - [P-1] ----- reclassify AMR-LD concept (3): 12/12 new triples (627, 0:00:00.027606)
-- INFO - [P-1] ----- reclassify AMR-LD concept (4): 16/16 new triples (643, 0:00:00.052660)
-- INFO - [P-1] ----- reclassify AMR-LD concept (5): 2/4 new triples (645, 0:00:00.029949)
-- INFO - [P-1] ----- reify roles as concept: 10/10 new triples (655, 0:00:00.035906)
-- INFO - [P-1] ----- reclassify existing variable: 45/45 new triples (700, 0:00:00.021791)
-- INFO - [P-1] ----- add new variable for reified concept: 8/8 new triples (708, 0:00:00.043916)
-- INFO - [P-1] ----- add AMR leaf for reclassified concept: 33/33 new triples (741, 0:00:00.018901)
-- INFO - [P-1] ----- add AMR leaf for reified concept: 8/8 new triples (749, 0:00:00.014984)
-- INFO - [P-1] ----- add AMR edge for core relation: 27/27 new triples (776, 0:00:00.084435)
-- INFO - [P-1] ----- add AMR edge for reified concept: 12/12 new triples (788, 0:00:00.065675)
-- INFO - [P-1] ----- add AMR edge for name relation: 5/5 new triples (793, 0:00:00.018358)
-- DEBUG - [P-1] ----- add AMR edge for quant relation: 0/0 new triple (793, 0:00:00.025163)
-- INFO - [P-1] ----- add AMR edge for polarity relation: 5/5 new triples (798, 0:00:00.029763)
-- INFO - [P-1] ----- update AMR edge role 1: 15/15 new triples (813, 0:00:00.067787)
-- INFO - [P-1] ----- add AMR root: 5/5 new triples (818, 0:00:00.011561)
+- INFO - [P-1] ----- reclassify AMR-LD concept (1): 10/10 new triples (615, 0:00:00.085435)
+- DEBUG - [P-1] ----- reclassify AMR-LD concept (2): 0/0 new triple (615, 0:00:00.045457)
+- INFO - [P-1] ----- reclassify AMR-LD concept (3): 12/12 new triples (627, 0:00:00.030617)
+- INFO - [P-1] ----- reclassify AMR-LD concept (4): 16/16 new triples (643, 0:00:00.056243)
+- INFO - [P-1] ----- reclassify AMR-LD concept (5): 2/4 new triples (645, 0:00:00.028987)
+- INFO - [P-1] ----- reify roles as concept: 10/10 new triples (655, 0:00:00.043053)
+- INFO - [P-1] ----- reclassify existing variable: 45/45 new triples (700, 0:00:00.017526)
+- INFO - [P-1] ----- add new variable for reified concept: 8/8 new triples (708, 0:00:00.055434)
+- INFO - [P-1] ----- add AMR leaf for reclassified concept: 33/33 new triples (741, 0:00:00.021391)
+- INFO - [P-1] ----- add AMR leaf for reified concept: 8/8 new triples (749, 0:00:00.011883)
+- INFO - [P-1] ----- add AMR edge for core relation: 27/27 new triples (776, 0:00:00.087910)
+- INFO - [P-1] ----- add AMR edge for reified concept: 12/12 new triples (788, 0:00:00.061823)
+- INFO - [P-1] ----- add AMR edge for name relation: 5/5 new triples (793, 0:00:00.019406)
+- DEBUG - [P-1] ----- add AMR edge for quant relation: 0/0 new triple (793, 0:00:00.019505)
+- INFO - [P-1] ----- add AMR edge for polarity relation: 5/5 new triples (798, 0:00:00.032722)
+- INFO - [P-1] ----- update AMR edge role 1: 15/15 new triples (813, 0:00:00.070277)
+- INFO - [P-1] ----- add AMR root: 5/5 new triples (818, 0:00:00.010318)
- 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,66 +103,67 @@
- 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.156714)
-- INFO - [P-1] ----- extract atom individuals: 8/8 new triples (856, 0:00:00.049079)
-- INFO - [P-1] ----- extract atomic properties: 75/75 new triples (931, 0:00:00.207583)
-- INFO - [P-1] ----- extract atom values: 10/10 new triples (941, 0:00:00.056586)
-- INFO - [P-1] ----- extract atom phenomena: 14/14 new triples (955, 0:00:00.063514)
-- INFO - [P-1] ----- propagate atom relations: 24/68 new triples (979, 0:00:01.047294)
+- INFO - [P-1] ----- extract atom classes: 30/30 new triples (848, 0:00:00.156700)
+- INFO - [P-1] ----- extract atom individuals: 8/8 new triples (856, 0:00:00.048787)
+- INFO - [P-1] ----- extract atomic properties: 75/75 new triples (931, 0:00:00.295681)
+- INFO - [P-1] ----- extract atom values: 10/10 new triples (941, 0:00:00.047168)
+- INFO - [P-1] ----- extract atom phenomena: 14/14 new triples (955, 0:00:00.073281)
+- INFO - [P-1] ----- propagate atom relations: 24/68 new triples (979, 0:00:00.924183)
- INFO - [P-1] --- Sequence: classification sequence (1)
-- DEBUG - [P-1] ----- classify modality phenomena: 0/0 new triple (979, 0:00:00.020573)
-- INFO - [P-1] ----- reclassify argument property to class: 11/14 new triples (990, 0:00:00.075570)
+- DEBUG - [P-1] ----- classify modality phenomena: 0/0 new triple (979, 0:00:00.020342)
+- INFO - [P-1] ----- reclassify argument property to class: 11/14 new triples (990, 0:00:00.076359)
- INFO - [P-1] --- Sequence: phenomena analyze sequence (1)
-- INFO - [P-1] ----- analyze "polarity" phenomena (1): 32/36 new triples (1022, 0:00:00.102451)
-- DEBUG - [P-1] ----- analyze "polarity" phenomena (2): 0/0 new triple (1022, 0:00:00.016337)
-- DEBUG - [P-1] ----- analyze "polarity" phenomena (3): 0/0 new triple (1022, 0:00:00.016750)
-- DEBUG - [P-1] ----- analyze "polarity" phenomena (4): 0/0 new triple (1022, 0:00:00.038235)
-- DEBUG - [P-1] ----- analyze "polarity" phenomena (5): 0/0 new triple (1022, 0:00:00.040128)
-- DEBUG - [P-1] ----- analyze modifier phenomena (mod): 0/0 new triple (1022, 0:00:00.008334)
-- DEBUG - [P-1] ----- classify modality phenomena: 0/0 new triple (1022, 0:00:00.019297)
+- INFO - [P-1] ----- analyze "polarity" phenomena (1): 32/36 new triples (1022, 0:00:00.098316)
+- DEBUG - [P-1] ----- analyze "polarity" phenomena (2): 0/0 new triple (1022, 0:00:00.020157)
+- DEBUG - [P-1] ----- analyze "polarity" phenomena (3): 0/0 new triple (1022, 0:00:00.017687)
+- DEBUG - [P-1] ----- analyze "polarity" phenomena (4): 0/0 new triple (1022, 0:00:00.040502)
+- DEBUG - [P-1] ----- analyze "polarity" phenomena (5): 0/0 new triple (1022, 0:00:00.037342)
+- DEBUG - [P-1] ----- analyze modifier phenomena (mod): 0/0 new triple (1022, 0:00:00.009109)
+- DEBUG - [P-1] ----- classify modality phenomena: 0/0 new triple (1022, 0:00:00.021685)
- INFO - [P-1] --- Sequence: phenomena analyze sequence (2)
-- INFO - [P-1] ----- analyze "or" phenomena (1): 1/1 new triple (1023, 0:00:00.076121)
-- INFO - [P-1] ----- analyze "or" phenomena (2): 55/82 new triples (1078, 0:00:00.262627)
-- INFO - [P-1] ----- analyze "and" phenomena (1): 2/14 new triples (1080, 0:00:00.151709)
-- DEBUG - [P-1] ----- analyze "and" phenomena (2): 0/0 new triple (1080, 0:00:00.011420)
+- INFO - [P-1] ----- analyze "or" phenomena (1): 1/1 new triple (1023, 0:00:00.069205)
+- INFO - [P-1] ----- analyze "or" phenomena (2): 55/82 new triples (1078, 0:00:00.267300)
+- INFO - [P-1] ----- analyze "and" phenomena (1): 2/14 new triples (1080, 0:00:00.145450)
+- DEBUG - [P-1] ----- analyze "and" phenomena (2): 0/0 new triple (1080, 0:00:00.011509)
- INFO - [P-1] --- Sequence: composite class extraction sequence
-- INFO - [P-1] ----- extract composite classes (1): 127/138 new triples (1207, 0:00:00.490171)
-- DEBUG - [P-1] ----- extract composite classes (2): 0/0 new triple (1207, 0:00:00.032944)
+- INFO - [P-1] ----- extract composite classes (1): 127/138 new triples (1207, 0:00:00.493485)
+- DEBUG - [P-1] ----- extract composite classes (2): 0/0 new triple (1207, 0:00:00.031100)
- 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.255602)
-- DEBUG - [P-1] ----- classify class net as entity from :part relation: 0/0 new triple (1217, 0:00:00.010647)
-- DEBUG - [P-1] ----- classify class net as entity from degree arguments: 0/0 new triple (1217, 0:00:00.019184)
-- INFO - [P-1] ----- Associate mother to class net from :domain relation: 5/34 new triples (1222, 0:00:00.084087)
-- DEBUG - [P-1] ----- Propagate individuals to net with same base node: 0/10 new triple (1222, 0:00:00.028742)
-- INFO - [P-1] ----- Propagate individuals to net with domain link: 3/60 new triples (1225, 0:00:00.107290)
+- INFO - [P-1] ----- classify class net as entity from core arguments: 10/181 new triples (1217, 0:00:00.256513)
+- DEBUG - [P-1] ----- classify class net as entity from :part relation: 0/0 new triple (1217, 0:00:00.009599)
+- DEBUG - [P-1] ----- classify class net as entity from degree arguments: 0/0 new triple (1217, 0:00:00.017935)
+- INFO - [P-1] ----- Associate mother to class net from :domain relation: 5/34 new triples (1222, 0:00:00.074031)
+- DEBUG - [P-1] ----- Propagate individuals to net with same base node: 0/10 new triple (1222, 0:00:00.033163)
+- INFO - [P-1] ----- Propagate individuals to net with domain link: 3/60 new triples (1225, 0:00:00.110496)
- INFO - [P-1] --- Sequence: heuristic dedeuction sequence
-- INFO - [P-1] ----- deduce individual and relation from restriction: 65/69 new triples (1290, 0:00:00.356834)
+- INFO - [P-1] ----- deduce individual and relation from restriction: 65/69 new triples (1290, 0:00:00.451428)
+- INFO - [P-1] ----- deduce individual and relation from restriction: 31/72 new triples (1321, 0:00:00.367003)
- 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-20230908/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] ----- 472 triples extracted during Transduction step
+- INFO - [P-1] ----- 503 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 (1342, 0:00:00.639166)
-- INFO - [P-1] ----- generate OWL property: 29/29 new triples (1371, 0:00:00.294864)
-- INFO - [P-1] ----- generate OWL individual: 20/21 new triples (1391, 0:00:00.214574)
-- INFO - [P-1] ----- generate OWL relation (property): 3/3 new triples (1394, 0:00:00.101722)
+- INFO - [P-1] ----- generate OWL class: 52/55 new triples (1373, 0:00:00.592159)
+- INFO - [P-1] ----- generate OWL property: 29/29 new triples (1402, 0:00:00.296340)
+- INFO - [P-1] ----- generate OWL individual: 20/21 new triples (1422, 0:00:00.214764)
+- INFO - [P-1] ----- generate OWL relation (property): 5/5 new triples (1427, 0:00:00.156193)
- 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/
- DEBUG - [P-1] ----- work_file: /home/lamenji/Workspace/Tetras/tenet/tests/main_tests/test_owl_output/SolarSystemDev01-20230908/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_Generation.ttl
- DEBUG - [P-1] ----- base: http://https://tenet.tetras-libre.fr/demo/01//Generation
-- INFO - [P-1] ----- 104 triples extracted during Generation step
+- INFO - [P-1] ----- 106 triples extracted during Generation step
- DEBUG - [P-1] --- Serializing graph to factoid file (/home/lamenji/Workspace/Tetras/tenet/tests/main_tests/test_owl_output/SolarSystemDev01-20230908/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_factoid.ttl)
-- DEBUG - [P-1] ----- Number of factoids: 108
+- DEBUG - [P-1] ----- Number of factoids: 110
- DEBUG - [P-1] ----- Graph base: http://https://tenet.tetras-libre.fr/demo/01//factoid
-- INFO - [P-1] Success (108 extracted triple(s))
+- INFO - [P-1] Success (110 extracted triple(s))
- INFO -
=== Final Ontology Generation ===
- INFO - -- Making complete factoid graph by merging the result factoids
-- INFO - ----- Total factoid number: 108
+- INFO - ----- Total factoid number: 110
- INFO - -- Serializing graph to factoid string
- INFO - ----- Graph base: http://https://tenet.tetras-libre.fr/demo/01//factoid
- INFO - -- Serializing graph to factoid file
diff --git a/tests/main_tests/test_owl_output/SolarSystemDev01-20230908/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-20230908/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_Generation.ttl
index fca371ed8e388a1752fd3ac42173c07308c38eb7..b1f68d054ee7b13e450636cf25994ce9f9febbe6 100644
--- a/tests/main_tests/test_owl_output/SolarSystemDev01-20230908/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-20230908/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_Generation.ttl
@@ -654,6 +654,39 @@ net:relation_gravitation-SSC-01-01-bind-SolarSystem_g a net:Relation_Net ;
net:hasStructure "SSC-01-01" ;
net:hasSubjectNet net:individual_gravitation-SSC-01-01_g .
+net:relation_object-SSC-01-01-orbit-hasManner-direct-sun-SSC-01-01_o a net:Relation_Net ;
+ net:composeFrom net:compositeProperty_orbit-hasManner-direct_o2,
+ net:individual_object-SSC-01-01_o,
+ net:individual_sun-SSC-01-01_s2 ;
+ net:coverBaseNode :leaf_object_o ;
+ net:coverNode :leaf_direct-02_d,
+ :leaf_direct-02_d2,
+ :leaf_hasManner_m9,
+ :leaf_object_o,
+ :leaf_orbit-01_o2,
+ :leaf_sun_s2 ;
+ net:hasNaming "object-SSC-01-01-orbit-hasManner-direct-sun-SSC-01-01" ;
+ net:hasObjectNet net:individual_sun-SSC-01-01_s2 ;
+ net:hasPredicateNet net:compositeProperty_orbit-hasManner-direct_o2 ;
+ net:hasStructure "SSC-01-01" ;
+ net:hasSubjectNet net:individual_object-SSC-01-01_o .
+
+net:relation_object-SSC-01-01-orbit-hasManner-not-direct-sun-SSC-01-01_o a net:Relation_Net ;
+ net:composeFrom net:compositeProperty_orbit-hasManner-not-direct_o2,
+ net:individual_object-SSC-01-01_o,
+ net:individual_sun-SSC-01-01_s2 ;
+ net:coverBaseNode :leaf_object_o ;
+ net:coverNode :leaf_direct-02_d2,
+ :leaf_hasManner_m9,
+ :leaf_object_o,
+ :leaf_orbit-01_o2,
+ :leaf_sun_s2 ;
+ net:hasNaming "object-SSC-01-01-orbit-hasManner-not-direct-sun-SSC-01-01" ;
+ net:hasObjectNet net:individual_sun-SSC-01-01_s2 ;
+ net:hasPredicateNet net:compositeProperty_orbit-hasManner-not-direct_o2 ;
+ net:hasStructure "SSC-01-01" ;
+ net:hasSubjectNet net:individual_object-SSC-01-01_o .
+
net:type a owl:AnnotationProperty ;
rdfs:label "type "@fr ;
rdfs:subPropertyOf net:netProperty .
@@ -848,7 +881,9 @@ ns1:object-SSC-01-01 a owl:Individual,
ns1:object-orbit-hasManner-direct-sun,
ns1:object-orbit-hasManner-not-direct-sun ;
rdfs:label "any object" ;
- sys:fromStructure "SSC-01-01" .
+ sys:fromStructure "SSC-01-01" ;
+ ns1:orbit-hasManner-direct ns1:sun-SSC-01-01 ;
+ ns1:orbit-hasManner-not-direct ns1:sun-SSC-01-01 .
ns1:object-orbit-hasManner-direct-sun a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
@@ -872,11 +907,6 @@ ns1:orbit-hasManner-not-direct a owl:ObjectProperty ;
rdfs:subPropertyOf ns1:orbit ;
sys:fromStructure "SSC-01-01" .
-ns1:sun-SSC-01-01 a owl:Individual,
- ns1:sun ;
- rdfs:label "any sun" ;
- sys:fromStructure "SSC-01-01" .
-
ns1:system-hasPart-object a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty ns1:hasPart ;
@@ -1241,24 +1271,6 @@ net:individual_gravitation-SSC-01-01_g a net:Individual_Net ;
net:hasNaming "gravitation-SSC-01-01" ;
net:hasStructure "SSC-01-01" .
-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:compositeClass_object-orbit-hasManner-direct-sun_o,
- net:compositeClass_object-orbit-hasManner-not-direct-sun_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" .
@@ -1322,6 +1334,11 @@ ns2:Frame a ns2:Concept,
:value_negative a :AMR_Value ;
rdfs:label "negative" .
+ns1:sun-SSC-01-01 a owl:Individual,
+ ns1:sun ;
+ rdfs:label "any sun" ;
+ sys:fromStructure "SSC-01-01" .
+
net:Axiom_Net a owl:Class ;
rdfs:subClassOf net:Net .
@@ -1332,9 +1349,6 @@ net:Net_Structure a owl:Class ;
rdfs:label "Semantic Net Structure" ;
rdfs:comment "A semantic net captures a set of nodes, and associates this set with type(s) and value(s)." .
-net:Relation_Net a owl:Class ;
- rdfs:subClassOf net:Net .
-
net:atomClass_gravitation_g a net:Atom_Class_Net,
net:Class_Net,
net:Deprecated_Net ;
@@ -1345,40 +1359,6 @@ net:atomClass_gravitation_g a net:Atom_Class_Net,
net:hasNaming "gravitation" ;
net:hasStructure "SSC-01-01" .
-net:compositeProperty_orbit-hasManner-direct_o2 a net:Composite_Property_Net ;
- :role_ARG0 net:atomClass_object_o ;
- :role_ARG1 net:atomClass_sun_s2 ;
- net:composeFrom net:atomProperty_direct_d,
- net:atomProperty_direct_d2,
- net:atomProperty_hasManner_m9,
- net:atomProperty_orbit_o2 ;
- net:coverBaseNode :leaf_orbit-01_o2 ;
- net:coverNode :leaf_direct-02_d,
- :leaf_direct-02_d2,
- :leaf_hasManner_m9,
- :leaf_orbit-01_o2 ;
- net:hasMotherPropertyNet net:atomProperty_orbit_o2 ;
- net:hasNaming "orbit-hasManner-direct" ;
- net:hasPropertyType owl:ObjectProperty ;
- net:hasRestriction net:restriction_hasManner-direct_m9 ;
- net:hasStructure "SSC-01-01" .
-
-net:compositeProperty_orbit-hasManner-not-direct_o2 a net:Composite_Property_Net ;
- :role_ARG0 net:atomClass_object_o ;
- :role_ARG1 net:atomClass_sun_s2 ;
- net:composeFrom net:atomProperty_hasManner_m9,
- net:atomProperty_orbit_o2,
- net:compositeProperty_not-direct_d2 ;
- net:coverBaseNode :leaf_orbit-01_o2 ;
- net:coverNode :leaf_direct-02_d2,
- :leaf_hasManner_m9,
- :leaf_orbit-01_o2 ;
- net:hasMotherPropertyNet net:atomProperty_orbit_o2 ;
- net:hasNaming "orbit-hasManner-not-direct" ;
- net:hasPropertyType owl:ObjectProperty ;
- net:hasRestriction net:restriction_hasManner-not-direct_m9 ;
- net:hasStructure "SSC-01-01" .
-
net:has_relation_value a owl:AnnotationProperty ;
rdfs:label "has relation value" ;
rdfs:subPropertyOf net:has_object .
@@ -1466,6 +1446,9 @@ sys:Out_Structure a owl:Class ;
net:Composite_Class_Net a owl:Class ;
rdfs:subClassOf net:Class_Net .
+net:Relation_Net a owl:Class ;
+ rdfs:subClassOf net:Net .
+
net:atomProperty_bind_b a net:Atom_Property_Net ;
:role_ARG0 net:atomClass_gravitation_g ;
:role_ARG1 net:atomClass_system_s ;
@@ -1482,6 +1465,40 @@ net:atomProperty_bind_b a net:Atom_Property_Net ;
net:targetArgumentNode :leaf_gravitation_g,
:leaf_system_s .
+net:compositeProperty_orbit-hasManner-direct_o2 a net:Composite_Property_Net ;
+ :role_ARG0 net:atomClass_object_o ;
+ :role_ARG1 net:atomClass_sun_s2 ;
+ net:composeFrom net:atomProperty_direct_d,
+ net:atomProperty_direct_d2,
+ net:atomProperty_hasManner_m9,
+ net:atomProperty_orbit_o2 ;
+ net:coverBaseNode :leaf_orbit-01_o2 ;
+ net:coverNode :leaf_direct-02_d,
+ :leaf_direct-02_d2,
+ :leaf_hasManner_m9,
+ :leaf_orbit-01_o2 ;
+ net:hasMotherPropertyNet net:atomProperty_orbit_o2 ;
+ net:hasNaming "orbit-hasManner-direct" ;
+ net:hasPropertyType owl:ObjectProperty ;
+ net:hasRestriction net:restriction_hasManner-direct_m9 ;
+ net:hasStructure "SSC-01-01" .
+
+net:compositeProperty_orbit-hasManner-not-direct_o2 a net:Composite_Property_Net ;
+ :role_ARG0 net:atomClass_object_o ;
+ :role_ARG1 net:atomClass_sun_s2 ;
+ net:composeFrom net:atomProperty_hasManner_m9,
+ net:atomProperty_orbit_o2,
+ net:compositeProperty_not-direct_d2 ;
+ net:coverBaseNode :leaf_orbit-01_o2 ;
+ net:coverNode :leaf_direct-02_d2,
+ :leaf_hasManner_m9,
+ :leaf_orbit-01_o2 ;
+ net:hasMotherPropertyNet net:atomProperty_orbit_o2 ;
+ net:hasNaming "orbit-hasManner-not-direct" ;
+ net:hasPropertyType owl:ObjectProperty ;
+ net:hasRestriction net:restriction_hasManner-not-direct_m9 ;
+ net:hasStructure "SSC-01-01" .
+
net:netProperty a owl:AnnotationProperty ;
rdfs:label "netProperty" .
@@ -1533,6 +1550,24 @@ net:atomProperty_orbit_o2 a net:Atom_Property_Net,
net:targetArgumentNode :leaf_object_o,
:leaf_sun_s2 .
+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:compositeClass_object-orbit-hasManner-direct-sun_o,
+ net:compositeClass_object-orbit-hasManner-not-direct-sun_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" .
+
rdf:Property a owl:Class .
:AMR_Relation a owl:Class ;
@@ -1544,10 +1579,6 @@ rdf:Property a owl:Class .
:hasConcept :concept_bind-01 ;
:hasVariable :variable_b .
-:leaf_direct-02_d a :AMR_Leaf ;
- :hasConcept :concept_direct-02 ;
- :hasVariable :variable_d .
-
net:Deprecated_Net a owl:Class ;
rdfs:subClassOf net:Net .
@@ -1566,6 +1597,10 @@ net:atomClass_system_p a net:Atom_Class_Net,
net:hasNaming "system" ;
net:hasStructure "SSC-01-01" .
+:leaf_direct-02_d a :AMR_Leaf ;
+ :hasConcept :concept_direct-02 ;
+ :hasVariable :variable_d .
+
sys:Out_ObjectProperty a owl:ObjectProperty .
net:compositeProperty_not-direct_d2 a net:Composite_Property_Net ;
@@ -1672,6 +1707,9 @@ net:atomProperty_hasPart_p9 a net:Atom_Property_Net ;
net:targetArgumentNode :leaf_and_a,
:leaf_system_s .
+:AMR_Variable a owl:Class ;
+ rdfs:subClassOf :AMR_Element .
+
:leaf_hasManner_m9 a :AMR_Leaf ;
:edge_m9_ARG0_o2 :leaf_orbit-01_o2 ;
:edge_m9_ARG1_o3 :leaf_or_o3 ;
@@ -1679,17 +1717,6 @@ net:atomProperty_hasPart_p9 a net:Atom_Property_Net ;
:hasVariable :variable_m9 ;
:isReifiedLeaf true .
-:AMR_Variable a owl:Class ;
- rdfs:subClassOf :AMR_Element .
-
-:leaf_object_o a :AMR_Leaf ;
- :hasConcept :concept_object ;
- :hasVariable :variable_o .
-
-:leaf_sun_s2 a :AMR_Leaf ;
- :hasConcept :concept_sun ;
- :hasVariable :variable_s2 .
-
net:atomClass_object_o a net:Atom_Class_Net,
net:Class_Net,
net:Deprecated_Net ;
@@ -1708,11 +1735,9 @@ net:atomClass_object_o a net:Atom_Class_Net,
:hasConcept :concept_system ;
:hasVariable :variable_s .
-:leaf_orbit-01_o2 a :AMR_Leaf ;
- :edge_o2_o :leaf_object_o ;
- :edge_o2_s2 :leaf_sun_s2 ;
- :hasConcept :concept_orbit-01 ;
- :hasVariable :variable_o2 .
+:leaf_sun_s2 a :AMR_Leaf ;
+ :hasConcept :concept_sun ;
+ :hasVariable :variable_s2 .
net:atomClass_sun_s2 a net:Atom_Class_Net,
net:Class_Net ;
@@ -1727,14 +1752,24 @@ net:objectValue a owl:AnnotationProperty ;
rdfs:label "valuations"@fr ;
rdfs:subPropertyOf net:objectProperty .
+:AMR_Edge a owl:Class ;
+ rdfs:subClassOf :AMR_Structure .
+
+:leaf_object_o a :AMR_Leaf ;
+ :hasConcept :concept_object ;
+ :hasVariable :variable_o .
+
+:leaf_orbit-01_o2 a :AMR_Leaf ;
+ :edge_o2_o :leaf_object_o ;
+ :edge_o2_s2 :leaf_sun_s2 ;
+ :hasConcept :concept_orbit-01 ;
+ :hasVariable :variable_o2 .
+
:leaf_direct-02_d2 a :AMR_Leaf ;
:edge_d2_polarity_negative :value_negative ;
:hasConcept :concept_direct-02 ;
:hasVariable :variable_d2 .
-:AMR_Edge a owl:Class ;
- rdfs:subClassOf :AMR_Structure .
-
:AMR_Linked_Data a owl:Class .
[] a owl:AllDisjointClasses ;
diff --git a/tests/main_tests/test_owl_output/SolarSystemDev01-20230908/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-20230908/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_Transduction.ttl
index 88190d6545741a1219014c03e7e9108e1f812165..f4823d2a048487397949919f4fff5a53e1ad05fd 100644
--- a/tests/main_tests/test_owl_output/SolarSystemDev01-20230908/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-20230908/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_Transduction.ttl
@@ -636,6 +636,39 @@ net:relation_gravitation-SSC-01-01-bind-SolarSystem_g a net:Relation_Net ;
net:hasStructure "SSC-01-01" ;
net:hasSubjectNet net:individual_gravitation-SSC-01-01_g .
+net:relation_object-SSC-01-01-orbit-hasManner-direct-sun-SSC-01-01_o a net:Relation_Net ;
+ net:composeFrom net:compositeProperty_orbit-hasManner-direct_o2,
+ net:individual_object-SSC-01-01_o,
+ net:individual_sun-SSC-01-01_s2 ;
+ net:coverBaseNode :leaf_object_o ;
+ net:coverNode :leaf_direct-02_d,
+ :leaf_direct-02_d2,
+ :leaf_hasManner_m9,
+ :leaf_object_o,
+ :leaf_orbit-01_o2,
+ :leaf_sun_s2 ;
+ net:hasNaming "object-SSC-01-01-orbit-hasManner-direct-sun-SSC-01-01" ;
+ net:hasObjectNet net:individual_sun-SSC-01-01_s2 ;
+ net:hasPredicateNet net:compositeProperty_orbit-hasManner-direct_o2 ;
+ net:hasStructure "SSC-01-01" ;
+ net:hasSubjectNet net:individual_object-SSC-01-01_o .
+
+net:relation_object-SSC-01-01-orbit-hasManner-not-direct-sun-SSC-01-01_o a net:Relation_Net ;
+ net:composeFrom net:compositeProperty_orbit-hasManner-not-direct_o2,
+ net:individual_object-SSC-01-01_o,
+ net:individual_sun-SSC-01-01_s2 ;
+ net:coverBaseNode :leaf_object_o ;
+ net:coverNode :leaf_direct-02_d2,
+ :leaf_hasManner_m9,
+ :leaf_object_o,
+ :leaf_orbit-01_o2,
+ :leaf_sun_s2 ;
+ net:hasNaming "object-SSC-01-01-orbit-hasManner-not-direct-sun-SSC-01-01" ;
+ net:hasObjectNet net:individual_sun-SSC-01-01_s2 ;
+ net:hasPredicateNet net:compositeProperty_orbit-hasManner-not-direct_o2 ;
+ net:hasStructure "SSC-01-01" ;
+ net:hasSubjectNet net:individual_object-SSC-01-01_o .
+
net:type a owl:AnnotationProperty ;
rdfs:label "type "@fr ;
rdfs:subPropertyOf net:netProperty .
@@ -1138,24 +1171,6 @@ net:individual_gravitation-SSC-01-01_g a net:Individual_Net ;
net:hasNaming "gravitation-SSC-01-01" ;
net:hasStructure "SSC-01-01" .
-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:compositeClass_object-orbit-hasManner-direct-sun_o,
- net:compositeClass_object-orbit-hasManner-not-direct-sun_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" .
@@ -1229,9 +1244,6 @@ net:Net_Structure a owl:Class ;
rdfs:label "Semantic Net Structure" ;
rdfs:comment "A semantic net captures a set of nodes, and associates this set with type(s) and value(s)." .
-net:Relation_Net a owl:Class ;
- rdfs:subClassOf net:Net .
-
net:atomClass_gravitation_g a net:Atom_Class_Net,
net:Class_Net,
net:Deprecated_Net ;
@@ -1242,40 +1254,6 @@ net:atomClass_gravitation_g a net:Atom_Class_Net,
net:hasNaming "gravitation" ;
net:hasStructure "SSC-01-01" .
-net:compositeProperty_orbit-hasManner-direct_o2 a net:Composite_Property_Net ;
- :role_ARG0 net:atomClass_object_o ;
- :role_ARG1 net:atomClass_sun_s2 ;
- net:composeFrom net:atomProperty_direct_d,
- net:atomProperty_direct_d2,
- net:atomProperty_hasManner_m9,
- net:atomProperty_orbit_o2 ;
- net:coverBaseNode :leaf_orbit-01_o2 ;
- net:coverNode :leaf_direct-02_d,
- :leaf_direct-02_d2,
- :leaf_hasManner_m9,
- :leaf_orbit-01_o2 ;
- net:hasMotherPropertyNet net:atomProperty_orbit_o2 ;
- net:hasNaming "orbit-hasManner-direct" ;
- net:hasPropertyType owl:ObjectProperty ;
- net:hasRestriction net:restriction_hasManner-direct_m9 ;
- net:hasStructure "SSC-01-01" .
-
-net:compositeProperty_orbit-hasManner-not-direct_o2 a net:Composite_Property_Net ;
- :role_ARG0 net:atomClass_object_o ;
- :role_ARG1 net:atomClass_sun_s2 ;
- net:composeFrom net:atomProperty_hasManner_m9,
- net:atomProperty_orbit_o2,
- net:compositeProperty_not-direct_d2 ;
- net:coverBaseNode :leaf_orbit-01_o2 ;
- net:coverNode :leaf_direct-02_d2,
- :leaf_hasManner_m9,
- :leaf_orbit-01_o2 ;
- net:hasMotherPropertyNet net:atomProperty_orbit_o2 ;
- net:hasNaming "orbit-hasManner-not-direct" ;
- net:hasPropertyType owl:ObjectProperty ;
- net:hasRestriction net:restriction_hasManner-not-direct_m9 ;
- net:hasStructure "SSC-01-01" .
-
net:has_relation_value a owl:AnnotationProperty ;
rdfs:label "has relation value" ;
rdfs:subPropertyOf net:has_object .
@@ -1347,6 +1325,9 @@ sys:Out_Structure a owl:Class ;
net:Composite_Class_Net a owl:Class ;
rdfs:subClassOf net:Class_Net .
+net:Relation_Net a owl:Class ;
+ rdfs:subClassOf net:Net .
+
net:atomProperty_bind_b a net:Atom_Property_Net ;
:role_ARG0 net:atomClass_gravitation_g ;
:role_ARG1 net:atomClass_system_s ;
@@ -1363,6 +1344,40 @@ net:atomProperty_bind_b a net:Atom_Property_Net ;
net:targetArgumentNode :leaf_gravitation_g,
:leaf_system_s .
+net:compositeProperty_orbit-hasManner-direct_o2 a net:Composite_Property_Net ;
+ :role_ARG0 net:atomClass_object_o ;
+ :role_ARG1 net:atomClass_sun_s2 ;
+ net:composeFrom net:atomProperty_direct_d,
+ net:atomProperty_direct_d2,
+ net:atomProperty_hasManner_m9,
+ net:atomProperty_orbit_o2 ;
+ net:coverBaseNode :leaf_orbit-01_o2 ;
+ net:coverNode :leaf_direct-02_d,
+ :leaf_direct-02_d2,
+ :leaf_hasManner_m9,
+ :leaf_orbit-01_o2 ;
+ net:hasMotherPropertyNet net:atomProperty_orbit_o2 ;
+ net:hasNaming "orbit-hasManner-direct" ;
+ net:hasPropertyType owl:ObjectProperty ;
+ net:hasRestriction net:restriction_hasManner-direct_m9 ;
+ net:hasStructure "SSC-01-01" .
+
+net:compositeProperty_orbit-hasManner-not-direct_o2 a net:Composite_Property_Net ;
+ :role_ARG0 net:atomClass_object_o ;
+ :role_ARG1 net:atomClass_sun_s2 ;
+ net:composeFrom net:atomProperty_hasManner_m9,
+ net:atomProperty_orbit_o2,
+ net:compositeProperty_not-direct_d2 ;
+ net:coverBaseNode :leaf_orbit-01_o2 ;
+ net:coverNode :leaf_direct-02_d2,
+ :leaf_hasManner_m9,
+ :leaf_orbit-01_o2 ;
+ net:hasMotherPropertyNet net:atomProperty_orbit_o2 ;
+ net:hasNaming "orbit-hasManner-not-direct" ;
+ net:hasPropertyType owl:ObjectProperty ;
+ net:hasRestriction net:restriction_hasManner-not-direct_m9 ;
+ net:hasStructure "SSC-01-01" .
+
net:netProperty a owl:AnnotationProperty ;
rdfs:label "netProperty" .
@@ -1417,6 +1432,24 @@ net:atomProperty_orbit_o2 a net:Atom_Property_Net,
net:targetArgumentNode :leaf_object_o,
:leaf_sun_s2 .
+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:compositeClass_object-orbit-hasManner-direct-sun_o,
+ net:compositeClass_object-orbit-hasManner-not-direct-sun_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" .
+
rdf:Property a owl:Class .
:AMR_Relation a owl:Class ;
@@ -1428,10 +1461,6 @@ rdf:Property a owl:Class .
:hasConcept :concept_bind-01 ;
:hasVariable :variable_b .
-:leaf_direct-02_d a :AMR_Leaf ;
- :hasConcept :concept_direct-02 ;
- :hasVariable :variable_d .
-
net:Deprecated_Net a owl:Class ;
rdfs:subClassOf net:Net .
@@ -1450,6 +1479,10 @@ net:atomClass_system_p a net:Atom_Class_Net,
net:hasNaming "system" ;
net:hasStructure "SSC-01-01" .
+:leaf_direct-02_d a :AMR_Leaf ;
+ :hasConcept :concept_direct-02 ;
+ :hasVariable :variable_d .
+
net:compositeProperty_not-direct_d2 a net:Composite_Property_Net ;
:role_polarity net:value_negative_blankNode ;
net:composeFrom net:atomProperty_direct_d2 ;
@@ -1551,6 +1584,9 @@ net:atomProperty_hasPart_p9 a net:Atom_Property_Net ;
net:targetArgumentNode :leaf_and_a,
:leaf_system_s .
+:AMR_Variable a owl:Class ;
+ rdfs:subClassOf :AMR_Element .
+
:leaf_hasManner_m9 a :AMR_Leaf ;
:edge_m9_ARG0_o2 :leaf_orbit-01_o2 ;
:edge_m9_ARG1_o3 :leaf_or_o3 ;
@@ -1558,17 +1594,6 @@ net:atomProperty_hasPart_p9 a net:Atom_Property_Net ;
:hasVariable :variable_m9 ;
:isReifiedLeaf true .
-:AMR_Variable a owl:Class ;
- rdfs:subClassOf :AMR_Element .
-
-:leaf_object_o a :AMR_Leaf ;
- :hasConcept :concept_object ;
- :hasVariable :variable_o .
-
-:leaf_sun_s2 a :AMR_Leaf ;
- :hasConcept :concept_sun ;
- :hasVariable :variable_s2 .
-
net:atomClass_object_o a net:Atom_Class_Net,
net:Class_Net,
net:Deprecated_Net ;
@@ -1587,11 +1612,9 @@ net:atomClass_object_o a net:Atom_Class_Net,
:hasConcept :concept_system ;
:hasVariable :variable_s .
-:leaf_orbit-01_o2 a :AMR_Leaf ;
- :edge_o2_o :leaf_object_o ;
- :edge_o2_s2 :leaf_sun_s2 ;
- :hasConcept :concept_orbit-01 ;
- :hasVariable :variable_o2 .
+:leaf_sun_s2 a :AMR_Leaf ;
+ :hasConcept :concept_sun ;
+ :hasVariable :variable_s2 .
net:atomClass_sun_s2 a net:Atom_Class_Net,
net:Class_Net ;
@@ -1606,14 +1629,24 @@ net:objectValue a owl:AnnotationProperty ;
rdfs:label "valuations"@fr ;
rdfs:subPropertyOf net:objectProperty .
+:AMR_Edge a owl:Class ;
+ rdfs:subClassOf :AMR_Structure .
+
+:leaf_object_o a :AMR_Leaf ;
+ :hasConcept :concept_object ;
+ :hasVariable :variable_o .
+
+:leaf_orbit-01_o2 a :AMR_Leaf ;
+ :edge_o2_o :leaf_object_o ;
+ :edge_o2_s2 :leaf_sun_s2 ;
+ :hasConcept :concept_orbit-01 ;
+ :hasVariable :variable_o2 .
+
:leaf_direct-02_d2 a :AMR_Leaf ;
:edge_d2_polarity_negative :value_negative ;
:hasConcept :concept_direct-02 ;
:hasVariable :variable_d2 .
-:AMR_Edge a owl:Class ;
- rdfs:subClassOf :AMR_Structure .
-
:AMR_Linked_Data a owl:Class .
[] a owl:AllDisjointClasses ;
diff --git a/tests/main_tests/test_owl_output/SolarSystemDev01-20230908/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_factoid.ttl b/tests/main_tests/test_owl_output/SolarSystemDev01-20230908/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_factoid.ttl
index 92c96354440e42a5ef2ea17bc580b4637fbe6b27..e3e1f15380cce888500a7135c2884f840b6c1475 100644
--- a/tests/main_tests/test_owl_output/SolarSystemDev01-20230908/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_factoid.ttl
+++ b/tests/main_tests/test_owl_output/SolarSystemDev01-20230908/technical-data/tenet.tetras-libre.fr_demo_01-1/tenet.tetras-libre.fr_demo_01_factoid.ttl
@@ -54,7 +54,9 @@ ns2:object-SSC-01-01 a owl:Individual,
ns2:object-orbit-hasManner-direct-sun,
ns2:object-orbit-hasManner-not-direct-sun ;
rdfs:label "any object" ;
- ns1:fromStructure "SSC-01-01" .
+ ns1:fromStructure "SSC-01-01" ;
+ ns2:orbit-hasManner-direct ns2:sun-SSC-01-01 ;
+ ns2:orbit-hasManner-not-direct ns2:sun-SSC-01-01 .
ns2:object-orbit-hasManner-direct-sun a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
@@ -78,11 +80,6 @@ ns2:orbit-hasManner-not-direct a owl:ObjectProperty ;
rdfs:subPropertyOf ns2:orbit ;
ns1:fromStructure "SSC-01-01" .
-ns2:sun-SSC-01-01 a owl:Individual,
- ns2:sun ;
- rdfs:label "any sun" ;
- ns1:fromStructure "SSC-01-01" .
-
ns2:system-hasPart-object a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty ns2:hasPart ;
@@ -107,6 +104,11 @@ ns2:orbit a owl:ObjectProperty ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SSC-01-01" .
+ns2:sun-SSC-01-01 a owl:Individual,
+ ns2:sun ;
+ rdfs:label "any sun" ;
+ ns1:fromStructure "SSC-01-01" .
+
ns2:object a owl:Class ;
rdfs:label "object" ;
rdfs:subClassOf ns1:Entity ;