eyeling 1.5.32 → 1.5.33

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (8) hide show
  1. package/examples/json-pointer.n3 +2 -1
  2. package/examples/json-reconcile-vat.n3 +356 -0
  3. package/examples/output/age.n3 +2 -2
  4. package/examples/output/json-pointer.n3 +103 -103
  5. package/examples/output/json-reconcile-vat.n3 +33530 -0
  6. package/examples/output/math-builtins-tests.n3 +21 -20
  7. package/eyeling.js +36 -7
  8. package/package.json +1 -1
package/examples/output/json-pointer.n3 CHANGED
@@ -10,14 +10,14 @@
10
10
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
11
11
  # ],
12
12
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
13
- # }""" .
13
+ # }"""^^rdf:JSON .
14
14
  # ("""{
15
15
  # "users": [
16
16
  # { "id": "u1", "email": "ada@example.org", "profile/name": "Ada Lovelace" },
17
17
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
18
18
  # ],
19
19
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
20
- # }""" "/users/0/profile~1name") string:jsonPointer "Ada Lovelace" .
20
+ # }"""^^rdf:JSON "/users/0/profile~1name") string:jsonPointer "Ada Lovelace" .
21
21
  # via the schematic forward rule:
22
22
  # {
23
23
  # ex:doc ex:json ?J .
@@ -32,7 +32,7 @@
32
32
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
33
33
  # ],
34
34
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
35
- # }"""
35
+ # }"""^^rdf:JSON
36
36
  # Therefore the derived triple above is entailed by the rules and facts.
37
37
  # ----------------------------------------------------------------------
38
38
 
@@ -48,25 +48,25 @@ ex:checks ex:firstUserNameOk true .
48
48
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
49
49
  # ],
50
50
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
51
- # }""" .
51
+ # }"""^^rdf:JSON .
52
52
  # ("""{
53
53
  # "users": [
54
54
  # { "id": "u1", "email": "ada@example.org", "profile/name": "Ada Lovelace" },
55
55
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
56
56
  # ],
57
57
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
58
- # }""" "/policy/allowedDomains") string:jsonPointer ("example.org" "example.com") .
58
+ # }"""^^rdf:JSON "/policy/allowedDomains") string:jsonPointer ("example.org" "example.com") .
59
59
  # ("""{
60
60
  # "users": [
61
61
  # { "id": "u1", "email": "ada@example.org", "profile/name": "Ada Lovelace" },
62
62
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
63
63
  # ],
64
64
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
65
- # }""" "/users") string:jsonPointer ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""") .
66
- # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""") list:iterate (0 """{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""") .
67
- # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" "/id") string:jsonPointer "u1" .
68
- # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" "/email") string:jsonPointer "ada@example.org" .
69
- # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" "/profile~1name") string:jsonPointer "Ada Lovelace" .
65
+ # }"""^^rdf:JSON "/users") string:jsonPointer ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON) .
66
+ # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON) list:iterate (0 """{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON) .
67
+ # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON "/id") string:jsonPointer "u1" .
68
+ # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON "/email") string:jsonPointer "ada@example.org" .
69
+ # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON "/profile~1name") string:jsonPointer "Ada Lovelace" .
70
70
  # ("ada@example.org" "@([^@]+)$") string:scrape "example.org" .
71
71
  # ("example.org" "example.com") list:member "example.org" .
72
72
  # ("urn:example:user:%s" "u1") string:format "urn:example:user:u1" .
@@ -103,12 +103,12 @@ ex:checks ex:firstUserNameOk true .
103
103
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
104
104
  # ],
105
105
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
106
- # }"""
106
+ # }"""^^rdf:JSON
107
107
  # ?Name = "Ada Lovelace"
108
108
  # ?UriStr = "urn:example:user:u1"
109
109
  # ?User = <urn:example:user:u1>
110
- # ?UserJson = """{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""
111
- # ?Users = ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""")
110
+ # ?UserJson = """{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON
111
+ # ?Users = ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON)
112
112
  # Therefore the derived triple above is entailed by the rules and facts.
113
113
  # ----------------------------------------------------------------------
114
114
 
@@ -124,25 +124,25 @@ ex:checks ex:firstUserNameOk true .
124
124
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
125
125
  # ],
126
126
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
127
- # }""" .
127
+ # }"""^^rdf:JSON .
128
128
  # ("""{
129
129
  # "users": [
130
130
  # { "id": "u1", "email": "ada@example.org", "profile/name": "Ada Lovelace" },
131
131
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
132
132
  # ],
133
133
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
134
- # }""" "/policy/allowedDomains") string:jsonPointer ("example.org" "example.com") .
134
+ # }"""^^rdf:JSON "/policy/allowedDomains") string:jsonPointer ("example.org" "example.com") .
135
135
  # ("""{
136
136
  # "users": [
137
137
  # { "id": "u1", "email": "ada@example.org", "profile/name": "Ada Lovelace" },
138
138
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
139
139
  # ],
140
140
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
141
- # }""" "/users") string:jsonPointer ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""") .
142
- # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""") list:iterate (0 """{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""") .
143
- # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" "/id") string:jsonPointer "u1" .
144
- # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" "/email") string:jsonPointer "ada@example.org" .
145
- # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" "/profile~1name") string:jsonPointer "Ada Lovelace" .
141
+ # }"""^^rdf:JSON "/users") string:jsonPointer ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON) .
142
+ # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON) list:iterate (0 """{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON) .
143
+ # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON "/id") string:jsonPointer "u1" .
144
+ # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON "/email") string:jsonPointer "ada@example.org" .
145
+ # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON "/profile~1name") string:jsonPointer "Ada Lovelace" .
146
146
  # ("ada@example.org" "@([^@]+)$") string:scrape "example.org" .
147
147
  # ("example.org" "example.com") list:member "example.org" .
148
148
  # ("urn:example:user:%s" "u1") string:format "urn:example:user:u1" .
@@ -179,12 +179,12 @@ ex:checks ex:firstUserNameOk true .
179
179
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
180
180
  # ],
181
181
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
182
- # }"""
182
+ # }"""^^rdf:JSON
183
183
  # ?Name = "Ada Lovelace"
184
184
  # ?UriStr = "urn:example:user:u1"
185
185
  # ?User = <urn:example:user:u1>
186
- # ?UserJson = """{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""
187
- # ?Users = ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""")
186
+ # ?UserJson = """{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON
187
+ # ?Users = ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON)
188
188
  # Therefore the derived triple above is entailed by the rules and facts.
189
189
  # ----------------------------------------------------------------------
190
190
 
@@ -200,25 +200,25 @@ ex:checks ex:firstUserNameOk true .
200
200
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
201
201
  # ],
202
202
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
203
- # }""" .
203
+ # }"""^^rdf:JSON .
204
204
  # ("""{
205
205
  # "users": [
206
206
  # { "id": "u1", "email": "ada@example.org", "profile/name": "Ada Lovelace" },
207
207
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
208
208
  # ],
209
209
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
210
- # }""" "/policy/allowedDomains") string:jsonPointer ("example.org" "example.com") .
210
+ # }"""^^rdf:JSON "/policy/allowedDomains") string:jsonPointer ("example.org" "example.com") .
211
211
  # ("""{
212
212
  # "users": [
213
213
  # { "id": "u1", "email": "ada@example.org", "profile/name": "Ada Lovelace" },
214
214
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
215
215
  # ],
216
216
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
217
- # }""" "/users") string:jsonPointer ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""") .
218
- # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""") list:iterate (0 """{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""") .
219
- # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" "/id") string:jsonPointer "u1" .
220
- # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" "/email") string:jsonPointer "ada@example.org" .
221
- # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" "/profile~1name") string:jsonPointer "Ada Lovelace" .
217
+ # }"""^^rdf:JSON "/users") string:jsonPointer ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON) .
218
+ # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON) list:iterate (0 """{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON) .
219
+ # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON "/id") string:jsonPointer "u1" .
220
+ # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON "/email") string:jsonPointer "ada@example.org" .
221
+ # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON "/profile~1name") string:jsonPointer "Ada Lovelace" .
222
222
  # ("ada@example.org" "@([^@]+)$") string:scrape "example.org" .
223
223
  # ("example.org" "example.com") list:member "example.org" .
224
224
  # ("urn:example:user:%s" "u1") string:format "urn:example:user:u1" .
@@ -255,12 +255,12 @@ ex:checks ex:firstUserNameOk true .
255
255
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
256
256
  # ],
257
257
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
258
- # }"""
258
+ # }"""^^rdf:JSON
259
259
  # ?Name = "Ada Lovelace"
260
260
  # ?UriStr = "urn:example:user:u1"
261
261
  # ?User = <urn:example:user:u1>
262
- # ?UserJson = """{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""
263
- # ?Users = ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""")
262
+ # ?UserJson = """{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON
263
+ # ?Users = ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON)
264
264
  # Therefore the derived triple above is entailed by the rules and facts.
265
265
  # ----------------------------------------------------------------------
266
266
 
@@ -276,25 +276,25 @@ ex:checks ex:firstUserNameOk true .
276
276
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
277
277
  # ],
278
278
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
279
- # }""" .
279
+ # }"""^^rdf:JSON .
280
280
  # ("""{
281
281
  # "users": [
282
282
  # { "id": "u1", "email": "ada@example.org", "profile/name": "Ada Lovelace" },
283
283
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
284
284
  # ],
285
285
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
286
- # }""" "/policy/allowedDomains") string:jsonPointer ("example.org" "example.com") .
286
+ # }"""^^rdf:JSON "/policy/allowedDomains") string:jsonPointer ("example.org" "example.com") .
287
287
  # ("""{
288
288
  # "users": [
289
289
  # { "id": "u1", "email": "ada@example.org", "profile/name": "Ada Lovelace" },
290
290
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
291
291
  # ],
292
292
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
293
- # }""" "/users") string:jsonPointer ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""") .
294
- # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""") list:iterate (0 """{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""") .
295
- # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" "/id") string:jsonPointer "u1" .
296
- # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" "/email") string:jsonPointer "ada@example.org" .
297
- # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" "/profile~1name") string:jsonPointer "Ada Lovelace" .
293
+ # }"""^^rdf:JSON "/users") string:jsonPointer ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON) .
294
+ # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON) list:iterate (0 """{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON) .
295
+ # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON "/id") string:jsonPointer "u1" .
296
+ # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON "/email") string:jsonPointer "ada@example.org" .
297
+ # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON "/profile~1name") string:jsonPointer "Ada Lovelace" .
298
298
  # ("ada@example.org" "@([^@]+)$") string:scrape "example.org" .
299
299
  # ("example.org" "example.com") list:member "example.org" .
300
300
  # ("urn:example:user:%s" "u1") string:format "urn:example:user:u1" .
@@ -331,12 +331,12 @@ ex:checks ex:firstUserNameOk true .
331
331
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
332
332
  # ],
333
333
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
334
- # }"""
334
+ # }"""^^rdf:JSON
335
335
  # ?Name = "Ada Lovelace"
336
336
  # ?UriStr = "urn:example:user:u1"
337
337
  # ?User = <urn:example:user:u1>
338
- # ?UserJson = """{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""
339
- # ?Users = ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""")
338
+ # ?UserJson = """{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON
339
+ # ?Users = ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON)
340
340
  # Therefore the derived triple above is entailed by the rules and facts.
341
341
  # ----------------------------------------------------------------------
342
342
 
@@ -352,25 +352,25 @@ ex:checks ex:firstUserNameOk true .
352
352
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
353
353
  # ],
354
354
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
355
- # }""" .
355
+ # }"""^^rdf:JSON .
356
356
  # ("""{
357
357
  # "users": [
358
358
  # { "id": "u1", "email": "ada@example.org", "profile/name": "Ada Lovelace" },
359
359
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
360
360
  # ],
361
361
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
362
- # }""" "/policy/allowedDomains") string:jsonPointer ("example.org" "example.com") .
362
+ # }"""^^rdf:JSON "/policy/allowedDomains") string:jsonPointer ("example.org" "example.com") .
363
363
  # ("""{
364
364
  # "users": [
365
365
  # { "id": "u1", "email": "ada@example.org", "profile/name": "Ada Lovelace" },
366
366
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
367
367
  # ],
368
368
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
369
- # }""" "/users") string:jsonPointer ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""") .
370
- # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""") list:iterate (0 """{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""") .
371
- # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" "/id") string:jsonPointer "u1" .
372
- # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" "/email") string:jsonPointer "ada@example.org" .
373
- # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" "/profile~1name") string:jsonPointer "Ada Lovelace" .
369
+ # }"""^^rdf:JSON "/users") string:jsonPointer ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON) .
370
+ # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON) list:iterate (0 """{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON) .
371
+ # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON "/id") string:jsonPointer "u1" .
372
+ # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON "/email") string:jsonPointer "ada@example.org" .
373
+ # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON "/profile~1name") string:jsonPointer "Ada Lovelace" .
374
374
  # ("ada@example.org" "@([^@]+)$") string:scrape "example.org" .
375
375
  # ("example.org" "example.com") list:member "example.org" .
376
376
  # ("urn:example:user:%s" "u1") string:format "urn:example:user:u1" .
@@ -407,12 +407,12 @@ ex:checks ex:firstUserNameOk true .
407
407
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
408
408
  # ],
409
409
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
410
- # }"""
410
+ # }"""^^rdf:JSON
411
411
  # ?Name = "Ada Lovelace"
412
412
  # ?UriStr = "urn:example:user:u1"
413
413
  # ?User = <urn:example:user:u1>
414
- # ?UserJson = """{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""
415
- # ?Users = ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""")
414
+ # ?UserJson = """{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON
415
+ # ?Users = ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON)
416
416
  # Therefore the derived triple above is entailed by the rules and facts.
417
417
  # ----------------------------------------------------------------------
418
418
 
@@ -428,25 +428,25 @@ ex:checks ex:firstUserNameOk true .
428
428
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
429
429
  # ],
430
430
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
431
- # }""" .
431
+ # }"""^^rdf:JSON .
432
432
  # ("""{
433
433
  # "users": [
434
434
  # { "id": "u1", "email": "ada@example.org", "profile/name": "Ada Lovelace" },
435
435
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
436
436
  # ],
437
437
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
438
- # }""" "/policy/allowedDomains") string:jsonPointer ("example.org" "example.com") .
438
+ # }"""^^rdf:JSON "/policy/allowedDomains") string:jsonPointer ("example.org" "example.com") .
439
439
  # ("""{
440
440
  # "users": [
441
441
  # { "id": "u1", "email": "ada@example.org", "profile/name": "Ada Lovelace" },
442
442
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
443
443
  # ],
444
444
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
445
- # }""" "/users") string:jsonPointer ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""") .
446
- # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""") list:iterate (1 """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""") .
447
- # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""" "/id") string:jsonPointer "u2" .
448
- # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""" "/email") string:jsonPointer "bob@evil.invalid" .
449
- # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""" "/profile~1name") string:jsonPointer "Bob Mallory" .
445
+ # }"""^^rdf:JSON "/users") string:jsonPointer ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON) .
446
+ # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON) list:iterate (1 """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON) .
447
+ # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON "/id") string:jsonPointer "u2" .
448
+ # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON "/email") string:jsonPointer "bob@evil.invalid" .
449
+ # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON "/profile~1name") string:jsonPointer "Bob Mallory" .
450
450
  # ("bob@evil.invalid" "@([^@]+)$") string:scrape "evil.invalid" .
451
451
  # ("urn:example:user:%s" "u2") string:format "urn:example:user:u2" .
452
452
  # <urn:example:user:u2> log:uri "urn:example:user:u2" .
@@ -483,12 +483,12 @@ ex:checks ex:firstUserNameOk true .
483
483
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
484
484
  # ],
485
485
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
486
- # }"""
486
+ # }"""^^rdf:JSON
487
487
  # ?Name = "Bob Mallory"
488
488
  # ?UriStr = "urn:example:user:u2"
489
489
  # ?User = <urn:example:user:u2>
490
- # ?UserJson = """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""
491
- # ?Users = ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""")
490
+ # ?UserJson = """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON
491
+ # ?Users = ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON)
492
492
  # Therefore the derived triple above is entailed by the rules and facts.
493
493
  # ----------------------------------------------------------------------
494
494
 
@@ -504,25 +504,25 @@ ex:checks ex:firstUserNameOk true .
504
504
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
505
505
  # ],
506
506
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
507
- # }""" .
507
+ # }"""^^rdf:JSON .
508
508
  # ("""{
509
509
  # "users": [
510
510
  # { "id": "u1", "email": "ada@example.org", "profile/name": "Ada Lovelace" },
511
511
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
512
512
  # ],
513
513
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
514
- # }""" "/policy/allowedDomains") string:jsonPointer ("example.org" "example.com") .
514
+ # }"""^^rdf:JSON "/policy/allowedDomains") string:jsonPointer ("example.org" "example.com") .
515
515
  # ("""{
516
516
  # "users": [
517
517
  # { "id": "u1", "email": "ada@example.org", "profile/name": "Ada Lovelace" },
518
518
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
519
519
  # ],
520
520
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
521
- # }""" "/users") string:jsonPointer ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""") .
522
- # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""") list:iterate (1 """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""") .
523
- # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""" "/id") string:jsonPointer "u2" .
524
- # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""" "/email") string:jsonPointer "bob@evil.invalid" .
525
- # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""" "/profile~1name") string:jsonPointer "Bob Mallory" .
521
+ # }"""^^rdf:JSON "/users") string:jsonPointer ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON) .
522
+ # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON) list:iterate (1 """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON) .
523
+ # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON "/id") string:jsonPointer "u2" .
524
+ # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON "/email") string:jsonPointer "bob@evil.invalid" .
525
+ # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON "/profile~1name") string:jsonPointer "Bob Mallory" .
526
526
  # ("bob@evil.invalid" "@([^@]+)$") string:scrape "evil.invalid" .
527
527
  # ("urn:example:user:%s" "u2") string:format "urn:example:user:u2" .
528
528
  # <urn:example:user:u2> log:uri "urn:example:user:u2" .
@@ -559,12 +559,12 @@ ex:checks ex:firstUserNameOk true .
559
559
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
560
560
  # ],
561
561
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
562
- # }"""
562
+ # }"""^^rdf:JSON
563
563
  # ?Name = "Bob Mallory"
564
564
  # ?UriStr = "urn:example:user:u2"
565
565
  # ?User = <urn:example:user:u2>
566
- # ?UserJson = """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""
567
- # ?Users = ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""")
566
+ # ?UserJson = """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON
567
+ # ?Users = ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON)
568
568
  # Therefore the derived triple above is entailed by the rules and facts.
569
569
  # ----------------------------------------------------------------------
570
570
 
@@ -580,25 +580,25 @@ ex:checks ex:firstUserNameOk true .
580
580
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
581
581
  # ],
582
582
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
583
- # }""" .
583
+ # }"""^^rdf:JSON .
584
584
  # ("""{
585
585
  # "users": [
586
586
  # { "id": "u1", "email": "ada@example.org", "profile/name": "Ada Lovelace" },
587
587
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
588
588
  # ],
589
589
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
590
- # }""" "/policy/allowedDomains") string:jsonPointer ("example.org" "example.com") .
590
+ # }"""^^rdf:JSON "/policy/allowedDomains") string:jsonPointer ("example.org" "example.com") .
591
591
  # ("""{
592
592
  # "users": [
593
593
  # { "id": "u1", "email": "ada@example.org", "profile/name": "Ada Lovelace" },
594
594
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
595
595
  # ],
596
596
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
597
- # }""" "/users") string:jsonPointer ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""") .
598
- # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""") list:iterate (1 """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""") .
599
- # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""" "/id") string:jsonPointer "u2" .
600
- # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""" "/email") string:jsonPointer "bob@evil.invalid" .
601
- # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""" "/profile~1name") string:jsonPointer "Bob Mallory" .
597
+ # }"""^^rdf:JSON "/users") string:jsonPointer ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON) .
598
+ # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON) list:iterate (1 """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON) .
599
+ # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON "/id") string:jsonPointer "u2" .
600
+ # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON "/email") string:jsonPointer "bob@evil.invalid" .
601
+ # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON "/profile~1name") string:jsonPointer "Bob Mallory" .
602
602
  # ("bob@evil.invalid" "@([^@]+)$") string:scrape "evil.invalid" .
603
603
  # ("urn:example:user:%s" "u2") string:format "urn:example:user:u2" .
604
604
  # <urn:example:user:u2> log:uri "urn:example:user:u2" .
@@ -635,12 +635,12 @@ ex:checks ex:firstUserNameOk true .
635
635
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
636
636
  # ],
637
637
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
638
- # }"""
638
+ # }"""^^rdf:JSON
639
639
  # ?Name = "Bob Mallory"
640
640
  # ?UriStr = "urn:example:user:u2"
641
641
  # ?User = <urn:example:user:u2>
642
- # ?UserJson = """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""
643
- # ?Users = ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""")
642
+ # ?UserJson = """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON
643
+ # ?Users = ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON)
644
644
  # Therefore the derived triple above is entailed by the rules and facts.
645
645
  # ----------------------------------------------------------------------
646
646
 
@@ -656,25 +656,25 @@ ex:checks ex:firstUserNameOk true .
656
656
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
657
657
  # ],
658
658
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
659
- # }""" .
659
+ # }"""^^rdf:JSON .
660
660
  # ("""{
661
661
  # "users": [
662
662
  # { "id": "u1", "email": "ada@example.org", "profile/name": "Ada Lovelace" },
663
663
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
664
664
  # ],
665
665
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
666
- # }""" "/policy/allowedDomains") string:jsonPointer ("example.org" "example.com") .
666
+ # }"""^^rdf:JSON "/policy/allowedDomains") string:jsonPointer ("example.org" "example.com") .
667
667
  # ("""{
668
668
  # "users": [
669
669
  # { "id": "u1", "email": "ada@example.org", "profile/name": "Ada Lovelace" },
670
670
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
671
671
  # ],
672
672
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
673
- # }""" "/users") string:jsonPointer ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""") .
674
- # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""") list:iterate (1 """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""") .
675
- # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""" "/id") string:jsonPointer "u2" .
676
- # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""" "/email") string:jsonPointer "bob@evil.invalid" .
677
- # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""" "/profile~1name") string:jsonPointer "Bob Mallory" .
673
+ # }"""^^rdf:JSON "/users") string:jsonPointer ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON) .
674
+ # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON) list:iterate (1 """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON) .
675
+ # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON "/id") string:jsonPointer "u2" .
676
+ # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON "/email") string:jsonPointer "bob@evil.invalid" .
677
+ # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON "/profile~1name") string:jsonPointer "Bob Mallory" .
678
678
  # ("bob@evil.invalid" "@([^@]+)$") string:scrape "evil.invalid" .
679
679
  # ("urn:example:user:%s" "u2") string:format "urn:example:user:u2" .
680
680
  # <urn:example:user:u2> log:uri "urn:example:user:u2" .
@@ -711,12 +711,12 @@ ex:checks ex:firstUserNameOk true .
711
711
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
712
712
  # ],
713
713
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
714
- # }"""
714
+ # }"""^^rdf:JSON
715
715
  # ?Name = "Bob Mallory"
716
716
  # ?UriStr = "urn:example:user:u2"
717
717
  # ?User = <urn:example:user:u2>
718
- # ?UserJson = """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""
719
- # ?Users = ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""")
718
+ # ?UserJson = """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON
719
+ # ?Users = ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON)
720
720
  # Therefore the derived triple above is entailed by the rules and facts.
721
721
  # ----------------------------------------------------------------------
722
722
 
@@ -732,25 +732,25 @@ ex:checks ex:firstUserNameOk true .
732
732
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
733
733
  # ],
734
734
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
735
- # }""" .
735
+ # }"""^^rdf:JSON .
736
736
  # ("""{
737
737
  # "users": [
738
738
  # { "id": "u1", "email": "ada@example.org", "profile/name": "Ada Lovelace" },
739
739
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
740
740
  # ],
741
741
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
742
- # }""" "/policy/allowedDomains") string:jsonPointer ("example.org" "example.com") .
742
+ # }"""^^rdf:JSON "/policy/allowedDomains") string:jsonPointer ("example.org" "example.com") .
743
743
  # ("""{
744
744
  # "users": [
745
745
  # { "id": "u1", "email": "ada@example.org", "profile/name": "Ada Lovelace" },
746
746
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
747
747
  # ],
748
748
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
749
- # }""" "/users") string:jsonPointer ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""") .
750
- # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""") list:iterate (1 """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""") .
751
- # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""" "/id") string:jsonPointer "u2" .
752
- # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""" "/email") string:jsonPointer "bob@evil.invalid" .
753
- # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""" "/profile~1name") string:jsonPointer "Bob Mallory" .
749
+ # }"""^^rdf:JSON "/users") string:jsonPointer ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON) .
750
+ # ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON) list:iterate (1 """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON) .
751
+ # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON "/id") string:jsonPointer "u2" .
752
+ # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON "/email") string:jsonPointer "bob@evil.invalid" .
753
+ # ("""{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON "/profile~1name") string:jsonPointer "Bob Mallory" .
754
754
  # ("bob@evil.invalid" "@([^@]+)$") string:scrape "evil.invalid" .
755
755
  # ("urn:example:user:%s" "u2") string:format "urn:example:user:u2" .
756
756
  # <urn:example:user:u2> log:uri "urn:example:user:u2" .
@@ -787,12 +787,12 @@ ex:checks ex:firstUserNameOk true .
787
787
  # { "id": "u2", "email": "bob@evil.invalid", "profile/name": "Bob Mallory" }
788
788
  # ],
789
789
  # "policy": { "allowedDomains": ["example.org", "example.com"] }
790
- # }"""
790
+ # }"""^^rdf:JSON
791
791
  # ?Name = "Bob Mallory"
792
792
  # ?UriStr = "urn:example:user:u2"
793
793
  # ?User = <urn:example:user:u2>
794
- # ?UserJson = """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""
795
- # ?Users = ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}""" """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}""")
794
+ # ?UserJson = """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON
795
+ # ?Users = ("""{"id":"u1","email":"ada@example.org","profile/name":"Ada Lovelace"}"""^^rdf:JSON """{"id":"u2","email":"bob@evil.invalid","profile/name":"Bob Mallory"}"""^^rdf:JSON)
796
796
  # Therefore the derived triple above is entailed by the rules and facts.
797
797
  # ----------------------------------------------------------------------
798
798