From fdad81f38f1a26191cf446eb911b84cb0d0054ac Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Aur=C3=A9lien=20Lamercerie?=
<aurelien.lamercerie@tetras-libre.fr>
Date: Mon, 22 May 2023 17:41:15 +0200
Subject: [PATCH] Update OWL AMR Scheme to provide OWL class generation
---
tenet/scheme/owl_amr_scheme_1.py | 28 +--
tenet/tenet.log | 175 ++++++++++++++++++
.../SolarSystemDev01_factoid.ttl | 139 ++++++--------
.../technical-data/tenet.log | 128 ++++++-------
.../tenet.tetras-libre.fr_demo_01_factoid.ttl | 139 ++++++--------
...net.tetras-libre.fr_demo_01_generation.ttl | 142 +++++++-------
6 files changed, 422 insertions(+), 329 deletions(-)
diff --git a/tenet/scheme/owl_amr_scheme_1.py b/tenet/scheme/owl_amr_scheme_1.py
index 87df2e0d..a117e50e 100644
--- a/tenet/scheme/owl_amr_scheme_1.py
+++ b/tenet/scheme/owl_amr_scheme_1.py
@@ -213,18 +213,18 @@ composite_class_extraction_sequence = ['composite class extraction sequence',
main_generation_sequence = {
'label': 'main-generation-sequence',
'comment': 'Main generation sequence',
- 'rule_key_list': ['compute-uri-for-owl-declaration-1',
- 'compute-uri-for-owl-declaration-2',
- 'compute-uri-for-owl-declaration-3',
- 'compute-uri-for-owl-declaration-4',
- 'compute-uri-for-owl-declaration-5',
- 'compute-uri-for-owl-declaration-6',
- 'compute-uri-for-owl-declaration-7',
+ 'rule_key_list': [# 'compute-uri-for-owl-declaration-1',
+ # 'compute-uri-for-owl-declaration-2',
+ # 'compute-uri-for-owl-declaration-3',
+ # 'compute-uri-for-owl-declaration-4',
+ # 'compute-uri-for-owl-declaration-5',
+ # 'compute-uri-for-owl-declaration-6',
+ # 'compute-uri-for-owl-declaration-7',
# 'compute-uri-for-owl-declaration-101',
# 'compute-uri-for-owl-declaration-102',
- 'generate-atom-class',
- 'classify-atom-class-1',
- 'classify-atom-class-2',
+ # 'generate-atom-class',
+ # 'classify-atom-class-1',
+ # 'classify-atom-class-2',
'generate-individual',
'classify-individual-1',
'classify-individual-2',
@@ -243,6 +243,9 @@ main_generation_sequence = {
# 'generate-composite-property-3']
}
+class_generation_sequence = ['class_generation_sequence',
+ rule.generate_owl_class]
+
property_generation_sequence = ['property_generation_sequence',
rule.generate_owl_property]
@@ -277,8 +280,9 @@ scheme = {
# classification_sequence],
'generation': [default_refinement_sequence,
- main_generation_sequence,
- property_generation_sequence]
+ class_generation_sequence,
+ property_generation_sequence,
+ main_generation_sequence]
}
diff --git a/tenet/tenet.log b/tenet/tenet.log
index e69de29b..443c2046 100644
--- a/tenet/tenet.log
+++ b/tenet/tenet.log
@@ -0,0 +1,175 @@
+- INFO - [TENET] Extraction Processing
+- INFO -
+ === Process Initialization ===
+- INFO - -- Process Setting
+- INFO - ----- Corpus source: /home/lamenji/Workspace/Tetras/tenet/tests/main_tests/test_data/amrDocuments/dev/solar-system-01/SSC-01-01.stog.amr.ttl (amr)
+- INFO - ----- Base output dir: /home/lamenji/Workspace/Tetras/tenet/tests/main_tests/test_owl_output/SolarSystemDev01-20230522/SolarSystemDev01_factoid.ttl
+- INFO - ----- technical dir path: /home/lamenji/Workspace/Tetras/tenet/tests/main_tests/test_owl_output/SolarSystemDev01-20230522/technical-data/
+- INFO - ----- Ontology target (id): https://tenet.tetras-libre.fr/demo/01/
+- INFO - ----- Current path: /home/lamenji/Workspace/Tetras/tenet/tenet
+- DEBUG - ----- Config file: /home/lamenji/Workspace/Tetras/tenet/tenet/owl_amr_config.xml
+- DEBUG -
+ *** Config (Full Parameters) ***
+ -- Base Parameters
+ ----- config file: /home/lamenji/Workspace/Tetras/tenet/tenet/owl_amr_config.xml
+ ----- uuid: https://tenet.tetras-libre.fr/demo/01/
+ ----- technical base name: tenet.tetras-libre.fr_demo_01
+ ----- source corpus: /home/lamenji/Workspace/Tetras/tenet/tests/main_tests/test_data/amrDocuments/dev/solar-system-01/SSC-01-01.stog.amr.ttl
+ ----- target reference: base
+ ----- process level: sentence
+ ----- source type: amr
+ ----- extraction scheme: owl_amr_scheme_1
+ -- Directories
+ ----- base directory: ./
+ ----- structure directory: ./structure/
+ ----- CTS directory: ./scheme/
+ ----- target frame directory: ./../input/targetFrameStructure/
+ ----- input document directory:
+ ----- base output dir: /home/lamenji/Workspace/Tetras/tenet/tests/main_tests/test_owl_output/SolarSystemDev01-20230522/SolarSystemDev01_factoid.ttl
+ ----- output directory: /home/lamenji/Workspace/Tetras/tenet/tests/main_tests/test_owl_output/SolarSystemDev01-20230522/SolarSystemDev01_factoid.ttltenet.tetras-libre.fr_demo_01-20230522/
+ ----- sentence output directory: /home/lamenji/Workspace/Tetras/tenet/tests/main_tests/test_owl_output/SolarSystemDev01-20230522/technical-data/
+ ----- technical dir path: /home/lamenji/Workspace/Tetras/tenet/tests/main_tests/test_owl_output/SolarSystemDev01-20230522/technical-data/
+ -- Config File Definition
+ ----- schema file: ./structure/amr-rdf-schema.ttl
+ ----- semantic net file: ./structure/owl-snet-schema.ttl
+ ----- config param file: ./structure/config-parameters.ttl
+ ----- base ontology file: ./structure/base-ontology.ttl
+ ----- CTS file: ./scheme/owl_amr_scheme_1.py
+ -- Useful References for Ontology
+ ----- base URI: https://tenet.tetras-libre.fr/working
+ ----- ontology suffix: -ontology.ttl
+ ----- ontology seed suffix: -ontology-seed.ttl
+ -- Source File Definition
+ ----- source sentence file: /home/lamenji/Workspace/Tetras/tenet/tests/main_tests/test_data/amrDocuments/dev/solar-system-01/SSC-01-01.stog.amr.ttl**/*.ttl
+ -- Target File Definition
+ ----- frame ontology file: ./../input/targetFrameStructure/base-ontology.ttl
+ ----- frame ontology seed file: ./../input/targetFrameStructure/base-ontology-seed.ttl
+ -- Output
+ ----- ontology namespace: https://tenet.tetras-libre.fr/base-ontology/
+ ----- output file: /home/lamenji/Workspace/Tetras/tenet/tests/main_tests/test_owl_output/SolarSystemDev01-20230522/technical-data/tenet.tetras-libre.fr_demo_01.ttl
+ *** - ***
+- INFO -
+ === Extraction Processing ===
+- INFO - -- Work Structure Preparation
+- DEBUG - --- Graph Initialization
+- DEBUG - ----- Configuration Loading
+- DEBUG - -------- RDF Schema (320)
+- DEBUG - -------- Semantic Net Definition (486)
+- DEBUG - -------- Config Parameter Definition (520)
+- DEBUG - ----- Frame Ontology Loading
+- DEBUG - -------- Base Ontology produced as output (550)
+- DEBUG - --- Source Data Import
+- DEBUG - ----- Sentence Loading
+- DEBUG - -------- /home/lamenji/Workspace/Tetras/tenet/tests/main_tests/test_data/amrDocuments/dev/solar-system-01/SSC-01-01.stog.amr.ttl (598)
+- DEBUG - --- Export work graph as turtle
+- DEBUG - ----- Work graph file: /home/lamenji/Workspace/Tetras/tenet/tests/main_tests/test_owl_output/SolarSystemDev01-20230522/technical-data/tenet.tetras-libre.fr_demo_01-0/tenet.tetras-libre.fr_demo_01.ttl
+- INFO - ----- Sentence (id): SSC-01-01
+- INFO - ----- Sentence (text): The Solar System is the gravitationally bound system of the Sun and the objects that orbit it, either directly or indirectly.
+- INFO - -- Loading Extraction Scheme (owl_amr_scheme_1)
+- DEBUG - ----- Step number: 3
+- INFO - -- Loading Extraction Rules (amr_master_rule/*)
+- DEBUG - ----- Total rule number: 87
+- INFO - -- Applying extraction step: preprocessing
+- INFO - --- *** November Transduction *** Sequence: amrld-correcting-sequence
+- INFO - ----- fix-amr-bug-about-system-solar-planet: 5/5 new triples (603, 0:00:00.028626)
+- INFO - --- *** November Transduction *** Sequence: amr-reification-sequence
+- INFO - ----- reclassify-concept-1: 10/10 new triples (613, 0:00:00.148671)
+- DEBUG - ----- reclassify-concept-2: 0/0 new triple (613, 0:00:00.061834)
+- INFO - ----- reclassify-concept-3: 12/12 new triples (625, 0:00:00.054853)
+- INFO - ----- reclassify-concept-4: 16/16 new triples (641, 0:00:00.111690)
+- INFO - ----- reclassify-concept-5: 2/4 new triples (643, 0:00:00.044237)
+- INFO - ----- reify-roles-as-concept: 10/10 new triples (653, 0:00:00.054829)
+- INFO - ----- reclassify-existing-variable: 45/45 new triples (698, 0:00:00.032948)
+- INFO - ----- add-new-variable-for-reified-concept: 8/8 new triples (706, 0:00:00.055784)
+- INFO - ----- add-amr-leaf-for-reclassified-concept: 33/33 new triples (739, 0:00:00.046270)
+- INFO - ----- add-amr-leaf-for-reified-concept: 8/8 new triples (747, 0:00:00.034900)
+- INFO - ----- add-amr-edge-for-core-relation: 27/27 new triples (774, 0:00:00.120014)
+- INFO - ----- add-amr-edge-for-reified-concept: 12/12 new triples (786, 0:00:00.134298)
+- INFO - ----- add-amr-edge-for-name-relation: 5/5 new triples (791, 0:00:00.077203)
+- DEBUG - ----- add-value-for-quant-relation: 0/0 new triple (791, 0:00:00.105434)
+- INFO - ----- add-amr-edge-for-polarity-relation: 5/5 new triples (796, 0:00:00.079188)
+- INFO - ----- update-amr-edge-role-1: 15/15 new triples (811, 0:00:00.093314)
+- INFO - ----- add-amr-root: 5/5 new triples (816, 0:00:00.024025)
+- 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-20230522/technical-data/tenet.tetras-libre.fr_demo_01-0/tenet.tetras-libre.fr_demo_01_preprocessing.ttl
+- DEBUG - ----- base: http://https://tenet.tetras-libre.fr/demo/01//preprocessing
+- INFO - ----- 218 triples extracted during preprocessing step
+- INFO - -- Applying extraction step: transduction
+- INFO - --- *** February Transduction *** Sequence: atomic extraction sequence
+- INFO - ----- extract atom classes: 30/30 new triples (846, 0:00:00.153230)
+- INFO - ----- extract atom individuals: 8/8 new triples (854, 0:00:00.053921)
+- INFO - ----- extract atomic properties: 75/75 new triples (929, 0:00:00.205575)
+- INFO - ----- extract atom values: 10/10 new triples (939, 0:00:00.053396)
+- INFO - ----- extract atom phenomena: 14/14 new triples (953, 0:00:00.068316)
+- INFO - ----- propagate atom relations: 24/68 new triples (977, 0:00:01.073603)
+- INFO - --- *** February Transduction *** Sequence: classification sequence (1)
+- DEBUG - ----- classify modality phenomena: 0/0 new triple (977, 0:00:00.015172)
+- INFO - ----- reclassify argument property to class: 11/14 new triples (988, 0:00:00.115780)
+- INFO - --- *** February Transduction *** Sequence: phenomena analyze sequence (1)
+- INFO - ----- analyze "polarity" phenomena (1): 32/36 new triples (1020, 0:00:00.087600)
+- DEBUG - ----- analyze "polarity" phenomena (2): 0/0 new triple (1020, 0:00:00.011359)
+- DEBUG - ----- analyze "polarity" phenomena (3): 0/0 new triple (1020, 0:00:00.011451)
+- DEBUG - ----- analyze "polarity" phenomena (4): 0/0 new triple (1020, 0:00:00.024934)
+- DEBUG - ----- analyze "polarity" phenomena (5): 0/0 new triple (1020, 0:00:00.025684)
+- DEBUG - ----- analyze modifier phenomena (mod): 0/0 new triple (1020, 0:00:00.006927)
+- DEBUG - ----- classify modality phenomena: 0/0 new triple (1020, 0:00:00.014474)
+- INFO - --- *** February Transduction *** Sequence: phenomena analyze sequence (2)
+- INFO - ----- analyze "or" phenomena (1): 1/1 new triple (1021, 0:00:00.056036)
+- INFO - ----- analyze "or" phenomena (2): 55/82 new triples (1076, 0:00:00.230873)
+- INFO - ----- analyze "and" phenomena (1): 2/14 new triples (1078, 0:00:00.118047)
+- DEBUG - ----- analyze "and" phenomena (2): 0/0 new triple (1078, 0:00:00.011385)
+- INFO - --- *** February Transduction *** Sequence: composite class extraction sequence
+- INFO - ----- extract composite classes (1): 127/133 new triples (1205, 0:00:00.522516)
+- DEBUG - ----- extract composite classes (2): 0/0 new triple (1205, 0:00:00.024623)
+- 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-20230522/technical-data/tenet.tetras-libre.fr_demo_01-0/tenet.tetras-libre.fr_demo_01_transduction.ttl
+- DEBUG - ----- base: http://https://tenet.tetras-libre.fr/demo/01//transduction
+- INFO - ----- 389 triples extracted during transduction step
+- INFO - -- Applying extraction step: generation
+- INFO - --- *** February Transduction *** Sequence: class_generation_sequence
+- INFO - ----- generate OWL class: 31/31 new triples (1236, 0:00:00.345616)
+- INFO - --- *** February Transduction *** Sequence: property_generation_sequence
+- INFO - ----- generate OWL property: 29/29 new triples (1265, 0:00:00.295023)
+- INFO - --- *** November Transduction *** Sequence: main-generation-sequence
+- DEBUG - ----- generate-individual: 0/0 new triple (1265, 0:00:00.010263)
+- DEBUG - ----- classify-individual-1: 0/0 new triple (1265, 0:00:00.008962)
+- DEBUG - ----- classify-individual-2: 0/0 new triple (1265, 0:00:00.008878)
+- DEBUG - ----- generate-atom-property-1: 0/0 new triple (1265, 0:00:00.009353)
+- DEBUG - ----- generate-atom-property-12: 0/0 new triple (1265, 0:00:00.008426)
+- DEBUG - ----- generate-inverse-relation: 0/0 new triple (1265, 0:00:00.007267)
+- DEBUG - ----- generate-composite-class: 0/0 new triple (1265, 0:00:00.009181)
+- DEBUG - ----- add-restriction-to-class-1: 0/0 new triple (1265, 0:00:00.021048)
+- DEBUG - ----- add-restriction-to-class-2: 0/0 new triple (1265, 0:00:00.013317)
+- DEBUG - ----- add-restriction-to-class-3: 0/0 new triple (1265, 0:00:00.018661)
+- DEBUG - ----- add-restriction-to-class-4: 0/0 new triple (1265, 0:00:00.017335)
+- DEBUG - ----- add-restriction-to-class-5: 0/0 new triple (1265, 0:00:00.016346)
+- DEBUG - ----- add-restriction-to-class-6: 0/0 new triple (1265, 0:00:00.012538)
+- 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-20230522/technical-data/tenet.tetras-libre.fr_demo_01-0/tenet.tetras-libre.fr_demo_01_generation.ttl
+- DEBUG - ----- base: http://https://tenet.tetras-libre.fr/demo/01//generation
+- INFO - ----- 60 triples extracted during generation step
+- DEBUG - --- Serializing graph to factoid file (/home/lamenji/Workspace/Tetras/tenet/tests/main_tests/test_owl_output/SolarSystemDev01-20230522/technical-data/tenet.tetras-libre.fr_demo_01-0/tenet.tetras-libre.fr_demo_01_factoid.ttl)
+- DEBUG - ----- Number of factoids: 60
+- 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: 60
+- INFO - -- Serializing graph to factoid string
+- INFO - ----- Graph base: http://https://tenet.tetras-libre.fr/demo/01//factoid
+- INFO - -- Serializing graph to factoid file
+- INFO - ----- Ontology Turtle File: /home/lamenji/Workspace/Tetras/tenet/tests/main_tests/test_owl_output/SolarSystemDev01-20230522/SolarSystemDev01_factoid.ttl
+- INFO -
+ === Done ===
+- INFO -
+ *** Execution Time ***
+----- Function: create_ontology_from_amrld_file (tenet.main)
+----- Total Time: 0:00:05.580809
+----- Process Time: 0:00:05.539121
+ *** - ***
diff --git a/tests/main_tests/test_owl_output/SolarSystemDev01-20230522/SolarSystemDev01_factoid.ttl b/tests/main_tests/test_owl_output/SolarSystemDev01-20230522/SolarSystemDev01_factoid.ttl
index eb41cef0..605021ba 100644
--- a/tests/main_tests/test_owl_output/SolarSystemDev01-20230522/SolarSystemDev01_factoid.ttl
+++ b/tests/main_tests/test_owl_output/SolarSystemDev01-20230522/SolarSystemDev01_factoid.ttl
@@ -1,111 +1,82 @@
@base <http://https://tenet.tetras-libre.fr/demo/01//factoid> .
-@prefix ns1: <https://tenet.tetras-libre.fr/semantic-net#> .
-@prefix ns2: <https://tenet.tetras-libre.fr/base-ontology#> .
+@prefix ns1: <https://tenet.tetras-libre.fr/base-ontology#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
-<https://tenet.tetras-libre.fr/extract-result#not-direct> a owl:ObjectProperty ;
- rdfs:subPropertyOf ns2:Out_ObjectProperty ;
- ns2:fromStructure "SSC-01-01" .
-
-<https://tenet.tetras-libre.fr/extract-result#orbit-hasManner-direct> a owl:ObjectProperty ;
- rdfs:subPropertyOf <https://tenet.tetras-libre.fr/extract-result#orbit> ;
- ns2: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> ;
- ns2:fromStructure "SSC-01-01" .
-
-ns1:atomClass_gravitation_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation> .
-
-ns1:atomClass_object_o ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object> .
-
-ns1:atomClass_sun_s2 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#sun> .
-
-ns1:atomClass_system_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system> .
-
-ns1:atomProperty_bind_b ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
- ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#bind> .
-
-ns1:atomProperty_direct_d ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#direct-of> ;
- ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#direct> .
-
-ns1:atomProperty_hasManner_m9 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#hasManner-of> ;
- ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#hasManner> .
-
-ns1:atomProperty_hasPart_p9 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#hasPart-of> ;
- ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#hasPart> .
-
-ns1:atomProperty_orbit_o2 ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#orbit> .
-
-ns1:individual_SolarSystem_p ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#solar-system> .
-
<https://tenet.tetras-libre.fr/extract-result#bind> a owl:ObjectProperty ;
rdfs:label "bind" ;
- rdfs:subPropertyOf ns2:Out_ObjectProperty ;
- ns2:fromStructure "SSC-01-01" .
-
-<https://tenet.tetras-libre.fr/extract-result#bind-of> a owl:ObjectProperty ;
- rdfs:label "bind-of" ;
- rdfs:subPropertyOf ns2:Out_ObjectProperty ;
- ns2:fromStructure "SSC-01-01" .
+ rdfs:subPropertyOf ns1:Out_ObjectProperty ;
+ ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#direct> a owl:ObjectProperty ;
rdfs:label "direct" ;
- rdfs:subPropertyOf ns2:Out_ObjectProperty ;
- ns2:fromStructure "SSC-01-01" .
-
-<https://tenet.tetras-libre.fr/extract-result#direct-of> a owl:ObjectProperty ;
- rdfs:label "direct-of" ;
- rdfs:subPropertyOf ns2:Out_ObjectProperty ;
- ns2:fromStructure "SSC-01-01" .
+ rdfs:subPropertyOf ns1:Out_ObjectProperty ;
+ ns1:fromStructure "SSC-01-01" .
-<https://tenet.tetras-libre.fr/extract-result#gravitation> a owl:Class ;
- rdfs:label "gravitation" ;
- rdfs:subClassOf ns2:Undetermined_Thing ;
- ns2:fromStructure "SSC-01-01" .
+<https://tenet.tetras-libre.fr/extract-result#gravitation-bind-system> a owl:Class ;
+ rdfs:subClassOf <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 ns2:Out_ObjectProperty ;
- ns2:fromStructure "SSC-01-01" .
-
-<https://tenet.tetras-libre.fr/extract-result#hasManner-of> a owl:ObjectProperty ;
- rdfs:label "hasManner-of" ;
- rdfs:subPropertyOf ns2:Out_ObjectProperty ;
- ns2:fromStructure "SSC-01-01" .
+ rdfs:subPropertyOf ns1:Out_ObjectProperty ;
+ ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ;
rdfs:label "hasPart" ;
- rdfs:subPropertyOf ns2:Out_ObjectProperty ;
- ns2:fromStructure "SSC-01-01" .
+ rdfs:subPropertyOf ns1:Out_ObjectProperty ;
+ ns1:fromStructure "SSC-01-01" .
-<https://tenet.tetras-libre.fr/extract-result#hasPart-of> a owl:ObjectProperty ;
- rdfs:label "hasPart-of" ;
- rdfs:subPropertyOf ns2:Out_ObjectProperty ;
- ns2: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> a owl:Class ;
- rdfs:label "object" ;
- rdfs:subClassOf ns2:Undetermined_Thing ;
- ns2:fromStructure "SSC-01-01" .
+<https://tenet.tetras-libre.fr/extract-result#object-orbit-hasManner-direct-sun> a owl:Class ;
+ rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#object> ;
+ ns1:fromStructure "SSC-01-01" .
-<https://tenet.tetras-libre.fr/extract-result#solar-system> a owl:individual ;
- rdfs:label "Solar System" ;
- ns2:fromStructure "SSC-01-01" .
+<https://tenet.tetras-libre.fr/extract-result#object-orbit-hasManner-not-direct-sun> a owl:Class ;
+ rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#object> ;
+ ns1:fromStructure "SSC-01-01" .
+
+<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#sun> a owl:Class ;
rdfs:label "sun" ;
- rdfs:subClassOf ns2:Undetermined_Thing ;
- ns2:fromStructure "SSC-01-01" .
+ rdfs:subClassOf ns1:Undetermined_Thing ;
+ ns1:fromStructure "SSC-01-01" .
-<https://tenet.tetras-libre.fr/extract-result#system> a owl:Class ;
- rdfs:label "system" ;
- rdfs:subClassOf ns2:Undetermined_Thing ;
- ns2:fromStructure "SSC-01-01" .
+<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> a owl:Class ;
+ rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#system> ;
+ ns1:fromStructure "SSC-01-01" .
+
+<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> a owl:Class ;
+ rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#system> ;
+ ns1:fromStructure "SSC-01-01" .
+
+<https://tenet.tetras-libre.fr/extract-result#gravitation> a owl:Class ;
+ rdfs:label "gravitation" ;
+ rdfs:subClassOf ns1:Undetermined_Thing ;
+ ns1:fromStructure "SSC-01-01" .
+
+<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ;
+ rdfs:label "object" ;
+ rdfs:subClassOf ns1:Undetermined_Thing ;
+ ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#orbit> a owl:ObjectProperty ;
rdfs:label "orbit" ;
- rdfs:subPropertyOf ns2:Out_ObjectProperty ;
- ns2:fromStructure "SSC-01-01" .
+ rdfs:subPropertyOf ns1:Out_ObjectProperty ;
+ ns1:fromStructure "SSC-01-01" .
+
+<https://tenet.tetras-libre.fr/extract-result#system> a owl:Class ;
+ rdfs:label "system" ;
+ rdfs:subClassOf ns1:Undetermined_Thing ;
+ ns1:fromStructure "SSC-01-01" .
diff --git a/tests/main_tests/test_owl_output/SolarSystemDev01-20230522/technical-data/tenet.log b/tests/main_tests/test_owl_output/SolarSystemDev01-20230522/technical-data/tenet.log
index cc27acad..7e0aba73 100644
--- a/tests/main_tests/test_owl_output/SolarSystemDev01-20230522/technical-data/tenet.log
+++ b/tests/main_tests/test_owl_output/SolarSystemDev01-20230522/technical-data/tenet.log
@@ -71,25 +71,25 @@
- DEBUG - ----- Total rule number: 87
- INFO - -- Applying extraction step: preprocessing
- INFO - --- *** November Transduction *** Sequence: amrld-correcting-sequence
-- INFO - ----- fix-amr-bug-about-system-solar-planet: 5/5 new triples (603, 0:00:00.038906)
+- INFO - ----- fix-amr-bug-about-system-solar-planet: 5/5 new triples (603, 0:00:00.028626)
- INFO - --- *** November Transduction *** Sequence: amr-reification-sequence
-- INFO - ----- reclassify-concept-1: 10/10 new triples (613, 0:00:00.172271)
-- DEBUG - ----- reclassify-concept-2: 0/0 new triple (613, 0:00:00.073440)
-- INFO - ----- reclassify-concept-3: 12/12 new triples (625, 0:00:00.060290)
-- INFO - ----- reclassify-concept-4: 16/16 new triples (641, 0:00:00.165310)
-- INFO - ----- reclassify-concept-5: 2/4 new triples (643, 0:00:00.070454)
-- INFO - ----- reify-roles-as-concept: 10/10 new triples (653, 0:00:00.067752)
-- INFO - ----- reclassify-existing-variable: 45/45 new triples (698, 0:00:00.037598)
-- INFO - ----- add-new-variable-for-reified-concept: 8/8 new triples (706, 0:00:00.065261)
-- INFO - ----- add-amr-leaf-for-reclassified-concept: 33/33 new triples (739, 0:00:00.048679)
-- INFO - ----- add-amr-leaf-for-reified-concept: 8/8 new triples (747, 0:00:00.035066)
-- INFO - ----- add-amr-edge-for-core-relation: 27/27 new triples (774, 0:00:00.123982)
-- INFO - ----- add-amr-edge-for-reified-concept: 12/12 new triples (786, 0:00:00.144842)
-- INFO - ----- add-amr-edge-for-name-relation: 5/5 new triples (791, 0:00:00.109103)
-- DEBUG - ----- add-value-for-quant-relation: 0/0 new triple (791, 0:00:00.105128)
-- INFO - ----- add-amr-edge-for-polarity-relation: 5/5 new triples (796, 0:00:00.079822)
-- INFO - ----- update-amr-edge-role-1: 15/15 new triples (811, 0:00:00.086513)
-- INFO - ----- add-amr-root: 5/5 new triples (816, 0:00:00.028574)
+- INFO - ----- reclassify-concept-1: 10/10 new triples (613, 0:00:00.148671)
+- DEBUG - ----- reclassify-concept-2: 0/0 new triple (613, 0:00:00.061834)
+- INFO - ----- reclassify-concept-3: 12/12 new triples (625, 0:00:00.054853)
+- INFO - ----- reclassify-concept-4: 16/16 new triples (641, 0:00:00.111690)
+- INFO - ----- reclassify-concept-5: 2/4 new triples (643, 0:00:00.044237)
+- INFO - ----- reify-roles-as-concept: 10/10 new triples (653, 0:00:00.054829)
+- INFO - ----- reclassify-existing-variable: 45/45 new triples (698, 0:00:00.032948)
+- INFO - ----- add-new-variable-for-reified-concept: 8/8 new triples (706, 0:00:00.055784)
+- INFO - ----- add-amr-leaf-for-reclassified-concept: 33/33 new triples (739, 0:00:00.046270)
+- INFO - ----- add-amr-leaf-for-reified-concept: 8/8 new triples (747, 0:00:00.034900)
+- INFO - ----- add-amr-edge-for-core-relation: 27/27 new triples (774, 0:00:00.120014)
+- INFO - ----- add-amr-edge-for-reified-concept: 12/12 new triples (786, 0:00:00.134298)
+- INFO - ----- add-amr-edge-for-name-relation: 5/5 new triples (791, 0:00:00.077203)
+- DEBUG - ----- add-value-for-quant-relation: 0/0 new triple (791, 0:00:00.105434)
+- INFO - ----- add-amr-edge-for-polarity-relation: 5/5 new triples (796, 0:00:00.079188)
+- INFO - ----- update-amr-edge-role-1: 15/15 new triples (811, 0:00:00.093314)
+- INFO - ----- add-amr-root: 5/5 new triples (816, 0:00:00.024025)
- DEBUG - --- Serializing graph to tenet.tetras-libre.fr_demo_01_preprocessing
- DEBUG - ----- step: preprocessing
- DEBUG - ----- id: https://tenet.tetras-libre.fr/demo/01/
@@ -98,33 +98,31 @@
- INFO - ----- 218 triples extracted during preprocessing step
- INFO - -- Applying extraction step: transduction
- INFO - --- *** February Transduction *** Sequence: atomic extraction sequence
-- INFO - ----- extract atom classes: 30/30 new triples (846, 0:00:00.153211)
-- INFO - ----- extract atom individuals: 8/8 new triples (854, 0:00:00.052523)
-- INFO - ----- extract atomic properties: 75/75 new triples (929, 0:00:00.221403)
-- INFO - ----- extract atom values: 10/10 new triples (939, 0:00:00.053987)
-- INFO - ----- extract atom phenomena: 14/14 new triples (953, 0:00:00.066765)
-- INFO - ----- propagate atom relations: 24/68 new triples (977, 0:00:01.110437)
+- INFO - ----- extract atom classes: 30/30 new triples (846, 0:00:00.153230)
+- INFO - ----- extract atom individuals: 8/8 new triples (854, 0:00:00.053921)
+- INFO - ----- extract atomic properties: 75/75 new triples (929, 0:00:00.205575)
+- INFO - ----- extract atom values: 10/10 new triples (939, 0:00:00.053396)
+- INFO - ----- extract atom phenomena: 14/14 new triples (953, 0:00:00.068316)
+- INFO - ----- propagate atom relations: 24/68 new triples (977, 0:00:01.073603)
- INFO - --- *** February Transduction *** Sequence: classification sequence (1)
-- DEBUG - ----- classify modality phenomena: 0/0 new triple (977, 0:00:00.024124)
-- INFO - ----- reclassify argument property to class: 11/14 new triples (988, 0:00:00.079487)
+- DEBUG - ----- classify modality phenomena: 0/0 new triple (977, 0:00:00.015172)
+- INFO - ----- reclassify argument property to class: 11/14 new triples (988, 0:00:00.115780)
- INFO - --- *** February Transduction *** Sequence: phenomena analyze sequence (1)
-- INFO - ----- analyze "polarity" phenomena (1): 32/36 new triples (1020, 0:00:00.107824)
-- DEBUG - ----- analyze "polarity" phenomena (2): 0/0 new triple (1020, 0:00:00.016232)
-- DEBUG - ----- analyze "polarity" phenomena (3): 0/0 new triple (1020, 0:00:00.020851)
-- DEBUG - ----- analyze "polarity" phenomena (4): 0/0 new triple (1020, 0:00:00.127024)
-- DEBUG - ----- analyze "polarity" phenomena (5): 0/0 new triple (1020, 0:00:00.045304)
-- DEBUG - ----- analyze modifier phenomena (mod): 0/0 new triple (1020, 0:00:00.010708)
-- DEBUG - ----- classify modality phenomena: 0/0 new triple (1020, 0:00:00.023176)
+- INFO - ----- analyze "polarity" phenomena (1): 32/36 new triples (1020, 0:00:00.087600)
+- DEBUG - ----- analyze "polarity" phenomena (2): 0/0 new triple (1020, 0:00:00.011359)
+- DEBUG - ----- analyze "polarity" phenomena (3): 0/0 new triple (1020, 0:00:00.011451)
+- DEBUG - ----- analyze "polarity" phenomena (4): 0/0 new triple (1020, 0:00:00.024934)
+- DEBUG - ----- analyze "polarity" phenomena (5): 0/0 new triple (1020, 0:00:00.025684)
+- DEBUG - ----- analyze modifier phenomena (mod): 0/0 new triple (1020, 0:00:00.006927)
+- DEBUG - ----- classify modality phenomena: 0/0 new triple (1020, 0:00:00.014474)
- INFO - --- *** February Transduction *** Sequence: phenomena analyze sequence (2)
-- INFO - ----- analyze "or" phenomena (1): 1/1 new triple (1021, 0:00:00.072791)
-- INFO - ----- analyze "or" phenomena (2): 55/82 new triples (1076, 0:00:00.317714)
-- INFO - ----- analyze "and" phenomena (1): 2/14 new triples (1078, 0:00:00.110901)
-- DEBUG - ----- analyze "and" phenomena (2): 0/0 new triple (1078, 0:00:00.014251)
+- INFO - ----- analyze "or" phenomena (1): 1/1 new triple (1021, 0:00:00.056036)
+- INFO - ----- analyze "or" phenomena (2): 55/82 new triples (1076, 0:00:00.230873)
+- INFO - ----- analyze "and" phenomena (1): 2/14 new triples (1078, 0:00:00.118047)
+- DEBUG - ----- analyze "and" phenomena (2): 0/0 new triple (1078, 0:00:00.011385)
- INFO - --- *** February Transduction *** Sequence: composite class extraction sequence
-- INFO - ----- extract composite classes (1): 127/133 new triples (1205, 0:00:00.422208)
-- DEBUG - ----- extract composite classes (2): 0/0 new triple (1205, 0:00:00.026013)
-- DEBUG - ----- extract composite classes (1): 0/0 new triple (1205, 0:00:00.035889)
-- DEBUG - ----- extract composite classes (2): 0/0 new triple (1205, 0:00:00.039449)
+- INFO - ----- extract composite classes (1): 127/133 new triples (1205, 0:00:00.522516)
+- DEBUG - ----- extract composite classes (2): 0/0 new triple (1205, 0:00:00.024623)
- DEBUG - --- Serializing graph to tenet.tetras-libre.fr_demo_01_transduction
- DEBUG - ----- step: transduction
- DEBUG - ----- id: https://tenet.tetras-libre.fr/demo/01/
@@ -132,45 +130,37 @@
- DEBUG - ----- base: http://https://tenet.tetras-libre.fr/demo/01//transduction
- INFO - ----- 389 triples extracted during transduction step
- INFO - -- Applying extraction step: generation
-- INFO - --- *** November Transduction *** Sequence: main-generation-sequence
-- INFO - ----- compute-uri-for-owl-declaration-1: 1/1 new triple (1206, 0:00:00.031373)
-- INFO - ----- compute-uri-for-owl-declaration-2: 3/3 new triples (1209, 0:00:00.027419)
-- INFO - ----- compute-uri-for-owl-declaration-3: 1/1 new triple (1210, 0:00:00.032014)
-- DEBUG - ----- compute-uri-for-owl-declaration-4: 0/0 new triple (1210, 0:00:00.020375)
-- INFO - ----- compute-uri-for-owl-declaration-5: 4/4 new triples (1214, 0:00:00.025519)
-- INFO - ----- compute-uri-for-owl-declaration-6: 4/4 new triples (1218, 0:00:00.029204)
-- INFO - ----- compute-uri-for-owl-declaration-7: 1/1 new triple (1219, 0:00:00.020973)
-- INFO - ----- generate-atom-class: 12/12 new triples (1231, 0:00:00.009573)
-- DEBUG - ----- classify-atom-class-1: 0/0 new triple (1231, 0:00:00.012281)
-- INFO - ----- classify-atom-class-2: 4/4 new triples (1235, 0:00:00.016338)
-- INFO - ----- generate-individual: 3/3 new triples (1238, 0:00:00.009752)
-- DEBUG - ----- classify-individual-1: 0/0 new triple (1238, 0:00:00.008055)
-- DEBUG - ----- classify-individual-2: 0/0 new triple (1238, 0:00:00.012234)
-- INFO - ----- generate-atom-property-1: 20/20 new triples (1258, 0:00:00.011682)
-- INFO - ----- generate-atom-property-12: 16/16 new triples (1274, 0:00:00.012070)
-- DEBUG - ----- generate-inverse-relation: 0/0 new triple (1274, 0:00:00.011165)
-- DEBUG - ----- generate-composite-class: 0/0 new triple (1274, 0:00:00.011323)
-- DEBUG - ----- add-restriction-to-class-1: 0/0 new triple (1274, 0:00:00.022630)
-- DEBUG - ----- add-restriction-to-class-2: 0/0 new triple (1274, 0:00:00.014546)
-- DEBUG - ----- add-restriction-to-class-3: 0/0 new triple (1274, 0:00:00.015878)
-- DEBUG - ----- add-restriction-to-class-4: 0/0 new triple (1274, 0:00:00.018158)
-- DEBUG - ----- add-restriction-to-class-5: 0/0 new triple (1274, 0:00:00.016311)
-- DEBUG - ----- add-restriction-to-class-6: 0/0 new triple (1274, 0:00:00.015513)
+- INFO - --- *** February Transduction *** Sequence: class_generation_sequence
+- INFO - ----- generate OWL class: 31/31 new triples (1236, 0:00:00.345616)
- INFO - --- *** February Transduction *** Sequence: property_generation_sequence
-- INFO - ----- generate OWL property: 9/29 new triples (1283, 0:00:00.347900)
+- INFO - ----- generate OWL property: 29/29 new triples (1265, 0:00:00.295023)
+- INFO - --- *** November Transduction *** Sequence: main-generation-sequence
+- DEBUG - ----- generate-individual: 0/0 new triple (1265, 0:00:00.010263)
+- DEBUG - ----- classify-individual-1: 0/0 new triple (1265, 0:00:00.008962)
+- DEBUG - ----- classify-individual-2: 0/0 new triple (1265, 0:00:00.008878)
+- DEBUG - ----- generate-atom-property-1: 0/0 new triple (1265, 0:00:00.009353)
+- DEBUG - ----- generate-atom-property-12: 0/0 new triple (1265, 0:00:00.008426)
+- DEBUG - ----- generate-inverse-relation: 0/0 new triple (1265, 0:00:00.007267)
+- DEBUG - ----- generate-composite-class: 0/0 new triple (1265, 0:00:00.009181)
+- DEBUG - ----- add-restriction-to-class-1: 0/0 new triple (1265, 0:00:00.021048)
+- DEBUG - ----- add-restriction-to-class-2: 0/0 new triple (1265, 0:00:00.013317)
+- DEBUG - ----- add-restriction-to-class-3: 0/0 new triple (1265, 0:00:00.018661)
+- DEBUG - ----- add-restriction-to-class-4: 0/0 new triple (1265, 0:00:00.017335)
+- DEBUG - ----- add-restriction-to-class-5: 0/0 new triple (1265, 0:00:00.016346)
+- DEBUG - ----- add-restriction-to-class-6: 0/0 new triple (1265, 0:00:00.012538)
- 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-20230522/technical-data/tenet.tetras-libre.fr_demo_01-0/tenet.tetras-libre.fr_demo_01_generation.ttl
- DEBUG - ----- base: http://https://tenet.tetras-libre.fr/demo/01//generation
-- INFO - ----- 78 triples extracted during generation step
+- INFO - ----- 60 triples extracted during generation step
- DEBUG - --- Serializing graph to factoid file (/home/lamenji/Workspace/Tetras/tenet/tests/main_tests/test_owl_output/SolarSystemDev01-20230522/technical-data/tenet.tetras-libre.fr_demo_01-0/tenet.tetras-libre.fr_demo_01_factoid.ttl)
-- DEBUG - ----- Number of factoids: 98
+- DEBUG - ----- Number of factoids: 60
- 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: 98
+- INFO - ----- Total factoid number: 60
- 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-20230522/technical-data/tenet.tetras-libre.fr_demo_01-0/tenet.tetras-libre.fr_demo_01_factoid.ttl b/tests/main_tests/test_owl_output/SolarSystemDev01-20230522/technical-data/tenet.tetras-libre.fr_demo_01-0/tenet.tetras-libre.fr_demo_01_factoid.ttl
index eb41cef0..605021ba 100644
--- a/tests/main_tests/test_owl_output/SolarSystemDev01-20230522/technical-data/tenet.tetras-libre.fr_demo_01-0/tenet.tetras-libre.fr_demo_01_factoid.ttl
+++ b/tests/main_tests/test_owl_output/SolarSystemDev01-20230522/technical-data/tenet.tetras-libre.fr_demo_01-0/tenet.tetras-libre.fr_demo_01_factoid.ttl
@@ -1,111 +1,82 @@
@base <http://https://tenet.tetras-libre.fr/demo/01//factoid> .
-@prefix ns1: <https://tenet.tetras-libre.fr/semantic-net#> .
-@prefix ns2: <https://tenet.tetras-libre.fr/base-ontology#> .
+@prefix ns1: <https://tenet.tetras-libre.fr/base-ontology#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
-<https://tenet.tetras-libre.fr/extract-result#not-direct> a owl:ObjectProperty ;
- rdfs:subPropertyOf ns2:Out_ObjectProperty ;
- ns2:fromStructure "SSC-01-01" .
-
-<https://tenet.tetras-libre.fr/extract-result#orbit-hasManner-direct> a owl:ObjectProperty ;
- rdfs:subPropertyOf <https://tenet.tetras-libre.fr/extract-result#orbit> ;
- ns2: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> ;
- ns2:fromStructure "SSC-01-01" .
-
-ns1:atomClass_gravitation_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation> .
-
-ns1:atomClass_object_o ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object> .
-
-ns1:atomClass_sun_s2 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#sun> .
-
-ns1:atomClass_system_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system> .
-
-ns1:atomProperty_bind_b ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
- ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#bind> .
-
-ns1:atomProperty_direct_d ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#direct-of> ;
- ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#direct> .
-
-ns1:atomProperty_hasManner_m9 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#hasManner-of> ;
- ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#hasManner> .
-
-ns1:atomProperty_hasPart_p9 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#hasPart-of> ;
- ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#hasPart> .
-
-ns1:atomProperty_orbit_o2 ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#orbit> .
-
-ns1:individual_SolarSystem_p ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#solar-system> .
-
<https://tenet.tetras-libre.fr/extract-result#bind> a owl:ObjectProperty ;
rdfs:label "bind" ;
- rdfs:subPropertyOf ns2:Out_ObjectProperty ;
- ns2:fromStructure "SSC-01-01" .
-
-<https://tenet.tetras-libre.fr/extract-result#bind-of> a owl:ObjectProperty ;
- rdfs:label "bind-of" ;
- rdfs:subPropertyOf ns2:Out_ObjectProperty ;
- ns2:fromStructure "SSC-01-01" .
+ rdfs:subPropertyOf ns1:Out_ObjectProperty ;
+ ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#direct> a owl:ObjectProperty ;
rdfs:label "direct" ;
- rdfs:subPropertyOf ns2:Out_ObjectProperty ;
- ns2:fromStructure "SSC-01-01" .
-
-<https://tenet.tetras-libre.fr/extract-result#direct-of> a owl:ObjectProperty ;
- rdfs:label "direct-of" ;
- rdfs:subPropertyOf ns2:Out_ObjectProperty ;
- ns2:fromStructure "SSC-01-01" .
+ rdfs:subPropertyOf ns1:Out_ObjectProperty ;
+ ns1:fromStructure "SSC-01-01" .
-<https://tenet.tetras-libre.fr/extract-result#gravitation> a owl:Class ;
- rdfs:label "gravitation" ;
- rdfs:subClassOf ns2:Undetermined_Thing ;
- ns2:fromStructure "SSC-01-01" .
+<https://tenet.tetras-libre.fr/extract-result#gravitation-bind-system> a owl:Class ;
+ rdfs:subClassOf <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 ns2:Out_ObjectProperty ;
- ns2:fromStructure "SSC-01-01" .
-
-<https://tenet.tetras-libre.fr/extract-result#hasManner-of> a owl:ObjectProperty ;
- rdfs:label "hasManner-of" ;
- rdfs:subPropertyOf ns2:Out_ObjectProperty ;
- ns2:fromStructure "SSC-01-01" .
+ rdfs:subPropertyOf ns1:Out_ObjectProperty ;
+ ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ;
rdfs:label "hasPart" ;
- rdfs:subPropertyOf ns2:Out_ObjectProperty ;
- ns2:fromStructure "SSC-01-01" .
+ rdfs:subPropertyOf ns1:Out_ObjectProperty ;
+ ns1:fromStructure "SSC-01-01" .
-<https://tenet.tetras-libre.fr/extract-result#hasPart-of> a owl:ObjectProperty ;
- rdfs:label "hasPart-of" ;
- rdfs:subPropertyOf ns2:Out_ObjectProperty ;
- ns2: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> a owl:Class ;
- rdfs:label "object" ;
- rdfs:subClassOf ns2:Undetermined_Thing ;
- ns2:fromStructure "SSC-01-01" .
+<https://tenet.tetras-libre.fr/extract-result#object-orbit-hasManner-direct-sun> a owl:Class ;
+ rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#object> ;
+ ns1:fromStructure "SSC-01-01" .
-<https://tenet.tetras-libre.fr/extract-result#solar-system> a owl:individual ;
- rdfs:label "Solar System" ;
- ns2:fromStructure "SSC-01-01" .
+<https://tenet.tetras-libre.fr/extract-result#object-orbit-hasManner-not-direct-sun> a owl:Class ;
+ rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#object> ;
+ ns1:fromStructure "SSC-01-01" .
+
+<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#sun> a owl:Class ;
rdfs:label "sun" ;
- rdfs:subClassOf ns2:Undetermined_Thing ;
- ns2:fromStructure "SSC-01-01" .
+ rdfs:subClassOf ns1:Undetermined_Thing ;
+ ns1:fromStructure "SSC-01-01" .
-<https://tenet.tetras-libre.fr/extract-result#system> a owl:Class ;
- rdfs:label "system" ;
- rdfs:subClassOf ns2:Undetermined_Thing ;
- ns2:fromStructure "SSC-01-01" .
+<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> a owl:Class ;
+ rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#system> ;
+ ns1:fromStructure "SSC-01-01" .
+
+<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> a owl:Class ;
+ rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#system> ;
+ ns1:fromStructure "SSC-01-01" .
+
+<https://tenet.tetras-libre.fr/extract-result#gravitation> a owl:Class ;
+ rdfs:label "gravitation" ;
+ rdfs:subClassOf ns1:Undetermined_Thing ;
+ ns1:fromStructure "SSC-01-01" .
+
+<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ;
+ rdfs:label "object" ;
+ rdfs:subClassOf ns1:Undetermined_Thing ;
+ ns1:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#orbit> a owl:ObjectProperty ;
rdfs:label "orbit" ;
- rdfs:subPropertyOf ns2:Out_ObjectProperty ;
- ns2:fromStructure "SSC-01-01" .
+ rdfs:subPropertyOf ns1:Out_ObjectProperty ;
+ ns1:fromStructure "SSC-01-01" .
+
+<https://tenet.tetras-libre.fr/extract-result#system> a owl:Class ;
+ rdfs:label "system" ;
+ rdfs:subClassOf ns1:Undetermined_Thing ;
+ ns1:fromStructure "SSC-01-01" .
diff --git a/tests/main_tests/test_owl_output/SolarSystemDev01-20230522/technical-data/tenet.tetras-libre.fr_demo_01-0/tenet.tetras-libre.fr_demo_01_generation.ttl b/tests/main_tests/test_owl_output/SolarSystemDev01-20230522/technical-data/tenet.tetras-libre.fr_demo_01-0/tenet.tetras-libre.fr_demo_01_generation.ttl
index 0a3ff9a2..9c5393b2 100644
--- a/tests/main_tests/test_owl_output/SolarSystemDev01-20230522/technical-data/tenet.tetras-libre.fr_demo_01-0/tenet.tetras-libre.fr_demo_01_generation.ttl
+++ b/tests/main_tests/test_owl_output/SolarSystemDev01-20230522/technical-data/tenet.tetras-libre.fr_demo_01-0/tenet.tetras-libre.fr_demo_01_generation.ttl
@@ -421,10 +421,42 @@ cprm:targetOntologyURI a rdf:Property ;
rdfs:range xsd:string ;
rdfs:subPropertyOf cprm:configParamProperty .
+<https://tenet.tetras-libre.fr/extract-result#bind> a owl:ObjectProperty ;
+ rdfs:label "bind" ;
+ rdfs:subPropertyOf sys:Out_ObjectProperty ;
+ sys:fromStructure "SSC-01-01" .
+
+<https://tenet.tetras-libre.fr/extract-result#direct> a owl:ObjectProperty ;
+ rdfs:label "direct" ;
+ rdfs:subPropertyOf sys:Out_ObjectProperty ;
+ sys:fromStructure "SSC-01-01" .
+
+<https://tenet.tetras-libre.fr/extract-result#gravitation-bind-system> a owl:Class ;
+ rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#gravitation> ;
+ sys:fromStructure "SSC-01-01" .
+
+<https://tenet.tetras-libre.fr/extract-result#hasManner> a owl:ObjectProperty ;
+ rdfs:label "hasManner" ;
+ rdfs:subPropertyOf sys:Out_ObjectProperty ;
+ sys:fromStructure "SSC-01-01" .
+
+<https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ;
+ rdfs:label "hasPart" ;
+ rdfs:subPropertyOf sys:Out_ObjectProperty ;
+ sys:fromStructure "SSC-01-01" .
+
<https://tenet.tetras-libre.fr/extract-result#not-direct> a owl:ObjectProperty ;
rdfs:subPropertyOf sys:Out_ObjectProperty ;
sys:fromStructure "SSC-01-01" .
+<https://tenet.tetras-libre.fr/extract-result#object-orbit-hasManner-direct-sun> a owl:Class ;
+ rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#object> ;
+ sys:fromStructure "SSC-01-01" .
+
+<https://tenet.tetras-libre.fr/extract-result#object-orbit-hasManner-not-direct-sun> a owl:Class ;
+ rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#object> ;
+ sys:fromStructure "SSC-01-01" .
+
<https://tenet.tetras-libre.fr/extract-result#orbit-hasManner-direct> a owl:ObjectProperty ;
rdfs:subPropertyOf <https://tenet.tetras-libre.fr/extract-result#orbit> ;
sys:fromStructure "SSC-01-01" .
@@ -433,6 +465,19 @@ cprm:targetOntologyURI a rdf:Property ;
rdfs:subPropertyOf <https://tenet.tetras-libre.fr/extract-result#orbit> ;
sys:fromStructure "SSC-01-01" .
+<https://tenet.tetras-libre.fr/extract-result#sun> a owl:Class ;
+ rdfs:label "sun" ;
+ rdfs:subClassOf sys:Undetermined_Thing ;
+ sys:fromStructure "SSC-01-01" .
+
+<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> a owl:Class ;
+ rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#system> ;
+ sys:fromStructure "SSC-01-01" .
+
+<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> a owl:Class ;
+ rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#system> ;
+ sys:fromStructure "SSC-01-01" .
+
<https://tenet.tetras-libre.fr/semantic-net> a owl:Ontology .
net:Logical_Set_Net a owl:Class ;
@@ -840,70 +885,11 @@ sys:Feature a owl:Class ;
sys:Out_AnnotationProperty a owl:AnnotationProperty .
-<https://tenet.tetras-libre.fr/extract-result#bind> a owl:ObjectProperty ;
- rdfs:label "bind" ;
- rdfs:subPropertyOf sys:Out_ObjectProperty ;
- sys:fromStructure "SSC-01-01" .
-
-<https://tenet.tetras-libre.fr/extract-result#bind-of> a owl:ObjectProperty ;
- rdfs:label "bind-of" ;
- rdfs:subPropertyOf sys:Out_ObjectProperty ;
- sys:fromStructure "SSC-01-01" .
-
-<https://tenet.tetras-libre.fr/extract-result#direct> a owl:ObjectProperty ;
- rdfs:label "direct" ;
- rdfs:subPropertyOf sys:Out_ObjectProperty ;
- sys:fromStructure "SSC-01-01" .
-
-<https://tenet.tetras-libre.fr/extract-result#direct-of> a owl:ObjectProperty ;
- rdfs:label "direct-of" ;
- rdfs:subPropertyOf sys:Out_ObjectProperty ;
- sys:fromStructure "SSC-01-01" .
-
<https://tenet.tetras-libre.fr/extract-result#gravitation> a owl:Class ;
rdfs:label "gravitation" ;
rdfs:subClassOf sys:Undetermined_Thing ;
sys:fromStructure "SSC-01-01" .
-<https://tenet.tetras-libre.fr/extract-result#hasManner> a owl:ObjectProperty ;
- rdfs:label "hasManner" ;
- rdfs:subPropertyOf sys:Out_ObjectProperty ;
- sys:fromStructure "SSC-01-01" .
-
-<https://tenet.tetras-libre.fr/extract-result#hasManner-of> a owl:ObjectProperty ;
- rdfs:label "hasManner-of" ;
- rdfs:subPropertyOf sys:Out_ObjectProperty ;
- sys:fromStructure "SSC-01-01" .
-
-<https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ;
- rdfs:label "hasPart" ;
- rdfs:subPropertyOf sys:Out_ObjectProperty ;
- sys:fromStructure "SSC-01-01" .
-
-<https://tenet.tetras-libre.fr/extract-result#hasPart-of> a owl:ObjectProperty ;
- rdfs:label "hasPart-of" ;
- rdfs:subPropertyOf sys:Out_ObjectProperty ;
- sys:fromStructure "SSC-01-01" .
-
-<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ;
- rdfs:label "object" ;
- rdfs:subClassOf sys:Undetermined_Thing ;
- sys:fromStructure "SSC-01-01" .
-
-<https://tenet.tetras-libre.fr/extract-result#solar-system> a owl:individual ;
- rdfs:label "Solar System" ;
- sys:fromStructure "SSC-01-01" .
-
-<https://tenet.tetras-libre.fr/extract-result#sun> a owl:Class ;
- rdfs:label "sun" ;
- rdfs:subClassOf sys:Undetermined_Thing ;
- sys:fromStructure "SSC-01-01" .
-
-<https://tenet.tetras-libre.fr/extract-result#system> a owl:Class ;
- rdfs:label "system" ;
- rdfs:subClassOf sys:Undetermined_Thing ;
- sys:fromStructure "SSC-01-01" .
-
net:Feature a owl:Class ;
rdfs:subClassOf net:Net_Structure .
@@ -1148,6 +1134,21 @@ ns2:or a ns2:Concept ;
:value_SolarSystem a :AMR_Value ;
rdfs:label "Solar System" .
+<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ;
+ rdfs:label "object" ;
+ rdfs:subClassOf sys:Undetermined_Thing ;
+ sys:fromStructure "SSC-01-01" .
+
+<https://tenet.tetras-libre.fr/extract-result#orbit> a owl:ObjectProperty ;
+ rdfs:label "orbit" ;
+ rdfs:subPropertyOf sys:Out_ObjectProperty ;
+ sys:fromStructure "SSC-01-01" .
+
+<https://tenet.tetras-libre.fr/extract-result#system> a owl:Class ;
+ rdfs:label "system" ;
+ rdfs:subClassOf sys:Undetermined_Thing ;
+ sys:fromStructure "SSC-01-01" .
+
net:Class_Net a owl:Class ;
rdfs:subClassOf net:Net .
@@ -1223,11 +1224,6 @@ ns2:Frame a ns2:Concept,
:value_negative a :AMR_Value ;
rdfs:label "negative" .
-<https://tenet.tetras-libre.fr/extract-result#orbit> a owl:ObjectProperty ;
- rdfs:label "orbit" ;
- rdfs:subPropertyOf sys:Out_ObjectProperty ;
- sys:fromStructure "SSC-01-01" .
-
net:Axiom_Net a owl:Class ;
rdfs:subClassOf net:Net .
@@ -1243,7 +1239,6 @@ net:atomClass_gravitation_g a net:Atom_Class_Net,
net:coverBaseNode :leaf_gravitation_g ;
net:coverNode :leaf_gravitation_g ;
net:hasClassName "gravitation" ;
- net:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation> ;
net:hasNaming "gravitation" ;
net:hasStructure "SSC-01-01" .
@@ -1253,13 +1248,11 @@ net:atomProperty_bind_b a net:Atom_Property_Net ;
net:coverBaseNode :leaf_bind-01_b ;
net:coverNode :leaf_bind-01_b ;
net:hasNaming "bind" ;
- net:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
net:hasPropertyName "bind" ;
net:hasPropertyName01 "binding" ;
net:hasPropertyName10 "bind-by" ;
net:hasPropertyName12 "bind-of" ;
net:hasPropertyType owl:ObjectProperty ;
- net:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#bind> ;
net:hasStructure "SSC-01-01" ;
net:isCoreRoleLinked "true" ;
net:targetArgumentNode :leaf_gravitation_g,
@@ -1308,7 +1301,6 @@ net:individual_SolarSystem_p a net:Individual_Net ;
net:coverBaseNode :leaf_system_p ;
net:coverNode :leaf_system_p ;
net:hasIndividualLabel "Solar System" ;
- net:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#solar-system> ;
net:hasMotherClassNet net:atomClass_system_p ;
net:hasNaming "SolarSystem" ;
net:hasStructure "SSC-01-01" .
@@ -1363,13 +1355,11 @@ net:atomProperty_direct_d a net:Atom_Property_Net ;
net:coverBaseNode :leaf_direct-02_d ;
net:coverNode :leaf_direct-02_d ;
net:hasNaming "direct" ;
- net:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#direct-of> ;
net:hasPropertyName "direct" ;
net:hasPropertyName01 "directing" ;
net:hasPropertyName10 "direct-by" ;
net:hasPropertyName12 "direct-of" ;
net:hasPropertyType owl:ObjectProperty ;
- net:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#direct> ;
net:hasStructure "SSC-01-01" ;
net:isCoreRoleLinked "true" .
@@ -1430,13 +1420,11 @@ net:atomProperty_hasManner_m9 a net:Atom_Property_Net ;
net:coverBaseNode :leaf_hasManner_m9 ;
net:coverNode :leaf_hasManner_m9 ;
net:hasNaming "hasManner" ;
- net:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#hasManner-of> ;
net:hasPropertyName "hasManner" ;
net:hasPropertyName01 "hasMannering" ;
net:hasPropertyName10 "hasManner-by" ;
net:hasPropertyName12 "hasManner-of" ;
net:hasPropertyType owl:ObjectProperty ;
- net:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#hasManner> ;
net:hasStructure "SSC-01-01" ;
net:isCoreRoleLinked "true" ;
net:targetArgumentNode :leaf_or_o3,
@@ -1450,13 +1438,11 @@ net:atomProperty_hasPart_p9 a net:Atom_Property_Net ;
net:coverBaseNode :leaf_hasPart_p9 ;
net:coverNode :leaf_hasPart_p9 ;
net:hasNaming "hasPart" ;
- net:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#hasPart-of> ;
net:hasPropertyName "hasPart" ;
net:hasPropertyName01 "hasParting" ;
net:hasPropertyName10 "hasPart-by" ;
net:hasPropertyName12 "hasPart-of" ;
net:hasPropertyType owl:ObjectProperty ;
- net:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
net:hasStructure "SSC-01-01" ;
net:isCoreRoleLinked "true" ;
net:targetArgumentNode :leaf_and_a,
@@ -1474,7 +1460,6 @@ net:atomProperty_orbit_o2 a net:Atom_Property_Net,
net:hasPropertyName10 "orbit-by" ;
net:hasPropertyName12 "orbit-of" ;
net:hasPropertyType owl:ObjectProperty ;
- net:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#orbit> ;
net:hasStructure "SSC-01-01" ;
net:isCoreRoleLinked "true" ;
net:targetArgumentNode :leaf_object_o,
@@ -1505,6 +1490,8 @@ net:Restriction_Net a owl:Class ;
:hasVariable :variable_p9 ;
:isReifiedLeaf true .
+sys:Out_ObjectProperty a owl:ObjectProperty .
+
net:compositeProperty_not-direct_d2 a net:Composite_Property_Net ;
:role_polarity net:value_negative_blankNode ;
net:composeFrom net:atomProperty_direct_d2 ;
@@ -1531,7 +1518,6 @@ net:atomClass_system_s a net:Atom_Class_Net,
net:coverBaseNode :leaf_system_s ;
net:coverNode :leaf_system_s ;
net:hasClassName "system" ;
- net:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system> ;
net:hasNaming "system" ;
net:hasStructure "SSC-01-01" .
@@ -1570,8 +1556,6 @@ net:atomProperty_direct_d2 a net:Atom_Property_Net,
:hasVariable :variable_m9 ;
:isReifiedLeaf true .
-sys:Out_ObjectProperty a owl:ObjectProperty .
-
:AMR_Variable a owl:Class ;
rdfs:subClassOf :AMR_Element .
@@ -1585,7 +1569,6 @@ net:atomClass_object_o a net:Atom_Class_Net,
net:coverBaseNode :leaf_object_o ;
net:coverNode :leaf_object_o ;
net:hasClassName "object" ;
- net:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object> ;
net:hasNaming "object" ;
net:hasStructure "SSC-01-01" .
@@ -1596,7 +1579,6 @@ net:atomClass_sun_s2 a net:Atom_Class_Net ;
net:coverBaseNode :leaf_sun_s2 ;
net:coverNode :leaf_sun_s2 ;
net:hasClassName "sun" ;
- net:hasClassURI <https://tenet.tetras-libre.fr/extract-result#sun> ;
net:hasNaming "sun" ;
net:hasStructure "SSC-01-01" .
--
GitLab