eyeling 1.6.4 → 1.6.6

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 (21) hide show
  1. package/examples/output/cobalt-kepler-kitchen.n3 +3544 -3543
  2. package/examples/output/complex.n3 +25 -24
  3. package/examples/output/control-system.n3 +21 -20
  4. package/examples/output/cranberry-calculus.n3 +509 -508
  5. package/examples/output/drone-corridor-planner.n3 +154 -153
  6. package/examples/output/ev-roundtrip-planner.n3 +81 -80
  7. package/examples/output/gps.n3 +15 -14
  8. package/examples/output/jade-eigen-loom.n3 +2033 -2032
  9. package/examples/output/light-eaters.n3 +51 -50
  10. package/examples/output/lldm.n3 +244 -243
  11. package/examples/output/math-builtins-tests.n3 +40 -40
  12. package/examples/output/oslo-steps-library-scholarly.n3 +197 -196
  13. package/examples/output/oslo-steps-workflow-composition.n3 +29 -28
  14. package/examples/output/pi.n3 +5 -4
  15. package/examples/output/ruby-runge-workshop.n3 +106 -105
  16. package/examples/output/saffron-slopeworks.n3 +455 -454
  17. package/examples/output/spectral-week.n3 +81 -80
  18. package/examples/output/topaz-markov-mill.n3 +1618 -1617
  19. package/examples/output/ultramarine-simpson-forge.n3 +1213 -1212
  20. package/eyeling.js +315 -134
  21. package/package.json +1 -1
package/examples/output/light-eaters.n3 CHANGED
@@ -1,12 +1,13 @@
1
1
  @prefix : <http://example.org/light-eaters#> .
2
+ @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
2
3
 
3
4
  # ----------------------------------------------------------------------
4
5
  # Proof for derived triple:
5
- # :Forest :dailyLightEnergy 200 .
6
+ # :Forest :dailyLightEnergy "200"^^xsd:decimal .
6
7
  # It holds because the following instance of the rule body is provable:
7
8
  # :Today :lightHours 10.0 .
8
9
  # :Forest :lightIntensity 20.0 .
9
- # (20.0 10.0) math:product 200 .
10
+ # (20.0 10.0) math:product "200"^^xsd:decimal .
10
11
  # via the schematic forward rule:
11
12
  # {
12
13
  # :Today :lightHours ?H .
@@ -16,22 +17,22 @@
16
17
  # ?Place :dailyLightEnergy ?E .
17
18
  # } .
18
19
  # with substitution (on rule variables):
19
- # ?E = 200
20
+ # ?E = "200"^^xsd:decimal
20
21
  # ?H = 10.0
21
22
  # ?I = 20.0
22
23
  # ?Place = :Forest
23
24
  # Therefore the derived triple above is entailed by the rules and facts.
24
25
  # ----------------------------------------------------------------------
25
26
 
26
- :Forest :dailyLightEnergy 200 .
27
+ :Forest :dailyLightEnergy "200"^^xsd:decimal .
27
28
 
28
29
  # ----------------------------------------------------------------------
29
30
  # Proof for derived triple:
30
- # :Meadow :dailyLightEnergy 1000 .
31
+ # :Meadow :dailyLightEnergy "1000"^^xsd:decimal .
31
32
  # It holds because the following instance of the rule body is provable:
32
33
  # :Today :lightHours 10.0 .
33
34
  # :Meadow :lightIntensity 100.0 .
34
- # (100.0 10.0) math:product 1000 .
35
+ # (100.0 10.0) math:product "1000"^^xsd:decimal .
35
36
  # via the schematic forward rule:
36
37
  # {
37
38
  # :Today :lightHours ?H .
@@ -41,24 +42,24 @@
41
42
  # ?Place :dailyLightEnergy ?E .
42
43
  # } .
43
44
  # with substitution (on rule variables):
44
- # ?E = 1000
45
+ # ?E = "1000"^^xsd:decimal
45
46
  # ?H = 10.0
46
47
  # ?I = 100.0
47
48
  # ?Place = :Meadow
48
49
  # Therefore the derived triple above is entailed by the rules and facts.
49
50
  # ----------------------------------------------------------------------
50
51
 
51
- :Meadow :dailyLightEnergy 1000 .
52
+ :Meadow :dailyLightEnergy "1000"^^xsd:decimal .
52
53
 
53
54
  # ----------------------------------------------------------------------
54
55
  # Proof for derived triple:
55
- # :Fern :storedEnergy 50 .
56
+ # :Fern :storedEnergy "50"^^xsd:decimal .
56
57
  # It holds because the following instance of the rule body is provable:
57
58
  # :Fern a :Plant .
58
59
  # :Fern :location :Forest .
59
- # :Forest :dailyLightEnergy 200 .
60
+ # :Forest :dailyLightEnergy "200"^^xsd:decimal .
60
61
  # :Fern :efficiency 0.25 .
61
- # (200 0.25) math:product 50 .
62
+ # ("200"^^xsd:decimal 0.25) math:product "50"^^xsd:decimal .
62
63
  # via the schematic forward rule:
63
64
  # {
64
65
  # ?Plant a :Plant .
@@ -70,25 +71,25 @@
70
71
  # ?Plant :storedEnergy ?Stored .
71
72
  # } .
72
73
  # with substitution (on rule variables):
73
- # ?E = 200
74
+ # ?E = "200"^^xsd:decimal
74
75
  # ?Eff = 0.25
75
76
  # ?Place = :Forest
76
77
  # ?Plant = :Fern
77
- # ?Stored = 50
78
+ # ?Stored = "50"^^xsd:decimal
78
79
  # Therefore the derived triple above is entailed by the rules and facts.
79
80
  # ----------------------------------------------------------------------
80
81
 
81
- :Fern :storedEnergy 50 .
82
+ :Fern :storedEnergy "50"^^xsd:decimal .
82
83
 
83
84
  # ----------------------------------------------------------------------
84
85
  # Proof for derived triple:
85
- # :Sunflower :storedEnergy 250 .
86
+ # :Sunflower :storedEnergy "250"^^xsd:decimal .
86
87
  # It holds because the following instance of the rule body is provable:
87
88
  # :Sunflower a :Plant .
88
89
  # :Sunflower :location :Meadow .
89
- # :Meadow :dailyLightEnergy 1000 .
90
+ # :Meadow :dailyLightEnergy "1000"^^xsd:decimal .
90
91
  # :Sunflower :efficiency 0.25 .
91
- # (1000 0.25) math:product 250 .
92
+ # ("1000"^^xsd:decimal 0.25) math:product "250"^^xsd:decimal .
92
93
  # via the schematic forward rule:
93
94
  # {
94
95
  # ?Plant a :Plant .
@@ -100,23 +101,23 @@
100
101
  # ?Plant :storedEnergy ?Stored .
101
102
  # } .
102
103
  # with substitution (on rule variables):
103
- # ?E = 1000
104
+ # ?E = "1000"^^xsd:decimal
104
105
  # ?Eff = 0.25
105
106
  # ?Place = :Meadow
106
107
  # ?Plant = :Sunflower
107
- # ?Stored = 250
108
+ # ?Stored = "250"^^xsd:decimal
108
109
  # Therefore the derived triple above is entailed by the rules and facts.
109
110
  # ----------------------------------------------------------------------
110
111
 
111
- :Sunflower :storedEnergy 250 .
112
+ :Sunflower :storedEnergy "250"^^xsd:decimal .
112
113
 
113
114
  # ----------------------------------------------------------------------
114
115
  # Proof for derived triple:
115
- # :Sunflower :netEnergy 100 .
116
+ # :Sunflower :netEnergy "100"^^xsd:decimal .
116
117
  # It holds because the following instance of the rule body is provable:
117
- # :Sunflower :storedEnergy 250 .
118
+ # :Sunflower :storedEnergy "250"^^xsd:decimal .
118
119
  # :Sunflower :maintenance 150.0 .
119
- # (250 150.0) math:difference 100 .
120
+ # ("250"^^xsd:decimal 150.0) math:difference "100"^^xsd:decimal .
120
121
  # via the schematic forward rule:
121
122
  # {
122
123
  # ?Org :storedEnergy ?Stored .
@@ -127,21 +128,21 @@
127
128
  # } .
128
129
  # with substitution (on rule variables):
129
130
  # ?Maint = 150.0
130
- # ?Net = 100
131
+ # ?Net = "100"^^xsd:decimal
131
132
  # ?Org = :Sunflower
132
- # ?Stored = 250
133
+ # ?Stored = "250"^^xsd:decimal
133
134
  # Therefore the derived triple above is entailed by the rules and facts.
134
135
  # ----------------------------------------------------------------------
135
136
 
136
- :Sunflower :netEnergy 100 .
137
+ :Sunflower :netEnergy "100"^^xsd:decimal .
137
138
 
138
139
  # ----------------------------------------------------------------------
139
140
  # Proof for derived triple:
140
- # :Fern :netEnergy -100 .
141
+ # :Fern :netEnergy "-100"^^xsd:decimal .
141
142
  # It holds because the following instance of the rule body is provable:
142
- # :Fern :storedEnergy 50 .
143
+ # :Fern :storedEnergy "50"^^xsd:decimal .
143
144
  # :Fern :maintenance 150.0 .
144
- # (50 150.0) math:difference -100 .
145
+ # ("50"^^xsd:decimal 150.0) math:difference "-100"^^xsd:decimal .
145
146
  # via the schematic forward rule:
146
147
  # {
147
148
  # ?Org :storedEnergy ?Stored .
@@ -152,13 +153,13 @@
152
153
  # } .
153
154
  # with substitution (on rule variables):
154
155
  # ?Maint = 150.0
155
- # ?Net = -100
156
+ # ?Net = "-100"^^xsd:decimal
156
157
  # ?Org = :Fern
157
- # ?Stored = 50
158
+ # ?Stored = "50"^^xsd:decimal
158
159
  # Therefore the derived triple above is entailed by the rules and facts.
159
160
  # ----------------------------------------------------------------------
160
161
 
161
- :Fern :netEnergy -100 .
162
+ :Fern :netEnergy "-100"^^xsd:decimal .
162
163
 
163
164
  # ----------------------------------------------------------------------
164
165
  # Proof for derived triple:
@@ -166,8 +167,8 @@
166
167
  # It holds because the following instance of the rule body is provable:
167
168
  # :Fern a :Plant .
168
169
  # :Fern :chlorophyll true .
169
- # :Fern :storedEnergy 50 .
170
- # (50 0.0) math:greaterThan true .
170
+ # :Fern :storedEnergy "50"^^xsd:decimal .
171
+ # ("50"^^xsd:decimal 0.0) math:greaterThan true .
171
172
  # via the schematic forward rule:
172
173
  # {
173
174
  # ?Plant a :Plant .
@@ -180,7 +181,7 @@
180
181
  # } .
181
182
  # with substitution (on rule variables):
182
183
  # ?Plant = :Fern
183
- # ?Stored = 50
184
+ # ?Stored = "50"^^xsd:decimal
184
185
  # Therefore the derived triple above is entailed by the rules and facts.
185
186
  # ----------------------------------------------------------------------
186
187
 
@@ -192,8 +193,8 @@
192
193
  # It holds because the following instance of the rule body is provable:
193
194
  # :Fern a :Plant .
194
195
  # :Fern :chlorophyll true .
195
- # :Fern :storedEnergy 50 .
196
- # (50 0.0) math:greaterThan true .
196
+ # :Fern :storedEnergy "50"^^xsd:decimal .
197
+ # ("50"^^xsd:decimal 0.0) math:greaterThan true .
197
198
  # via the schematic forward rule:
198
199
  # {
199
200
  # ?Plant a :Plant .
@@ -206,7 +207,7 @@
206
207
  # } .
207
208
  # with substitution (on rule variables):
208
209
  # ?Plant = :Fern
209
- # ?Stored = 50
210
+ # ?Stored = "50"^^xsd:decimal
210
211
  # Therefore the derived triple above is entailed by the rules and facts.
211
212
  # ----------------------------------------------------------------------
212
213
 
@@ -218,8 +219,8 @@
218
219
  # It holds because the following instance of the rule body is provable:
219
220
  # :Sunflower a :Plant .
220
221
  # :Sunflower :chlorophyll true .
221
- # :Sunflower :storedEnergy 250 .
222
- # (250 0.0) math:greaterThan true .
222
+ # :Sunflower :storedEnergy "250"^^xsd:decimal .
223
+ # ("250"^^xsd:decimal 0.0) math:greaterThan true .
223
224
  # via the schematic forward rule:
224
225
  # {
225
226
  # ?Plant a :Plant .
@@ -232,7 +233,7 @@
232
233
  # } .
233
234
  # with substitution (on rule variables):
234
235
  # ?Plant = :Sunflower
235
- # ?Stored = 250
236
+ # ?Stored = "250"^^xsd:decimal
236
237
  # Therefore the derived triple above is entailed by the rules and facts.
237
238
  # ----------------------------------------------------------------------
238
239
 
@@ -244,8 +245,8 @@
244
245
  # It holds because the following instance of the rule body is provable:
245
246
  # :Sunflower a :Plant .
246
247
  # :Sunflower :chlorophyll true .
247
- # :Sunflower :storedEnergy 250 .
248
- # (250 0.0) math:greaterThan true .
248
+ # :Sunflower :storedEnergy "250"^^xsd:decimal .
249
+ # ("250"^^xsd:decimal 0.0) math:greaterThan true .
249
250
  # via the schematic forward rule:
250
251
  # {
251
252
  # ?Plant a :Plant .
@@ -258,7 +259,7 @@
258
259
  # } .
259
260
  # with substitution (on rule variables):
260
261
  # ?Plant = :Sunflower
261
- # ?Stored = 250
262
+ # ?Stored = "250"^^xsd:decimal
262
263
  # Therefore the derived triple above is entailed by the rules and facts.
263
264
  # ----------------------------------------------------------------------
264
265
 
@@ -286,8 +287,8 @@
286
287
  # Proof for derived triple:
287
288
  # :Sunflower :thriving true .
288
289
  # It holds because the following instance of the rule body is provable:
289
- # :Sunflower :netEnergy 100 .
290
- # (100 0.0) math:greaterThan true .
290
+ # :Sunflower :netEnergy "100"^^xsd:decimal .
291
+ # ("100"^^xsd:decimal 0.0) math:greaterThan true .
291
292
  # via the schematic forward rule:
292
293
  # {
293
294
  # ?Org :netEnergy ?Net .
@@ -296,7 +297,7 @@
296
297
  # ?Org :thriving true .
297
298
  # } .
298
299
  # with substitution (on rule variables):
299
- # ?Net = 100
300
+ # ?Net = "100"^^xsd:decimal
300
301
  # ?Org = :Sunflower
301
302
  # Therefore the derived triple above is entailed by the rules and facts.
302
303
  # ----------------------------------------------------------------------
@@ -307,8 +308,8 @@
307
308
  # Proof for derived triple:
308
309
  # :Fern :hungry true .
309
310
  # It holds because the following instance of the rule body is provable:
310
- # :Fern :netEnergy -100 .
311
- # (-100 0.0) math:notGreaterThan true .
311
+ # :Fern :netEnergy "-100"^^xsd:decimal .
312
+ # ("-100"^^xsd:decimal 0.0) math:notGreaterThan true .
312
313
  # via the schematic forward rule:
313
314
  # {
314
315
  # ?Org :netEnergy ?Net .
@@ -317,7 +318,7 @@
317
318
  # ?Org :hungry true .
318
319
  # } .
319
320
  # with substitution (on rule variables):
320
- # ?Net = -100
321
+ # ?Net = "-100"^^xsd:decimal
321
322
  # ?Org = :Fern
322
323
  # Therefore the derived triple above is entailed by the rules and facts.
323
324
  # ----------------------------------------------------------------------