eyeling 1.27.9 → 1.28.0

package/lib/rdfjs.js

@@ -9,6 +9,7 @@
 
 const {
   XSD_NS,
+  LOG_NS,
   Literal: InternalLiteral,
   Iri,
   Blank,
@@ -19,6 +20,7 @@ const {
   Triple,
   Rule,
   PrefixEnv,
+  annotateQuotedGraphTerm,
   literalParts,
 } = require('./prelude');
 const { termToN3, tripleToN3 } = require('./printing');
@@ -322,6 +324,49 @@ function internalRdf12TermToRdfJs(term, factory, position) {
   return internalTermToRdfJs(term, rdfFactory, position);
 }
 
+function isDefaultGraphTerm(term) {
+  return isRdfJsTerm(term) && term.termType === 'DefaultGraph';
+}
+
+function assertDefaultGraphForRdfJsQuadTerm(term, position) {
+  if (!isDefaultGraphTerm(term.graph)) {
+    throw new TypeError(`RDF/JS Quad terms with named graphs are not supported in ${position}`);
+  }
+}
+
+function rdfJsGraphNameToInternal(term, position = 'quad.graph') {
+  assertSupportedRdfJsTerm(term, position);
+  switch (term.termType) {
+    case 'NamedNode':
+      return new Iri(term.value);
+    case 'BlankNode':
+      return new Blank(`_:${term.value}`);
+    case 'DefaultGraph':
+      return null;
+    default:
+      throw new TypeError(`Invalid RDF graph termType ${term.termType}`);
+  }
+}
+
+function internalGraphNameToRdfJs(term, factory, position = 'graph') {
+  if (term instanceof Iri || term instanceof Blank) return internalTermToRdfJs(term, factory, position);
+  return unsupportedRdfJsTerm(term, position);
+}
+
+function graphKey(term) {
+  return `${term.termType}:${term.value}`;
+}
+
+function isInternalLogNameOfTriple(triple) {
+  return (
+    triple instanceof Triple &&
+    (triple.s instanceof Iri || triple.s instanceof Blank) &&
+    triple.p instanceof Iri &&
+    triple.p.value === LOG_NS + 'nameOf' &&
+    triple.o instanceof GraphTerm
+  );
+}
+
 function assertRdfJsQuadShape(subject, predicate, object, graph) {
   if (!['NamedNode', 'BlankNode', 'Quad'].includes(subject.termType)) {
     throw new TypeError(`Invalid RDF subject termType ${subject.termType}`);
@@ -350,13 +395,22 @@ function internalTripleToRdfJsQuadInGraph(triple, graph, factory) {
 function internalTripleToRdfJsQuad(triple, factory) {
   const rdfFactory = getDataFactory(factory);
   return rdfFactory.quad(
-    internalTermToRdfJs(triple.s, rdfFactory, 'subject'),
+    internalRdf12TermToRdfJs(triple.s, rdfFactory, 'subject'),
     internalTermToRdfJs(triple.p, rdfFactory, 'predicate'),
-    internalTermToRdfJs(triple.o, rdfFactory, 'object'),
+    internalRdf12TermToRdfJs(triple.o, rdfFactory, 'object'),
     rdfFactory.defaultGraph(),
   );
 }
 
+function internalTripleToRdfJsQuads(triple, factory) {
+  const rdfFactory = getDataFactory(factory);
+  if (isInternalLogNameOfTriple(triple)) {
+    const graph = internalGraphNameToRdfJs(triple.s, rdfFactory, 'graph');
+    return (triple.o.triples || []).map((inner) => internalTripleToRdfJsQuadInGraph(inner, graph, rdfFactory));
+  }
+  return [internalTripleToRdfJsQuad(triple, rdfFactory)];
+}
+
 function escapeStringForN3(value) {
   return JSON.stringify(String(value));
 }
@@ -388,7 +442,14 @@ function rdfJsTermToN3(term, position = 'term') {
       return `${lexical}^^<${datatype}>`;
     }
     case 'Quad':
-      throw new TypeError(`Quoted triple terms are not supported in ${position}`);
+      if (String(position).endsWith('.predicate') || position === 'quad.predicate' || position === 'predicate') {
+        throw new TypeError(`Quoted triple terms are not valid RDF predicates in ${position}`);
+      }
+      assertDefaultGraphForRdfJsQuadTerm(term, position);
+      return `{ ${rdfJsTermToN3(term.subject, `${position}.subject`)} ${rdfJsTermToN3(
+        term.predicate,
+        `${position}.predicate`,
+      )} ${rdfJsTermToN3(term.object, `${position}.object`)} . }`;
     default:
       throw new TypeError(`Unsupported RDF/JS termType ${JSON.stringify(term.termType)} in ${position}`);
   }
@@ -408,8 +469,21 @@ function rdfJsTermToInternal(term, position = 'term') {
       return new InternalLiteral(rdfJsTermToN3(term, position));
     case 'DefaultGraph':
       throw new TypeError(`DefaultGraph is not a valid standalone N3 term in ${position}`);
-    case 'Quad':
-      throw new TypeError(`Quoted triple terms are not supported in ${position}`);
+    case 'Quad': {
+      if (String(position).endsWith('.predicate') || position === 'quad.predicate' || position === 'predicate') {
+        throw new TypeError(`Quoted triple terms are not valid RDF predicates in ${position}`);
+      }
+      assertDefaultGraphForRdfJsQuadTerm(term, position);
+      return annotateQuotedGraphTerm(
+        new GraphTerm([
+          new Triple(
+            rdfJsTermToInternal(term.subject, `${position}.subject`),
+            rdfJsTermToInternal(term.predicate, `${position}.predicate`),
+            rdfJsTermToInternal(term.object, `${position}.object`),
+          ),
+        ]),
+      );
+    }
     default:
       throw new TypeError(`Unsupported RDF/JS termType ${JSON.stringify(term.termType)} in ${position}`);
   }
@@ -417,22 +491,58 @@ function rdfJsTermToInternal(term, position = 'term') {
 
 function rdfJsQuadToInternalTriple(quad) {
   if (!isRdfJsQuad(quad)) throw new TypeError('Expected an RDF/JS Quad');
-  if (quad.graph.termType !== 'DefaultGraph') {
-    throw new TypeError('Named graph quads are not supported by Eyeling input; use the default graph only');
-  }
-  return new Triple(
+  const inner = new Triple(
     rdfJsTermToInternal(quad.subject, 'quad.subject'),
     rdfJsTermToInternal(quad.predicate, 'quad.predicate'),
     rdfJsTermToInternal(quad.object, 'quad.object'),
   );
+  const graph = rdfJsGraphNameToInternal(quad.graph, 'quad.graph');
+  if (!graph) return inner;
+  return new Triple(graph, new Iri(LOG_NS + 'nameOf'), annotateQuotedGraphTerm(new GraphTerm([inner])));
+}
+
+function rdfJsQuadsToInternalTriples(quads) {
+  const out = [];
+  const namedGraphs = new Map();
+
+  for (const quad of quads) {
+    if (!isRdfJsQuad(quad)) throw new TypeError('Expected an RDF/JS Quad');
+    const inner = new Triple(
+      rdfJsTermToInternal(quad.subject, 'quad.subject'),
+      rdfJsTermToInternal(quad.predicate, 'quad.predicate'),
+      rdfJsTermToInternal(quad.object, 'quad.object'),
+    );
+    const graph = rdfJsGraphNameToInternal(quad.graph, 'quad.graph');
+    if (!graph) {
+      out.push(inner);
+      continue;
+    }
+
+    const key = graphKey(quad.graph);
+    let group = namedGraphs.get(key);
+    if (!group) {
+      group = { graph, triples: [] };
+      namedGraphs.set(key, group);
+    }
+    group.triples.push(inner);
+  }
+
+  for (const { graph, triples } of namedGraphs.values()) {
+    out.push(new Triple(graph, new Iri(LOG_NS + 'nameOf'), annotateQuotedGraphTerm(new GraphTerm(triples))));
+  }
+
+  return out;
 }
 
 function rdfJsQuadToN3(quad) {
   if (!isRdfJsQuad(quad)) throw new TypeError('Expected an RDF/JS Quad');
-  if (quad.graph.termType !== 'DefaultGraph') {
-    throw new TypeError('Named graph quads are not supported by Eyeling input; use the default graph only');
-  }
-  return `${rdfJsTermToN3(quad.subject, 'quad.subject')} ${rdfJsTermToN3(quad.predicate, 'quad.predicate')} ${rdfJsTermToN3(quad.object, 'quad.object')}.`;
+  return tripleToN3(rdfJsQuadToInternalTriple(quad), PrefixEnv.newDefault());
+}
+
+function rdfJsQuadsToN3(quads) {
+  return rdfJsQuadsToInternalTriples(quads)
+    .map((triple) => tripleToN3(triple, PrefixEnv.newDefault()))
+    .join('\n');
 }
 
 function collectIterableToArray(iterable, label) {
@@ -477,6 +587,11 @@ function getPrefixesText(input) {
   return '';
 }
 
+function getN3Text(input) {
+  if (!isObject(input)) return '';
+  return typeof input.n3 === 'string' ? input.n3 : '';
+}
+
 function joinN3Sections(parts) {
   return parts
     .filter((part) => typeof part === 'string' && part.length > 0)
@@ -745,7 +860,7 @@ function appendSyncQuadFacts(doc, input) {
   const quads = collectIterableToArray(quadsInfo.value, quadsInfo.label);
   return {
     ...doc,
-    triples: doc.triples.concat(quads.map((quad) => rdfJsQuadToInternalTriple(quad))),
+    triples: doc.triples.concat(rdfJsQuadsToInternalTriples(quads)),
   };
 }
 
@@ -755,7 +870,7 @@ async function appendAsyncQuadFacts(doc, input) {
   const quads = await collectAsyncIterableToArray(quadsInfo.value, quadsInfo.label);
   return {
     ...doc,
-    triples: doc.triples.concat(quads.map((quad) => rdfJsQuadToInternalTriple(quad))),
+    triples: doc.triples.concat(rdfJsQuadsToInternalTriples(quads)),
   };
 }
 
@@ -774,13 +889,13 @@ async function normalizeParsedReasonerInputAsync(input) {
 function normalizeReasonerInputSync(input) {
   if (typeof input === 'string') return input;
   const parsed = normalizeParsedReasonerInputSync(input);
-  if (parsed) return serializeEyelingDocument(parsed);
+  const n3Text = getN3Text(input);
+  if (parsed) return joinN3Sections([n3Text, serializeEyelingDocument(parsed)]);
   if (!isObject(input)) {
     throw new TypeError(
       'Reasoner input must be an N3 string, an Eyeling AST/rule object, or an object containing RDF/JS quads plus optional rules',
     );
   }
-  if (typeof input.n3 === 'string') return input.n3;
 
   const quadsInfo = pickInputQuadIterable(input);
   const rulesText = getRulesText(input);
@@ -788,25 +903,25 @@ function normalizeReasonerInputSync(input) {
   const prefixesText = getPrefixesText(input);
 
   if (!quadsInfo) {
-    if (rulesText || factsText || prefixesText) return joinN3Sections([prefixesText, factsText, rulesText]);
+    if (n3Text || rulesText || factsText || prefixesText) return joinN3Sections([prefixesText, n3Text, factsText, rulesText]);
     throw new TypeError('Input object must provide n3 text, Eyeling AST/rule objects, or RDF/JS quads/facts/dataset');
   }
 
   const quads = collectIterableToArray(quadsInfo.value, quadsInfo.label);
-  const quadText = quads.map((quad) => rdfJsQuadToN3(quad)).join('\n');
-  return joinN3Sections([prefixesText, factsText, quadText, rulesText]);
+  const quadText = rdfJsQuadsToN3(quads);
+  return joinN3Sections([prefixesText, n3Text, factsText, quadText, rulesText]);
 }
 
 async function normalizeReasonerInputAsync(input) {
   if (typeof input === 'string') return input;
   const parsed = await normalizeParsedReasonerInputAsync(input);
-  if (parsed) return serializeEyelingDocument(parsed);
+  const n3Text = getN3Text(input);
+  if (parsed) return joinN3Sections([n3Text, serializeEyelingDocument(parsed)]);
   if (!isObject(input)) {
     throw new TypeError(
       'Reasoner input must be an N3 string, an Eyeling AST/rule object, or an object containing RDF/JS quads plus optional rules',
     );
   }
-  if (typeof input.n3 === 'string') return input.n3;
 
   const quadsInfo = pickInputQuadIterable(input);
   const rulesText = getRulesText(input);
@@ -814,13 +929,13 @@ async function normalizeReasonerInputAsync(input) {
   const prefixesText = getPrefixesText(input);
 
   if (!quadsInfo) {
-    if (rulesText || factsText || prefixesText) return joinN3Sections([prefixesText, factsText, rulesText]);
+    if (n3Text || rulesText || factsText || prefixesText) return joinN3Sections([prefixesText, n3Text, factsText, rulesText]);
     throw new TypeError('Input object must provide n3 text, Eyeling AST/rule objects, or RDF/JS quads/facts/dataset');
   }
 
   const quads = await collectAsyncIterableToArray(quadsInfo.value, quadsInfo.label);
-  const quadText = quads.map((quad) => rdfJsQuadToN3(quad)).join('\n');
-  return joinN3Sections([prefixesText, factsText, quadText, rulesText]);
+  const quadText = rdfJsQuadsToN3(quads);
+  return joinN3Sections([prefixesText, n3Text, factsText, quadText, rulesText]);
 }
 
 module.exports = {
@@ -831,8 +946,10 @@ module.exports = {
   rdfJsTermToN3,
   rdfJsQuadToN3,
   rdfJsQuadToInternalTriple,
+  rdfJsQuadsToInternalTriples,
   internalTermToRdfJs,
   internalTripleToRdfJsQuad,
+  internalTripleToRdfJsQuads,
   internalTripleToRdfJsQuadInGraph,
   normalizeParsedReasonerInputSync,
   normalizeReasonerInputSync,

package/notes/rdfjs-integration.md

@@ -0,0 +1,378 @@
+# RDF/JS integration in Eyeling
+
+## Short version
+
+Eyeling still reasons over its normal N3 data model. RDF/JS support is an adapter layer:
+
+```text
+RDF/JS quads, RDF/JS Quad terms, N3 text, or Eyeling rule objects
+        ↓
+lib/rdfjs.js input normalization
+        ↓
+Eyeling N3 triples/rules, including GraphTerm and log:nameOf encodings
+        ↓
+normal parser + reasoner
+        ↓
+N3 output and, when requested, RDF/JS quads
+```
+
+The important RDF 1.2 mappings are:
+
+```text
+RDF/JS Quad term in subject/object position
+        ↔ singleton N3 GraphTerm
+        ↔ RDF 1.2 triple term
+
+RDF/JS named graph quad
+        ↔ graph log:nameOf { ... }
+        ↔ TriG-style named graph output/input
+```
+
+So RDF/JS is now aligned with the same internal representation used by Eyeling's RDF 1.2/TriG compatibility mode.
+
+## Public API pieces
+
+```js
+const {
+  reason,
+  reasonStream,
+  reasonRdfJs,
+  rdfjs,
+} = require('eyeling');
+```
+
+- `rdfjs` is Eyeling's lightweight RDF/JS-style `DataFactory`.
+- `reasonStream(input, { rdfjs: true })` returns the normal structured result plus RDF/JS quad arrays.
+- `reasonRdfJs(input, opts)` returns an async iterable of derived RDF/JS quads.
+- `dataFactory` can be supplied in options to use another RDF/JS factory.
+
+## Lightweight DataFactory
+
+`lib/rdfjs.js` defines small RDF/JS-compatible term classes:
+
+- `NamedNode`
+- `BlankNode`
+- `Literal`
+- `Variable`
+- `DefaultGraph`
+- `Quad`
+
+Example:
+
+```js
+const { rdfjs } = require('eyeling');
+
+const ex = 'http://example.org/';
+const s = rdfjs.namedNode(ex + 's');
+const p = rdfjs.namedNode(ex + 'p');
+const o = rdfjs.literal('hello');
+const q = rdfjs.quad(s, p, o, rdfjs.defaultGraph());
+```
+
+Each term has `termType`, `value`, and `equals(other)`. Literals also carry `language` and `datatype`. `defaultGraph()` returns a singleton default graph term.
+
+## RDF/JS input forms
+
+Eyeling accepts RDF/JS quads through any of these object keys:
+
+```js
+{ quads: iterableOfQuads }
+{ facts: iterableOfQuads }
+{ dataset: iterableOfQuads }
+```
+
+The iterable may be synchronous for `reasonStream()` and may be synchronous or asynchronous for `reasonRdfJs()`.
+
+Accepted RDF/JS term types are:
+
+- `NamedNode`
+- `BlankNode`
+- `Literal`
+- `Variable`
+- `Quad` in subject or object position
+- `DefaultGraph` only as a quad graph
+
+`Quad` terms are rejected in predicate position, because RDF triple terms are not valid RDF predicates. A `Quad` term used as a quoted triple term must itself have the default graph.
+
+## Default graph input quads
+
+A normal RDF/JS quad:
+
+```js
+rdfjs.quad(
+  rdfjs.namedNode('http://example.org/s'),
+  rdfjs.namedNode('http://example.org/p'),
+  rdfjs.literal('hello'),
+)
+```
+
+becomes the N3 fact:
+
+```n3
+<http://example.org/s> <http://example.org/p> "hello" .
+```
+
+and internally:
+
+```js
+Triple(
+  Iri('http://example.org/s'),
+  Iri('http://example.org/p'),
+  Literal('"hello"')
+)
+```
+
+Language and datatype literals are preserved:
+
+```n3
+"hello"@en
+"42"^^<http://www.w3.org/2001/XMLSchema#integer>
+```
+
+## Named graph input quads
+
+Named graph RDF/JS quads are now accepted.
+
+Input:
+
+```js
+rdfjs.quad(
+  rdfjs.namedNode('http://example.org/s'),
+  rdfjs.namedNode('http://example.org/p'),
+  rdfjs.namedNode('http://example.org/o'),
+  rdfjs.namedNode('http://example.org/g'),
+)
+```
+
+is represented internally as the same shape used for TriG compatibility:
+
+```n3
+<http://example.org/g> log:nameOf {
+  <http://example.org/s> <http://example.org/p> <http://example.org/o> .
+} .
+```
+
+Multiple input quads with the same graph are grouped into one `log:nameOf` graph term:
+
+```n3
+:g log:nameOf {
+  :s1 :p :o1 .
+  :s2 :p :o2 .
+} .
+```
+
+On RDF/JS output, this `log:nameOf` representation expands back to RDF/JS quads with the corresponding `graph` term.
+
+## RDF/JS `Quad` terms as RDF 1.2 triple terms
+
+RDF/JS `Quad` terms in subject or object position are now accepted as RDF 1.2 quoted triple terms.
+
+Input:
+
+```js
+const quoted = rdfjs.quad(
+  rdfjs.namedNode('http://example.org/s'),
+  rdfjs.namedNode('http://example.org/p'),
+  rdfjs.namedNode('http://example.org/o'),
+);
+
+rdfjs.quad(
+  rdfjs.namedNode('http://example.org/obs'),
+  rdfjs.namedNode('http://example.org/about'),
+  quoted,
+);
+```
+
+is normalized to a singleton N3 graph term:
+
+```n3
+<http://example.org/obs> <http://example.org/about> {
+  <http://example.org/s> <http://example.org/p> <http://example.org/o> .
+} .
+```
+
+With RDF compatibility output enabled, the same structure can print as RDF 1.2 triple-term syntax:
+
+```turtle
+<http://example.org/obs> <http://example.org/about> <<(
+  <http://example.org/s> <http://example.org/p> <http://example.org/o>
+)>> .
+```
+
+Internally, the object is:
+
+```js
+GraphTerm([
+  Triple(Iri(s), Iri(p), Iri(o))
+])
+```
+
+This is the same representation used by the lexer when `<<( s p o )>>` is parsed in RDF compatibility mode.
+
+## Mixing `{ quads, n3 }`
+
+The object form implied by the README is now supported: RDF/JS quads and N3 text are merged before reasoning.
+
+Example:
+
+```js
+const { reasonStream, rdfjs } = require('eyeling');
+const ex = 'http://example.org/';
+
+const result = reasonStream(
+  {
+    n3: `
+      @prefix : <http://example.org/> .
+      { ?x :p ?y } => { ?x :q ?y } .
+    `,
+    quads: [
+      rdfjs.quad(
+        rdfjs.namedNode(ex + 'a'),
+        rdfjs.namedNode(ex + 'p'),
+        rdfjs.namedNode(ex + 'b'),
+      ),
+    ],
+  },
+  {
+    rdfjs: true,
+    includeInputFactsInClosure: false,
+  },
+);
+
+console.log(result.closureN3);
+console.log(result.closureQuads);
+```
+
+The RDF/JS fact supplies `:a :p :b`; the N3 rule derives `:a :q :b`.
+
+The merge also works with Eyeling rule objects and RDF/JS facts. In that path, `normalizeParsedReasonerInputSync()` or `normalizeParsedReasonerInputAsync()` builds an Eyeling document and appends the RDF/JS quads as facts.
+
+## RDF/JS output from `reasonStream()`
+
+When `rdfjs: true` is passed to `reasonStream()`, the result can include:
+
+```js
+result.closureQuads
+result.queryQuads
+```
+
+The `onDerived` callback receives RDF/JS quads too:
+
+```js
+reasonStream(input, {
+  rdfjs: true,
+  onDerived({ triple, quad, quads, df }) {
+    console.log(triple); // N3 or RDF-compatible text form
+    console.log(quad);   // first RDF/JS quad when exactly/conveniently available
+    console.log(quads);  // all RDF/JS quads emitted for this derived fact
+  },
+});
+```
+
+A single internal triple can produce more than one RDF/JS quad when it is a `log:nameOf` named-graph wrapper, so the plural `quads` payload is the complete form. `quad` is present when there is exactly one emitted quad.
+
+## Output conversion rules
+
+The normal output path now uses `internalTripleToRdfJsQuads()`.
+
+Ordinary terms map directly:
+
+```text
+Iri      → NamedNode
+Blank    → BlankNode
+Literal  → Literal
+Var      → Variable
+```
+
+Singleton graph terms in subject or object position map to RDF/JS `Quad` terms:
+
+```n3
+:x :holds { :s :p :o } .
+```
+
+becomes an RDF/JS quad whose object is:
+
+```js
+rdfjs.quad(
+  rdfjs.namedNode('http://example.org/s'),
+  rdfjs.namedNode('http://example.org/p'),
+  rdfjs.namedNode('http://example.org/o'),
+  rdfjs.defaultGraph(),
+)
+```
+
+Named graph wrappers map back to named-graph RDF/JS quads:
+
+```n3
+:g log:nameOf {
+  :s :p :o .
+} .
+```
+
+becomes:
+
+```js
+rdfjs.quad(s, p, o, g)
+```
+
+## Remaining N3-only cases
+
+`skipUnsupportedRdfJs` is still useful, but the previous RDF 1.2 cases no longer require it.
+
+Still unsupported as ordinary RDF/JS output:
+
+- non-singleton `GraphTerm` in subject/object position;
+- `GraphTerm` in predicate or graph position;
+- `ListTerm` and `OpenListTerm`;
+- other N3-only terms that do not have an RDF/JS representation.
+
+By default, unsupported output raises a conversion error. With:
+
+```js
+skipUnsupportedRdfJs: true
+```
+
+Eyeling keeps the N3 result and omits the unsupported RDF/JS quads from `closureQuads`, `queryQuads`, and `onDerived` payloads.
+
+## `reasonRdfJs()`
+
+`reasonRdfJs(input, opts)` returns an async iterable of derived RDF/JS quads:
+
+```js
+const { reasonRdfJs, rdfjs } = require('eyeling');
+
+for await (const quad of reasonRdfJs({
+  quads: [
+    rdfjs.quad(
+      rdfjs.namedNode('http://example.org/a'),
+      rdfjs.namedNode('http://example.org/p'),
+      rdfjs.namedNode('http://example.org/b'),
+    ),
+  ],
+  n3: `
+    @prefix : <http://example.org/> .
+    { ?x :p ?y } => { ?x :q ?y } .
+  `,
+})) {
+  console.log(quad.subject.value, quad.predicate.value, quad.object.value);
+}
+```
+
+Internally, `reasonRdfJs()`:
+
+1. normalizes the input, collecting async RDF/JS input if necessary;
+2. runs `reasonStream()` on the normalized N3/Eyeling document;
+3. converts each derived fact with `internalTripleToRdfJsQuads()`;
+4. yields all resulting RDF/JS quads.
+
+It is an async output interface, not a streaming RDF parser. Async input quads are collected before reasoning starts.
+
+## Practical summary
+
+Use RDF/JS integration when Eyeling needs to sit inside a JavaScript RDF pipeline:
+
+- feed default-graph or named-graph RDF/JS quads as facts;
+- use RDF/JS `Quad` terms for RDF 1.2 triple terms in subject/object positions;
+- mix RDF/JS facts with N3 text using `{ quads, n3 }`;
+- request RDF/JS output with `rdfjs: true` or `reasonRdfJs()`;
+- keep `skipUnsupportedRdfJs: true` only for genuinely N3-only terms such as lists or non-singleton formulas.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eyeling",
-  "version": "1.27.9",
+  "version": "1.28.0",
   "description": "A minimal Notation3 (N3) reasoner in JavaScript.",
   "main": "./index.js",
   "keywords": [