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 0000000000000000000000000000000000000000..5386cbce4fba2e80ffb7b1f48854e28a3f02b0cd --- /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 0000000000000000000000000000000000000000..52c36d1d0a9db0eb48c7c2c48475cc1b9765d593 --- /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 0000000000000000000000000000000000000000..8f1016fb4b6fd5e6c12e13bc21cbdf5307096975 --- /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 -))))))