corrected kif files; loads on sigma without parsing errors

ngeiswei · Jun 1, 2021 · b61bb07 · b61bb07
1 parent d32b3a4
commit b61bb07
Show file tree

Hide file tree

Showing 5 changed files with 14 additions and 15 deletions.
diff --git a/ontology/FakeNewsScore.kif b/ontology/FakeNewsScore.kif
@@ -17,12 +17,13 @@ and calculates the overall probability that the provided content contains fake n
   (and
     (subclass ?fakeNewsScoreOutput JSONDef)
     (hasField ?fakeNewsScoreOutput url URL)
-    (...)
-;    all fields of actual data structure as approximately indicated here https://gitlab.com/nunet/fake-news-detection/fake_news_score/-/issues/22
-;    actual data structure is determined by the code
-    (...)
   )
   (instance ?fnsBinaryClassifierOutput fnsBinaryClassifierOutputType)
 )
 
+;    (...)
+;    all fields of actual data structure as approximately indicated here https://gitlab.com/nunet/fake-news-detection/fake_news_score/-/issues/22
+;    actual data structure is determined by the code
+;    (...)
+
 ; ideally we should include here the definition of RealizedFunction, as described in Idris part of the AI-DSL
diff --git a/ontology/NuNet.kif b/ontology/NuNet.kif
@@ -4,12 +4,13 @@
 (=>
   (and
     (hasMetadata ?SNetAIServiceMetadata ?SNetAIService)
-    (hasField ?SNetAIServiceMetadata RequiredComputingResources)
-    ; includes many other prerequisites and special protobuf definitions
+    (hasField ?RequiredComputingResources ?SNetAIServiceMetadata)
   )
   (instance ?SNetAIService NuNetEnabledSNetAIService)
 )
 
+; includes many other prerequisites and special protobuf definitions
+
 (subclass NuNetEnabledComputer Computer)
 (documentation NuNetEnabledComputer EnglishLanguage "A Computer which was onboarded to NuNet platfrom and complies to its requirements.")
 

diff --git a/ontology/SingularityNet.kif b/ontology/SingularityNet.kif
@@ -36,6 +36,7 @@
 ; this is subject of the future work
 
 (subclass JSONDef DataType)
+(subclass ProtoBufDef DataType)
 (subclass URL DataType)
 (subclass Text DataType)
 (subclass Boolean DataType)
diff --git a/ontology/fnsBinaryClassifier.kif b/ontology/fnsBinaryClassifier.kif
@@ -8,15 +8,11 @@
 (instance fnsBinaryClassifierOutputType DataType)
 
 (=>
-  (and
-    (hasField ?fnsBinaryClassifierInput mainText Text)
-  )
+  (hasField ?fnsBinaryClassifierInput mainText Text)
   (instance ?fnsBinaryClassifierInput fnsBinaryClassifierInputType)
 )
 
 (=>
-  (and
-    (hasField ?fnsBinaryClassifierOutput fakeOrNot Boolean)
-  )
+  (hasField ?fnsBinaryClassifierOutput fakeOrNot Boolean)
   (instance ?fnsBinaryClassifierOutput fnsBinaryClassifierOutputType)
 )
diff --git a/ontology/uclnlp.kif b/ontology/uclnlp.kif
@@ -1,4 +1,4 @@
-(instance uclnlp SNetAIService)
+(instance uclnlp NuNetEnabledSNetAIService)
 (documentation uclnlp EnglishLanguage "Forked and adapted component of stance detection algorithm by UCL Machine Reading group.")
 
 (hasInput uclnlp uclnlpInput)
@@ -9,8 +9,8 @@
 
 (=>
   (and
-    (hasField ?uclnlpInput titleText AlphaNumericString)
-    (hasField ?uclnlpInput mainText AlphaNumericString)
+    (hasField ?uclnlpInput titleText Text)
+    (hasField ?uclnlpInput mainText Text)
   )
   (instance ?uclnlpInput uclnlpInputType)
 )