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 0000000000000000000000000000000000000000..dae7fa2f8e87026e12de797e2fb33e7344f7be73 --- /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 . + +