From 487648058a27e07af8ad9bb4dbae9e1ce7da70b6 Mon Sep 17 00:00:00 2001
From: David Rouquet <david.rouquet@tetras-libre.fr>
Date: Mon, 8 Aug 2022 17:20:56 +0200
Subject: [PATCH] SSC-06-01 OWL sans les assertions 'compose'

---
 data/SSC-06/SSC-06-01/SSC-06-01.dr.owl.ttl | 90 ++++++++++++++++++----
 1 file changed, 77 insertions(+), 13 deletions(-)

diff --git a/data/SSC-06/SSC-06-01/SSC-06-01.dr.owl.ttl b/data/SSC-06/SSC-06-01/SSC-06-01.dr.owl.ttl
index 620e8d1..228094f 100644
--- a/data/SSC-06/SSC-06-01/SSC-06-01.dr.owl.ttl
+++ b/data/SSC-06/SSC-06-01/SSC-06-01.dr.owl.ttl
@@ -12,30 +12,90 @@
 #    Object Properties
 #################################################################
 
+###  https://tetras-libre.fr/mars/ssc#compose_01
+:compose_01 rdf:type owl:ObjectProperty .
+
+
 ###  https://tetras-libre.fr/mars/ssc#part_of
 :part_of rdf:type owl:ObjectProperty .
 
 
+###  https://tetras-libre.fr/mars/ssc#primary_compose-01
+:primary_compose-01 rdf:type owl:ObjectProperty ;
+                    rdfs:subPropertyOf :compose_01 .
+
+
+#################################################################
+#    Data properties
+#################################################################
+
+###  https://tetras-libre.fr/mars/ssc#small
+:small rdf:type owl:DatatypeProperty .
+
+
 #################################################################
 #    Classes
 #################################################################
 
+###  https://tetras-libre.fr/mars/ssc#and_n_n2_n3_n4
+:and_n_n2_n3_n4 rdf:type owl:Class ;
+                rdfs:subClassOf :range_primary_compose-01 ,
+                                :terrestrial_planet .
+
+
+###  https://tetras-libre.fr/mars/ssc#and_r_m
+:and_r_m rdf:type owl:Class .
+
+
+###  https://tetras-libre.fr/mars/ssc#domain_compose
+:domain_compose rdf:type owl:Class ;
+                rdfs:subClassOf <https://tetras-libre.fr/mars/tenet#propertyDomain> .
+
+
+###  https://tetras-libre.fr/mars/ssc#domain_small
+:domain_small rdf:type owl:Class ;
+              rdfs:subClassOf <https://tetras-libre.fr/mars/tenet#propertyDomain> .
+
+
 ###  https://tetras-libre.fr/mars/ssc#inner_system
 :inner_system rdf:type owl:Class ;
               rdfs:subClassOf :system .
 
 
+###  https://tetras-libre.fr/mars/ssc#metal
+:metal rdf:type owl:Class ;
+       rdfs:subClassOf :and_r_m .
+
+
 ###  https://tetras-libre.fr/mars/ssc#planet
 :planet rdf:type owl:Class .
 
 
+###  https://tetras-libre.fr/mars/ssc#range_primary_compose-01
+:range_primary_compose-01 rdf:type owl:Class ;
+                          rdfs:subClassOf <https://tetras-libre.fr/mars/tenet#propertyRange> .
+
+
+###  https://tetras-libre.fr/mars/ssc#rock
+:rock rdf:type owl:Class ;
+      rdfs:subClassOf :and_r_m .
+
+
 ###  https://tetras-libre.fr/mars/ssc#system
 :system rdf:type owl:Class .
 
 
-###  https://tetras-libre.fr/mars/ssc#terestrial_planet
-:terestrial_planet rdf:type owl:Class ;
-                   rdfs:subClassOf :planet .
+###  https://tetras-libre.fr/mars/ssc#terrestrial_planet
+:terrestrial_planet rdf:type owl:Class ;
+                    rdfs:subClassOf :planet .
+
+
+###  https://tetras-libre.fr/mars/tenet#propertyDomain
+<https://tetras-libre.fr/mars/tenet#propertyDomain> rdf:type owl:Class .
+
+
+###  https://tetras-libre.fr/mars/tenet#propertyRange
+<https://tetras-libre.fr/mars/tenet#propertyRange> rdf:type owl:Class .
 
 
 #################################################################
@@ -44,30 +104,34 @@
 
 ###  https://tetras-libre.fr/mars/ssc#Earth
 :Earth rdf:type owl:NamedIndividual ,
-                :terestrial_planet ;
-       :part_of :inner_system_01 .
+                :and_n_n2_n3_n4 ,
+                :planet ;
+       :part_of :inner_system__1 .
 
 
 ###  https://tetras-libre.fr/mars/ssc#Mars
 :Mars rdf:type owl:NamedIndividual ,
-               :terestrial_planet ;
-      :part_of :inner_system_01 .
+               :and_n_n2_n3_n4 ,
+               :planet ;
+      :part_of :inner_system__1 .
 
 
 ###  https://tetras-libre.fr/mars/ssc#Mercury
 :Mercury rdf:type owl:NamedIndividual ,
-                  :terestrial_planet ;
-         :part_of :inner_system_01 .
+                  :and_n_n2_n3_n4 ,
+                  :planet ;
+         :part_of :inner_system__1 .
 
 
 ###  https://tetras-libre.fr/mars/ssc#Venus
 :Venus rdf:type owl:NamedIndividual ,
-                :terestrial_planet ;
-       :part_of :inner_system_01 .
+                :and_n_n2_n3_n4 ,
+                :planet ;
+       :part_of :inner_system__1 .
 
 
-###  https://tetras-libre.fr/mars/ssc#inner_system_01
-:inner_system_01 rdf:type owl:NamedIndividual ,
+###  https://tetras-libre.fr/mars/ssc#inner_system__1
+:inner_system__1 rdf:type owl:NamedIndividual ,
                           :inner_system .
 
 
-- 
GitLab