diff --git a/data/SSC-03/SSC-03-01/SSC-03-01.al.owl.ttl b/data/SSC-03/SSC-03-01/SSC-03-01.al.owl.ttl index 7df41daa67fcf19222012c7b2dd4922c1a30da30..182f36714a8df7877e08b09adea7be390391ef19 100644 --- a/data/SSC-03/SSC-03-01/SSC-03-01.al.owl.ttl +++ b/data/SSC-03/SSC-03-01/SSC-03-01.al.owl.ttl @@ -71,14 +71,53 @@ # ::comment "... the smallest planet, Mercury ..." +:planet a rdfs:Class . +:most-small-planet + a rdfs:Class ; + rdfs:subClassOf :planet . + +:Mercury + a owl:individual ; + a :most-small-planet . + +# ::comment "one, two objects ..." + +:object-x + a owl:individual ; + a object-orbit-sun-not-directly . + +:object-y + a owl:individual ; + a object-orbit-sun-not-directly . + +:object-z + a owl:individual ; + a object-orbit-sun-not-directly . # ::comment "two are larger than the smallest planet ..." +:large a owl:objectProperty . + +:more-large + a owl:ObjectProperty ; + rdfs:subPropertyOf :equal . + +:object-x :more-large :Mercury. + +:object-y :more-large :Mercury. # ::comment "one more almost equals it in size ..." +:equal a owl:objectProperty . + +:almost-more-equal + a owl:ObjectProperty ; + rdfs:subPropertyOf :equal . + +:object-z :almost-more-equal :Mercury. + diff --git a/data/SSC-03/SSC-03-02/SSC-03-02.al.owl.ttl b/data/SSC-03/SSC-03-02/SSC-03-02.al.owl.ttl new file mode 100644 index 0000000000000000000000000000000000000000..d7e64931e976a74f00fdf9109cceb0cb9fd48de5 --- /dev/null +++ b/data/SSC-03/SSC-03-02/SSC-03-02.al.owl.ttl @@ -0,0 +1,90 @@ +# ::id SSC-03-02 +# ::snt Two objects that orbit the Sun indirectly are larger than the smallest planet, Mercury. + +@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 "... objects that orbit the Sun indirectly ..." + +: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-not-directly a rdfs:Class ; + rdfs:subClassOf :celestial-object-orbit-sun ; + rdfs:subClassOf [ + a owl:Restriction ; + owl:onProperty :not-direct-orbit ; + owl:hasValue :sun + ] . + +:direct-orbit a owl:ObjectProperty ; + rdfs:subPropertyOf :orbit ; + :manner "direct" . + +:not-direct-orbit a owl:ObjectProperty ; + owl:inverseOf :direct-orbit . + + +# ::comment "... the smallest planet, Mercury ..." + +:planet a rdfs:Class . + +:most-small-planet + a rdfs:Class ; + rdfs:subClassOf :planet . + +:Mercury + a owl:individual ; + a :most-small-planet . + +# ::comment "two objects ..." + +:object-x + a owl:individual ; + a object-orbit-sun-not-directly . + +:object-y + a owl:individual ; + a object-orbit-sun-not-directly . + + +# ::comment "[two] are larger than [Mercury] ..." + +:large a owl:objectProperty . + +:more-large + a owl:ObjectProperty ; + rdfs:subPropertyOf :equal . + +:object-x :more-large :Mercury. + +:object-y :more-large :Mercury. + + + diff --git a/data/SSC-03/SSC-03-02/SSC-03-02.amr.graph b/data/SSC-03/SSC-03-02/SSC-03-02.stog.amr.graph similarity index 100% rename from data/SSC-03/SSC-03-02/SSC-03-02.amr.graph rename to data/SSC-03/SSC-03-02/SSC-03-02.stog.amr.graph diff --git a/data/SSC-03/SSC-03-03/SSC-03-03.al.owl.ttl b/data/SSC-03/SSC-03-03/SSC-03-03.al.owl.ttl new file mode 100644 index 0000000000000000000000000000000000000000..4460001556405ac4acfdc5ba5bcb3ecca9c7277c --- /dev/null +++ b/data/SSC-03/SSC-03-03/SSC-03-03.al.owl.ttl @@ -0,0 +1,82 @@ +# ::id SSC-03-03 +# ::snt One object that orbit the Sun indirectly is more almost equals than the smallest planet, Mercury in size. + +@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 "object that orbit the Sun indirectly ..." + +: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-not-directly a rdfs:Class ; + rdfs:subClassOf :celestial-object-orbit-sun ; + rdfs:subClassOf [ + a owl:Restriction ; + owl:onProperty :not-direct-orbit ; + owl:hasValue :sun + ] . + +:direct-orbit a owl:ObjectProperty ; + rdfs:subPropertyOf :orbit ; + :manner "direct" . + +:not-direct-orbit a owl:ObjectProperty ; + owl:inverseOf :direct-orbit . + + +# ::comment "One object ..." + +:object-x + a owl:individual ; + a object-orbit-sun-not-directly . + + +# ::comment "... the smallest planet, Mercury ..." + +:planet a rdfs:Class . + +:most-small-planet + a rdfs:Class ; + rdfs:subClassOf :planet . + +:Mercury + a owl:individual ; + a :most-small-planet . + + +# ::comment " [object] is more almost equals than [Mercury] ..." + +:equal a owl:objectProperty . + +:almost-more-equal + a owl:ObjectProperty ; + rdfs:subPropertyOf :equal . + +:object-x :almost-more-equal :Mercury. diff --git a/data/SSC-03/SSC-03-03/SSC-03-03.amr.graph b/data/SSC-03/SSC-03-03/SSC-03-03.stog.amr.graph similarity index 100% rename from data/SSC-03/SSC-03-03/SSC-03-03.amr.graph rename to data/SSC-03/SSC-03-03/SSC-03-03.stog.amr.graph