From 472d53164f36772e5c2da2e9a9666b20206c5230 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Aur=C3=A9lien=20Lamercerie?=
<aurelien.lamercerie@tetras-libre.fr>
Date: Tue, 9 Aug 2022 13:32:45 +0200
Subject: [PATCH] Update SSC-03-01, SSC-03-02, SSC-03-03
---
data/SSC-03/SSC-03-01/SSC-03-01.al.owl.ttl | 39 ++++++++
data/SSC-03/SSC-03-02/SSC-03-02.al.owl.ttl | 90 +++++++++++++++++++
...-02.amr.graph => SSC-03-02.stog.amr.graph} | 0
data/SSC-03/SSC-03-03/SSC-03-03.al.owl.ttl | 82 +++++++++++++++++
...-03.amr.graph => SSC-03-03.stog.amr.graph} | 0
5 files changed, 211 insertions(+)
create mode 100644 data/SSC-03/SSC-03-02/SSC-03-02.al.owl.ttl
rename data/SSC-03/SSC-03-02/{SSC-03-02.amr.graph => SSC-03-02.stog.amr.graph} (100%)
create mode 100644 data/SSC-03/SSC-03-03/SSC-03-03.al.owl.ttl
rename data/SSC-03/SSC-03-03/{SSC-03-03.amr.graph => SSC-03-03.stog.amr.graph} (100%)
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 7df41da..182f367 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 0000000..d7e6493
--- /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 0000000..4460001
--- /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
--
GitLab