SSC-01-01.dr

data/SSC-01/SSC-01-01/SSC-01-01.dr.owl.ttl

+#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 .
+
+