From 5cc820da74e481f74b6bc42b59b31e9c112e6642 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Aur=C3=A9lien=20Lamercerie?=
<aurelien.lamercerie@tetras-libre.fr>
Date: Fri, 1 Sep 2023 12:02:38 +0200
Subject: [PATCH] Update SolarSystem (version: 2023-07-31): reference ontology
---
.../SolarSystemProd_factoid_1.ttl | 74 ++++-----
.../SolarSystemProd_factoid_10.ttl | 35 +++++
.../SolarSystemProd_factoid_11.ttl | 97 ++++++++++++
.../SolarSystemProd_factoid_12.ttl | 98 ++++++++++++
.../SolarSystemProd_factoid_13.ttl | 76 ++++++++++
.../SolarSystemProd_factoid_14.ttl | 47 ++++++
.../SolarSystemProd_factoid_15.ttl | 92 ++++++++++++
.../SolarSystemProd_factoid_16.ttl | 112 ++++++++++++++
.../SolarSystemProd_factoid_17.ttl | 104 +++++++++++++
.../SolarSystemProd_factoid_18.ttl | 85 +++++++++++
.../SolarSystemProd_factoid_19.ttl | 94 ++++++++++++
.../SolarSystemProd_factoid_2.ttl | 132 +++++++++-------
.../SolarSystemProd_factoid_20.ttl | 99 ++++++++++++
.../SolarSystemProd_factoid_21.ttl | 64 ++++++++
.../SolarSystemProd_factoid_22.ttl | 85 +++++++++++
.../SolarSystemProd_factoid_23.ttl | 60 ++++++++
.../SolarSystemProd_factoid_3.ttl | 88 +++++++++++
.../SolarSystemProd_factoid_4.ttl | 79 ++++++++++
.../SolarSystemProd_factoid_5.ttl | 68 +++++++++
.../SolarSystemProd_factoid_6.ttl | 81 ++++++++++
.../SolarSystemProd_factoid_7.ttl | 63 ++++++++
.../SolarSystemProd_factoid_8.ttl | 141 ++++++++++++++++++
.../SolarSystemProd_factoid_9.ttl | 72 +++++++++
23 files changed, 1858 insertions(+), 88 deletions(-)
create mode 100644 SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_10.ttl
create mode 100644 SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_11.ttl
create mode 100644 SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_12.ttl
create mode 100644 SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_13.ttl
create mode 100644 SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_14.ttl
create mode 100644 SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_15.ttl
create mode 100644 SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_16.ttl
create mode 100644 SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_17.ttl
create mode 100644 SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_18.ttl
create mode 100644 SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_19.ttl
create mode 100644 SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_20.ttl
create mode 100644 SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_21.ttl
create mode 100644 SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_22.ttl
create mode 100644 SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_23.ttl
create mode 100644 SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_3.ttl
create mode 100644 SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_4.ttl
create mode 100644 SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_5.ttl
create mode 100644 SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_6.ttl
create mode 100644 SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_7.ttl
create mode 100644 SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_8.ttl
create mode 100644 SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_9.ttl
diff --git a/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_1.ttl b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_1.ttl
index 2b97132..edc098e 100644
--- a/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_1.ttl
+++ b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_1.ttl
@@ -1,13 +1,14 @@
@prefix base: <https://reference.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#> .
@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
result:SolarSystem a owl:Individual,
result:system,
- result:system-isBindBy-gravitation,
result:system-hasPart-object-orbit-sun,
- result:system-hasPart-sun ;
+ result:system-hasPart-sun,
+ result:system-isBindBy-gravitation ;
rdfs:label "SolarSystem" .
result:direct a owl:ObjectProperty ;
@@ -27,12 +28,6 @@ result:hasManner a owl:ObjectProperty ;
result:not-direct a owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty .
-result:object-orbit-sun a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty result:orbit ;
- owl:someValuesFrom result:sun ],
- result:object .
-
result:object-orbit-hasManner-direct-sun a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty result:orbit-hasManner-direct ;
@@ -45,15 +40,20 @@ result:object-orbit-hasManner-not-direct-sun a owl:Class ;
owl:someValuesFrom result:sun ],
result:object-orbit-sun .
-result:gravitation a owl:Class ;
- rdfs:label "gravitation" ;
- rdfs:subClassOf base:Entity .
+<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-01> a <https://tenet.tetras-libre.fr/amr.structure> ;
+ ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-01#root01> ;
+ ns1:hasID "WikiAbstract-SolarSystem-01" ;
+ ns1:hasSentence "The Solar System is the gravitationally bound system of the Sun and the objects that orbit it, either directly or indirectly." .
-result:system-isBindBy-gravitation a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty result:isBindBy ;
- owl:someValuesFrom result:gravitation ],
- result:system .
+result:isBindBy rdfs:label "isBindBy" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty ;
+ owl:inverseOf result:bind .
+
+result:orbit-hasManner-direct a owl:ObjectProperty ;
+ rdfs:subPropertyOf result:orbit .
+
+result:orbit-hasManner-not-direct a owl:ObjectProperty ;
+ rdfs:subPropertyOf result:orbit .
result:system-hasPart-object a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
@@ -73,37 +73,43 @@ result:system-hasPart-sun a owl:Class ;
owl:someValuesFrom result:sun ],
result:system .
+result:system-isBindBy-gravitation a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:isBindBy ;
+ owl:someValuesFrom result:gravitation ],
+ result:system .
+
result:bind a owl:ObjectProperty ;
rdfs:label "bind" ;
rdfs:subPropertyOf base:Out_ObjectProperty .
-result:isBindBy owl:inverseOf result:bind ;
- rdfs:label "isBindBy" ;
- rdfs:subPropertyOf base:Out_ObjectProperty .
-
-result:orbit a owl:ObjectProperty ;
- rdfs:label "orbit" ;
- rdfs:subPropertyOf base:Out_ObjectProperty .
-
-result:orbit-hasManner-direct a owl:ObjectProperty ;
- rdfs:subPropertyOf result:orbit .
+result:gravitation a owl:Class ;
+ rdfs:label "gravitation" ;
+ rdfs:subClassOf base:Entity .
-result:orbit-hasManner-not-direct a owl:ObjectProperty ;
- rdfs:subPropertyOf result:orbit .
+result:object a owl:Class ;
+ rdfs:label "object" ;
+ rdfs:subClassOf base:Entity .
result:hasPart a owl:ObjectProperty ;
rdfs:label "hasPart" ;
rdfs:subPropertyOf base:Out_ObjectProperty .
-result:object a owl:Class ;
- rdfs:label "object" ;
- rdfs:subClassOf base:Entity .
+result:object-orbit-sun a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:orbit ;
+ owl:someValuesFrom result:sun ],
+ result:object .
-result:system a owl:Class ;
- rdfs:label "system" ;
- rdfs:subClassOf base:Entity.
+result:orbit a owl:ObjectProperty ;
+ rdfs:label "orbit" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
result:sun a owl:Class ;
rdfs:label "sun" ;
rdfs:subClassOf base:Entity .
+result:system a owl:Class ;
+ rdfs:label "system" ;
+ rdfs:subClassOf base:Entity .
+
diff --git a/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_10.ttl b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_10.ttl
new file mode 100644
index 0000000..571369d
--- /dev/null
+++ b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_10.ttl
@@ -0,0 +1,35 @@
+@prefix base: <https://reference.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#> .
+@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
+
+result:SolarSystem a owl:Individual,
+ result:system ;
+ rdfs:label "SolarSystem" .
+
+result:also a owl:Class ;
+ rdfs:label "also" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:contain a owl:ObjectProperty ;
+ rdfs:label "contain" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:more a owl:ObjectProperty ;
+ rdfs:label "more" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:object a owl:Class ;
+ rdfs:label "object" ;
+ rdfs:subClassOf base:Entity .
+
+result:small a owl:Class ;
+ rdfs:label "small" ;
+ rdfs:subClassOf base:Entity .
+
+<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-10> a <https://tenet.tetras-libre.fr/amr.structure> ;
+ ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-10#root01> ;
+ ns1:hasID "WikiAbstract-SolarSystem-10" ;
+ ns1:hasSentence "The Solar System also contains smaller objects." .
+
diff --git a/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_11.ttl b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_11.ttl
new file mode 100644
index 0000000..48b2492
--- /dev/null
+++ b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_11.ttl
@@ -0,0 +1,97 @@
+@prefix base: <https://reference.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#> .
+@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
+
+result:Jupiter a owl:Individual,
+ result:planet ;
+ rdfs:label "Jupiter" .
+
+result:Mars a owl:Individual,
+ result:planet ;
+ rdfs:label "Mars" .
+
+result:asteroid-belt-contain-object a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:contain ;
+ owl:someValuesFrom result:object ],
+ result:asteroid-belt .
+
+result:between a owl:Class ;
+ rdfs:label "between" ;
+ rdfs:subClassOf base:Entity .
+
+result:compose-resemble-terrestrial-planet a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:resemble ;
+ owl:someValuesFrom result:terrestrial-planet ],
+ result:compose .
+
+result:lie a owl:ObjectProperty ;
+ rdfs:label "lie" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:metal a owl:Class ;
+ rdfs:label "metal" ;
+ rdfs:subClassOf base:Entity .
+
+result:most a owl:ObjectProperty ;
+ rdfs:label "most" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:orbit a owl:ObjectProperty ;
+ rdfs:label "orbit" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:rock a owl:Class ;
+ rdfs:label "rock" ;
+ rdfs:subClassOf base:Entity .
+
+<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-11> a <https://tenet.tetras-libre.fr/amr.structure> ;
+ ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-11#root01> ;
+ ns1:hasID "WikiAbstract-SolarSystem-11" ;
+ ns1:hasSentence "The asteroid belt, which lies between the orbits of Mars and Jupiter, mostly contains objects composed, like the terrestrial planets, of rock and metal." .
+
+result:asteroid a owl:Class,
+ owl:Individual,
+ result:asteroid ;
+ rdfs:label "asteroid" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:asteroid-belt a owl:Class ;
+ rdfs:subClassOf result:belt .
+
+result:belt a owl:Class ;
+ rdfs:label "belt" ;
+ rdfs:subClassOf base:Entity .
+
+result:compose a owl:Class ;
+ rdfs:label "compose" ;
+ rdfs:subClassOf base:Entity .
+
+result:contain a owl:ObjectProperty ;
+ rdfs:label "contain" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:object a owl:Class ;
+ rdfs:label "object" ;
+ rdfs:subClassOf base:Entity .
+
+result:resemble a owl:ObjectProperty ;
+ rdfs:label "resemble" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:terrestrial a owl:Class,
+ owl:Individual,
+ result:terrestrial ;
+ rdfs:label "terrestrial" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:terrestrial-planet a owl:Class ;
+ rdfs:subClassOf result:planet .
+
+result:planet a owl:Class ;
+ rdfs:label "planet" ;
+ rdfs:subClassOf base:Entity .
+
diff --git a/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_12.ttl b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_12.ttl
new file mode 100644
index 0000000..88b8feb
--- /dev/null
+++ b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_12.ttl
@@ -0,0 +1,98 @@
+@prefix base: <https://reference.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#> .
+@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
+
+result:KuiperBelt a owl:Individual,
+ result:belt ;
+ rdfs:label "KuiperBelt" .
+
+result:Neptunian a owl:Individual,
+ result:planet ;
+ rdfs:label "Neptunian" .
+
+result:disc a owl:Class ;
+ rdfs:label "disc" ;
+ rdfs:subClassOf base:Entity .
+
+result:discover a owl:Class ;
+ rdfs:label "discover" ;
+ rdfs:subClassOf base:Entity .
+
+result:most a owl:ObjectProperty ;
+ rdfs:label "most" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:new a owl:ObjectProperty ;
+ rdfs:label "new" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:object-population-compose-ice a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:compose ;
+ owl:someValuesFrom result:ice ],
+ result:object-population .
+
+result:orbit a owl:ObjectProperty ;
+ rdfs:label "orbit" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:scatter a owl:ObjectProperty ;
+ rdfs:label "scatter" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:sednoid-population-lie-beyond a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:lie ;
+ owl:someValuesFrom result:beyond ],
+ result:sednoid-population .
+
+result:transpire a owl:ObjectProperty ;
+ rdfs:label "transpire" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-12> a <https://tenet.tetras-libre.fr/amr.structure> ;
+ ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-12#root01> ;
+ ns1:hasID "WikiAbstract-SolarSystem-12" ;
+ ns1:hasSentence "Beyond Neptune's orbit lie the Kuiper belt and scattered disc, which are populations of trans-Neptunian objects composed mostly of ices, and beyond them a newly discovered population of sednoids." .
+
+result:beyond a owl:Class ;
+ rdfs:label "beyond" ;
+ rdfs:subClassOf base:Entity,
+ base:Undetermined_Thing .
+
+result:compose a owl:ObjectProperty ;
+ rdfs:label "compose" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:ice a owl:Class ;
+ rdfs:label "ice" ;
+ rdfs:subClassOf base:Entity .
+
+result:lie a owl:ObjectProperty ;
+ rdfs:label "lie" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:object a owl:Class,
+ owl:Individual,
+ result:object ;
+ rdfs:label "object" ;
+ rdfs:subClassOf base:Entity .
+
+result:object-population a owl:Class ;
+ rdfs:subClassOf result:population .
+
+result:sednoid a owl:Class,
+ owl:Individual,
+ result:sednoid ;
+ rdfs:label "sednoid" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:sednoid-population a owl:Class ;
+ rdfs:subClassOf result:population .
+
+result:population a owl:Class ;
+ rdfs:label "population" ;
+ rdfs:subClassOf base:Entity .
+
diff --git a/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_13.ttl b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_13.ttl
new file mode 100644
index 0000000..5c3cf30
--- /dev/null
+++ b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_13.ttl
@@ -0,0 +1,76 @@
+@prefix base: <https://reference.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#> .
+@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
+
+result:considerable a owl:Class ;
+ rdfs:label "considerable" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:debate a owl:Class ;
+ rdfs:label "debate" ;
+ rdfs:subClassOf base:Entity .
+
+result:enough a owl:Class ;
+ rdfs:label "enough" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:gravity a owl:Class ;
+ rdfs:label "gravity" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:have a owl:ObjectProperty ;
+ rdfs:label "have" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:large a owl:Class ;
+ rdfs:label "large" ;
+ rdfs:subClassOf base:Entity .
+
+result:many a owl:Class ;
+ rdfs:label "many" ;
+ rdfs:subClassOf base:Entity .
+
+result:object a owl:Class ;
+ rdfs:label "object" ;
+ rdfs:subClassOf base:Entity .
+
+result:prove a owl:ObjectProperty ;
+ rdfs:label "prove" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:round a owl:ObjectProperty ;
+ rdfs:label "round" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:some a owl:Class ;
+ rdfs:label "some" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:thing a owl:Class ;
+ rdfs:label "thing" ;
+ rdfs:subClassOf base:Entity .
+
+result:this-population a owl:Class ;
+ rdfs:subClassOf result:population .
+
+result:under a owl:Class ;
+ rdfs:label "under" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-13> a <https://tenet.tetras-libre.fr/amr.structure> ;
+ ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-13#root01> ;
+ ns1:hasID "WikiAbstract-SolarSystem-13" ;
+ ns1:hasSentence "Within these populations, some objects are large enough to have rounded under their own gravity, though there is considerable debate as to how many there will prove to be." .
+
+result:population a owl:Class ;
+ rdfs:label "population" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:this a owl:Class,
+ owl:Individual,
+ result:this ;
+ rdfs:label "this" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
diff --git a/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_14.ttl b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_14.ttl
new file mode 100644
index 0000000..498d5ef
--- /dev/null
+++ b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_14.ttl
@@ -0,0 +1,47 @@
+@prefix base: <https://reference.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#> .
+@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
+
+result:such-object-categorize-dwarf-planet a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:categorize ;
+ owl:someValuesFrom result:dwarf-planet ],
+ result:such-object .
+
+<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-14> a <https://tenet.tetras-libre.fr/amr.structure> ;
+ ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-14#root01> ;
+ ns1:hasID "WikiAbstract-SolarSystem-14" ;
+ ns1:hasSentence "Such objects are categorized as dwarf planets." .
+
+result:categorize a owl:ObjectProperty ;
+ rdfs:label "categorize" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:dwarf a owl:Class,
+ owl:Individual,
+ result:dwarf ;
+ rdfs:label "dwarf" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:dwarf-planet a owl:Class ;
+ rdfs:subClassOf result:planet .
+
+result:object a owl:Class ;
+ rdfs:label "object" ;
+ rdfs:subClassOf base:Entity .
+
+result:planet a owl:Class ;
+ rdfs:label "planet" ;
+ rdfs:subClassOf base:Entity .
+
+result:such a owl:Class,
+ owl:Individual,
+ result:such ;
+ rdfs:label "such" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:such-object a owl:Class ;
+ rdfs:subClassOf result:object .
+
diff --git a/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_15.ttl b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_15.ttl
new file mode 100644
index 0000000..595ff7a
--- /dev/null
+++ b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_15.ttl
@@ -0,0 +1,92 @@
+@prefix base: <https://reference.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#> .
+@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
+
+result:Cerre a owl:Individual,
+ result:asteroid ;
+ rdfs:label "Cerre" .
+
+result:Eris a owl:Individual,
+ result:asteroid ;
+ rdfs:label "Eris" .
+
+result:Gonggong a owl:Individual,
+ result:object ;
+ rdfs:label "Gonggong" .
+
+result:Haumea a owl:Individual,
+ result:asteroid ;
+ rdfs:label "Haumea" .
+
+result:Makemake a owl:Individual,
+ result:object ;
+ rdfs:label "Makemake" .
+
+result:Orcus a owl:Individual,
+ result:object ;
+ rdfs:label "Orcus" .
+
+result:Pluto a owl:Individual,
+ result:object ;
+ rdfs:label "Pluto" .
+
+result:Quaoar a owl:Individual,
+ result:object ;
+ rdfs:label "Quaoar" .
+
+result:Sedna a owl:Individual,
+ result:object ;
+ rdfs:label "Sedna" .
+
+result:accept a owl:Class ;
+ rdfs:label "accept" ;
+ rdfs:subClassOf base:Entity .
+
+result:at-least a owl:Class ;
+ rdfs:label "at-least" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:dwarf-planet a owl:Class ;
+ rdfs:subClassOf result:planet .
+
+result:general a owl:ObjectProperty ;
+ rdfs:label "general" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:include a owl:ObjectProperty ;
+ rdfs:label "include" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:observe a owl:ObjectProperty ;
+ rdfs:label "observe" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:person a owl:Class ;
+ rdfs:label "person" ;
+ rdfs:subClassOf base:Entity .
+
+result:trans-Neptunian a owl:Class ;
+ rdfs:label "trans-Neptunian" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-15> a <https://tenet.tetras-libre.fr/amr.structure> ;
+ ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-15#root01> ;
+ ns1:hasID "WikiAbstract-SolarSystem-15" ;
+ ns1:hasSentence "Astronomers generally accept at least nine objects as dwarf planets: the asteroid Ceres and the trans-Neptunian objects Pluto, Eris, Haumea, Makemake, Gonggong, Quaoar, Sedna, and Orcus." .
+
+result:dwarf a owl:Class,
+ owl:Individual,
+ result:dwarf ;
+ rdfs:label "dwarf" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:planet a owl:Class ;
+ rdfs:label "planet" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:object a owl:Class ;
+ rdfs:label "object" ;
+ rdfs:subClassOf base:Entity .
+
diff --git a/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_16.ttl b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_16.ttl
new file mode 100644
index 0000000..e3e2d2a
--- /dev/null
+++ b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_16.ttl
@@ -0,0 +1,112 @@
+@prefix base: <https://reference.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#> .
+@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
+
+result:centaur a owl:Class ;
+ rdfs:label "centaur" ;
+ rdfs:subClassOf base:Entity .
+
+result:comet a owl:Class ;
+ rdfs:label "comet" ;
+ rdfs:subClassOf base:Entity .
+
+result:dust a owl:Class ;
+ rdfs:label "dust" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:free a owl:ObjectProperty ;
+ rdfs:label "free" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:include a owl:ObjectProperty ;
+ rdfs:label "include" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:interplanetary-cloud a owl:Class ;
+ rdfs:subClassOf result:cloud .
+
+result:other-population-travel-between a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:travel ;
+ owl:someValuesFrom result:between ],
+ result:other-population .
+
+result:small-body a owl:Class ;
+ rdfs:subClassOf result:body .
+
+result:this-region a owl:Class ;
+ rdfs:subClassOf result:region .
+
+result:various-population-travel-between a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:travel ;
+ owl:someValuesFrom result:between ],
+ result:various-population .
+
+<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-16> a <https://tenet.tetras-libre.fr/amr.structure> ;
+ ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-16#root01> ;
+ ns1:hasID "WikiAbstract-SolarSystem-16" ;
+ ns1:hasSentence "In addition to these two regions, various other small-body populations, including comets, centaurs and interplanetary dust clouds, freely travel between regions." .
+
+result:body a owl:Class ;
+ rdfs:label "body" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:cloud a owl:Class ;
+ rdfs:label "cloud" ;
+ rdfs:subClassOf base:Entity .
+
+result:interplanetary a owl:Class,
+ owl:Individual,
+ result:interplanetary ;
+ rdfs:label "interplanetary" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:other a owl:Class,
+ owl:Individual,
+ result:other ;
+ rdfs:label "other" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:other-population a owl:Class ;
+ rdfs:subClassOf result:population .
+
+result:region a owl:Class ;
+ rdfs:label "region" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:small a owl:Class,
+ owl:Individual,
+ result:small ;
+ rdfs:label "small" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:this a owl:Class,
+ owl:Individual,
+ result:this ;
+ rdfs:label "this" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:various a owl:Class,
+ owl:Individual,
+ result:various ;
+ rdfs:label "various" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:various-population a owl:Class ;
+ rdfs:subClassOf result:population .
+
+result:between a owl:Class ;
+ rdfs:label "between" ;
+ rdfs:subClassOf base:Entity .
+
+result:population a owl:Class ;
+ rdfs:label "population" ;
+ rdfs:subClassOf base:Entity .
+
+result:travel a owl:ObjectProperty ;
+ rdfs:label "travel" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
diff --git a/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_17.ttl b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_17.ttl
new file mode 100644
index 0000000..843c601
--- /dev/null
+++ b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_17.ttl
@@ -0,0 +1,104 @@
+@prefix base: <https://reference.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#> .
+@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
+
+result:after a owl:ObjectProperty ;
+ rdfs:label "after" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:body-include-body a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:include ;
+ owl:someValuesFrom result:body ],
+ result:body .
+
+result:large a owl:Class ;
+ rdfs:label "large" ;
+ rdfs:subClassOf base:Entity .
+
+result:many a owl:Class ;
+ rdfs:label "many" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:moon a owl:Class ;
+ rdfs:label "moon" ;
+ rdfs:subClassOf base:Entity .
+
+result:more a owl:ObjectProperty ;
+ rdfs:label "more" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:most a owl:ObjectProperty ;
+ rdfs:label "most" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:natural a owl:ObjectProperty ;
+ rdfs:label "natural" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:planet-include-dwarf-planet a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:include ;
+ owl:someValuesFrom result:dwarf-planet ],
+ result:planet .
+
+result:satellite-orbit-body a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:orbit ;
+ owl:someValuesFrom result:body ],
+ result:satellite .
+
+result:satellite-orbit-planet a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:orbit ;
+ owl:someValuesFrom result:planet ],
+ result:satellite .
+
+result:small a owl:Class ;
+ rdfs:label "small" ;
+ rdfs:subClassOf base:Entity .
+
+result:term a owl:ObjectProperty ;
+ rdfs:label "term" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:usual a owl:Class ;
+ rdfs:label "usual" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-17> a <https://tenet.tetras-libre.fr/amr.structure> ;
+ ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-17#root01> ;
+ ns1:hasID "WikiAbstract-SolarSystem-17" ;
+ ns1:hasSentence "Six of the planets, the six largest possible dwarf planets, and many of the smaller bodies are orbited by natural satellites, usually termed \"moons\" after the Moon." .
+
+result:dwarf a owl:Class,
+ owl:Individual,
+ result:dwarf ;
+ rdfs:label "dwarf" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:dwarf-planet a owl:Class ;
+ rdfs:subClassOf result:planet .
+
+result:include a owl:ObjectProperty ;
+ rdfs:label "include" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:orbit a owl:ObjectProperty ;
+ rdfs:label "orbit" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:satellite a owl:Class ;
+ rdfs:label "satellite" ;
+ rdfs:subClassOf base:Entity .
+
+result:body a owl:Class ;
+ rdfs:label "body" ;
+ rdfs:subClassOf base:Entity .
+
+result:planet a owl:Class ;
+ rdfs:label "planet" ;
+ rdfs:subClassOf base:Entity .
+
diff --git a/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_18.ttl b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_18.ttl
new file mode 100644
index 0000000..6e3dcc5
--- /dev/null
+++ b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_18.ttl
@@ -0,0 +1,85 @@
+@prefix base: <https://reference.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#> .
+@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
+
+result:dust a owl:Class ;
+ rdfs:label "dust" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:other-object a owl:Class ;
+ rdfs:subClassOf result:object .
+
+result:planet-ring-encircle-each-planet a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:encircle ;
+ owl:someValuesFrom result:each-planet ],
+ result:planet-ring .
+
+result:planet-ring-encircle-outer-planet a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:encircle ;
+ owl:someValuesFrom result:outer-planet ],
+ result:planet-ring .
+
+result:small-object a owl:Class ;
+ rdfs:subClassOf result:object .
+
+<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-18> a <https://tenet.tetras-libre.fr/amr.structure> ;
+ ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-18#root01> ;
+ ns1:hasID "WikiAbstract-SolarSystem-18" ;
+ ns1:hasSentence "Each of the outer planets is encircled by planetary rings of dust and other small objects." .
+
+result:each a owl:Class,
+ owl:Individual,
+ result:each ;
+ rdfs:label "each" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:each-planet a owl:Class ;
+ rdfs:subClassOf result:planet .
+
+result:other a owl:Class,
+ owl:Individual,
+ result:other ;
+ rdfs:label "other" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:outer a owl:Class,
+ owl:Individual,
+ result:outer ;
+ rdfs:label "outer" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:outer-planet a owl:Class ;
+ rdfs:subClassOf result:planet .
+
+result:ring a owl:Class ;
+ rdfs:label "ring" ;
+ rdfs:subClassOf base:Entity .
+
+result:small a owl:Class,
+ owl:Individual,
+ result:small ;
+ rdfs:label "small" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:encircle a owl:ObjectProperty ;
+ rdfs:label "encircle" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:object a owl:Class ;
+ rdfs:label "object" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:planet-ring a owl:Class ;
+ rdfs:subClassOf result:ring .
+
+result:planet a owl:Class,
+ owl:Individual,
+ result:planet ;
+ rdfs:label "planet" ;
+ rdfs:subClassOf base:Entity,
+ base:Undetermined_Thing .
+
diff --git a/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_19.ttl b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_19.ttl
new file mode 100644
index 0000000..c7581b1
--- /dev/null
+++ b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_19.ttl
@@ -0,0 +1,94 @@
+@prefix base: <https://reference.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#> .
+@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
+
+result:charge a owl:ObjectProperty ;
+ rdfs:label "charge" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:interstellar a owl:Class ;
+ rdfs:label "interstellar" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:mean a owl:ObjectProperty ;
+ rdfs:label "mean" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:medium a owl:ObjectProperty ;
+ rdfs:label "medium" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:outwards a owl:Class ;
+ rdfs:label "outwards" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:particle a owl:Class ;
+ rdfs:label "particle" ;
+ rdfs:subClassOf base:Entity .
+
+result:region-know-heliosphere a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:know ;
+ owl:someValuesFrom result:heliosphere ],
+ result:region .
+
+result:region-resemble-bubble a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:resemble ;
+ owl:someValuesFrom result:bubble ],
+ result:region .
+
+result:stream a owl:Class ;
+ rdfs:label "stream" ;
+ rdfs:subClassOf base:Entity .
+
+result:sun-wind-create-region a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:create ;
+ owl:someValuesFrom result:region ],
+ result:sun-wind .
+
+<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-19> a <https://tenet.tetras-libre.fr/amr.structure> ;
+ ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-19#root01> ;
+ ns1:hasID "WikiAbstract-SolarSystem-19" ;
+ ns1:hasSentence "The solar wind, a stream of charged particles flowing outwards from the Sun, creates a bubble-like region in the interstellar medium known as the heliosphere." .
+
+result:bubble a owl:Class ;
+ rdfs:label "bubble" ;
+ rdfs:subClassOf base:Entity .
+
+result:create a owl:ObjectProperty ;
+ rdfs:label "create" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:heliosphere a owl:Class ;
+ rdfs:label "heliosphere" ;
+ rdfs:subClassOf base:Entity .
+
+result:know a owl:ObjectProperty ;
+ rdfs:label "know" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:resemble a owl:ObjectProperty ;
+ rdfs:label "resemble" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:sun a owl:Class,
+ owl:Individual,
+ result:sun ;
+ rdfs:label "sun" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:sun-wind a owl:Class ;
+ rdfs:subClassOf result:wind .
+
+result:wind a owl:Class ;
+ rdfs:label "wind" ;
+ rdfs:subClassOf base:Entity .
+
+result:region a owl:Class ;
+ rdfs:label "region" ;
+ rdfs:subClassOf base:Entity .
+
diff --git a/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_2.ttl b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_2.ttl
index d09557e..33d5765 100644
--- a/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_2.ttl
+++ b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_2.ttl
@@ -1,87 +1,111 @@
+@prefix base: <https://reference.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#> .
+@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-<https://tenet.tetras-libre.fr/extract-result#SolarSystem> a owl:Individual,
- <https://tenet.tetras-libre.fr/extract-result#system> ;
- rdfs:label "SolarSystem" ;
- ns1:fromStructure "unknown" .
-<https://tenet.tetras-libre.fr/extract-result#direct> a owl:ObjectProperty ;
+result:SolarSystem a owl:Individual,
+ result:system ;
+ rdfs:label "SolarSystem" .
+
+result:direct a owl:ObjectProperty ;
rdfs:label "direct" ;
- rdfs:subPropertyOf ns1:Out_ObjectProperty ;
- ns1:fromStructure "unknown" .
+ rdfs:subPropertyOf base:Out_ObjectProperty .
-<https://tenet.tetras-libre.fr/extract-result#dwarf-planet> a owl:Class ;
- rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#planet> ;
- ns1:fromStructure "unknown" .
+result:dwarf-planet a owl:Class ;
+ rdfs:subClassOf result:planet ,
+ result:small .
-<https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ;
+result:hasPart a owl:ObjectProperty ;
rdfs:label "hasPart" ;
- rdfs:subPropertyOf ns1:Out_ObjectProperty ;
- ns1:fromStructure "unknown" .
+ rdfs:subPropertyOf base:Out_ObjectProperty .
-<https://tenet.tetras-libre.fr/extract-result#large> a owl:Class ;
+result:large a owl:Class ;
rdfs:label "large" ;
- rdfs:subClassOf ns1:Entity ;
- ns1:fromStructure "unknown" .
+ rdfs:subClassOf base:Entity .
-<https://tenet.tetras-libre.fr/extract-result#more> a owl:ObjectProperty ;
+result:more a owl:ObjectProperty ;
rdfs:label "more" ;
- rdfs:subPropertyOf ns1:Out_ObjectProperty ;
- ns1:fromStructure "unknown" .
+ rdfs:subPropertyOf base:Out_ObjectProperty .
-<https://tenet.tetras-libre.fr/extract-result#most> a owl:ObjectProperty ;
+result:most a owl:ObjectProperty ;
rdfs:label "most" ;
- rdfs:subPropertyOf ns1:Out_ObjectProperty ;
- ns1:fromStructure "unknown" .
+ rdfs:subPropertyOf base:Out_ObjectProperty .
-<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ;
+result:object a owl:Class ;
rdfs:label "object" ;
- rdfs:subClassOf ns1:Entity ;
- ns1:fromStructure "unknown" .
+ rdfs:subClassOf base:Entity .
+
+result:object-orbit-sun a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:orbit ;
+ owl:someValuesFrom result:sun ],
+ result:object .
+
+result:object-orbit-hasManner-direct-sun a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:orbit-hasManner-direct ;
+ owl:someValuesFrom result:sun ],
+ result:object-orbit-sun .
-<https://tenet.tetras-libre.fr/extract-result#orbit> a owl:Class ;
+result:orbit a owl:ObjectProperty ;
rdfs:label "orbit" ;
- rdfs:subClassOf ns1:Entity ;
- ns1:fromStructure "unknown" .
+ rdfs:subPropertyOf base:Out_ObjectProperty .
-<https://tenet.tetras-libre.fr/extract-result#remain> a owl:ObjectProperty ;
+result:orbit-hasManner-direct a owl:ObjectProperty ;
+ rdfs:subPropertyOf result:orbit .
+
+result:remain a owl:ObjectProperty ;
rdfs:label "remain" ;
- rdfs:subPropertyOf ns1:Out_ObjectProperty ;
- ns1:fromStructure "unknown" .
+ rdfs:subPropertyOf base:Out_ObjectProperty .
-<https://tenet.tetras-libre.fr/extract-result#small-body> a owl:Class ;
- rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#body> ;
- ns1:fromStructure "unknown" .
+result:small-body a owl:Class ;
+ rdfs:subClassOf result:body ,
+ result:small .
-<https://tenet.tetras-libre.fr/extract-result#sun> a owl:Class ;
+result:sun a owl:Class ;
rdfs:label "sun" ;
- rdfs:subClassOf ns1:Entity ;
- ns1:fromStructure "unknown" .
+ rdfs:subClassOf base:Entity .
+
+<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-02> a <https://tenet.tetras-libre.fr/amr.structure> ;
+ ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-02#root01> ;
+ ns1:hasID "WikiAbstract-SolarSystem-02" ;
+ ns1:hasSentence "Of the objects that orbit the Sun directly, the largest are the eight planets, with the remainder being smaller objects, the dwarf planets and small Solar System bodies." .
-<https://tenet.tetras-libre.fr/extract-result#body> a owl:Class ;
+result:body a owl:Class ;
rdfs:label "body" ;
- rdfs:subClassOf ns1:Entity ;
- ns1:fromStructure "unknown" .
+ rdfs:subClassOf base:Entity .
-<https://tenet.tetras-libre.fr/extract-result#dwarf> a owl:Class,
- owl:Individual,
- <https://tenet.tetras-libre.fr/extract-result#dwarf> ;
+result:dwarf a owl:Class ;
rdfs:label "dwarf" ;
- rdfs:subClassOf ns1:Undetermined_Thing ;
- ns1:fromStructure "unknown" .
+ rdfs:subClassOf base:Entity .
-<https://tenet.tetras-libre.fr/extract-result#planet> a owl:Class ;
+result:planet a owl:Class ;
rdfs:label "planet" ;
- rdfs:subClassOf ns1:Entity ;
- ns1:fromStructure "unknown" .
+ rdfs:subClassOf base:Entity .
+
+result:large-planet a owl:Class ;
+ rdfs:label "large-planet" ;
+ rdfs:subClassOf result:planet ,
+ result:large.
+
+result:most-large-Planet a owl:Class ;
+ rdfs:label "most-large-Planet" ;
+ rdfs:subClassOf result:large-planet ,
+ result:object-orbit-hasManner-direct-sun .
+
+result:hasCount a owl:DatatypeProperty ;
+ rdfs:label "hasCount" ;
+ rdfs:range xsd:integer .
+
+# Instance
+result:SetOf-8-most-large-Planet a result:most-large-Planet ;
+ result:hasCount 8 ;
+ rdfs:label "SetOf-8-most-large-Planet" .
-<https://tenet.tetras-libre.fr/extract-result#small> a owl:Class,
- owl:Individual,
- <https://tenet.tetras-libre.fr/extract-result#small> ;
+result:small a owl:Class ;
rdfs:label "small" ;
- rdfs:subClassOf ns1:Entity,
- ns1:Undetermined_Thing ;
- ns1:fromStructure "unknown" .
+ rdfs:subClassOf base:Entity .
diff --git a/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_20.ttl b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_20.ttl
new file mode 100644
index 0000000..399d282
--- /dev/null
+++ b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_20.ttl
@@ -0,0 +1,99 @@
+@prefix base: <https://reference.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#> .
+@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
+
+result:disc-hasPart-edge a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:hasPart ;
+ owl:someValuesFrom result:edge ],
+ result:disc .
+
+result:extend a owl:ObjectProperty ;
+ rdfs:label "extend" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:heliopause a owl:Class ;
+ rdfs:label "heliopause" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:interstellar-medium a owl:Class ;
+ rdfs:subClassOf result:medium .
+
+result:oppose a owl:ObjectProperty ;
+ rdfs:label "oppose" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:out a owl:Class ;
+ rdfs:label "out" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:pressure-equal-point a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:equal ;
+ owl:someValuesFrom result:point ],
+ result:pressure .
+
+result:pressure-equal-pressure a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:equal ;
+ owl:someValuesFrom result:pressure ],
+ result:pressure .
+
+result:scatter a owl:ObjectProperty ;
+ rdfs:label "scatter" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:sun-wind a owl:Class ;
+ rdfs:subClassOf result:wind .
+
+<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-20> a <https://tenet.tetras-libre.fr/amr.structure> ;
+ ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-20#root01> ;
+ ns1:hasID "WikiAbstract-SolarSystem-20" ;
+ ns1:hasSentence "The heliopause is the point at which pressure from the solar wind is equal to the opposing pressure of the interstellar medium; it extends out to the edge of the scattered disc." .
+
+result:disc a owl:Class ;
+ rdfs:label "disc" ;
+ rdfs:subClassOf base:Entity .
+
+result:edge a owl:Class ;
+ rdfs:label "edge" ;
+ rdfs:subClassOf base:Entity .
+
+result:hasPart a owl:ObjectProperty ;
+ rdfs:label "hasPart" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:interstellar a owl:Class,
+ owl:Individual,
+ result:interstellar ;
+ rdfs:label "interstellar" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:medium a owl:Class ;
+ rdfs:label "medium" ;
+ rdfs:subClassOf base:Entity .
+
+result:point a owl:Class ;
+ rdfs:label "point" ;
+ rdfs:subClassOf base:Entity .
+
+result:sun a owl:Class,
+ owl:Individual,
+ result:sun ;
+ rdfs:label "sun" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:wind a owl:Class ;
+ rdfs:label "wind" ;
+ rdfs:subClassOf base:Entity .
+
+result:equal a owl:ObjectProperty ;
+ rdfs:label "equal" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:pressure a owl:Class ;
+ rdfs:label "pressure" ;
+ rdfs:subClassOf base:Entity .
+
diff --git a/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_21.ttl b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_21.ttl
new file mode 100644
index 0000000..e5c82c7
--- /dev/null
+++ b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_21.ttl
@@ -0,0 +1,64 @@
+@prefix base: <https://reference.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#> .
+@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
+
+result:Oortcloud a owl:Individual,
+ result:cloud ;
+ rdfs:label "Oortcloud" .
+
+result:also a owl:Class ;
+ rdfs:label "also" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:distant a owl:ObjectProperty ;
+ rdfs:label "distant" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:exist a owl:ObjectProperty ;
+ rdfs:label "exist" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:heliosphere a owl:Class ;
+ rdfs:label "heliosphere" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:long a owl:ObjectProperty ;
+ rdfs:label "long" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:period-comet a owl:Class ;
+ rdfs:subClassOf result:comet .
+
+result:roughly a owl:Class ;
+ rdfs:label "roughly" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:source a owl:Class ;
+ rdfs:label "source" ;
+ rdfs:subClassOf base:Entity .
+
+result:think a owl:ObjectProperty ;
+ rdfs:label "think" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:times a owl:Class ;
+ rdfs:label "times" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-21> a <https://tenet.tetras-libre.fr/amr.structure> ;
+ ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-21#root01> ;
+ ns1:hasID "WikiAbstract-SolarSystem-21" ;
+ ns1:hasSentence "The Oort cloud, which is thought to be the source for long-period comets, may also exist at a distance roughly a thousand times further than the heliosphere." .
+
+result:comet a owl:Class ;
+ rdfs:label "comet" ;
+ rdfs:subClassOf base:Entity .
+
+result:period a owl:Class,
+ owl:Individual,
+ result:period ;
+ rdfs:label "period" ;
+ rdfs:subClassOf base:Entity .
+
diff --git a/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_22.ttl b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_22.ttl
new file mode 100644
index 0000000..cfcf21d
--- /dev/null
+++ b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_22.ttl
@@ -0,0 +1,85 @@
+@prefix base: <https://reference.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#> .
+@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
+
+result:MilkyWay a owl:Individual,
+ result:galaxy ;
+ rdfs:label "MilkyWay" .
+
+result:Orion a owl:Individual,
+ result:arm ;
+ rdfs:label "Orion" .
+
+result:SolarSystem a owl:Individual,
+ result:system ;
+ rdfs:label "SolarSystem" .
+
+result:be a owl:ObjectProperty ;
+ rdfs:label "be" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:center a owl:Class ;
+ rdfs:label "center" ;
+ rdfs:subClassOf base:Entity .
+
+result:contain a owl:ObjectProperty ;
+ rdfs:label "contain" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:date a owl:ObjectProperty ;
+ rdfs:label "date" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:distance-quantity a owl:Class ;
+ rdfs:label "distance-quantity" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:hasPart a owl:ObjectProperty ;
+ rdfs:label "hasPart" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:light-year a owl:Class ;
+ rdfs:label "light-year" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:most a owl:ObjectProperty ;
+ rdfs:label "most" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:night a owl:Class ;
+ rdfs:label "night" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:relative-position a owl:Class ;
+ rdfs:label "relative-position" ;
+ rdfs:subClassOf base:Entity .
+
+result:see a owl:ObjectProperty ;
+ rdfs:label "see" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:sky a owl:Class ;
+ rdfs:label "sky" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:star-include-star a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:include ;
+ owl:someValuesFrom result:star ],
+ result:star .
+
+<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-22> a <https://tenet.tetras-libre.fr/amr.structure> ;
+ ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-22#root01> ;
+ ns1:hasID "WikiAbstract-SolarSystem-22" ;
+ ns1:hasSentence "The Solar System is located 26,000 light-years from the center of the Milky Way galaxy in the Orion Arm, which contains most of the visible stars in the night sky." .
+
+result:include a owl:ObjectProperty ;
+ rdfs:label "include" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:star a owl:Class ;
+ rdfs:label "star" ;
+ rdfs:subClassOf base:Entity .
+
diff --git a/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_23.ttl b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_23.ttl
new file mode 100644
index 0000000..6e62f49
--- /dev/null
+++ b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_23.ttl
@@ -0,0 +1,60 @@
+@prefix base: <https://reference.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#> .
+@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
+
+result:ProximaCentre a owl:Individual,
+ result:star ;
+ rdfs:label "ProximaCentre" .
+
+result:close a owl:ObjectProperty ;
+ rdfs:label "close" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:include a owl:ObjectProperty ;
+ rdfs:label "include" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:light-year a owl:Class ;
+ rdfs:label "light-year" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:local a owl:ObjectProperty ;
+ rdfs:label "local" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:most a owl:ObjectProperty ;
+ rdfs:label "most" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:near a owl:ObjectProperty ;
+ rdfs:label "near" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:ordinal-entity a owl:Class ;
+ rdfs:label "ordinal-entity" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:so-called-bubble a owl:Class ;
+ rdfs:subClassOf result:bubble .
+
+<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-23> a <https://tenet.tetras-libre.fr/amr.structure> ;
+ ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-23#root01> ;
+ ns1:hasID "WikiAbstract-SolarSystem-23" ;
+ ns1:hasSentence "The nearest stars are within the so-called Local Bubble, with the closest, Proxima Centauri, at 4.25 light-years.." .
+
+result:bubble a owl:Class ;
+ rdfs:label "bubble" ;
+ rdfs:subClassOf base:Entity .
+
+result:so-called a owl:Class,
+ owl:Individual,
+ result:so-called ;
+ rdfs:label "so-called" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:star a owl:Class ;
+ rdfs:label "star" ;
+ rdfs:subClassOf base:Entity .
+
diff --git a/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_3.ttl b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_3.ttl
new file mode 100644
index 0000000..c487712
--- /dev/null
+++ b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_3.ttl
@@ -0,0 +1,88 @@
+@prefix base: <https://reference.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#> .
+@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
+
+result:Mercury a owl:Individual,
+ result:planet ;
+ rdfs:label "Mercury" .
+
+result:almost a owl:Class ;
+ rdfs:label "almost" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:equal a owl:ObjectProperty ;
+ rdfs:label "equal" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:large a owl:Class ;
+ rdfs:label "large" ;
+ rdfs:subClassOf base:Entity .
+
+result:more a owl:Class,
+ owl:ObjectProperty ;
+ rdfs:label "more" ;
+ rdfs:subClassOf base:Entity ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:most a owl:ObjectProperty ;
+ rdfs:label "most" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:natural a owl:ObjectProperty ;
+ rdfs:label "natural" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:not-direct a owl:ObjectProperty ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:object-include-object a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:include ;
+ owl:someValuesFrom result:object ],
+ result:object .
+
+result:object-mean-satellite a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:mean ;
+ owl:someValuesFrom result:satellite ],
+ result:object .
+
+result:orbit a owl:Class ;
+ rdfs:label "orbit" ;
+ rdfs:subClassOf base:Entity .
+
+result:size a owl:Class ;
+ rdfs:label "size" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:small a owl:Class ;
+ rdfs:label "small" ;
+ rdfs:subClassOf base:Entity .
+
+result:sun a owl:Class ;
+ rdfs:label "sun" ;
+ rdfs:subClassOf base:Entity .
+
+<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-03> a <https://tenet.tetras-libre.fr/amr.structure> ;
+ ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-03#root01> ;
+ ns1:hasID "WikiAbstract-SolarSystem-03" ;
+ ns1:hasSentence "Of the objects that orbit the Sun indirectly—the natural satellites—two are larger than the smallest planet, Mercury, and one more almost equals it in size." .
+
+result:include a owl:ObjectProperty ;
+ rdfs:label "include" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:mean a owl:ObjectProperty ;
+ rdfs:label "mean" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:satellite a owl:Class ;
+ rdfs:label "satellite" ;
+ rdfs:subClassOf base:Entity .
+
+result:object a owl:Class ;
+ rdfs:label "object" ;
+ rdfs:subClassOf base:Entity .
+
diff --git a/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_4.ttl b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_4.ttl
new file mode 100644
index 0000000..a2a6e8b
--- /dev/null
+++ b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_4.ttl
@@ -0,0 +1,79 @@
+@prefix base: <https://reference.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#> .
+@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
+
+result:SolarSystem a owl:Individual,
+ result:system ;
+ rdfs:label "SolarSystem" .
+
+result:before a owl:Class ;
+ rdfs:label "before" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:collapse-cause-gravity a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:cause ;
+ owl:someValuesFrom result:gravity ],
+ result:collapse .
+
+result:form a owl:ObjectProperty ;
+ rdfs:label "form" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:giant-cloud a owl:Class ;
+ rdfs:subClassOf result:cloud .
+
+result:intercontinental-cloud a owl:Class ;
+ rdfs:subClassOf result:cloud .
+
+result:molecule a owl:Class ;
+ rdfs:label "molecule" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:now a owl:Class ;
+ rdfs:label "now" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:temporal-quantity a owl:Class ;
+ rdfs:label "temporal-quantity" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:year a owl:ObjectProperty ;
+ rdfs:label "year" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-04> a <https://tenet.tetras-libre.fr/amr.structure> ;
+ ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-04#root01> ;
+ ns1:hasID "WikiAbstract-SolarSystem-04" ;
+ ns1:hasSentence "The Solar System formed 4.6 billion years ago from the gravitational collapse of a giant interstellar molecular cloud." .
+
+result:cause a owl:ObjectProperty ;
+ rdfs:label "cause" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:collapse a owl:Class ;
+ rdfs:label "collapse" ;
+ rdfs:subClassOf base:Entity .
+
+result:giant a owl:Class,
+ owl:Individual,
+ result:giant ;
+ rdfs:label "giant" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:gravity a owl:Class ;
+ rdfs:label "gravity" ;
+ rdfs:subClassOf base:Entity .
+
+result:intercontinental a owl:Class,
+ owl:Individual,
+ result:intercontinental ;
+ rdfs:label "intercontinental" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:cloud a owl:Class ;
+ rdfs:label "cloud" ;
+ rdfs:subClassOf base:Entity .
+
diff --git a/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_5.ttl b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_5.ttl
new file mode 100644
index 0000000..f63fdf6
--- /dev/null
+++ b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_5.ttl
@@ -0,0 +1,68 @@
+@prefix base: <https://reference.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#> .
+@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
+
+result:Jupiter a owl:Individual,
+ result:planet ;
+ rdfs:label "Jupiter" .
+
+result:contain a owl:ObjectProperty ;
+ rdfs:label "contain" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:mass-be-sun a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:be ;
+ owl:someValuesFrom result:sun ],
+ result:mass .
+
+result:remain a owl:ObjectProperty ;
+ rdfs:label "remain" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:system-hasPart-mass a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:hasPart ;
+ owl:someValuesFrom result:mass ],
+ result:system .
+
+result:vast-majority a owl:Class ;
+ rdfs:subClassOf result:majority .
+
+<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-05> a <https://tenet.tetras-libre.fr/amr.structure> ;
+ ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-05#root01> ;
+ ns1:hasID "WikiAbstract-SolarSystem-05" ;
+ ns1:hasSentence "The vast majority of the system's mass is in the Sun, with the majority of the remaining mass contained in Jupiter." .
+
+result:be a owl:ObjectProperty ;
+ rdfs:label "be" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:hasPart a owl:ObjectProperty ;
+ rdfs:label "hasPart" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:majority a owl:Class ;
+ rdfs:label "majority" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:sun a owl:Class ;
+ rdfs:label "sun" ;
+ rdfs:subClassOf base:Entity .
+
+result:system a owl:Class ;
+ rdfs:label "system" ;
+ rdfs:subClassOf base:Entity .
+
+result:vast a owl:Class,
+ owl:Individual,
+ result:vast ;
+ rdfs:label "vast" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:mass a owl:Class ;
+ rdfs:label "mass" ;
+ rdfs:subClassOf base:Entity .
+
diff --git a/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_6.ttl b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_6.ttl
new file mode 100644
index 0000000..ee0ffbf
--- /dev/null
+++ b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_6.ttl
@@ -0,0 +1,81 @@
+@prefix base: <https://reference.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#> .
+@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
+
+result:Earth a owl:Individual,
+ result:planet ;
+ rdfs:label "Earth" .
+
+result:Mars a owl:Individual,
+ result:planet ;
+ rdfs:label "Mars" .
+
+result:Mercury a owl:Individual,
+ result:planet ;
+ rdfs:label "Mercury" .
+
+result:Venus a owl:Individual,
+ result:planet ;
+ rdfs:label "Venus" .
+
+result:compose a owl:ObjectProperty ;
+ rdfs:label "compose" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:hasPart a owl:ObjectProperty ;
+ rdfs:label "hasPart" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:inner-system a owl:Class ;
+ rdfs:subClassOf result:system .
+
+result:metal a owl:Class ;
+ rdfs:label "metal" ;
+ rdfs:subClassOf base:Entity .
+
+result:more a owl:ObjectProperty ;
+ rdfs:label "more" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:primary a owl:Class ;
+ rdfs:label "primary" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:rock a owl:Class ;
+ rdfs:label "rock" ;
+ rdfs:subClassOf base:Entity .
+
+result:small a owl:Class ;
+ rdfs:label "small" ;
+ rdfs:subClassOf base:Entity .
+
+result:terrestrial-planet a owl:Class ;
+ rdfs:subClassOf result:planet .
+
+<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-06> a <https://tenet.tetras-libre.fr/amr.structure> ;
+ ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-06#root01> ;
+ ns1:hasID "WikiAbstract-SolarSystem-06" ;
+ ns1:hasSentence "The four smaller inner system planets, Mercury, Venus, Earth and Mars, are terrestrial planets, being primarily composed of rock and metal." .
+
+result:inner a owl:Class,
+ owl:Individual,
+ result:inner ;
+ rdfs:label "inner" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:system a owl:Class ;
+ rdfs:label "system" ;
+ rdfs:subClassOf base:Entity .
+
+result:terrestrial a owl:Class,
+ owl:Individual,
+ result:terrestrial ;
+ rdfs:label "terrestrial" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:planet a owl:Class ;
+ rdfs:label "planet" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
diff --git a/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_7.ttl b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_7.ttl
new file mode 100644
index 0000000..34f517d
--- /dev/null
+++ b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_7.ttl
@@ -0,0 +1,63 @@
+@prefix base: <https://reference.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#> .
+@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
+
+result:giant-planet a owl:Class ;
+ rdfs:subClassOf result:planet .
+
+result:massive a owl:Class ;
+ rdfs:label "massive" ;
+ rdfs:subClassOf base:Entity .
+
+result:more a owl:ObjectProperty ;
+ rdfs:label "more" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:outer-system-hasPart-planet a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:hasPart ;
+ owl:someValuesFrom result:planet ],
+ result:outer-system .
+
+result:substantial a owl:Class ;
+ rdfs:label "substantial" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:terrestrial a owl:Class ;
+ rdfs:label "terrestrial" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-07> a <https://tenet.tetras-libre.fr/amr.structure> ;
+ ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-07#root01> ;
+ ns1:hasID "WikiAbstract-SolarSystem-07" ;
+ ns1:hasSentence "The four outer system planets are giant planets, being substantially more massive than the terrestrials." .
+
+result:giant a owl:Class,
+ owl:Individual,
+ result:giant ;
+ rdfs:label "giant" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:hasPart a owl:ObjectProperty ;
+ rdfs:label "hasPart" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:outer a owl:Class,
+ owl:Individual,
+ result:outer ;
+ rdfs:label "outer" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:outer-system a owl:Class ;
+ rdfs:subClassOf result:system .
+
+result:system a owl:Class ;
+ rdfs:label "system" ;
+ rdfs:subClassOf base:Entity .
+
+result:planet a owl:Class ;
+ rdfs:label "planet" ;
+ rdfs:subClassOf base:Entity .
+
diff --git a/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_8.ttl b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_8.ttl
new file mode 100644
index 0000000..334ca4a
--- /dev/null
+++ b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_8.ttl
@@ -0,0 +1,141 @@
+@prefix base: <https://reference.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#> .
+@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
+
+result:Jupiter a owl:Individual,
+ result:planet ;
+ rdfs:label "Jupiter" .
+
+result:Neptune a owl:Individual,
+ result:planet ;
+ rdfs:label "Neptune" .
+
+result:Saturn a owl:Individual,
+ result:planet ;
+ rdfs:label "Saturn" .
+
+result:Uranus a owl:Individual,
+ result:planet ;
+ rdfs:label "Uranus" .
+
+result:ammonia a owl:Class ;
+ rdfs:label "ammonia" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:gas-giant-compose-helium a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:compose ;
+ owl:someValuesFrom result:helium ],
+ result:gas-giant .
+
+result:gas-giant-compose-hydrogen a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:compose ;
+ owl:someValuesFrom result:hydrogen ],
+ result:gas-giant .
+
+result:helium-call-volatile a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:call ;
+ owl:someValuesFrom result:volatile ],
+ result:helium .
+
+result:high a owl:ObjectProperty ;
+ rdfs:label "high" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:hydrogen-call-volatile a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:call ;
+ owl:someValuesFrom result:volatile ],
+ result:hydrogen .
+
+result:ice-giant a owl:Class ;
+ rdfs:subClassOf result:giant .
+
+result:large a owl:Class ;
+ rdfs:label "large" ;
+ rdfs:subClassOf base:Entity .
+
+result:main a owl:Class ;
+ rdfs:label "main" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:melt a owl:ObjectProperty ;
+ rdfs:label "melt" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:methane a owl:Class ;
+ rdfs:label "methane" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:more a owl:Class ;
+ rdfs:label "more" ;
+ rdfs:subClassOf base:Entity .
+
+result:most a owl:ObjectProperty ;
+ rdfs:label "most" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:point a owl:Class ;
+ rdfs:label "point" ;
+ rdfs:subClassOf base:Entity .
+
+result:relative a owl:ObjectProperty ;
+ rdfs:label "relative" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:substance a owl:Class ;
+ rdfs:label "substance" ;
+ rdfs:subClassOf base:Entity .
+
+result:water a owl:Class ;
+ rdfs:label "water" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> a <https://tenet.tetras-libre.fr/amr.structure> ;
+ ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-08#root01> ;
+ ns1:hasID "WikiAbstract-SolarSystem-08" ;
+ ns1:hasSentence "The two largest planets, Jupiter and Saturn, are gas giants, being composed mainly of hydrogen and helium; the two outermost planets, Uranus and Neptune, are ice giants, being composed mostly of substances with relatively high melting points compared with hydrogen and helium, called volatiles, such as water, ammonia and methane." .
+
+result:gas a owl:Class,
+ owl:Individual,
+ result:gas ;
+ rdfs:label "gas" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:ice a owl:Class,
+ owl:Individual,
+ result:ice ;
+ rdfs:label "ice" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:call a owl:ObjectProperty ;
+ rdfs:label "call" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:compose a owl:ObjectProperty ;
+ rdfs:label "compose" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:gas-giant a owl:Class ;
+ rdfs:subClassOf result:giant .
+
+result:giant a owl:Class ;
+ rdfs:label "giant" ;
+ rdfs:subClassOf base:Entity .
+
+result:helium a owl:Class ;
+ rdfs:label "helium" ;
+ rdfs:subClassOf base:Entity .
+
+result:hydrogen a owl:Class ;
+ rdfs:label "hydrogen" ;
+ rdfs:subClassOf base:Entity .
+
+result:volatile a owl:Class ;
+ rdfs:label "volatile" ;
+ rdfs:subClassOf base:Entity .
+
diff --git a/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_9.ttl b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_9.ttl
new file mode 100644
index 0000000..7a89eec
--- /dev/null
+++ b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_9.ttl
@@ -0,0 +1,72 @@
+@prefix base: <https://reference.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#> .
+@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
+
+result:all a owl:ObjectProperty ;
+ rdfs:label "all" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:call a owl:ObjectProperty ;
+ rdfs:label "call" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:circular-orbit-lie-disc a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:lie ;
+ owl:someValuesFrom result:disc ],
+ result:circular-orbit .
+
+result:ecliptic a owl:Individual,
+ result:thing ;
+ rdfs:label "ecliptic" .
+
+result:flat a owl:ObjectProperty ;
+ rdfs:label "flat" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:near a owl:ObjectProperty ;
+ rdfs:label "near" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:planet a owl:Class ;
+ rdfs:label "planet" ;
+ rdfs:subClassOf base:Entity .
+
+<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-09> a <https://tenet.tetras-libre.fr/amr.structure> ;
+ ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-09#root01> ;
+ ns1:hasID "WikiAbstract-SolarSystem-09" ;
+ ns1:hasSentence "All eight planets have almost circular orbits that lie within a nearly flat disc called the ecliptic." .
+
+result:almost a owl:Class,
+ owl:Individual,
+ result:almost ;
+ rdfs:label "almost" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
+result:almost-circular a owl:Class ;
+ rdfs:subClassOf result:circular .
+
+result:circular-orbit a owl:Class ;
+ rdfs:subClassOf result:orbit .
+
+result:disc a owl:Class ;
+ rdfs:label "disc" ;
+ rdfs:subClassOf base:Entity .
+
+result:lie a owl:ObjectProperty ;
+ rdfs:label "lie" ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+result:orbit a owl:Class ;
+ rdfs:label "orbit" ;
+ rdfs:subClassOf base:Entity .
+
+result:circular a owl:Class,
+ owl:Individual,
+ result:almost-circular,
+ result:circular ;
+ rdfs:label "circular" ;
+ rdfs:subClassOf base:Undetermined_Thing .
+
--
GitLab