diff --git a/data/SSC-02/SSC-02-01/SSC-02-01.al.owl.ttl b/data/SSC-02/SSC-02-01/SSC-02-01.al.owl.ttl new file mode 100644 index 0000000000000000000000000000000000000000..d3e437ea3d480bb30ed7e7973fd433bf4ba95fea --- /dev/null +++ b/data/SSC-02/SSC-02-01/SSC-02-01.al.owl.ttl @@ -0,0 +1,107 @@ +# ::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 + ] . + diff --git a/data/SSC-02/SSC-02-01/SSC-02-01.amr.graph b/data/SSC-02/SSC-02-01/SSC-02-01.stog.amr.graph similarity index 100% rename from data/SSC-02/SSC-02-01/SSC-02-01.amr.graph rename to data/SSC-02/SSC-02-01/SSC-02-01.stog.amr.graph