eyeling 1.30.5 → 1.31.0

package/index.d.ts

@@ -169,8 +169,6 @@ declare module 'eyeling' {
     store?: string | StoreOptions;
     storePath?: string;
     storeClear?: boolean;
-    rdf?: boolean;
-    rdfSurfaces?: boolean;
   }
 
   export interface BuiltinRegistrationContext {
@@ -193,8 +191,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;
@@ -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/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eyeling",
-  "version": "1.30.5",
+  "version": "1.31.0",
   "description": "A minimal Notation3 (N3) reasoner in JavaScript.",
   "main": "./index.js",
   "keywords": [
@@ -42,8 +42,7 @@
     "lint:fix": "eslint . --fix",
     "build": "node tools/bundle.js",
     "test:packlist": "node test/packlist.test.js",
-    "test:api": "node test/api.test.js && node test/stream_messages.test.js && node test/rdf_surfaces.test.js",
-    "test:rdf-surfaces": "node test/rdf_surfaces.test.js",
+    "test:api": "node test/api.test.js",
     "test:builtins": "node test/builtins.test.js",
     "test:store": "node test/store.test.js",
     "test:examples": "node test/examples.test.js",
@@ -57,9 +56,7 @@
     "test:rdf12:trig": "node test/rdf12.test.js trig",
     "test:playground": "node test/playground.test.js",
     "test:package": "node test/package.test.js",
-    "pretest": "npm run build && npm run test:packlist",
-    "test": "npm run test:api && npm run test:builtins && npm run test:store && npm run test:examples && npm run test:examples:proof && npm run test:manifest && npm run test:rdf12 && npm run test:playground",
-    "posttest": "npm run test:package",
+    "test": "node test/run.js",
     "preversion": "npm test",
     "postversion": "git push origin HEAD --follow-tags"
   },

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}.ttl`);
-  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/playground.test.js

@@ -62,7 +62,7 @@ function guessContentType(p) {
   if (ext === '.js') return 'application/javascript; charset=utf-8';
   if (ext === '.css') return 'text/css; charset=utf-8';
   if (ext === '.json') return 'application/json; charset=utf-8';
-  if (ext === '.ttl' || ext === '.n3') return 'text/plain; charset=utf-8';
+  if (ext === '.ttl' || ext === '.trig' || ext === '.n3') return 'text/plain; charset=utf-8';
   if (ext === '.txt' || ext === '.md') return 'text/plain; charset=utf-8';
   return 'application/octet-stream';
 }

package/test/run.js

@@ -0,0 +1,60 @@
+#!/usr/bin/env node
+'use strict';
+
+const cp = require('node:child_process');
+
+const { C, formatDuration } = require('./report');
+
+const sections = [
+  ['Build bundle', 'npm', ['run', 'build']],
+  ['Packlist checks', 'npm', ['run', 'test:packlist']],
+  ['API tests', 'npm', ['run', 'test:api']],
+  ['Streaming RDF Messages tests', 'npm', ['run', 'test:stream-messages']],
+  ['Builtin contract tests', 'npm', ['run', 'test:builtins']],
+  ['Store tests', 'npm', ['run', 'test:store']],
+  ['Examples tests', 'npm', ['run', 'test:examples']],
+  ['Proof examples tests', 'npm', ['run', 'test:examples:proof']],
+  ['Manifest tests', 'npm', ['run', 'test:manifest']],
+  ['RDF 1.2 syntax tests', 'npm', ['run', 'test:rdf12']],
+  ['Playground tests', 'npm', ['run', 'test:playground']],
+  ['Package tests', 'npm', ['run', 'test:package']],
+];
+
+function sectionLine(kind, label, ms) {
+  const suffix = typeof ms === 'number' ? ` (${formatDuration(ms)})` : '';
+  console.log(`${C.y}==${C.n} ${kind} ${label}${suffix}`);
+}
+
+function runSection(label, cmd, args) {
+  console.log('');
+  sectionLine('Start', label);
+  const startedAt = Date.now();
+  const r = cp.spawnSync(cmd, args, {
+    cwd: process.cwd(),
+    env: process.env,
+    shell: process.platform === 'win32',
+    stdio: 'inherit',
+  });
+  const elapsed = Date.now() - startedAt;
+  if (r.error) {
+    console.error(`${C.r}FAIL${C.n} ${label}: ${r.error.message || String(r.error)}`);
+    sectionLine('End', `${label} failed`, elapsed);
+    console.log('');
+    return 1;
+  }
+  const status = typeof r.status === 'number' ? r.status : 1;
+  sectionLine('End', status === 0 ? `${label} passed` : `${label} failed`, elapsed);
+  console.log('');
+  return status;
+}
+
+let status = 0;
+for (const [label, cmd, args] of sections) {
+  const sectionStatus = runSection(label, cmd, args);
+  if (sectionStatus !== 0) {
+    status = sectionStatus;
+    break;
+  }
+}
+
+process.exit(status);

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

@@ -1,17 +0,0 @@
-# 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.ttl

@@ -1,13 +0,0 @@
-# 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.ttl

@@ -1,20 +0,0 @@
-# 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.ttl

@@ -1,11 +0,0 @@
-# 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.ttl

@@ -1,16 +0,0 @@
-# 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.ttl

@@ -1,11 +0,0 @@
-# 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.ttl

@@ -1,11 +0,0 @@
-# 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.ttl

@@ -1,22 +0,0 @@
-# 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.ttl

@@ -1,13 +0,0 @@
-# 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 .
-%]
-%]

package/examples/input/rdf-surfaces-owl-all-values-from-codex.ttl

@@ -1,35 +0,0 @@
-# eyeling-options: --rdf-surfaces
-@prefix ex: <http://example.org/> .
-@prefix owl: <http://www.w3.org/2002/07/owl#> .
-
-ex:AllowedContainer owl:onProperty ex:contains .
-ex:AllowedContainer owl:allValuesFrom ex:AllowedItem .
-ex:box a ex:AllowedContainer .
-ex:box ex:contains ex:item42 .
-ex:crate ex:contains ex:item43 .
-ex:item43 a ex:AllowedItem .
-
-%not[ _:a _:b _:c
-_:a owl:onProperty _:b .
-_:a owl:allValuesFrom _:c .
-%not[
-%not[ _:x _:y
-_:x a _:a .
-_:x _:b _:y .
-%not[
-_:y a _:c .
-%]
-%]
-%not[ _:x
-%not[ _:y
-_:x _:b _:y .
-%not[
-_:y a _:c .
-%]
-%]
-%not[
-_:x a _:a .
-%]
-%]
-%]
-%]

package/examples/input/rdf-surfaces-property-chain.ttl

@@ -1,13 +0,0 @@
-# eyeling-options: --rdf-surfaces
-@prefix ex: <http://example.org/> .
-
-ex:alice ex:parent ex:bob .
-ex:bob ex:parent ex:carol .
-
-%not[ _:x _:y _:z
-_:x ex:parent _:y .
-_:y ex:parent _:z .
-%not[
-_:x ex:grandparent _:z .
-%]
-%]

package/examples/input/rdf-surfaces-range.ttl

@@ -1,11 +0,0 @@
-# eyeling-options: --rdf-surfaces
-@prefix ex: <http://example.org/> .
-
-ex:alice ex:parent ex:bob .
-
-%not[ _:x _:y
-_:x ex:parent _:y .
-%not[
-_:y a ex:Person .
-%]
-%]

package/examples/input/rdf-surfaces-rdfs-range-codex.ttl

@@ -1,18 +0,0 @@
-# eyeling-options: --rdf-surfaces
-@prefix ex: <http://example.org/> .
-@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
-
-ex:parent rdfs:range ex:Person .
-ex:alice ex:parent ex:bob .
-
-%not[ _:p _:c
-_:p rdfs:range _:c .
-%not[
-%not[ _:s _:o
-_:s _:p _:o .
-%not[
-_:o a _:c .
-%]
-%]
-%]
-%]

package/examples/input/rdf-surfaces-rdfs-subclass-codex.ttl

@@ -1,18 +0,0 @@
-# eyeling-options: --rdf-surfaces
-@prefix ex: <http://example.org/> .
-@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
-
-ex:City rdfs:subClassOf ex:HumanCommunity .
-ex:Brussels a ex:City .
-
-%not[ _:c _:d
-_:c rdfs:subClassOf _:d .
-%not[
-%not[ _:x
-_:x a _:c .
-%not[
-_:x a _:d .
-%]
-%]
-%]
-%]