From bf17cf371eb8adc91d8867ce2519b7da1c113a50 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Aur=C3=A9lien=20Lamercerie?=
<aurelien.lamercerie@tetras-libre.fr>
Date: Wed, 29 Jun 2022 16:05:39 +0200
Subject: [PATCH] Update data: SSC-01 (1)
---
data/SSC-01/SSC-01-01/SSC-01-01.owl.nt | 19 +++++++++
data/SSC-01/SSC-01-01/SSC-01-01.stc.txt | 41 +++++++++++++++++++
...-01.amr.graph => SSC-01-01.stog.amr.graph} | 0
.../SSC-01-01/SSC-01-01.valid.amr.graph | 18 ++++++++
4 files changed, 78 insertions(+)
create mode 100644 data/SSC-01/SSC-01-01/SSC-01-01.owl.nt
create mode 100644 data/SSC-01/SSC-01-01/SSC-01-01.stc.txt
rename data/SSC-01/SSC-01-01/{SSC-01-01.amr.graph => SSC-01-01.stog.amr.graph} (100%)
create mode 100644 data/SSC-01/SSC-01-01/SSC-01-01.valid.amr.graph
diff --git a/data/SSC-01/SSC-01-01/SSC-01-01.owl.nt b/data/SSC-01/SSC-01-01/SSC-01-01.owl.nt
new file mode 100644
index 0000000..5386cbc
--- /dev/null
+++ b/data/SSC-01/SSC-01-01/SSC-01-01.owl.nt
@@ -0,0 +1,19 @@
+solar-system is-a class.
+system is-a class.
+planet-system is-a class.
+sun is-a class.
+object-orbit-sun is-a class.
+object-orbit-sun-direct is-a class.
+object-orbit-sun-no-direct is-a class.
+gravitation is-a class.
+
+bind is-a property.
+orit is-a property.
+
+planet-system subClass-Of system.
+solar-system subClass-Of planet-system.
+solar-system has-part sun.
+solar-system has-part object-orbit-sun.
+solar-system bind gravitation.
+object-orbit-sun-direct subClass-Of object-orbit-sun.
+object-orbit-sun-no-direct subClass-Of object-orbit-sun.
diff --git a/data/SSC-01/SSC-01-01/SSC-01-01.stc.txt b/data/SSC-01/SSC-01-01/SSC-01-01.stc.txt
new file mode 100644
index 0000000..52c36d1
--- /dev/null
+++ b/data/SSC-01/SSC-01-01/SSC-01-01.stc.txt
@@ -0,0 +1,41 @@
+# -----------------------------------------------------------------------------
+# Schémas de Transduction Compositionnel (STC)
+# -----------------------------------------------------------------------------
+#
+# Pré-traitement = chaque noeud du graphe est associé à un filet de type ATOM
+#
+# TYPE = { ATOM, COMMON-CONCEPT, PREDICATE, MODALITY }
+#
+
+# -----------------------------------
+# Fonctions
+# -----------------------------------
+
+# ::function isCommomConcept
+# isCommonConcept(x) retourne VRAI si x est un concept AMR commun, c'est à
+# dire si x n'est pas un prédicat ou un phénomène linguistique
+# exemple de concepts communs : boy, car, ...
+
+# ::function isPredicate
+# ...
+
+# ::function isPhenomena
+# ...
+
+
+# -----------------------------------
+# STC
+# -----------------------------------
+
+# ::stc STC-01
+[x] type(x, ATOM) & isCommonConcept(x.concept)
+ => { type = COMMON-CONCEPT ; concept = x.concept }
+
+
+# ::stc STC-02
+[x, y] domain(x,y) & type(x, COMMON-CONCEPT) & type(y, COMMON-CONCEPT)
+ => { type = CLASS ;
+ concept = x.concept + "-" + y.concept ;
+ class = defineNewClass(concept)
+ }
+
diff --git a/data/SSC-01/SSC-01-01/SSC-01-01.amr.graph b/data/SSC-01/SSC-01-01/SSC-01-01.stog.amr.graph
similarity index 100%
rename from data/SSC-01/SSC-01-01/SSC-01-01.amr.graph
rename to data/SSC-01/SSC-01-01/SSC-01-01.stog.amr.graph
diff --git a/data/SSC-01/SSC-01-01/SSC-01-01.valid.amr.graph b/data/SSC-01/SSC-01-01/SSC-01-01.valid.amr.graph
new file mode 100644
index 0000000..8f1016f
--- /dev/null
+++ b/data/SSC-01/SSC-01-01/SSC-01-01.valid.amr.graph
@@ -0,0 +1,18 @@
+# ::id SSC-01-01
+# ::snt The Solar System is the gravitationally bound system of the Sun and the objects that orbit it, either directly or indirectly.
+(p / planet
+ :domain (s / system
+ :name (n / name
+ :op1 "Solar"
+ :op2 "System"))
+ :ARG1-of (b / bind-01
+ :ARG0 (g / gravitation))
+ :part (a / and
+ :op1 (s2 / sun)
+ :op2 (o / object
+ :ARG0-of (o2 / orbit-01
+ :ARG1 s2
+ :manner (o3 / or
+ :op1 (d / direct-02)
+ :op2 (d2 / direct-02
+ :polarity -))))))
--
GitLab