eyeling 1.13.1 → 1.13.3

package/examples/reifies.n3

@@ -1,8 +1,7 @@
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
 @prefix : <http://www.example.org/> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
 
-_:b rdf:reifies { :Socrates a :Human . } .
+_:b log:nameOf { :Socrates a :Human . } .
 _:b :is true .
 :employee38 :familyName "Smith" .
 _:id log:nameOf { :employee38 :jobTitle "Assistant Designer" . } .

package/examples/triple-term.n3

@@ -1,7 +1,7 @@
 @prefix : <http://www.example.org/> .
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
 @prefix skolem: <https://eyereasoner.github.io/.well-known/genid/f327f7b5-4499-5c8b-9520-eab7551cbf00#> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
 
 skolem:e38 :familyName "Smith" .
-_:anno rdf:reifies { skolem:e38 :jobTitle "Designer" . } .
+_:anno log:nameOf { skolem:e38 :jobTitle "Designer" . } .
 _:anno :accordingTo _:e22 .

package/package.json

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

package/test/api.test.js

@@ -984,6 +984,34 @@ ex:a p:trig ex:b.
       /:result\s+:query3\s+\(:path1\s+1\s+:b\)\s*\./,
     ],
   },
+
+  {
+    name: '57 issue #9: backward cycle with extra type guard should still derive label',
+    opt: { proofComments: false },
+    input: `@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix ex: <http://example.org/ns#> .
+
+ex:w a ex:Woman .
+
+{
+  ?s a ex:Woman .
+  ?s ex:label ?label .
+} => {
+  ?s rdfs:label ?label .
+} .
+
+{ ?s a ex:Human } <= { ?s a ex:Woman } .
+{ ?s a ex:Animal } <= { ?s a ex:Human } .
+
+{ ?s ex:label "human being" } <= {
+  ?s a ex:Human .
+  ?s a ex:Animal .
+} .
+`,
+    expect: [
+      /(?:ex:w|<http:\/\/example\.org\/ns#w>)\s+(?:rdfs:label|<http:\/\/www\.w3\.org\/2000\/01\/rdf-schema#label>)\s+"human being"\s*\./,
+    ],
+  },
 ];
 
 let passed = 0;

package/tools/n3gen.js

@@ -1032,7 +1032,7 @@ class TurtleParser {
     if (typ === 'Var') return new Var(val || '');
     if (typ === 'LParen') return this.parseList();
     if (typ === 'LBracket') return this.parseBlank();
-    if (typ === 'LBrace') return this.parseGraph(); // N3 graph term
+    if (typ === 'LBrace') throw new Error('N3 graph terms { ... } are not supported in Turtle/TriG input');
     if (typ === 'StarOpen') return this.parseStarTerm();
 
     throw new Error(`Unexpected term token: ${tok.toString()}`);
@@ -1239,7 +1239,18 @@ class TurtleParser {
     const o = invert ? subject : obj;
 
     // asserted triple
-    out.push(new Triple(s, verb, o));
+    // Special-case RDF 1.2 explicit triple reification:
+    //   _:r rdf:reifies <<( s p o )>> .
+    // Emit as:
+    //   _:r log:nameOf { s p o . } .
+    // This matches the mapping we already use for reifiedTriple sugar and annotations.
+    let assertedVerb = verb;
+    let assertedObj = o;
+    if (!invert && verb instanceof Iri && verb.value === RDF_NS + 'reifies' && obj instanceof GraphTerm) {
+      assertedVerb = internIri(log.nameOf);
+      assertedObj = obj;
+    }
+    out.push(new Triple(s, assertedVerb, assertedObj));
 
     // optional reifier and/or annotation blocks
     let reifier = null;
@@ -1257,7 +1268,7 @@ class TurtleParser {
     }
 
     if (reifier) {
-      const tripleTerm = new GraphTerm([new Triple(s, verb, o)]);
+      const tripleTerm = new GraphTerm([new Triple(s, assertedVerb, assertedObj)]);
       this.emitReifies(reifier, tripleTerm);
       if (this.pendingTriples.length) {
         out.push(...this.pendingTriples);
@@ -2043,7 +2054,7 @@ function writeN3LogNameOf({ datasetQuads, prefixes }) {
 }
 
 // ---------------------------------------------------------------------------
-// Roundtrip: TriG <-> N3 (log:nameOf mapping)
+// Parsing + N3 output (Turtle/TriG -> N3)
 // ---------------------------------------------------------------------------
 
 function parseTriG(text) {