eyeling 1.28.1 → 1.28.3

package/package.json

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

package/test/api.test.js

@@ -2916,6 +2916,22 @@ _:b a ex:Person ; ex:name "B" .
     expect: [/:observation\s+:entails\s+<<\(\s+:sensor\s+:needs\s+:inspection\s*\)>>\s*\./m],
   },
 
+  {
+    name: 'RDF mode rejects object lists inside RDF 1.2 triple terms',
+    opt: { proofComments: false, rdf: true },
+    input: `VERSION "1.2"
+@prefix : <http://example.org/ns#> .
+@prefix coll: <http://example.org/collection#> .
+
+:climateDataset coll:contains
+  <<( :asiaDataset coll:contains
+      <<( :China :avgTemp :18C )>>,
+      <<( :Thailand :avgTemp :20C )>>
+  )>> .
+`,
+    expectError: true,
+  },
+
   {
     name: 'RDF mode accepts PREFIX and reified triple terms with reifiers',
     opt: { proofComments: false, rdf: true },
@@ -3066,6 +3082,47 @@ _:b :value 2 .
     ],
   },
 
+  {
+    name: 'RDF message fast path handles line-oriented nested collections',
+    opt: { proofComments: false, rdf: true },
+    input: {
+      sources: [
+        {
+          label: 'rules.n3',
+          text: `@prefix : <http://example.org/msgtest#>.
+@prefix eymsg: <https://eyereasoner.github.io/eyeling/vocab/message#>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+@prefix list: <http://www.w3.org/2000/10/swap/list#>.
+
+{
+  ?Envelope eymsg:payloadGraph ?Payload.
+  ?Payload log:nameOf ?G.
+  ?G log:includes { ?Record :record ?Fields. }.
+  ?Fields list:length ?Len.
+} log:query {
+  ?Envelope :fieldCount ?Len.
+}.
+`,
+        },
+        {
+          label: 'message-log.nt',
+          text: `VERSION "1.2-messages"
+@prefix : <http://example.org/msgtest#> .
+<http://example.org/record/1> a :Record.
+<http://example.org/record/1> :record (("001" "_" "_" "_" "42") ("245" "1" "0" "a" "Title, with comma")) .
+MESSAGE
+<http://example.org/record/2> a :Record.
+<http://example.org/record/2> :record (("001" "_" "_" "_" "43")) .
+`,
+        },
+      ],
+    },
+    expect: [
+      /<urn:eyeling:message-log:[0-9a-f]+#m001>\s+:fieldCount\s+2\s*\./m,
+      /<urn:eyeling:message-log:[0-9a-f]+#m002>\s+:fieldCount\s+1\s*\./m,
+    ],
+  },
+
   {
     name: 'API empty input returns empty output',
     opt: { proofComments: false },