eyeling 1.8.9 → 1.8.11

package/examples/bind.n3

@@ -0,0 +1,7 @@
+@prefix : <http://example/#> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+@prefix string: <http://www.w3.org/2000/10/swap/string#> .
+
+:phayes a :Person ; :givenName "Pat"; :familyName "Hayes" .
+
+{ ?x a :Person . ?SCOPE log:notIncludes { ?x :name ?someName . } . ?x :givenName ?name1 . ?x :familyName ?name2 . (?name1 " " ?name2) string:concatenation ?FN . } => { ?x :name ?FN } .

package/examples/family.n3

@@ -0,0 +1,10 @@
+@prefix : <http://example.org/#> .
+
+:A :fatherOf :X . :B :motherOf :X . :C :motherOf :A .
+
+{ ?y :fatherOf ?x . } => { ?x :childOf ?y } .
+{ ?y :motherOf ?x . } => { ?x :childOf ?y } .
+{ ?x :childOf ?y . } => { ?x :descendedFrom ?y } .
+{ ?x :childOf ?z . ?z :childOf ?y . } => { ?x :descendedFrom ?y } .
+{ ?y :descendedFrom ?x . } => { ?x :ancestorOf ?y } .
+{ ?a :ancestorOf ?c . ?c :ancestorOf ?b . } => { ?a :ancestorOf ?b } .

package/examples/filter.n3

@@ -0,0 +1,8 @@
+@prefix : <http://example/#> .
+@prefix math: <http://www.w3.org/2000/10/swap/math#> .
+
+:x :p 1 ; :q 2 .
+
+{ ?x :p ?v1 . ?x :q ?v2 . ?v1 math:greaterThan 0 . ?v2 math:greaterThan 0 . } => { ?x :bothPositive true . } .
+{ ?x :p ?v1 . ?x :q ?v2 . ?v1 math:equalTo 0 . } => { ?x :oneIsZero true . } .
+{ ?x :p ?v1 . ?x :q ?v2 . ?v2 math:equalTo 0 . } => { ?x :oneIsZero true . } .

package/examples/input/bind.srl

@@ -0,0 +1,12 @@
+PREFIX : <http://example/#>
+
+DATA { :phayes a :Person ; :givenName "Pat"; :familyName "Hayes" . }
+
+# Default value - calculate a name
+RULE { ?x :name ?FN } WHERE { 
+    ?x a :Person 
+    NOT { ?x :name ?someName }
+    ?x :givenName ?name1 ;
+       :familyName ?name2 .
+    BIND(concat(?name1, " ", ?name2) AS ?FN)
+}

package/examples/input/family.srl

@@ -0,0 +1,12 @@
+PREFIX : <http://example.org/#>
+
+DATA { :A :fatherOf :X . :B :motherOf :X . :C :motherOf :A . }
+
+RULE { ?x :childOf ?y } WHERE { ?y :fatherOf ?x }
+RULE { ?x :childOf ?y } WHERE { ?y :motherOf ?x }
+
+RULE { ?x :descendedFrom ?y } WHERE { ?x :childOf ?y }
+RULE { ?x :descendedFrom ?y } WHERE { ?x :childOf ?z . ?z :childOf ?y }
+
+RULE { ?x :ancestorOf ?y } WHERE { ?y :descendedFrom ?x }
+RULE { ?a :ancestorOf ?b } WHERE { ?a :ancestorOf ?c . ?c :ancestorOf ?b }

package/examples/input/filter.srl

@@ -0,0 +1,9 @@
+PREFIX : <http://example/#>
+
+DATA { :x :p 1 ; :q 2 . }
+
+RULE { ?x :bothPositive true . }
+WHERE { ?x :p ?v1  FILTER ( ?v1 > 0 )  ?x :q ?v2  FILTER ( ?v2 > 0 )  }
+
+RULE { ?x :oneIsZero true . }
+WHERE { ?x :p ?v1 ;  :q ?v2  FILTER ( ( ?v1 = 0 ) || ( ?v2 = 0 ) )  }

package/examples/input/snaf.srl

@@ -0,0 +1,6 @@
+PREFIX log: <http://www.w3.org/2000/10/swap/log#>
+PREFIX : <http://example.org/#>
+
+DATA { :Alice :loves :Bob. :Bob a :Person. }
+
+RULE { :Alice :hates :Nobody. } WHERE { NOT { :Alice :hates ?X } ?X a :Person. }

package/examples/output/bind.n3

@@ -0,0 +1,3 @@
+@prefix : <http://example/#> .
+
+:phayes :name "Pat Hayes" .

package/examples/output/family.n3

@@ -0,0 +1,13 @@
+@prefix : <http://example.org/#> .
+
+:X :childOf :A .
+:X :childOf :B .
+:A :childOf :C .
+:X :descendedFrom :A .
+:X :descendedFrom :B .
+:A :descendedFrom :C .
+:X :descendedFrom :C .
+:A :ancestorOf :X .
+:B :ancestorOf :X .
+:C :ancestorOf :A .
+:C :ancestorOf :X .

package/examples/output/filter.n3

@@ -0,0 +1,3 @@
+@prefix : <http://example/#> .
+
+:x :bothPositive true .

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eyeling",
-  "version": "1.8.9",
+  "version": "1.8.11",
   "description": "A minimal Notation3 (N3) reasoner in JavaScript.",
   "main": "./index.js",
   "keywords": [
@@ -22,10 +22,9 @@
     "index.js",
     "index.d.ts",
     "eyeling.js",
-    "n3.js",
+    "eyeling-builtins.ttl",
     "test",
     "examples",
-    "eyeling-builtins.ttl",
     "README.md",
     "LICENSE.md"
   ],
@@ -35,10 +34,10 @@
   "scripts": {
     "test:packlist": "node test/packlist.test.js",
     "test:api": "node test/api.test.js",
-    "test:n3": "node test/n3.test.js",
+    "test:maken3": "node test/maken3.test.js",
     "test:examples": "node test/examples.test.js",
     "test:package": "node test/package.test.js",
-    "test": "npm run test:packlist && npm run test:api && npm run test:n3 && npm run test:examples",
+    "test": "npm run test:packlist && npm run test:api && npm run test:maken3 && npm run test:examples",
     "preversion": "npm test",
     "postversion": "git push origin HEAD --follow-tags"
   }

package/test/{n3.test.js → maken3.test.js}

@@ -1,7 +1,7 @@
 #!/usr/bin/env node
 'use strict';
 
-// Convert examples/input/*.{ttl,trig,srl} -> examples/*.n3 using n3.js
+// Convert examples/input/*.{ttl,trig,srl} -> examples/*.n3 using maken3.js
 // Designed to work both in a git checkout (maintainer mode) and in an npm-installed package.
 //
 // In git mode:
@@ -86,11 +86,11 @@ function showDiff({ IN_GIT, examplesDir, expectedPath, generatedPath, relExpecte
 function main() {
   const suiteStart = Date.now();
 
-  // test/n3.test.js -> repo root is one level up
+  // test/maken3.test.js -> repo root is one level up
   const root = path.resolve(__dirname, '..');
   const examplesDir = path.join(root, 'examples');
   const inputDir = path.join(examplesDir, 'input');
-  const n3JsPath = path.join(root, 'n3.js');
+  const makeN3JsPath = path.join(root, 'maken3.js');
   const nodePath = process.execPath;
 
   if (!fs.existsSync(examplesDir)) {
@@ -101,8 +101,8 @@ function main() {
     fail(`Cannot find examples/input directory: ${inputDir}`);
     process.exit(1);
   }
-  if (!fs.existsSync(n3JsPath)) {
-    fail(`Cannot find n3.js: ${n3JsPath}`);
+  if (!fs.existsSync(makeN3JsPath)) {
+    fail(`Cannot find maken3.js: ${makeN3JsPath}`);
     process.exit(1);
   }
 
@@ -152,7 +152,7 @@ function main() {
 
     // Run converter (stdout -> file; stderr captured)
     const outFd = fs.openSync(generatedPath, 'w');
-    const r = cp.spawnSync(nodePath, [n3JsPath, inPath], {
+    const r = cp.spawnSync(nodePath, [makeN3JsPath, inPath], {
       cwd: root,
       stdio: ['ignore', outFd, 'pipe'],
       encoding: 'utf8',