eyereasoner 13.0.0 → 13.0.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (6) hide show
  1. package/README.md +5 -6
  2. package/dist/eye.d.ts +1 -1
  3. package/dist/eye.js +1 -1
  4. package/dist/see-lingua.d.ts +1 -1
  5. package/dist/see-lingua.js +1 -1
  6. package/package.json +3 -3
package/README.md CHANGED
@@ -236,22 +236,21 @@ const result = await linguareasoner(`
236
236
  :Human rdfs:subClassOf :Mortal.
237
237
 
238
238
  # rdfs subclass
239
- :rdfs_subclass_rule lingua:premise _:rdfs_subclass_rule_premise;
240
- lingua:conclusion _:rdfs_subclass_rule_conclusion.
239
+ _:ng1 lingua:implication _:ng2.
241
240
 
242
- _:rdfs_subclass_rule_premise {
241
+ _:ng1 {
243
242
  var:A rdfs:subClassOf var:B.
244
243
  var:S a var:A.
245
244
  }
246
245
 
247
- _:rdfs_subclass_rule_conclusion {
246
+ _:ng2 {
248
247
  var:S a var:B.
249
248
  }
250
249
 
251
250
  # query
252
- :socrates_query lingua:question _:socrates_question.
251
+ _:ng3 lingua:query _:ng3.
253
252
 
254
- _:socrates_question {
253
+ _:ng3 {
255
254
  var:S a :Mortal.
256
255
  }`)
257
256
  ```