Update SSC-02-01

data/SSC-02/SSC-02-01/SSC-02-01.al.owl.ttl

+# ::id SSC-01-01
+# ::snt 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.
+
+@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#> .
+
+
+# ::predefined-property :has-part :part-of :manner
+
+:part-of a owl:ObjectProperty .
+
+:has-part
+	a owl:ObjectProperty ;
+	owl:inverseOf :part-of .
+
+:manner a owl:DatatypeProperty .
+
+
+# ::comment "the objects that orbit the Sun directly ..."
+
+:object a rdfs:Class .
+
+:orbit a owl:ObjectProperty .
+
+:sun a owl:individual .
+
+:object-orbit-sun a rdfs:Class ;
+	rdfs:subClassOf :object ;
+	rdfs:subClassOf [
+		a owl:Restriction ;
+		owl:onProperty :orbit ;
+		owl:hasValue :sun
+	] .
+
+:object-orbit-sun-directly a rdfs:Class ;
+	rdfs:subClassOf :object-orbit-sun ;
+	rdfs:subClassOf [
+		a owl:Restriction ;
+		owl:onProperty :direct-orbit ;
+		owl:hasValue :sun
+	] .
+
+:direct-orbit a owl:ObjectProperty ;
+	rdfs:subPropertyOf :orbit ;
+	:manner "direct" .
+
+
+# ::comment "the largest are the eight planets"
+
+:more-large-object
+	a rdfs:Class ;
+	rdfs:subClassOf :object ;
+	rdfs:subClassOf	[
+		a owl:Restriction ;
+		owl:onProperty :part-of ;
+		owl:hasValue :object-orbit-sun-directly
+	] .
+
+:planet
+	a rdfs:Class ;
+	rdfs:subClassOf :more-large-object .
+
+
+# ::comment "with the remainder being smaller objects..."
+
+:more-small-object
+	a rdfs:Class ;
+	rdfs:subClassOf :object ;
+	rdfs:subClassOf	[
+		a owl:Restriction ;
+		owl:onProperty :part-of ;
+		owl:hasValue :object-orbit-sun-directly
+	] .
+
+# ::comment "... the dwarf planets ..."
+
+:dwarf-planet
+	a rdfs:Class ;
+	rdfs:subClassOf :planet ;
+	rdfs:subClassOf	[
+		a owl:Restriction ;
+		owl:onProperty :part-of ;
+		owl:hasValue :object-orbit-sun-directly
+	] .
+
+
+# ::comment "... and small Solar System bodies."
+
+:solar-system a owl:individual .
+
+:solar-system-small-bodies a rdfs:Class ;
+	rdfs:subClassOf	[
+		a owl:Restriction ;
+		owl:onProperty :part-of ;
+		owl:hasValue :solar-system
+	] .
+
+:solar-system-small-bodies a rdfs:Class ;
+	rdfs:subClassOf	[
+		a owl:Restriction ;
+		owl:onProperty :part-of ;
+		owl:hasValue :object-orbit-sun-directly
+	] .
+