From a085eb5358c4ac36c02c83844e5b9c95e6925a9a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Aur=C3=A9lien=20Lamercerie?=
<aurelien.lamercerie@tetras-libre.fr>
Date: Tue, 12 Jul 2022 15:47:18 +0200
Subject: [PATCH] Update data SSC-01 (bind-of inverseOf bind)
---
data/SSC-01/SSC-01-01/SSC-01-01.al.owl.ttl | 16 +++++++++------
data/SSC-01/SSC-01-01/SSC-01-01.stc.txt | 24 +++++++++++++++++-----
2 files changed, 29 insertions(+), 11 deletions(-)
diff --git a/data/SSC-01/SSC-01-01/SSC-01-01.al.owl.ttl b/data/SSC-01/SSC-01-01/SSC-01-01.al.owl.ttl
index a8f285c..a46edc8 100644
--- a/data/SSC-01/SSC-01-01/SSC-01-01.al.owl.ttl
+++ b/data/SSC-01/SSC-01-01/SSC-01-01.al.owl.ttl
@@ -11,11 +11,9 @@
# ::predefined-property :has-part :part-of :manner
:part-of a owl:ObjectProperty .
-:has-part a owl:ObjectProperty ;
- owl:equivalentProperty [
- a owl:ObjectProperty ;
- owl:complementOf :part-of
- ] .
+:has-part
+ a owl:ObjectProperty ;
+ owl:inverseOf :part-of .
:manner a owl:ObjectProperty .
@@ -39,7 +37,7 @@
:gravitationally-bound-system
rdfs:subClassOf [
a owl:Restriction ;
- owl:onProperty :bind ;
+ owl:onProperty :bind-by ;
owl:hasValue :gravitation
] .
@@ -47,6 +45,12 @@
:system a rdfs:Class .
+:bind a owl:ObjectProperty .
+
+:bind-by
+ a owl:ObjectProperty ;
+ owl:inverseOf :bind .
+
# ::comment "Solar System is ... [compose] of the sun and the objects that orbit it"
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
index 4311190..e4ce25b 100644
--- a/data/SSC-01/SSC-01-01/SSC-01-01.stc.txt
+++ b/data/SSC-01/SSC-01-01/SSC-01-01.stc.txt
@@ -32,7 +32,7 @@
# --------------------------------------------------------
-# STC niveau 0 : analyse des filets atomiques
+# STC niveau 0 : analyse des concepts atomiques
# --------------------------------------------------------
STC-01 (x) :
@@ -53,12 +53,16 @@ STC-02 (x) :
newNet(nodes, type, values)
-STC-03 (n, x) :
+# --------------------------------------------------------
+# STC niveau 1 : extraction des entités nommées
+# --------------------------------------------------------
+
+STC-11 (n, x) :
commonConcept(n) & dataValue(x) & n.concept = 'name' & op1(n, x)
=> nodes = { n.nodes, x.nodes }
type = namedEntities
depth = '1'
- name = getValue(x.value)
+ name = string(x.value)
values = { name }
newNet(nodes, type, values)
@@ -74,7 +78,7 @@ STC-04 (ne, x) :
# --------------------------------------------------------
-# STC niveau 1 : extraction des individus, classes et propriétés
+# STC niveau 1 : extraction des classes
# --------------------------------------------------------
STC-11 (x, y) :
@@ -107,15 +111,25 @@ STC-13 (x, y) :
values = { class_id, individual_id, owl }
newNet(nodes, type, values)
+
+# --------------------------------------------------------
+# STC niveau 2 : extraction de propriétés
+# --------------------------------------------------------
+
STC-14 (x, y) :
predicate(x) & class(y)
=> nodes = { x.nodes }
type = objectProperty
property_id = string(x.concept)
- owl = string(class_id, ' a ', 'owl:objectProperty')
+ owl = string(property_id, ' a ', 'owl:objectProperty')
values = { property_id, owl }
newNet(nodes, type, values)
+
+# --------------------------------------------------------
+# STC niveau 3 : extraction de classes
+# --------------------------------------------------------
+
STC-15 (x, y, z) :
:ARG1-of(x, y) & class(x) & objectProperty(y) & ARG0(y, z) & class(z)
=> nodes = { x.nodes }
--
GitLab