From 721302f74d0e3e53ecd5dcae3bf636a37a15cb5b Mon Sep 17 00:00:00 2001
From: David Rouquet <david.rouquet@tetras-libre.fr>
Date: Wed, 6 Jul 2022 09:28:50 +0200
Subject: [PATCH] SSC-01-01.dr

---
 data/SSC-01/SSC-01-01/SSC-01-01.dr.owl.ttl | 64 ++++++++++++++++++++++
 1 file changed, 64 insertions(+)
 create mode 100644 data/SSC-01/SSC-01-01/SSC-01-01.dr.owl.ttl

diff --git a/data/SSC-01/SSC-01-01/SSC-01-01.dr.owl.ttl b/data/SSC-01/SSC-01-01/SSC-01-01.dr.owl.ttl
new file mode 100644
index 0000000..dae7fa2
--- /dev/null
+++ b/data/SSC-01/SSC-01-01/SSC-01-01.dr.owl.ttl
@@ -0,0 +1,64 @@
+#The Solar System is the gravitationally bound system of the Sun and the objects that orbit it [, either directly or indirectly.]
+
+@base <https://tetras-libre.fr/mars/ssc> .
+
+@prefix : <https://tetras-libre.fr/mars/ssc#> .
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+
+:solar-system a 
+	owl:individual , 
+	:gravitationally-bound-system ,
+	owl:sameAs [owl:oneOf list(:sun, [a ::object-orbit-sun])]
+	.
+	
+:gravitationally-bound-system 
+	a rdfs:Class ;
+	rdfs:subClassOf :system ;
+	.
+
+:bound a owl:datatypeProperty .
+
+:gravitationally-bound a owl:datatypeProperty ;
+	rdfs:subPropertyOf :bound.
+
+	
+:system a rdfs:Class .
+	
+
+:object-orbit-sun a rdfs:Class ;
+	rdfs:subClassOf :object ;
+	rdfs:subClassOf 
+		[a owl:Restriction;
+			owl:onProperty :orbit;
+			owl:hasValue :sun]
+	.
+
+:sun a owl:individual ;
+	:part-of :solar-system.	
+	
+[
+	a owl:Restriction;
+	owl:onProperty :orbit;
+	owl:hasValue :sun
+]
+	rdfs:subClassOf
+		[
+			a owl:Restriction;
+			owl:onProperty :part-of;
+			owl:hasValue :solar-system
+		]
+.
+	
+	
+:object a rdfs:Class.
+
+:orbit a rdf:Property.
+
+:object-orbit-sun-directly a rdfs:Class ;
+	rdfs:subClassOf :object-orbit-sun .
+
+:object-orbit-sun-indirectly a rdfs:Class ;
+	rdfs:subClassOf :object-orbit-sun .
+
+	
-- 
GitLab