diff --git a/Coling23-v1-SolarSystem-20230922/reference-ontology-definitions/SolarSystemProd_factoid_1.ttl b/Coling23-v1-SolarSystem-20230922/reference-ontology-definitions/SolarSystemProd_factoid_1.ttl
index 29e0e74f3889e419c6bac240ee82e442c73fe73e..d4238499712179712a5c4d7dd4d2697875a79b4c 100644
--- a/Coling23-v1-SolarSystem-20230922/reference-ontology-definitions/SolarSystemProd_factoid_1.ttl
+++ b/Coling23-v1-SolarSystem-20230922/reference-ontology-definitions/SolarSystemProd_factoid_1.ttl
@@ -40,7 +40,8 @@ result:SolarSystem a owl:Individual,
result:system-hasPart-sun ;
rdfs:label "SolarSystem" ;
base:fromStructure "WikiAbstract-SolarSystem-01" ;
- result:hasPart result:object-WikiAbstract-SolarSystem-01,
+ result:hasPart result:object-WikiAbstract-SolarSystem-01-a,
+ result:object-WikiAbstract-SolarSystem-01-b,
result:sun-WikiAbstract-SolarSystem-01 .
result:gravitation a owl:Class ;
@@ -65,11 +66,17 @@ result:gravitation-bind-system-hasPart-sun a owl:Class ;
result:object-WikiAbstract-SolarSystem-01 a owl:Individual,
base:Entity,
result:object,
- result:object-orbit-hasManner-direct-sun,
+ result:object-orbit-hasManner-direct-sun ;
+ rdfs:label "object 1 (WikiAbstract-SolarSystem-01)" ;
+ base:fromStructure "WikiAbstract-SolarSystem-01" ;
+ result:orbit-hasManner-direct result:sun-WikiAbstract-SolarSystem-01 .
+
+result:object-WikiAbstract-SolarSystem-01-2 a owl:Individual,
+ base:Entity,
+ result:object,
result:object-orbit-hasManner-not-direct-sun ;
- rdfs:label "object (WikiAbstract-SolarSystem-01)" ;
+ rdfs:label "object 2 (WikiAbstract-SolarSystem-01)" ;
base:fromStructure "WikiAbstract-SolarSystem-01" ;
- result:orbit-hasManner-direct result:sun-WikiAbstract-SolarSystem-01 ;
result:orbit-hasManner-not-direct result:sun-WikiAbstract-SolarSystem-01 .
result:system-hasPart-object-orbit-hasManner-direct-sun a owl:Class ;
@@ -109,18 +116,25 @@ result:gravitation-bind-system a owl:Class ;
result:gravitation ;
base:fromStructure "WikiAbstract-SolarSystem-01" .
+result:object-orbit-sun a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:orbit ;
+ owl:someValuesFrom result:sun ],
+ result:object ;
+ base:fromStructure "WikiAbstract-SolarSystem-01" .
+
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 ;
+ result:object-orbit-sun ;
base:fromStructure "WikiAbstract-SolarSystem-01" .
result:object-orbit-hasManner-not-direct-sun a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty result:orbit-hasManner-not-direct ;
owl:someValuesFrom result:sun ],
- result:object ;
+ result:object-orbit-sun ;
base:fromStructure "WikiAbstract-SolarSystem-01" .
result:sun-WikiAbstract-SolarSystem-01 a owl:Individual,
diff --git a/Coling23-v1-SolarSystem-20230922/reference-ontology-definitions/SolarSystemProd_factoid_2.ttl b/Coling23-v1-SolarSystem-20230922/reference-ontology-definitions/SolarSystemProd_factoid_2.ttl
index 194fbabafc67cdb24d44801c43a204f05ca60016..04d8bdf271450b7dc055e93e275f3226fe4c3342 100644
--- a/Coling23-v1-SolarSystem-20230922/reference-ontology-definitions/SolarSystemProd_factoid_2.ttl
+++ b/Coling23-v1-SolarSystem-20230922/reference-ontology-definitions/SolarSystemProd_factoid_2.ttl
@@ -54,6 +54,7 @@ result:most-large-planet a owl:Class ;
owl:onProperty result:hasFeature ],
result:object-direct-orbit-sun,
result:planet ;
+ base:hasQuantity "8" ;
base:fromStructure "WikiAbstract-SolarSystem-02" .
result:body a owl:Class ;
diff --git a/Coling23-v1-SolarSystem-20230922/reference-ontology-definitions/SolarSystemProd_factoid_3.ttl b/Coling23-v1-SolarSystem-20230922/reference-ontology-definitions/SolarSystemProd_factoid_3.ttl
index 991cc9ab56a832d7efe4b9f6bb928d15ac0888d2..74f04ac0ecdc7c2120d853bec1e1dda5eec9095b 100644
--- a/Coling23-v1-SolarSystem-20230922/reference-ontology-definitions/SolarSystemProd_factoid_3.ttl
+++ b/Coling23-v1-SolarSystem-20230922/reference-ontology-definitions/SolarSystemProd_factoid_3.ttl
@@ -1,152 +1,304 @@
-@prefix base: <https://reference.tetras-libre.fr/base-ontology#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix xml: <http://www.w3.org/XML/1998/namespace> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix base: <https://reference.tetras-libre.fr/base-ontology#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
+@base <http://www.w3.org/2002/07/owl#> .
+
+[ rdf:type owl:Ontology
+ ] .
+
+#################################################################
+# Annotation properties
+#################################################################
+
+### https://reference.tetras-libre.fr/base-ontology#fromStructure
+base:fromStructure rdf:type owl:AnnotationProperty .
+
+
+### https://reference.tetras-libre.fr/base-ontology#hasQuantity
+base:hasQuantity rdf:type owl:AnnotationProperty .
+
+
+#################################################################
+# Object Properties
+#################################################################
+
+### https://reference.tetras-libre.fr/base-ontology#Out_ObjectProperty
+base:Out_ObjectProperty rdf:type owl:ObjectProperty .
+
+
+### https://reference.tetras-libre.fr/expected-result#equal
+result:equal rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf base:Out_ObjectProperty ;
+ rdfs:label "equal" ;
+ base:fromStructure "WikiAbstract-SolarSystem-03" .
+
+
+### https://reference.tetras-libre.fr/expected-result#hasFeature
+result:hasFeature rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf base:Out_ObjectProperty ;
+ rdfs:label "hasFeature" ;
+ base:fromStructure "predefinedProperty" .
+
+
+### https://reference.tetras-libre.fr/expected-result#include
+result:include rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf base:Out_ObjectProperty ;
+ rdfs:label "include" ;
+ base:fromStructure "WikiAbstract-SolarSystem-03" .
+
+
+### https://reference.tetras-libre.fr/expected-result#isMoreLargeThan
+result:isMoreLargeThan rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf base:Out_ObjectProperty ;
+ base:fromStructure "WikiAbstract-SolarSystem-03" .
+
+
+### https://reference.tetras-libre.fr/expected-result#mean
+result:mean rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf base:Out_ObjectProperty ;
+ rdfs:label "mean" ;
+ base:fromStructure "WikiAbstract-SolarSystem-03" .
+
+
+### https://reference.tetras-libre.fr/expected-result#more
+result:more rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf base:Out_ObjectProperty .
+
+
+### https://reference.tetras-libre.fr/expected-result#natural
+result:natural rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf base:Out_ObjectProperty ;
+ rdfs:label "natural" ;
+ base:fromStructure "WikiAbstract-SolarSystem-03" .
+
+
+### https://reference.tetras-libre.fr/expected-result#not-direct-orbit
+result:not-direct-orbit rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf result:orbit ;
+ base:fromStructure "WikiAbstract-SolarSystem-03" .
+
+
+### https://reference.tetras-libre.fr/expected-result#orbit
+result:orbit rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf base:Out_ObjectProperty ;
+ rdfs:label "orbit" ;
+ base:fromStructure "WikiAbstract-SolarSystem-03" .
+
+
+#################################################################
+# Classes
+#################################################################
+
+### http://www.co-ode.org/ontologies/ont.owl#object-isAlmostSizeEqualThan-most-small-planet
+result:object-isSizeAlmostEqualThan-most-small-planet rdf:type owl:Class ;
+ rdfs:subClassOf result:more-large-object ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:isSizeAlmostEqualLargeThan ;
+ owl:someValuesFrom result:most-small-planet
+ ] ;
+ rdfs:subClassOf result:object-not-direct-orbit-sun ;
+ base:hasQuantity "1" ;
+ base:fromStructure "WikiAbstract-SolarSystem-03" .
+
+
+### http://www.w3.org/2002/07/owl#Individual
+owl:Individual rdf:type owl:Class .
+
+
+### https://reference.tetras-libre.fr/base-ontology#Degree
+base:Degree rdf:type owl:Class .
+
+
+### https://reference.tetras-libre.fr/base-ontology#Entity
+base:Entity rdf:type owl:Class .
+
+
+### https://reference.tetras-libre.fr/base-ontology#Feature
+base:Feature rdf:type owl:Class .
+
+
+### https://reference.tetras-libre.fr/expected-result#almost
+result:almost rdf:type owl:Class ;
+ rdfs:subClassOf base:Degree ;
+ rdfs:label "almost" ;
+ base:fromStructure "WikiAbstract-SolarSystem-03" .
+
+
+### https://reference.tetras-libre.fr/expected-result#more-large-object
+result:more-large-object rdf:type owl:Class ;
+ rdfs:subClassOf result:object-not-direct-orbit-sun ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:isMoreLargeThan ;
+ owl:someValuesFrom result:planet
+ ] ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:hasFeature ;
+ owl:hasValue result:more-large
+ ] ;
+ base:fromStructure "WikiAbstract-SolarSystem-03" .
+
+
+### https://reference.tetras-libre.fr/expected-result#most-small-planet
+result:most-small-planet rdf:type owl:Class ;
+ rdfs:subClassOf result:planet ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:hasFeature ;
+ owl:hasValue result:most-small
+ ] ;
+ base:fromStructure "WikiAbstract-SolarSystem-03" .
+
+
+### https://reference.tetras-libre.fr/expected-result#natural-satellite
+result:natural-satellite rdf:type owl:Class ;
+ owl:equivalentClass result:object-not-direct-orbit-sun ;
+ rdfs:subClassOf result:object ,
+ result:satellite ;
+ base:fromStructure "WikiAbstract-SolarSystem-03" .
+
+
+### https://reference.tetras-libre.fr/expected-result#object
+result:object rdf:type owl:Class ;
+ rdfs:subClassOf base:Entity ;
+ rdfs:label "object" ;
+ base:fromStructure "WikiAbstract-SolarSystem-03" .
+
+
+### https://reference.tetras-libre.fr/expected-result#object-isMoreLargeThan-most-small-planet
+result:object-isMoreLargeThan-most-small-planet rdf:type owl:Class ;
+ rdfs:subClassOf result:more-large-object ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:isMoreLargeThan ;
+ owl:someValuesFrom result:most-small-planet
+ ] ;
+ base:fromStructure "WikiAbstract-SolarSystem-03" ;
+ base:hasQuantity "2" .
+
+
+### https://reference.tetras-libre.fr/expected-result#object-not-direct-orbit-sun
+result:object-not-direct-orbit-sun rdf:type owl:Class ;
+ rdfs:subClassOf result:object ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:not-direct-orbit ;
+ owl:someValuesFrom result:sun
+ ] ;
+ base:fromStructure "WikiAbstract-SolarSystem-03" .
+
+
+### https://reference.tetras-libre.fr/expected-result#planet
+result:planet rdf:type owl:Class ;
+ rdfs:subClassOf base:Entity ;
+ rdfs:label "planet" ;
+ base:fromStructure "WikiAbstract-SolarSystem-03" .
+
+
+### https://reference.tetras-libre.fr/expected-result#satellite
+result:satellite rdf:type owl:Class ;
+ rdfs:subClassOf base:Entity ;
+ rdfs:label "satellite" ;
+ base:fromStructure "WikiAbstract-SolarSystem-03" .
+
+
+### https://reference.tetras-libre.fr/expected-result#size
+result:size rdf:type owl:Class ;
+ rdfs:subClassOf base:Feature ;
+ rdfs:label "size" ;
+ base:fromStructure "WikiAbstract-SolarSystem-03" .
+
+
+### https://reference.tetras-libre.fr/expected-result#sun
+result:sun rdf:type owl:Class ;
+ rdfs:subClassOf base:Entity ;
+ rdfs:label "sun" ;
+ base:fromStructure "WikiAbstract-SolarSystem-03" .
+
+
+#################################################################
+# Individuals
+#################################################################
+
+### https://reference.tetras-libre.fr/expected-result#Mercury
+result:Mercury rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Entity ,
+ result:most-small-planet ,
+ result:planet ;
+ result:hasFeature result:most-small ;
+ rdfs:label "Mercury" ;
+ base:fromStructure "WikiAbstract-SolarSystem-03" .
+
+
+### https://reference.tetras-libre.fr/expected-result#more
+result:more rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Degree .
+
+
+### https://reference.tetras-libre.fr/expected-result#more-large
+result:more-large rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Feature ;
+ rdfs:label "more-large" ;
+ base:fromStructure "WikiAbstract-SolarSystem-03" .
+
+
+### https://reference.tetras-libre.fr/expected-result#most
+result:most rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Degree ;
+ rdfs:label "most" ;
+ base:fromStructure "WikiAbstract-SolarSystem-03" .
+
+
+### https://reference.tetras-libre.fr/expected-result#most-small
+result:most-small rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Feature ;
+ rdfs:label "most-small" ;
+ base:fromStructure "WikiAbstract-SolarSystem-03" .
+
+
+### https://reference.tetras-libre.fr/expected-result#not-direct
+result:not-direct rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Feature ;
+ rdfs:label "not-direct" ;
+ base:fromStructure "WikiAbstract-SolarSystem-03" .
+
+
+### https://reference.tetras-libre.fr/expected-result#object-WikiAbstract-SolarSystem-03
+result:object-WikiAbstract-SolarSystem-03 rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Entity ,
+ result:more-large-object ,
+ result:object-isMoreLargeThan-most-small-planet ;
+ result:hasFeature result:more-large ;
+ result:isMoreLargeThan result:Mercury ;
+ rdfs:label "object 1 (WikiAbstract-SolarSystem-03)" ;
+ base:fromStructure "WikiAbstract-SolarSystem-03" .
+
+
+### https://reference.tetras-libre.fr/expected-result#object-WikiAbstract-SolarSystem-03
+result:object-WikiAbstract-SolarSystem-03-2 rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Entity ,
+ result:more-large-object ,
+ result:object-isMoreLargeThan-most-small-planet ;
+ result:hasFeature result:more-large ;
+ result:isMoreLargeThan result:Mercury ;
+ rdfs:label "object 2 (WikiAbstract-SolarSystem-03)" ;
+ base:fromStructure "WikiAbstract-SolarSystem-03" .
+
+
+#################################################################
+# Annotations
+#################################################################
+
+result:more rdfs:label "more" ;
+ base:fromStructure "WikiAbstract-SolarSystem-03" .
-result:almost a owl:Class ;
- rdfs:label "almost" ;
- rdfs:subClassOf base:Undetermined_Thing ;
- base:fromStructure "WikiAbstract-SolarSystem-03" .
-
-result:equal a owl:ObjectProperty ;
- rdfs:label "equal" ;
- rdfs:subPropertyOf base:Out_ObjectProperty ;
- base:fromStructure "WikiAbstract-SolarSystem-03" .
-
-result:include a owl:ObjectProperty ;
- rdfs:label "include" ;
- rdfs:subPropertyOf base:Out_ObjectProperty ;
- base:fromStructure "WikiAbstract-SolarSystem-03" .
-
-result:mean a owl:ObjectProperty ;
- rdfs:label "mean" ;
- rdfs:subPropertyOf base:Out_ObjectProperty ;
- base:fromStructure "WikiAbstract-SolarSystem-03" .
-
-result:more a owl:Individual,
- owl:ObjectProperty,
- base:Degree ;
- rdfs:label "more" ;
- rdfs:subPropertyOf base:Out_ObjectProperty ;
- base:fromStructure "WikiAbstract-SolarSystem-03" .
-
-result:most a owl:Individual,
- base:Degree ;
- rdfs:label "most" ;
- base:fromStructure "WikiAbstract-SolarSystem-03" .
-
-result:natural a owl:ObjectProperty ;
- rdfs:label "natural" ;
- rdfs:subPropertyOf base:Out_ObjectProperty ;
- base:fromStructure "WikiAbstract-SolarSystem-03" .
-
-result:not-direct a owl:Individual,
- base:Feature ;
- rdfs:label "not-direct" ;
- base:fromStructure "WikiAbstract-SolarSystem-03" .
-
-result:object-WikiAbstract-SolarSystem-03 a owl:Individual,
- base:Entity,
- result:more-large-object,
- result:object-isMoreLargeThan-most-small-planet ;
- rdfs:label "object (WikiAbstract-SolarSystem-03)" ;
- base:fromStructure "WikiAbstract-SolarSystem-03" ;
- result:hasFeature result:more-large ;
- result:isMoreLargeThan result:Mercury .
-
-result:object-not-direct-orbit-sun a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty result:not-direct-orbit ;
- owl:someValuesFrom result:sun ],
- result:object ;
- base:fromStructure "WikiAbstract-SolarSystem-03" .
-
-result:satellite a owl:Class ;
- rdfs:label "satellite" ;
- rdfs:subClassOf base:Entity ;
- base:fromStructure "WikiAbstract-SolarSystem-03" .
-
-result:size a owl:Class ;
- rdfs:label "size" ;
- rdfs:subClassOf base:Undetermined_Thing ;
- base:fromStructure "WikiAbstract-SolarSystem-03" .
-
-result:Mercury a owl:Individual,
- base:Entity,
- result:most-small-planet,
- result:planet ;
- rdfs:label "Mercury" ;
- base:fromStructure "WikiAbstract-SolarSystem-03" ;
- result:hasFeature result:most-small .
-
-result:object-isMoreLargeThan-most-small-planet a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty result:isMoreLargeThan ;
- owl:someValuesFrom result:most-small-planet ],
- result:more-large-object ;
- base:fromStructure "WikiAbstract-SolarSystem-03" .
-
-result:orbit a owl:ObjectProperty ;
- rdfs:label "orbit" ;
- rdfs:subPropertyOf base:Out_ObjectProperty ;
- base:fromStructure "WikiAbstract-SolarSystem-03" .
-
-result:more-large-object a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue result:more-large ;
- owl:onProperty result:hasFeature ],
- [ a owl:Restriction ;
- owl:onProperty result:isMoreLargeThan ;
- owl:someValuesFrom result:planet ],
- [ a owl:Restriction ;
- owl:onProperty result:isMoreLargeThan ;
- owl:someValuesFrom result:planet ],
- [ a owl:Restriction ;
- owl:hasValue result:more-large ;
- owl:onProperty result:hasFeature ],
- result:object ;
- base:fromStructure "WikiAbstract-SolarSystem-03" .
-
-result:not-direct-orbit rdfs:subPropertyOf result:orbit ;
- base:fromStructure "WikiAbstract-SolarSystem-03" .
-
-result:object a owl:Class ;
- rdfs:label "object" ;
- rdfs:subClassOf base:Entity ;
- base:fromStructure "WikiAbstract-SolarSystem-03" .
-
-result:sun a owl:Class ;
- rdfs:label "sun" ;
- rdfs:subClassOf base:Entity ;
- base:fromStructure "WikiAbstract-SolarSystem-03" .
-
-result:most-small a owl:Individual,
- base:Feature ;
- rdfs:label "most-small" ;
- base:fromStructure "WikiAbstract-SolarSystem-03" .
-
-result:most-small-planet a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue result:most-small ;
- owl:onProperty result:hasFeature ],
- result:planet ;
- base:fromStructure "WikiAbstract-SolarSystem-03" .
-
-result:more-large a owl:Individual,
- base:Feature ;
- rdfs:label "more-large" ;
- base:fromStructure "WikiAbstract-SolarSystem-03" .
-
-result:hasFeature a owl:ObjectProperty ;
- rdfs:label "hasFeature" ;
- rdfs:subPropertyOf base:Out_ObjectProperty ;
- base:fromStructure "predefinedProperty" .
-
-result:isMoreLargeThan rdfs:subPropertyOf base:Out_ObjectProperty ;
- base:fromStructure "WikiAbstract-SolarSystem-03" .
-
-result:planet a owl:Class ;
- rdfs:label "planet" ;
- rdfs:subClassOf base:Entity ;
- base:fromStructure "WikiAbstract-SolarSystem-03" .
+### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi
diff --git a/Coling23-v1-SolarSystem-20230922/reference-ontology-definitions/SolarSystemProd_factoid_5.ttl b/Coling23-v1-SolarSystem-20230922/reference-ontology-definitions/SolarSystemProd_factoid_5.ttl
index 40feb9c0d77b7e56e773c187070b5764ecd6810d..82d0ce6f7e268a1c967096343e61d9aa10886c66 100644
--- a/Coling23-v1-SolarSystem-20230922/reference-ontology-definitions/SolarSystemProd_factoid_5.ttl
+++ b/Coling23-v1-SolarSystem-20230922/reference-ontology-definitions/SolarSystemProd_factoid_5.ttl
@@ -1,116 +1,256 @@
-@prefix base: <https://reference.tetras-libre.fr/base-ontology#> .
+@prefix : <http://www.semanticweb.org/owl/owlapi/turtle#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix xml: <http://www.w3.org/XML/1998/namespace> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix base: <https://reference.tetras-libre.fr/base-ontology#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
+@base <http://www.w3.org/2002/07/owl#> .
+
+[ rdf:type owl:Ontology
+ ] .
+
+#################################################################
+# Annotation properties
+#################################################################
+
+### https://reference.tetras-libre.fr/base-ontology#fromStructure
+base:fromStructure rdf:type owl:AnnotationProperty .
+
+
+#################################################################
+# Object Properties
+#################################################################
+
+### https://reference.tetras-libre.fr/base-ontology#Out_ObjectProperty
+base:Out_ObjectProperty rdf:type owl:ObjectProperty .
+
+
+### https://reference.tetras-libre.fr/expected-result#be
+result:be rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf base:Out_ObjectProperty ;
+ rdfs:label "be" ;
+ base:fromStructure "WikiAbstract-SolarSystem-05" .
+
+
+### https://reference.tetras-libre.fr/expected-result#contain
+result:contain rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf base:Out_ObjectProperty ;
+ rdfs:label "contain" ;
+ base:fromStructure "WikiAbstract-SolarSystem-05" .
+
+
+### https://reference.tetras-libre.fr/expected-result#hasFeature
+result:hasFeature rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf base:Out_ObjectProperty ;
+ rdfs:label "hasFeature" ;
+ base:fromStructure "predefinedProperty" .
+
+
+### https://reference.tetras-libre.fr/expected-result#hasPart
+result:hasPart rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf base:Out_ObjectProperty ;
+ rdfs:label "hasPart" ;
+ base:fromStructure "WikiAbstract-SolarSystem-05" .
+
+
+### https://reference.tetras-libre.fr/expected-result#isLocatedAt
+result:isLocatedAt rdf:type owl:ObjectProperty .
+
+
+#################################################################
+# Classes
+#################################################################
+
+### http://www.w3.org/2002/07/owl#Individual
+owl:Individual rdf:type owl:Class .
+
+
+### https://reference.tetras-libre.fr/base-ontology#Degree
+base:Degree rdf:type owl:Class .
+
+
+### https://reference.tetras-libre.fr/base-ontology#Entity
+base:Entity rdf:type owl:Class .
+
+
+### https://reference.tetras-libre.fr/base-ontology#Feature
+base:Feature rdf:type owl:Class .
+
+
+### https://reference.tetras-libre.fr/expected-result#majority
+result:majority rdf:type owl:Class ;
+ rdfs:subClassOf base:Feature ;
+ rdfs:label "majority" ;
+ base:fromStructure "WikiAbstract-SolarSystem-05" .
+
+
+### https://reference.tetras-libre.fr/expected-result#mass
+result:mass rdf:type owl:Class ;
+ rdfs:subClassOf base:Entity ;
+ rdfs:label "mass" ;
+ base:fromStructure "WikiAbstract-SolarSystem-05" .
+
+
+### https://reference.tetras-libre.fr/expected-result#planet
+result:planet rdf:type owl:Class ;
+ rdfs:subClassOf base:Entity ;
+ rdfs:label "planet" ;
+ base:fromStructure "WikiAbstract-SolarSystem-05" .
+
+
+### https://reference.tetras-libre.fr/expected-result#planet-contain-mass
+result:planet-contain-mass rdf:type owl:Class ;
+ rdfs:subClassOf result:planet ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:contain ;
+ owl:someValuesFrom result:mass
+ ] ;
+ base:fromStructure "WikiAbstract-SolarSystem-05" .
+
+
+### https://reference.tetras-libre.fr/expected-result#planet-contain-remain-majority-mass
+result:planet-contain-remain-majority-mass rdf:type owl:Class ;
+ rdfs:subClassOf result:planet-contain-mass ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:contain ;
+ owl:someValuesFrom result:remain-majority-mass
+ ] .
+
+
+### https://reference.tetras-libre.fr/expected-result#remain-majority-mass
+result:remain-majority-mass rdf:type owl:Class ;
+ rdfs:subClassOf result:mass ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:hasFeature ;
+ owl:hasValue result:remain-majority
+ ] .
+
+
+### https://reference.tetras-libre.fr/expected-result#sun
+result:sun rdf:type owl:Class ;
+ rdfs:subClassOf base:Entity ;
+ rdfs:label "sun" ;
+ base:fromStructure "WikiAbstract-SolarSystem-05" .
+
+
+### https://reference.tetras-libre.fr/expected-result#system
+result:system rdf:type owl:Class ;
+ rdfs:subClassOf base:Entity ;
+ rdfs:label "system" ;
+ base:fromStructure "WikiAbstract-SolarSystem-05" .
+
+
+### https://reference.tetras-libre.fr/expected-result#system-hasPart-mass
+result:system-hasPart-mass rdf:type owl:Class ;
+ rdfs:subClassOf result:system ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:hasPart ;
+ owl:someValuesFrom result:mass
+ ] ;
+ base:fromStructure "WikiAbstract-SolarSystem-05" .
+
+
+### https://reference.tetras-libre.fr/expected-result#system-hasPart-vast-majority-mass
+result:system-hasPart-vast-majority-mass rdf:type owl:Class ;
+ rdfs:subClassOf result:system-hasPart-mass ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:hasPart ;
+ owl:someValuesFrom result:vast-majority-mass
+ ] ;
+ base:fromStructure "WikiAbstract-SolarSystem-05" .
+
+
+### https://reference.tetras-libre.fr/expected-result#vast-majority-mass
+result:vast-majority-mass rdf:type owl:Class ;
+ rdfs:subClassOf result:mass ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:isLocatedAt ;
+ owl:someValuesFrom result:sun
+ ] ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:hasFeature ;
+ owl:hasValue result:vast-majority
+ ] ;
+ base:fromStructure "WikiAbstract-SolarSystem-05" .
+
+
+#################################################################
+# Individuals
+#################################################################
+
+### https://reference.tetras-libre.fr/expected-result#Jupiter
+result:Jupiter rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Entity ,
+ result:planet ,
+ result:planet-contain-mass ,
+ result:planet-contain-remain-majority-mass ;
+ result:contain result:mass-WikiAbstract-SolarSystem-05 ;
+ rdfs:label "Jupiter" ;
+ base:fromStructure "WikiAbstract-SolarSystem-05" .
+
+
+### https://reference.tetras-libre.fr/expected-result#mass-WikiAbstract-SolarSystem-05
+result:mass-WikiAbstract-SolarSystem-05 rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Entity ,
+ result:mass ;
+ rdfs:label "mass (WikiAbstract-SolarSystem-05)" ;
+ base:fromStructure "WikiAbstract-SolarSystem-05" .
+
+
+### https://reference.tetras-libre.fr/expected-result#planet-contain-remain-majority-mass
+result:planet-contain-remain-majority-mass-WikiAbstract-SolarSystem-05 rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ result:planet-contain-remain-majority-mass ;
+ rdfs:label "planet-contain-remain-majority-mass (WikiAbstract-SolarSystem-05)" ;
+ result:contain result:remain-majority-mass-WikiAbstract-SolarSystem-05 .
+
+
+### https://reference.tetras-libre.fr/expected-result#remain
+result:remain rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Degree ;
+ rdfs:label "remain" ;
+ base:fromStructure "WikiAbstract-SolarSystem-05" .
+
+
+### https://reference.tetras-libre.fr/expected-result#remain-majority
+result:remain-majority rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Feature ,
+ result:majority ;
+ result:hasFeature result:remain ;
+ rdfs:label "remain-majority" ;
+ base:fromStructure "WikiAbstract-SolarSystem-05" .
+
+
+### https://reference.tetras-libre.fr/expected-result#remain-majority-mass
+result:remain-majority-mass-WikiAbstract-SolarSystem-05 rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ result:remain-majority-mass ;
+ rdfs:label "remain-majority-mass (WikiAbstract-SolarSystem-05)" ;
+ base:fromStructure "WikiAbstract-SolarSystem-05" .
+
+
+### https://reference.tetras-libre.fr/expected-result#vast
+result:vast rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Degree ;
+ rdfs:label "vast" ;
+ base:fromStructure "WikiAbstract-SolarSystem-05" .
+
+
+### https://reference.tetras-libre.fr/expected-result#vast-majority
+result:vast-majority rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Feature ,
+ result:majority ;
+ result:hasFeature result:vast ;
+ rdfs:label "vast-majority" ;
+ base:fromStructure "WikiAbstract-SolarSystem-05" .
-result:Jupiter a owl:Individual,
- base:Entity,
- result:planet,
- result:planet-contain-mass ;
- rdfs:label "Jupiter" ;
- base:fromStructure "WikiAbstract-SolarSystem-05" ;
- result:contain result:mass-WikiAbstract-SolarSystem-05 .
-
-result:remain a owl:ObjectProperty ;
- rdfs:label "remain" ;
- rdfs:subPropertyOf base:Out_ObjectProperty ;
- base:fromStructure "WikiAbstract-SolarSystem-05" .
-
-result:system-hasPart-mass-be-sun a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty result:hasPart ;
- owl:someValuesFrom result:mass-be-sun ],
- result:system-hasPart-mass ;
- base:fromStructure "WikiAbstract-SolarSystem-05" .
-
-result:vast-majority a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue result:vast ;
- owl:onProperty result:hasFeature ],
- result:majority ;
- base:fromStructure "WikiAbstract-SolarSystem-05" .
-
-<n87d54cae6f0a40de86eadb92ea06b7f3b1> a owl:Restriction ;
- owl:onProperty result:hasPart ;
- owl:someValuesFrom result:mass-be-sun .
-
-result:majority a owl:Class ;
- rdfs:label "majority" ;
- rdfs:subClassOf base:Undetermined_Thing ;
- base:fromStructure "WikiAbstract-SolarSystem-05" .
-
-result:mass-WikiAbstract-SolarSystem-05 a owl:Individual,
- base:Entity,
- result:mass ;
- rdfs:label "mass (WikiAbstract-SolarSystem-05)" ;
- base:fromStructure "WikiAbstract-SolarSystem-05" .
-
-result:planet-contain-mass a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty result:contain ;
- owl:someValuesFrom result:mass ],
- result:planet ;
- base:fromStructure "WikiAbstract-SolarSystem-05" .
-
-result:system a owl:Class ;
- rdfs:label "system" ;
- rdfs:subClassOf base:Entity ;
- base:fromStructure "WikiAbstract-SolarSystem-05" .
-
-result:system-hasPart-mass a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty result:hasPart ;
- owl:someValuesFrom result:mass ],
- [ a owl:Restriction ;
- owl:onProperty result:hasPart ;
- owl:someValuesFrom result:mass ],
- result:system ;
- base:fromStructure "WikiAbstract-SolarSystem-05" .
-
-result:be a owl:ObjectProperty ;
- rdfs:label "be" ;
- rdfs:subPropertyOf base:Out_ObjectProperty ;
- base:fromStructure "WikiAbstract-SolarSystem-05" .
-
-result:contain a owl:ObjectProperty ;
- rdfs:label "contain" ;
- rdfs:subPropertyOf base:Out_ObjectProperty ;
- base:fromStructure "WikiAbstract-SolarSystem-05" .
-
-result:hasFeature a owl:ObjectProperty ;
- rdfs:label "hasFeature" ;
- rdfs:subPropertyOf base:Out_ObjectProperty ;
- base:fromStructure "predefinedProperty" .
-
-result:mass-be-sun a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty result:be ;
- owl:someValuesFrom result:sun ],
- result:mass ;
- base:fromStructure "WikiAbstract-SolarSystem-05" .
-
-result:planet a owl:Class ;
- rdfs:label "planet" ;
- rdfs:subClassOf base:Entity ;
- base:fromStructure "WikiAbstract-SolarSystem-05" .
-
-result:sun a owl:Class ;
- rdfs:label "sun" ;
- rdfs:subClassOf base:Entity ;
- base:fromStructure "WikiAbstract-SolarSystem-05" .
-
-result:vast a owl:Individual,
- base:Feature ;
- rdfs:label "vast" ;
- base:fromStructure "WikiAbstract-SolarSystem-05" .
-
-result:hasPart a owl:ObjectProperty ;
- rdfs:label "hasPart" ;
- rdfs:subPropertyOf base:Out_ObjectProperty ;
- base:fromStructure "WikiAbstract-SolarSystem-05" .
-
-result:mass a owl:Class ;
- rdfs:label "mass" ;
- rdfs:subClassOf base:Entity ;
- base:fromStructure "WikiAbstract-SolarSystem-05" .
+### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi
diff --git a/Coling23-v1-SolarSystem-20230922/reference-ontology-definitions/SolarSystemProd_factoid_6.ttl b/Coling23-v1-SolarSystem-20230922/reference-ontology-definitions/SolarSystemProd_factoid_6.ttl
index 5f5d0be7550559ff7392f6e5103b5d5966c16e6e..8fbe0c03c3b60149edd96a570e7bef47a762cccb 100644
--- a/Coling23-v1-SolarSystem-20230922/reference-ontology-definitions/SolarSystemProd_factoid_6.ttl
+++ b/Coling23-v1-SolarSystem-20230922/reference-ontology-definitions/SolarSystemProd_factoid_6.ttl
@@ -1,200 +1,332 @@
-@prefix base: <https://reference.tetras-libre.fr/base-ontology#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix xml: <http://www.w3.org/XML/1998/namespace> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix base: <https://reference.tetras-libre.fr/base-ontology#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
+@base <http://www.w3.org/2002/07/owl#> .
+
+[ rdf:type owl:Ontology
+ ] .
+
+#################################################################
+# Annotation properties
+#################################################################
+
+### https://reference.tetras-libre.fr/base-ontology#fromStructure
+base:fromStructure rdf:type owl:AnnotationProperty .
+
+
+#################################################################
+# Object Properties
+#################################################################
+
+### https://reference.tetras-libre.fr/base-ontology#Out_ObjectProperty
+base:Out_ObjectProperty rdf:type owl:ObjectProperty .
+
+
+### https://reference.tetras-libre.fr/expected-result#compose-of
+result:compose-of rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf base:Out_ObjectProperty ;
+ rdfs:label "compose-of" ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
+
+
+### https://reference.tetras-libre.fr/expected-result#hasFeature
+result:hasFeature rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf base:Out_ObjectProperty ;
+ rdfs:label "hasFeature" ;
+ base:fromStructure "predefinedProperty" .
+
+
+### https://reference.tetras-libre.fr/expected-result#hasPart
+result:hasPart rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf base:Out_ObjectProperty ;
+ rdfs:label "hasPart" ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
+
+
+### https://reference.tetras-libre.fr/expected-result#primary-compose-of
+result:primary-compose-of rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf result:compose-of ;
+ rdfs:label "primary-compose-of" ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
+
+
+#################################################################
+# Classes
+#################################################################
+
+### http://www.w3.org/2002/07/owl#Individual
+owl:Individual rdf:type owl:Class .
+
+
+### https://reference.tetras-libre.fr/base-ontology#Degree
+base:Degree rdf:type owl:Class .
+
+
+### https://reference.tetras-libre.fr/base-ontology#Entity
+base:Entity rdf:type owl:Class .
+
+
+### https://reference.tetras-libre.fr/base-ontology#Feature
+base:Feature rdf:type owl:Class .
+
+
+### https://reference.tetras-libre.fr/expected-result#inner-system
+result:inner-system rdf:type owl:Class ;
+ rdfs:subClassOf result:system ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:hasFeature ;
+ owl:hasValue result:inner
+ ] ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
+
+
+### https://reference.tetras-libre.fr/expected-result#inner-system-hasPart-planet
+result:inner-system-hasPart-planet rdf:type owl:Class ;
+ rdfs:subClassOf result:inner-system ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:hasPart ;
+ owl:someValuesFrom result:planet
+ ] ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
+
+
+### https://reference.tetras-libre.fr/expected-result#inner-system-hasPart-terrestrial-planet
+result:inner-system-hasPart-terrestrial-planet rdf:type owl:Class ;
+ rdfs:subClassOf result:inner-system-hasPart-planet ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:hasPart ;
+ owl:someValuesFrom result:terrestrial-planet
+ ] ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
+
+
+### https://reference.tetras-libre.fr/expected-result#metal
+result:metal rdf:type owl:Class ;
+ rdfs:subClassOf base:Entity ;
+ rdfs:label "metal" ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
+
+
+### https://reference.tetras-libre.fr/expected-result#more-small-planet
+result:more-small-planet rdf:type owl:Class ;
+ rdfs:subClassOf result:terrestrial-planet ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:hasFeature ;
+ owl:hasValue result:more-small
+ ] ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
+
+
+### https://reference.tetras-libre.fr/expected-result#planet
+result:planet rdf:type owl:Class ;
+ rdfs:subClassOf base:Entity ;
+ rdfs:label "planet" ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
+
+
+### https://reference.tetras-libre.fr/expected-result#planet-compose-of-metal
+result:planet-compose-of-metal rdf:type owl:Class ;
+ rdfs:subClassOf result:terrestrial-planet ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:compose-of ;
+ owl:someValuesFrom result:metal
+ ] ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
+
+
+### https://reference.tetras-libre.fr/expected-result#planet-compose-of-rock
+result:planet-compose-of-rock rdf:type owl:Class ;
+ rdfs:subClassOf result:terrestrial-planet ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:compose-of ;
+ owl:someValuesFrom result:rock
+ ] ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
+
+
+### https://reference.tetras-libre.fr/expected-result#planet-primary-compose-of-metal
+result:planet-primary-compose-of-metal rdf:type owl:Class ;
+ rdfs:subClassOf result:planet-compose-of-metal ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:primary-compose-of ;
+ owl:someValuesFrom result:metal
+ ] ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
+
+
+### https://reference.tetras-libre.fr/expected-result#planet-primary-compose-of-rock
+result:planet-primary-compose-of-rock rdf:type owl:Class ;
+ rdfs:subClassOf result:planet-compose-of-rock ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:primary-compose-of ;
+ owl:someValuesFrom result:rock
+ ] ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
+
+
+### https://reference.tetras-libre.fr/expected-result#rock
+result:rock rdf:type owl:Class ;
+ rdfs:subClassOf base:Entity ;
+ rdfs:label "rock" ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
+
+
+### https://reference.tetras-libre.fr/expected-result#system
+result:system rdf:type owl:Class ;
+ rdfs:subClassOf base:Entity ;
+ rdfs:label "system" ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
+
+
+### https://reference.tetras-libre.fr/expected-result#terrestrial-planet
+result:terrestrial-planet rdf:type owl:Class ;
+ rdfs:subClassOf result:planet ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:hasFeature ;
+ owl:hasValue result:terrestrial
+ ] ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
+
+
+#################################################################
+# Individuals
+#################################################################
+
+### https://reference.tetras-libre.fr/expected-result#Earth
+result:Earth rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Entity ,
+ result:planet ,
+ result:planet-primary-compose-of-metal ,
+ result:planet-primary-compose-of-rock ,
+ result:terrestrial-planet ;
+ result:compose-of result:metal-WikiAbstract-SolarSystem-06 ,
+ result:rock-WikiAbstract-SolarSystem-06 ;
+ rdfs:label "Earth" ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
+
+
+### https://reference.tetras-libre.fr/expected-result#Mars
+result:Mars rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Entity ,
+ result:planet ,
+ result:planet-primary-compose-of-metal ,
+ result:planet-primary-compose-of-rock ,
+ result:terrestrial-planet ;
+ result:compose-of result:metal-WikiAbstract-SolarSystem-06 ,
+ result:rock-WikiAbstract-SolarSystem-06 ;
+ rdfs:label "Mars" ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
+
+
+### https://reference.tetras-libre.fr/expected-result#Mercury
+result:Mercury rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Entity ,
+ result:planet ,
+ result:planet-primary-compose-of-metal ,
+ result:planet-primary-compose-of-rock ,
+ result:terrestrial-planet ;
+ result:compose-of result:metal-WikiAbstract-SolarSystem-06 ,
+ result:rock-WikiAbstract-SolarSystem-06 ;
+ rdfs:label "Mercury" ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
+
+
+### https://reference.tetras-libre.fr/expected-result#Venus
+result:Venus rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Entity ,
+ result:planet ,
+ result:planet-primary-compose-of-metal ,
+ result:planet-primary-compose-of-rock ,
+ result:terrestrial-planet ;
+ result:compose-of result:metal-WikiAbstract-SolarSystem-06 ,
+ result:rock-WikiAbstract-SolarSystem-06 ;
+ rdfs:label "Venus" ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
+
+
+### https://reference.tetras-libre.fr/expected-result#inner
+result:inner rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Feature ;
+ rdfs:label "inner" ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
+
+
+### https://reference.tetras-libre.fr/expected-result#metal-WikiAbstract-SolarSystem-06
+result:metal-WikiAbstract-SolarSystem-06 rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Entity ,
+ result:metal ;
+ rdfs:label "metal (WikiAbstract-SolarSystem-06)" ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
+
+
+### https://reference.tetras-libre.fr/expected-result#more
+result:more rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Degree .
+
+
+### https://reference.tetras-libre.fr/expected-result#more-small
+result:more-small rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Feature ;
+ rdfs:label "more-small" ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
+
+
+### https://reference.tetras-libre.fr/expected-result#primary
+result:primary rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Degree ;
+ rdfs:label "primary" ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
+
+
+### https://reference.tetras-libre.fr/expected-result#rock-WikiAbstract-SolarSystem-06
+result:rock-WikiAbstract-SolarSystem-06 rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Entity ,
+ result:rock ;
+ rdfs:label "rock (WikiAbstract-SolarSystem-06)" ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
+
+
+### https://reference.tetras-libre.fr/expected-result#small
+result:small rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Feature ;
+ rdfs:label "small" ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
+
+
+### https://reference.tetras-libre.fr/expected-result#system-WikiAbstract-SolarSystem-06
+result:system-WikiAbstract-SolarSystem-06 rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Entity ,
+ result:inner-system-hasPart-terrestrial-planet ;
+ result:hasPart result:Earth ,
+ result:Mars ,
+ result:Mercury ,
+ result:Venus ;
+ rdfs:label "system (WikiAbstract-SolarSystem-06)" ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
+
+
+### https://reference.tetras-libre.fr/expected-result#terrestrial
+result:terrestrial rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Feature ;
+ rdfs:label "terrestrial" ;
+ base:fromStructure "WikiAbstract-SolarSystem-06" .
-result:more a owl:ObjectProperty ;
- rdfs:label "more" ;
- rdfs:subPropertyOf base:Out_ObjectProperty ;
- base:fromStructure "WikiAbstract-SolarSystem-06" .
-
-result:primary a owl:Class ;
- rdfs:label "primary" ;
- rdfs:subClassOf base:Undetermined_Thing ;
- base:fromStructure "WikiAbstract-SolarSystem-06" .
-
-result:small a owl:Class ;
- rdfs:label "small" ;
- rdfs:subClassOf base:Entity ;
- base:fromStructure "WikiAbstract-SolarSystem-06" .
-
-result:system-WikiAbstract-SolarSystem-06 a owl:Individual,
- base:Entity,
- result:inner-system-hasPart-planet,
- result:inner-system-hasPart-planet-compose-metal,
- result:inner-system-hasPart-planet-compose-rock ;
- rdfs:label "system (WikiAbstract-SolarSystem-06)" ;
- base:fromStructure "WikiAbstract-SolarSystem-06" ;
- result:hasPart result:Earth,
- result:Mars,
- result:Mercury,
- result:Venus .
-
-result:terrestrial-planet a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue result:terrestrial ;
- owl:onProperty result:hasFeature ],
- result:planet ;
- base:fromStructure "WikiAbstract-SolarSystem-06" .
-
-result:Earth a owl:Individual,
- base:Entity,
- result:planet,
- result:planet-compose-metal,
- result:planet-compose-rock ;
- rdfs:label "Earth" ;
- base:fromStructure "WikiAbstract-SolarSystem-06" ;
- result:compose result:metal-WikiAbstract-SolarSystem-06,
- result:rock-WikiAbstract-SolarSystem-06 .
-
-result:Mars a owl:Individual,
- base:Entity,
- result:planet,
- result:planet-compose-metal,
- result:planet-compose-rock ;
- rdfs:label "Mars" ;
- base:fromStructure "WikiAbstract-SolarSystem-06" ;
- result:compose result:metal-WikiAbstract-SolarSystem-06,
- result:rock-WikiAbstract-SolarSystem-06 .
-
-result:Mercury a owl:Individual,
- base:Entity,
- result:planet,
- result:planet-compose-metal,
- result:planet-compose-rock ;
- rdfs:label "Mercury" ;
- base:fromStructure "WikiAbstract-SolarSystem-06" ;
- result:compose result:metal-WikiAbstract-SolarSystem-06,
- result:rock-WikiAbstract-SolarSystem-06 .
-
-result:Venus a owl:Individual,
- base:Entity,
- result:planet,
- result:planet-compose-metal,
- result:planet-compose-rock ;
- rdfs:label "Venus" ;
- base:fromStructure "WikiAbstract-SolarSystem-06" ;
- result:compose result:metal-WikiAbstract-SolarSystem-06,
- result:rock-WikiAbstract-SolarSystem-06 .
-
-result:inner-system a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue result:inner ;
- owl:onProperty result:hasFeature ],
- result:system ;
- base:fromStructure "WikiAbstract-SolarSystem-06" .
-
-result:inner-system-hasPart-planet-compose-metal a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty result:hasPart ;
- owl:someValuesFrom result:planet-compose-metal ],
- result:inner-system-hasPart-planet ;
- base:fromStructure "WikiAbstract-SolarSystem-06" .
-
-result:inner-system-hasPart-planet-compose-rock a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty result:hasPart ;
- owl:someValuesFrom result:planet-compose-rock ],
- result:inner-system-hasPart-planet ;
- base:fromStructure "WikiAbstract-SolarSystem-06" .
-
-result:system a owl:Class ;
- rdfs:label "system" ;
- rdfs:subClassOf base:Entity ;
- base:fromStructure "WikiAbstract-SolarSystem-06" .
-
-result:inner a owl:Individual,
- base:Feature ;
- rdfs:label "inner" ;
- base:fromStructure "WikiAbstract-SolarSystem-06" .
-
-result:terrestrial a owl:Individual,
- base:Feature ;
- rdfs:label "terrestrial" ;
- base:fromStructure "WikiAbstract-SolarSystem-06" .
-
-result:inner-system-hasPart-planet a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty result:hasPart ;
- owl:someValuesFrom result:planet ],
- [ a owl:Restriction ;
- owl:onProperty result:hasPart ;
- owl:someValuesFrom result:planet ],
- result:inner-system ;
- base:fromStructure "WikiAbstract-SolarSystem-06" .
-
-result:hasFeature a owl:ObjectProperty ;
- rdfs:label "hasFeature" ;
- rdfs:subPropertyOf base:Out_ObjectProperty ;
- base:fromStructure "predefinedProperty" .
-
-result:metal-WikiAbstract-SolarSystem-06 a owl:Individual,
- base:Entity,
- result:metal ;
- rdfs:label "metal (WikiAbstract-SolarSystem-06)" ;
- base:fromStructure "WikiAbstract-SolarSystem-06" .
-
-result:rock-WikiAbstract-SolarSystem-06 a owl:Individual,
- base:Entity,
- result:rock ;
- rdfs:label "rock (WikiAbstract-SolarSystem-06)" ;
- base:fromStructure "WikiAbstract-SolarSystem-06" .
-
-result:planet-compose-metal a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty result:compose ;
- owl:someValuesFrom result:metal ],
- [ a owl:Restriction ;
- owl:onProperty result:compose ;
- owl:someValuesFrom result:metal ],
- [ a owl:Restriction ;
- owl:onProperty result:compose ;
- owl:someValuesFrom result:metal ],
- [ a owl:Restriction ;
- owl:onProperty result:compose ;
- owl:someValuesFrom result:metal ],
- result:planet ;
- base:fromStructure "WikiAbstract-SolarSystem-06" .
-
-result:planet-compose-rock a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty result:compose ;
- owl:someValuesFrom result:rock ],
- [ a owl:Restriction ;
- owl:onProperty result:compose ;
- owl:someValuesFrom result:rock ],
- [ a owl:Restriction ;
- owl:onProperty result:compose ;
- owl:someValuesFrom result:rock ],
- [ a owl:Restriction ;
- owl:onProperty result:compose ;
- owl:someValuesFrom result:rock ],
- result:planet ;
- base:fromStructure "WikiAbstract-SolarSystem-06" .
-
-result:hasPart a owl:ObjectProperty ;
- rdfs:label "hasPart" ;
- rdfs:subPropertyOf base:Out_ObjectProperty ;
- base:fromStructure "WikiAbstract-SolarSystem-06" .
-
-result:metal a owl:Class ;
- rdfs:label "metal" ;
- rdfs:subClassOf base:Entity ;
- base:fromStructure "WikiAbstract-SolarSystem-06" .
-
-result:rock a owl:Class ;
- rdfs:label "rock" ;
- rdfs:subClassOf base:Entity ;
- base:fromStructure "WikiAbstract-SolarSystem-06" .
-
-result:planet a owl:Class ;
- rdfs:label "planet" ;
- rdfs:subClassOf base:Entity,
- base:Undetermined_Thing ;
- base:fromStructure "WikiAbstract-SolarSystem-06" .
-
-result:compose a owl:ObjectProperty ;
- rdfs:label "compose" ;
- rdfs:subPropertyOf base:Out_ObjectProperty ;
- base:fromStructure "WikiAbstract-SolarSystem-06" .
+### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi