From 4217c0571aa9be432eaf93f220e9f2e8731f3485 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Aur=C3=A9lien=20Lamercerie?=
 <aurelien.lamercerie@tetras-libre.fr>
Date: Fri, 5 Aug 2022 12:03:06 +0200
Subject: [PATCH] Update .cts in SSC-01, SSC-02: new level for individual

---
 data/SSC-01/SSC-01-01/SSC-01-01.cts.txt | 13 +++++++++----
 data/SSC-02/SSC-02-01/SSC-02-01.cts.txt | 25 ++++++++++++++++++++-----
 2 files changed, 29 insertions(+), 9 deletions(-)

diff --git a/data/SSC-01/SSC-01-01/SSC-01-01.cts.txt b/data/SSC-01/SSC-01-01/SSC-01-01.cts.txt
index da53747..66f11b8 100644
--- a/data/SSC-01/SSC-01-01/SSC-01-01.cts.txt
+++ b/data/SSC-01/SSC-01-01/SSC-01-01.cts.txt
@@ -122,6 +122,11 @@ STC-22 (x, y) :
           values = { class_id, owl }
           newNet(nodes, type, values)
 
+
+# --------------------------------------------------------
+# STC niveau 3 : extraction des individus
+# --------------------------------------------------------
+
 STC-23 (x, y) :
      :name(x, y) & class(x) & namedEntities(x, y)
      =>   nodes = { x.nodes }
@@ -135,7 +140,7 @@ STC-23 (x, y) :
 
 
 # --------------------------------------------------------
-# STC niveau 3 : extraction de propriétés
+# STC niveau 4 : extraction de propriétés
 # --------------------------------------------------------
 
 STC-31 (x, y) :
@@ -155,7 +160,7 @@ STC-32 (x, y) :
 
 
 # --------------------------------------------------------
-# STC niveau 4 : extraction de relations taxonomiques
+# STC niveau 5 : extraction de relations taxonomiques
 # --------------------------------------------------------
 
 STC-41 (x, y, z) :
@@ -186,14 +191,14 @@ exemple :
 
 
 # --------------------------------------------------------
-# STC niveau 5 : extraction de relations non taxonomiques
+# STC niveau 6 : extraction de relations non taxonomiques
 # --------------------------------------------------------
 
 # --
 
 
 # --------------------------------------------------------
-# STC niveau 6 : extraction d'axiomes complexes
+# STC niveau 7 : extraction d'axiomes complexes
 # --------------------------------------------------------
 
 # --
diff --git a/data/SSC-02/SSC-02-01/SSC-02-01.cts.txt b/data/SSC-02/SSC-02-01/SSC-02-01.cts.txt
index da53747..9f67b5f 100644
--- a/data/SSC-02/SSC-02-01/SSC-02-01.cts.txt
+++ b/data/SSC-02/SSC-02-01/SSC-02-01.cts.txt
@@ -122,6 +122,11 @@ STC-22 (x, y) :
           values = { class_id, owl }
           newNet(nodes, type, values)
 
+
+# --------------------------------------------------------
+# STC niveau 3 : extraction des individus
+# --------------------------------------------------------
+
 STC-23 (x, y) :
      :name(x, y) & class(x) & namedEntities(x, y)
      =>   nodes = { x.nodes }
@@ -135,7 +140,7 @@ STC-23 (x, y) :
 
 
 # --------------------------------------------------------
-# STC niveau 3 : extraction de propriétés
+# STC niveau 4 : extraction de propriétés
 # --------------------------------------------------------
 
 STC-31 (x, y) :
@@ -155,7 +160,7 @@ STC-32 (x, y) :
 
 
 # --------------------------------------------------------
-# STC niveau 4 : extraction de relations taxonomiques
+# STC niveau 5 : extraction de relations taxonomiques
 # --------------------------------------------------------
 
 STC-41 (x, y, z) :
@@ -186,14 +191,24 @@ exemple :
 
 
 # --------------------------------------------------------
-# STC niveau 5 : extraction de relations non taxonomiques
+# STC niveau 6 : extraction de relations non taxonomiques
 # --------------------------------------------------------
+# question sur rstriction : voir ticket 1
 
-# --
+STC-51 (x, y, z) :
+     :part-of(x, y) & class(x) & individual(z)
+     =>   nodes = { x.nodes }
+          type = class
+          class_id = define-id(z.class_id, y.property_id, x.class_id)
+          owl = string(class_id, ' a ', 'rdfs:Class')
+          owl = string(class_id, ' rdfs:subClassOf ', x.class_id)
+          owl = define-OWL-restriction (class_id, ':part-of', z.class_id)
+          values = { class_id, owl }
+          newNet(nodes, type, values)
 
 
 # --------------------------------------------------------
-# STC niveau 6 : extraction d'axiomes complexes
+# STC niveau 7 : extraction d'axiomes complexes
 # --------------------------------------------------------
 
 # --
-- 
GitLab