eyeling 1.30.6 → 1.32.0

package/index.d.ts

@@ -1,50 +1,14 @@
 declare module 'eyeling' {
-  export interface RdfJsTerm {
-    termType: string;
-    value: string;
-    equals(other: RdfJsTerm | null | undefined): boolean;
-  }
-
-  export interface RdfJsNamedNode extends RdfJsTerm {
-    termType: 'NamedNode';
-  }
-
-  export interface RdfJsBlankNode extends RdfJsTerm {
-    termType: 'BlankNode';
-  }
-
-  export interface RdfJsVariable extends RdfJsTerm {
-    termType: 'Variable';
-  }
-
-  export interface RdfJsDefaultGraph extends RdfJsTerm {
-    termType: 'DefaultGraph';
-    value: '';
-  }
-
-  export interface RdfJsLiteral extends RdfJsTerm {
-    termType: 'Literal';
-    language: string;
-    datatype: RdfJsNamedNode;
-  }
-
-  export interface RdfJsQuad extends RdfJsTerm {
-    termType: 'Quad';
-    value: '';
-    subject: RdfJsTerm;
-    predicate: RdfJsTerm;
-    object: RdfJsTerm;
-    graph: RdfJsTerm;
-  }
-
-  export interface RdfJsDataFactory {
-    namedNode(value: string): RdfJsNamedNode;
-    blankNode(value?: string): RdfJsBlankNode;
-    literal(value: string, languageOrDatatype?: string | RdfJsNamedNode): RdfJsLiteral;
+  export type RdfJsTerm = import('@rdfjs/types').Term;
+  export type RdfJsNamedNode = import('@rdfjs/types').NamedNode;
+  export type RdfJsBlankNode = import('@rdfjs/types').BlankNode;
+  export type RdfJsVariable = import('@rdfjs/types').Variable;
+  export type RdfJsDefaultGraph = import('@rdfjs/types').DefaultGraph;
+  export type RdfJsLiteral = import('@rdfjs/types').Literal;
+  export type RdfJsQuad = import('@rdfjs/types').Quad;
+  export type RdfJsDataFactory = import('@rdfjs/types').DataFactory<RdfJsQuad> & {
     variable(value: string): RdfJsVariable;
-    defaultGraph(): RdfJsDefaultGraph;
-    quad(subject: RdfJsTerm, predicate: RdfJsTerm, object: RdfJsTerm, graph?: RdfJsTerm): RdfJsQuad;
-  }
+  };
 
   export interface EyelingPrefixEnv {
     _type?: 'PrefixEnv';
@@ -169,8 +133,6 @@ declare module 'eyeling' {
     store?: string | StoreOptions;
     storePath?: string;
     storeClear?: boolean;
-    rdf?: boolean;
-    rdfSurfaces?: boolean;
   }
 
   export interface BuiltinRegistrationContext {
@@ -193,8 +155,6 @@ declare module 'eyeling' {
     includeInputFactsInClosure?: boolean;
     enforceHttps?: boolean;
     rdfjs?: boolean;
-    rdf?: boolean;
-    rdfSurfaces?: boolean;
     dataFactory?: RdfJsDataFactory | null;
     skipUnsupportedRdfJs?: boolean;
     builtinModules?: string | string[];

package/index.js

@@ -40,8 +40,7 @@ function reason(opt = {}, input = '') {
     else args.push('--no-proof-comments');
   }
 
-  if (opt.rdf || opt.rdfSurfaces) args.push('--rdf');
-  if (opt.rdfSurfaces) args.push('--rdf-surfaces');
+  if (opt.rdf) args.push('--rdf');
 
   if (typeof opt.store === 'string' && opt.store) args.push('--store', opt.store);
   else if (opt.store && typeof opt.store === 'object') {

package/lib/cli.js

@@ -685,7 +685,7 @@ async function ingestLineBasedRdfSourceToStore(sourceLabel, store, { rdfMode = t
 }
 
 
-async function runStreamMessagesMode(sourceLabels, { rdfMode, rdfSurfacesMode = false, storeName = null, storePath = null, storeClear = false } = {}) {
+async function runStreamMessagesMode(sourceLabels, { rdfMode, storeName = null, storePath = null, storeClear = false } = {}) {
   const ordinarySourceLabels = [];
   const messageSourceLabels = [];
 
@@ -723,7 +723,6 @@ async function runStreamMessagesMode(sourceLabels, { rdfMode, rdfSurfacesMode =
           keepSourceArtifacts: false,
           sourceLocations: false,
           rdf: rdfMode,
-          rdfSurfaces: rdfSurfacesMode,
         }),
       );
     } catch (e) {
@@ -757,7 +756,6 @@ async function runStreamMessagesMode(sourceLabels, { rdfMode, rdfSurfacesMode =
               keepSourceArtifacts: false,
               sourceLocations: false,
               rdf: false,
-              rdfSurfaces: false,
             });
           } catch (e) {
             if (e && e.name === 'N3SyntaxError') {
@@ -812,7 +810,6 @@ async function main() {
       `  -h, --help                   Show this help and exit.\n` +
       `  -p, --proof                  Enable proof explanations.\n` +
       `  -r, --rdf                    Enable RDF/TriG input/output compatibility.\n` +
-      `      --rdf-surfaces           Enable RDF Surfaces %not[...%] syntax (implies --rdf).\n` +
       `      --stream-messages        Process RDF Message Logs one message at a time under -r.\n` +
       `      --store <name>           Use an optional persistent fact store.\n` +
       `      --store-clear            Clear the named store before this run.\n` +
@@ -888,8 +885,7 @@ async function main() {
   const showAst = argv.includes('--ast') || argv.includes('-a');
   const streamMode = argv.includes('--stream') || argv.includes('-t');
   const streamMessagesMode = argv.includes('--stream-messages');
-  const rdfSurfacesMode = argv.includes('--rdf-surfaces');
-  const rdfMode = argv.includes('--rdf') || argv.includes('-r') || rdfSurfacesMode;
+  const rdfMode = argv.includes('--rdf') || argv.includes('-r');
   const storeName = argv.__storeName || null;
   const storePath = argv.__storePath || null;
   const storeClear = argv.includes('--store-clear');
@@ -958,7 +954,7 @@ async function main() {
   }
 
   if (streamMessagesMode) {
-    await runStreamMessagesMode(sourceLabels, { rdfMode, rdfSurfacesMode, storeName, storePath, storeClear });
+    await runStreamMessagesMode(sourceLabels, { rdfMode, storeName, storePath, storeClear });
     return;
   }
 
@@ -1012,7 +1008,6 @@ async function main() {
                 keepSourceArtifacts: false,
                 sourceLocations: false,
                 rdf: rdfMode,
-                rdfSurfaces: rdfSurfacesMode,
               }),
             );
           } catch (e) {
@@ -1025,7 +1020,7 @@ async function main() {
         }
 
         const mergedRuleDocument = mergeParsedDocuments(parsedRuleSources);
-        const result = await engine.runStoreBacked(mergedRuleDocument, store, { rdf: rdfMode, rdfSurfaces: rdfSurfacesMode });
+        const result = await engine.runStoreBacked(mergedRuleDocument, store, { rdf: rdfMode });
         const outTriples = result.queryMode ? result.queryTriples || [] : (result.derived || []).map((df) => df.fact);
         if (result.queryMode) {
           const bodyText = engine.prettyPrintQueryTriples(outTriples, result.prefixes);
@@ -1060,7 +1055,6 @@ async function main() {
           keepSourceArtifacts: false,
           sourceLocations: engine.getProofCommentsEnabled(),
           rdf: rdfMode,
-          rdfSurfaces: rdfSurfacesMode,
         }),
       );
     } catch (e) {
@@ -1161,7 +1155,6 @@ function factsContainOutputStrings(triplesForOutput) {
       {
         proof: engine.getProofCommentsEnabled(),
         rdf: rdfMode,
-        rdfSurfaces: rdfSurfacesMode,
         store: { name: storeName, clear: storeClear, path: storePath || undefined },
       },
     );

package/lib/engine.js

@@ -3623,14 +3623,12 @@ function reasonStream(input, opts = {}) {
     skipUnsupportedRdfJs = false,
     builtinModules = null,
     rdf = false,
-    rdfSurfaces = false,
     sourceLabel = '<input>',
   } = opts;
 
-  const useRdfCompatibility = !!rdf || !!rdfSurfaces;
-  const useRdfSurfaces = !!rdfSurfaces;
+  const useRdfCompatibility = !!rdf;
 
-  const parsedSourceList = parseN3SourceList(input, { baseIri, rdf: useRdfCompatibility, rdfSurfaces: useRdfSurfaces, sourceLocations: proof });
+  const parsedSourceList = parseN3SourceList(input, { baseIri, rdf: useRdfCompatibility, sourceLocations: proof });
   const parsedTextInput = (!parsedSourceList && proof && typeof input === 'string')
     ? parseN3Text(input, {
         baseIri: baseIri || '',
@@ -3638,7 +3636,6 @@ function reasonStream(input, opts = {}) {
         keepSourceArtifacts: false,
         sourceLocations: true,
         rdf: useRdfCompatibility,
-        rdfSurfaces: useRdfSurfaces,
       })
     : null;
   const hasInlineN3 = input && typeof input === 'object' && !Array.isArray(input) && typeof input.n3 === 'string';
@@ -3683,7 +3680,6 @@ function reasonStream(input, opts = {}) {
       keepSourceArtifacts: false,
       sourceLocations: proof,
       rdf: useRdfCompatibility,
-      rdfSurfaces: useRdfSurfaces,
     });
     prefixes = directDoc.prefixes;
     triples = directDoc.triples;
@@ -3795,11 +3791,10 @@ async function __parseRunAsyncInput(input, opts) {
     baseIri = null,
     proof = false,
     rdf = false,
-    rdfSurfaces = false,
     sourceLabel = '<input>',
   } = opts || {};
 
-  const parsedSourceList = parseN3SourceList(input, { baseIri, rdf: !!rdf || !!rdfSurfaces, rdfSurfaces: !!rdfSurfaces, sourceLocations: !!proof });
+  const parsedSourceList = parseN3SourceList(input, { baseIri, rdf: !!rdf, sourceLocations: !!proof });
   if (parsedSourceList) return parsedSourceList;
 
   const parsedObject = await normalizeParsedReasonerInputAsync(input);
@@ -3814,8 +3809,7 @@ async function __parseRunAsyncInput(input, opts) {
     label: sourceLabel || '<input>',
     keepSourceArtifacts: false,
     sourceLocations: !!proof,
-    rdf: !!rdf || !!rdfSurfaces,
-    rdfSurfaces: !!rdfSurfaces,
+    rdf: !!rdf,
   });
 }
 
@@ -3891,8 +3885,7 @@ async function __proveGoalsAgainstStore(goals, subst, store, backRules, localFac
 async function runStoreBacked(input, store, opts = {}) {
   const parsed = parseN3SourceList(input, {
     baseIri: opts.baseIri || null,
-    rdf: !!opts.rdf || !!opts.rdfSurfaces,
-    rdfSurfaces: !!opts.rdfSurfaces,
+    rdf: !!opts.rdf,
     sourceLocations: !!opts.proof,
   }) || input;
 
@@ -4009,8 +4002,7 @@ async function runAsync(input, opts = {}) {
   if (!storeConfig) {
     const normalizedInput = parseN3SourceList(input, {
       baseIri: runOpts.baseIri || null,
-      rdf: !!runOpts.rdf || !!runOpts.rdfSurfaces,
-      rdfSurfaces: !!runOpts.rdfSurfaces,
+      rdf: !!runOpts.rdf,
       sourceLocations: !!runOpts.proof,
     }) || (await normalizeReasonerInputAsync(input));
     return reasonStream(normalizedInput, runOpts);

package/lib/lexer.js

@@ -7,8 +7,6 @@
 
 'use strict';
 
-const { normalizeRdfSurfaces } = require('./rdf_surfaces');
-
 class Token {
   constructor(typ, value = null, offset = null) {
     this.typ = typ;
@@ -402,7 +400,7 @@ function normalizeRdfCompatibility(inputText) {
   // unless they actually contain RDF 1.2 triple terms, VERSION directives, or a
   // plausible top-level TriG named graph block.
   const hasTripleTerms = text.includes('<<');
-  const hasVersionDirective = /^\s*(?:@version|VERSION)\s+(["'])(?:1\.1|1\.2|1\.2-basic|1\.2-surfaces)\1\s*\.?\s*(?:#.*)?$/im.test(text);
+  const hasVersionDirective = /^\s*(?:@version|VERSION)\s+(["'])(?:1\.1|1\.2|1\.2-basic)\1\s*\.?\s*(?:#.*)?$/im.test(text);
   const hasMessageVersionDirective = /^\s*(?:@version|VERSION)\s+(["'])(?:1\.1|1\.2|1\.2-basic)-messages\1\s*\.?\s*(?:#.*)?$/im.test(text);
   const hasNamedGraphCandidate = /(?:^|[.\r\n])\s*(?:GRAPH\s+)?(?:<[^>\r\n]*>|_:[A-Za-z][A-Za-z0-9_-]*|[A-Za-z][A-Za-z0-9_-]*:[^\s{};,.()[\]]*|:[^\s{};,.()[\]]+)\s*\{/m.test(text);
   const hasAnnotationSyntax = /(?:^|\s)~|\{\|/.test(text);
@@ -871,7 +869,7 @@ function normalizeRdfCompatibility(inputText) {
   }
 
   function stripVersionDirectives(s) {
-    return s.replace(/^\s*(?:@version|VERSION)\s+(["'])(?:1\.1|1\.2|1\.2-basic|1\.2-surfaces|(?:1\.1|1\.2|1\.2-basic)-messages)\1\s*\.?\s*(?:#.*)?$/gim, '');
+    return s.replace(/^\s*(?:@version|VERSION)\s+(["'])(?:1\.1|1\.2|1\.2-basic)(?:-messages)?\1\s*\.?\s*(?:#.*)?$/gim, '');
   }
 
   function skipWsAndComments(s, at) {
@@ -1349,9 +1347,7 @@ function isNumericLikeIdentifier(word) {
 
 function lex(inputText, opts = {}) {
   const rdf = !!(opts && opts.rdf);
-  const rdfSurfaces = !!(opts && opts.rdfSurfaces);
   if (rdf) inputText = normalizeRdfCompatibility(inputText);
-  if (rdfSurfaces) inputText = normalizeRdfSurfaces(inputText);
   // Avoid copying large ASCII/BMP inputs into an Array.  Array.from() is
   // only needed when the text contains surrogate pairs and we want the old
   // code-point iteration behavior for non-BMP characters.

package/lib/multisource.js

@@ -172,10 +172,9 @@ function parseN3Text(text, opts = {}) {
     collectUsedPrefixes = false,
     sourceLocations = false,
     rdf = false,
-    rdfSurfaces = false,
   } = opts || {};
 
-  if (rdf && !rdfSurfaces) {
+  if (rdf) {
     const fastDoc = tryParseFastRdfText(text, { baseIri, label });
     if (fastDoc) {
       if (sourceLocations) annotateParsedSourceLocations(fastDoc, text, label);
@@ -184,7 +183,7 @@ function parseN3Text(text, opts = {}) {
     }
   }
 
-  const tokens = lex(text, { rdf, rdfSurfaces });
+  const tokens = lex(text, { rdf });
   const parser = new Parser(tokens);
   if (baseIri) parser.prefixes.setBase(baseIri);
   const [prefixes, triples, frules, brules, logQueryRules] = parser.parseDocument();
@@ -383,8 +382,7 @@ function parseN3SourceList(input, opts = {}) {
       collectUsedPrefixes: true,
       keepSourceArtifacts: !!opts.keepSourceArtifacts,
       sourceLocations: !!opts.sourceLocations,
-      rdf: !!opts.rdf || !!opts.rdfSurfaces,
-      rdfSurfaces: !!opts.rdfSurfaces,
+      rdf: !!opts.rdf,
     }),
   );
   return mergeParsedDocuments(parsed, {

package/lib/rdfjs.js

@@ -100,7 +100,8 @@ function termEquals(self, other) {
       !!self.datatype &&
       typeof self.datatype.equals === 'function' &&
       self.datatype.equals(other.datatype) &&
-      self.language === (other.language || '')
+      self.language === (other.language || '') &&
+      (self.direction || '') === (other.direction || '')
     );
   }
 
@@ -165,6 +166,7 @@ class Literal {
     this.termType = 'Literal';
     this.value = String(value);
     this.language = '';
+    this.direction = '';
     this.datatype = null;
 
     if (typeof languageOrDatatype === 'string') {
@@ -172,6 +174,10 @@ class Literal {
       this.datatype = new NamedNode('http://www.w3.org/1999/02/22-rdf-syntax-ns#langString');
     } else if (isRdfJsTerm(languageOrDatatype)) {
       this.datatype = languageOrDatatype;
+    } else if (languageOrDatatype && typeof languageOrDatatype === 'object') {
+      this.language = String(languageOrDatatype.language || '');
+      this.direction = languageOrDatatype.direction || '';
+      this.datatype = new NamedNode('http://www.w3.org/1999/02/22-rdf-syntax-ns#langString');
     } else {
       this.datatype = new NamedNode(XSD_NS + 'string');
     }
@@ -218,6 +224,38 @@ const dataFactory = {
   quad(subject, predicate, object, graph) {
     return new Quad(subject, predicate, object, graph || defaultGraphSingleton);
   },
+  fromTerm(original) {
+    if (!isRdfJsTerm(original)) throw new TypeError('Expected an RDF/JS term');
+
+    switch (original.termType) {
+      case 'NamedNode':
+        return new NamedNode(original.value);
+      case 'BlankNode':
+        return new BlankNode(original.value);
+      case 'Literal':
+        if (original.language || original.direction) {
+          return new Literal(original.value, { language: original.language || '', direction: original.direction || '' });
+        }
+        return new Literal(original.value, original.datatype ? dataFactory.fromTerm(original.datatype) : undefined);
+      case 'Variable':
+        return new Variable(original.value);
+      case 'DefaultGraph':
+        return defaultGraphSingleton;
+      case 'Quad':
+        return dataFactory.fromQuad(original);
+      default:
+        throw new TypeError(`Unsupported RDF/JS termType ${JSON.stringify(original.termType)}`);
+    }
+  },
+  fromQuad(original) {
+    if (!isRdfJsQuad(original)) throw new TypeError('Expected an RDF/JS Quad');
+    return new Quad(
+      dataFactory.fromTerm(original.subject),
+      dataFactory.fromTerm(original.predicate),
+      dataFactory.fromTerm(original.object),
+      dataFactory.fromTerm(original.graph),
+    );
+  },
 };
 
 function getDataFactory(factory) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eyeling",
-  "version": "1.30.6",
+  "version": "1.32.0",
   "description": "A minimal Notation3 (N3) reasoner in JavaScript.",
   "main": "./index.js",
   "keywords": [
@@ -43,7 +43,6 @@
     "build": "node tools/bundle.js",
     "test:packlist": "node test/packlist.test.js",
     "test:api": "node test/api.test.js",
-    "test:rdf-surfaces": "node test/rdf_surfaces.test.js",
     "test:builtins": "node test/builtins.test.js",
     "test:store": "node test/store.test.js",
     "test:examples": "node test/examples.test.js",
@@ -61,6 +60,9 @@
     "preversion": "npm test",
     "postversion": "git push origin HEAD --follow-tags"
   },
+  "dependencies": {
+    "@rdfjs/types": "^2.0.1"
+  },
   "devDependencies": {
     "eslint": "^9.0.0",
     "rdf-test-suite": "^2.1.4"

package/test/examples.test.js

@@ -152,27 +152,6 @@ function resolveExampleTrigInput(root, inputFile) {
   return { abs, rel };
 }
 
-function resolveExampleRdfSurfaceInput(root, inputFile) {
-  const stem = path.basename(inputFile, path.extname(inputFile));
-  const rel = path.join('input', `${stem}.trig`);
-  const abs = path.join(root, 'examples', rel);
-  if (!fs.existsSync(abs)) return null;
-  const text = fs.readFileSync(abs, 'utf8');
-  if (!text.includes('%not[')) return null;
-  return { abs, rel };
-}
-
-
-function exampleOptionFlags(sourceText) {
-  const m = String(sourceText || '').match(/^[ \t]*#\s*eyeling-options:\s*(.*?)\s*$/m);
-  if (!m) return [];
-  return m[1].trim().split(/\s+/).filter(Boolean);
-}
-
-function addUniqueFlag(args, flag) {
-  if (!args.includes(flag)) args.push(flag);
-}
-
 function resolveExampleBuiltinPath(root, inputFile) {
   const stem = path.basename(inputFile, path.extname(inputFile));
   const rel = path.join('examples', 'builtin', `${stem}.js`);
@@ -181,13 +160,10 @@ function resolveExampleBuiltinPath(root, inputFile) {
   return { abs, rel };
 }
 
-function runExampleToFile({ root, examplesDir, eyelingJsPath, nodePath, file, generatedPath, proof = false, sourceText = '' }) {
+function runExampleToFile({ root, examplesDir, eyelingJsPath, nodePath, file, generatedPath, proof = false }) {
   const builtin = resolveExampleBuiltinPath(root, file);
   const trigInput = resolveExampleTrigInput(root, file);
-  const rdfSurfaceInput = resolveExampleRdfSurfaceInput(root, file);
-  const optionFlags = exampleOptionFlags(sourceText);
-  const rdfSurfacesMode = !!rdfSurfaceInput || optionFlags.includes('--rdf-surfaces');
-  const rdfMode = !!trigInput || rdfSurfacesMode || optionFlags.includes('--rdf') || optionFlags.includes('-r');
+  const rdfMode = !!trigInput;
   const modeFlag = proof ? '-p' : '-d';
   const outFd = fs.openSync(generatedPath, 'w');
 
@@ -195,12 +171,7 @@ function runExampleToFile({ root, examplesDir, eyelingJsPath, nodePath, file, ge
     if (builtin) {
       const args = [eyelingJsPath, modeFlag];
       if (rdfMode) args.push('-r');
-      for (const flag of optionFlags) addUniqueFlag(args, flag);
-      if (rdfSurfacesMode) addUniqueFlag(args, '--rdf-surfaces');
-      args.push('--builtin');
-      args.push(builtin.rel);
-      if (rdfSurfaceInput) args.push(path.join('examples', rdfSurfaceInput.rel));
-      args.push(path.join('examples', file));
+      args.push('--builtin', builtin.rel, path.join('examples', file));
       if (trigInput) args.push(path.join('examples', trigInput.rel));
       return cp.spawnSync(nodePath, args, {
         cwd: root,
@@ -212,9 +183,6 @@ function runExampleToFile({ root, examplesDir, eyelingJsPath, nodePath, file, ge
 
     const args = [eyelingJsPath, modeFlag];
     if (rdfMode) args.push('-r');
-    for (const flag of optionFlags) addUniqueFlag(args, flag);
-    if (rdfSurfacesMode) addUniqueFlag(args, '--rdf-surfaces');
-    if (rdfSurfaceInput) args.push(rdfSurfaceInput.rel);
     args.push(file);
     if (trigInput) args.push(trigInput.rel);
     return cp.spawnSync(nodePath, args, {
@@ -322,7 +290,7 @@ function main() {
     //   node eyeling.js --builtin examples/builtin/foo.js examples/foo.n3
     // A matching examples/input/<stem>.trig sidecar is external RDF/TriG
     // evidence for this example, so include it and run in -r mode automatically.
-    const r = runExampleToFile({ root, examplesDir, eyelingJsPath, nodePath, file, generatedPath, sourceText: n3Text });
+    const r = runExampleToFile({ root, examplesDir, eyelingJsPath, nodePath, file, generatedPath });
 
     const rc = r.status == null ? 1 : r.status;
 
@@ -390,7 +358,7 @@ function main() {
     const expectedRc = expectedExitCode(n3Text);
     const tmpDir = mkTmpDir();
     const generatedPath = path.join(tmpDir, 'generated.n3');
-    const r = runExampleToFile({ root, examplesDir, eyelingJsPath, nodePath, file, generatedPath, proof: true, sourceText: n3Text });
+    const r = runExampleToFile({ root, examplesDir, eyelingJsPath, nodePath, file, generatedPath, proof: true });
     const rc = r.status == null ? 1 : r.status;
     const ms = Date.now() - start;
 

package/test/run.js

@@ -10,7 +10,6 @@ const sections = [
   ['Packlist checks', 'npm', ['run', 'test:packlist']],
   ['API tests', 'npm', ['run', 'test:api']],
   ['Streaming RDF Messages tests', 'npm', ['run', 'test:stream-messages']],
-  ['RDF Surfaces tests', 'npm', ['run', 'test:rdf-surfaces']],
   ['Builtin contract tests', 'npm', ['run', 'test:builtins']],
   ['Store tests', 'npm', ['run', 'test:store']],
   ['Examples tests', 'npm', ['run', 'test:examples']],

package/examples/input/rdf-surfaces-all-values-from-reverse.trig

@@ -1,18 +0,0 @@
-VERSION "1.2-surfaces"
-# eyeling-options: --rdf-surfaces
-@prefix ex: <http://example.org/> .
-
-ex:box ex:contains ex:item42 .
-ex:item42 a ex:AllowedItem .
-
-%not[ _:x
-%not[ _:y
-_:x ex:contains _:y .
-%not[
-_:y a ex:AllowedItem .
-%]
-%]
-%not[
-_:x a ex:AllowedContainer .
-%]
-%]

package/examples/input/rdf-surfaces-all-values-from.trig

@@ -1,14 +0,0 @@
-VERSION "1.2-surfaces"
-# eyeling-options: --rdf-surfaces
-@prefix ex: <http://example.org/> .
-
-ex:box a ex:AllowedContainer .
-ex:box ex:contains ex:item42 .
-
-%not[ _:x _:y
-_:x a ex:AllowedContainer .
-_:x ex:contains _:y .
-%not[
-_:y a ex:AllowedItem .
-%]
-%]

package/examples/input/rdf-surfaces-ancestor.trig

@@ -1,21 +0,0 @@
-VERSION "1.2-surfaces"
-# eyeling-options: --rdf-surfaces
-@prefix ex: <http://example.org/> .
-
-ex:ann ex:parent ex:bob .
-ex:bob ex:parent ex:cat .
-
-%not[ _:x _:y
-_:x ex:parent _:y .
-%not[
-_:x ex:ancestor _:y .
-%]
-%]
-
-%not[ _:x _:y _:z
-_:x ex:parent _:y .
-_:y ex:ancestor _:z .
-%not[
-_:x ex:ancestor _:z .
-%]
-%]

package/examples/input/rdf-surfaces-city.trig

@@ -1,12 +0,0 @@
-VERSION "1.2-surfaces"
-# eyeling-options: --rdf-surfaces
-@prefix ex: <http://example.org/> .
-
-ex:Brussels a ex:City .
-
-%not[ _:x
-_:x a ex:City .
-%not[
-_:x a ex:HumanCommunity .
-%]
-%]

package/examples/input/rdf-surfaces-disjunction-elimination.trig

@@ -1,17 +0,0 @@
-VERSION "1.2-surfaces"
-# eyeling-options: --rdf-surfaces
-@prefix ex: <http://example.org/> .
-
-ex:caseSplit ex:option ex:ManualReview .
-ex:caseSplit ex:option ex:AutomaticHold .
-ex:caseSplit ex:candidateConclusion ex:NeedsHumanAttention .
-ex:caseSplit ex:candidateConclusion ex:NoAction .
-
-ex:ManualReview ex:implies ex:NeedsHumanAttention .
-ex:AutomaticHold ex:implies ex:NeedsHumanAttention .
-ex:ManualReview ex:implies ex:HasTicket .
-
-# Strong negation: this case split must not collapse to "no action".
-%not[
-ex:caseSplit ex:disjunctionEntails ex:NoAction .
-%]

package/examples/input/rdf-surfaces-disjunction-route-filter.trig

@@ -1,12 +0,0 @@
-VERSION "1.2-surfaces"
-# eyeling-options: --rdf-surfaces
-@prefix ex: <http://example.org/> .
-
-ex:shipment17 a ex:ExpressShipment .
-ex:shipment17 ex:destination ex:CityCenter .
-
-# Strong negation: a drone route to the city center is explicitly denied.
-%not[ _:shipment
-_:shipment ex:route ex:Drone .
-_:shipment ex:destination ex:CityCenter .
-%]

package/examples/input/rdf-surfaces-domain.trig

@@ -1,12 +0,0 @@
-VERSION "1.2-surfaces"
-# eyeling-options: --rdf-surfaces
-@prefix ex: <http://example.org/> .
-
-ex:alice ex:memberOf ex:club .
-
-%not[ _:x _:y
-_:x ex:memberOf _:y .
-%not[
-_:x a ex:Member .
-%]
-%]

package/examples/input/rdf-surfaces-explicit-disjunction.trig

@@ -1,23 +0,0 @@
-VERSION "1.2-surfaces"
-# eyeling-options: --rdf-surfaces
-@prefix ex: <http://example.org/> .
-
-ex:shipment23 a ex:ExpressShipment .
-ex:shipment23 ex:destination ex:CityCenter .
-
-# Explicit RDF Surfaces disjunction: an express shipment can go by rail or by drone.
-%not[ _:shipment
-_:shipment a ex:ExpressShipment .
-%not[
-_:shipment ex:possibleRoute ex:Rail .
-%]
-%not[
-_:shipment ex:possibleRoute ex:Drone .
-%]
-%]
-
-# Strong negation: drone delivery to the city center is ruled out.
-%not[ _:shipment
-_:shipment ex:destination ex:CityCenter .
-_:shipment ex:selectedRoute ex:Drone .
-%]

package/examples/input/rdf-surfaces-multi-premise.trig

@@ -1,14 +0,0 @@
-VERSION "1.2-surfaces"
-# eyeling-options: --rdf-surfaces
-@prefix ex: <http://example.org/> .
-
-ex:case123 ex:hasSymptom ex:Fever .
-ex:case123 ex:hasExposure ex:Travel .
-
-%not[ _:x
-_:x ex:hasSymptom ex:Fever .
-_:x ex:hasExposure ex:Travel .
-%not[
-_:x a ex:PriorityCase .
-%]
-%]