eyeling 1.6.11 → 1.6.13
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.
- package/examples/output/brussels-brew-club.n3 +30 -30
- package/examples/output/json-pointer.n3 +43 -301
- package/examples/output/json-reconcile-vat.n3 +381 -20955
- package/eyeling.js +90 -2
- package/package.json +1 -1
|
@@ -7,10 +7,10 @@
|
|
|
7
7
|
# Proof for derived triple:
|
|
8
8
|
# :bob :age 16 .
|
|
9
9
|
# It holds because the following instance of the rule body is provable:
|
|
10
|
-
# :bob :profileJson "
|
|
11
|
-
# ("
|
|
12
|
-
# ("
|
|
13
|
-
# ("
|
|
10
|
+
# :bob :profileJson "{ \"name\": \"Bob\", \"age\": 16, \"city\": \"Brussels\" }"^^rdf:JSON .
|
|
11
|
+
# ("{ \"name\": \"Bob\", \"age\": 16, \"city\": \"Brussels\" }"^^rdf:JSON "/age") string:jsonPointer 16 .
|
|
12
|
+
# ("{ \"name\": \"Bob\", \"age\": 16, \"city\": \"Brussels\" }"^^rdf:JSON "/name") string:jsonPointer "Bob" .
|
|
13
|
+
# ("{ \"name\": \"Bob\", \"age\": 16, \"city\": \"Brussels\" }"^^rdf:JSON "/city") string:jsonPointer "Brussels" .
|
|
14
14
|
# via the schematic forward rule:
|
|
15
15
|
# {
|
|
16
16
|
# ?p :profileJson ?j .
|
|
@@ -25,7 +25,7 @@
|
|
|
25
25
|
# with substitution (on rule variables):
|
|
26
26
|
# ?age = 16
|
|
27
27
|
# ?city = "Brussels"
|
|
28
|
-
# ?j = "
|
|
28
|
+
# ?j = "{ \"name\": \"Bob\", \"age\": 16, \"city\": \"Brussels\" }"^^rdf:JSON
|
|
29
29
|
# ?name = "Bob"
|
|
30
30
|
# ?p = :bob
|
|
31
31
|
# Therefore the derived triple above is entailed by the rules and facts.
|
|
@@ -37,10 +37,10 @@
|
|
|
37
37
|
# Proof for derived triple:
|
|
38
38
|
# :bob :name "Bob" .
|
|
39
39
|
# It holds because the following instance of the rule body is provable:
|
|
40
|
-
# :bob :profileJson "
|
|
41
|
-
# ("
|
|
42
|
-
# ("
|
|
43
|
-
# ("
|
|
40
|
+
# :bob :profileJson "{ \"name\": \"Bob\", \"age\": 16, \"city\": \"Brussels\" }"^^rdf:JSON .
|
|
41
|
+
# ("{ \"name\": \"Bob\", \"age\": 16, \"city\": \"Brussels\" }"^^rdf:JSON "/age") string:jsonPointer 16 .
|
|
42
|
+
# ("{ \"name\": \"Bob\", \"age\": 16, \"city\": \"Brussels\" }"^^rdf:JSON "/name") string:jsonPointer "Bob" .
|
|
43
|
+
# ("{ \"name\": \"Bob\", \"age\": 16, \"city\": \"Brussels\" }"^^rdf:JSON "/city") string:jsonPointer "Brussels" .
|
|
44
44
|
# via the schematic forward rule:
|
|
45
45
|
# {
|
|
46
46
|
# ?p :profileJson ?j .
|
|
@@ -55,7 +55,7 @@
|
|
|
55
55
|
# with substitution (on rule variables):
|
|
56
56
|
# ?age = 16
|
|
57
57
|
# ?city = "Brussels"
|
|
58
|
-
# ?j = "
|
|
58
|
+
# ?j = "{ \"name\": \"Bob\", \"age\": 16, \"city\": \"Brussels\" }"^^rdf:JSON
|
|
59
59
|
# ?name = "Bob"
|
|
60
60
|
# ?p = :bob
|
|
61
61
|
# Therefore the derived triple above is entailed by the rules and facts.
|
|
@@ -67,10 +67,10 @@
|
|
|
67
67
|
# Proof for derived triple:
|
|
68
68
|
# :bob :city "Brussels" .
|
|
69
69
|
# It holds because the following instance of the rule body is provable:
|
|
70
|
-
# :bob :profileJson "
|
|
71
|
-
# ("
|
|
72
|
-
# ("
|
|
73
|
-
# ("
|
|
70
|
+
# :bob :profileJson "{ \"name\": \"Bob\", \"age\": 16, \"city\": \"Brussels\" }"^^rdf:JSON .
|
|
71
|
+
# ("{ \"name\": \"Bob\", \"age\": 16, \"city\": \"Brussels\" }"^^rdf:JSON "/age") string:jsonPointer 16 .
|
|
72
|
+
# ("{ \"name\": \"Bob\", \"age\": 16, \"city\": \"Brussels\" }"^^rdf:JSON "/name") string:jsonPointer "Bob" .
|
|
73
|
+
# ("{ \"name\": \"Bob\", \"age\": 16, \"city\": \"Brussels\" }"^^rdf:JSON "/city") string:jsonPointer "Brussels" .
|
|
74
74
|
# via the schematic forward rule:
|
|
75
75
|
# {
|
|
76
76
|
# ?p :profileJson ?j .
|
|
@@ -85,7 +85,7 @@
|
|
|
85
85
|
# with substitution (on rule variables):
|
|
86
86
|
# ?age = 16
|
|
87
87
|
# ?city = "Brussels"
|
|
88
|
-
# ?j = "
|
|
88
|
+
# ?j = "{ \"name\": \"Bob\", \"age\": 16, \"city\": \"Brussels\" }"^^rdf:JSON
|
|
89
89
|
# ?name = "Bob"
|
|
90
90
|
# ?p = :bob
|
|
91
91
|
# Therefore the derived triple above is entailed by the rules and facts.
|
|
@@ -97,10 +97,10 @@
|
|
|
97
97
|
# Proof for derived triple:
|
|
98
98
|
# :alice :age 23 .
|
|
99
99
|
# It holds because the following instance of the rule body is provable:
|
|
100
|
-
# :alice :profileJson "
|
|
101
|
-
# ("
|
|
102
|
-
# ("
|
|
103
|
-
# ("
|
|
100
|
+
# :alice :profileJson "{ \"name\": \"Alice\", \"age\": 23, \"city\": \"Brussels\" }"^^rdf:JSON .
|
|
101
|
+
# ("{ \"name\": \"Alice\", \"age\": 23, \"city\": \"Brussels\" }"^^rdf:JSON "/age") string:jsonPointer 23 .
|
|
102
|
+
# ("{ \"name\": \"Alice\", \"age\": 23, \"city\": \"Brussels\" }"^^rdf:JSON "/name") string:jsonPointer "Alice" .
|
|
103
|
+
# ("{ \"name\": \"Alice\", \"age\": 23, \"city\": \"Brussels\" }"^^rdf:JSON "/city") string:jsonPointer "Brussels" .
|
|
104
104
|
# via the schematic forward rule:
|
|
105
105
|
# {
|
|
106
106
|
# ?p :profileJson ?j .
|
|
@@ -115,7 +115,7 @@
|
|
|
115
115
|
# with substitution (on rule variables):
|
|
116
116
|
# ?age = 23
|
|
117
117
|
# ?city = "Brussels"
|
|
118
|
-
# ?j = "
|
|
118
|
+
# ?j = "{ \"name\": \"Alice\", \"age\": 23, \"city\": \"Brussels\" }"^^rdf:JSON
|
|
119
119
|
# ?name = "Alice"
|
|
120
120
|
# ?p = :alice
|
|
121
121
|
# Therefore the derived triple above is entailed by the rules and facts.
|
|
@@ -127,10 +127,10 @@
|
|
|
127
127
|
# Proof for derived triple:
|
|
128
128
|
# :alice :name "Alice" .
|
|
129
129
|
# It holds because the following instance of the rule body is provable:
|
|
130
|
-
# :alice :profileJson "
|
|
131
|
-
# ("
|
|
132
|
-
# ("
|
|
133
|
-
# ("
|
|
130
|
+
# :alice :profileJson "{ \"name\": \"Alice\", \"age\": 23, \"city\": \"Brussels\" }"^^rdf:JSON .
|
|
131
|
+
# ("{ \"name\": \"Alice\", \"age\": 23, \"city\": \"Brussels\" }"^^rdf:JSON "/age") string:jsonPointer 23 .
|
|
132
|
+
# ("{ \"name\": \"Alice\", \"age\": 23, \"city\": \"Brussels\" }"^^rdf:JSON "/name") string:jsonPointer "Alice" .
|
|
133
|
+
# ("{ \"name\": \"Alice\", \"age\": 23, \"city\": \"Brussels\" }"^^rdf:JSON "/city") string:jsonPointer "Brussels" .
|
|
134
134
|
# via the schematic forward rule:
|
|
135
135
|
# {
|
|
136
136
|
# ?p :profileJson ?j .
|
|
@@ -145,7 +145,7 @@
|
|
|
145
145
|
# with substitution (on rule variables):
|
|
146
146
|
# ?age = 23
|
|
147
147
|
# ?city = "Brussels"
|
|
148
|
-
# ?j = "
|
|
148
|
+
# ?j = "{ \"name\": \"Alice\", \"age\": 23, \"city\": \"Brussels\" }"^^rdf:JSON
|
|
149
149
|
# ?name = "Alice"
|
|
150
150
|
# ?p = :alice
|
|
151
151
|
# Therefore the derived triple above is entailed by the rules and facts.
|
|
@@ -157,10 +157,10 @@
|
|
|
157
157
|
# Proof for derived triple:
|
|
158
158
|
# :alice :city "Brussels" .
|
|
159
159
|
# It holds because the following instance of the rule body is provable:
|
|
160
|
-
# :alice :profileJson "
|
|
161
|
-
# ("
|
|
162
|
-
# ("
|
|
163
|
-
# ("
|
|
160
|
+
# :alice :profileJson "{ \"name\": \"Alice\", \"age\": 23, \"city\": \"Brussels\" }"^^rdf:JSON .
|
|
161
|
+
# ("{ \"name\": \"Alice\", \"age\": 23, \"city\": \"Brussels\" }"^^rdf:JSON "/age") string:jsonPointer 23 .
|
|
162
|
+
# ("{ \"name\": \"Alice\", \"age\": 23, \"city\": \"Brussels\" }"^^rdf:JSON "/name") string:jsonPointer "Alice" .
|
|
163
|
+
# ("{ \"name\": \"Alice\", \"age\": 23, \"city\": \"Brussels\" }"^^rdf:JSON "/city") string:jsonPointer "Brussels" .
|
|
164
164
|
# via the schematic forward rule:
|
|
165
165
|
# {
|
|
166
166
|
# ?p :profileJson ?j .
|
|
@@ -175,7 +175,7 @@
|
|
|
175
175
|
# with substitution (on rule variables):
|
|
176
176
|
# ?age = 23
|
|
177
177
|
# ?city = "Brussels"
|
|
178
|
-
# ?j = "
|
|
178
|
+
# ?j = "{ \"name\": \"Alice\", \"age\": 23, \"city\": \"Brussels\" }"^^rdf:JSON
|
|
179
179
|
# ?name = "Alice"
|
|
180
180
|
# ?p = :alice
|
|
181
181
|
# Therefore the derived triple above is entailed by the rules and facts.
|