Update data SSC-01 (bind-of inverseOf bind)

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 [
+:has-part
 	a owl:ObjectProperty ;
-		owl:complementOf :part-of
-	] .
+	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"
 

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 }