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/ev-roundtrip-planner.n3 CHANGED
@@ -1,9 +1,10 @@
1
1
  @prefix : <https://eyereasoner.github.io/eye/reasoning#> .
2
2
  @prefix gps: <https://eyereasoner.github.io/eye/reasoning/gps/gps-schema#> .
3
+ @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
3
4
 
4
5
  # ----------------------------------------------------------------------
5
6
  # Proof for derived triple:
6
- # :car1 gps:plan ((:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :fast_charge_aachen_pass :public_road_aachen_cologne) 235 0.054000000000000006 0.94887065827125 0.8494295039999998 :low :yes (:t :t :t)) .
7
+ # :car1 gps:plan ((:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :fast_charge_aachen_pass :public_road_aachen_cologne) "235"^^xsd:decimal "0.054000000000000006"^^xsd:decimal "0.94887065827125"^^xsd:decimal "0.8494295039999998"^^xsd:decimal :low :yes (:t :t :t)) .
7
8
  # It holds because the following instance of the rule body is provable:
8
9
  # :fuel8 :value (:t :t :t :t :t :t :t :t) .
9
10
  # ({
@@ -14,10 +15,10 @@
14
15
  # :car1 :at :Cologne .
15
16
  # :car1 :battery :low .
16
17
  # :car1 :pass :yes .
17
- # } (:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :fast_charge_aachen_pass :public_road_aachen_cologne) 235 0.054000000000000006 0.94887065827125 0.8494295039999998 (:t :t :t :t :t :t :t :t) (:t :t :t)) :path true .
18
- # 0.94887065827125 math:greaterThan 0.93 .
19
- # 0.054000000000000006 math:lessThan 0.090 .
20
- # 235 math:lessThan 260.0 .
18
+ # } (:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :fast_charge_aachen_pass :public_road_aachen_cologne) "235"^^xsd:decimal "0.054000000000000006"^^xsd:decimal "0.94887065827125"^^xsd:decimal "0.8494295039999998"^^xsd:decimal (:t :t :t :t :t :t :t :t) (:t :t :t)) :path true .
19
+ # "0.94887065827125"^^xsd:decimal math:greaterThan 0.93 .
20
+ # "0.054000000000000006"^^xsd:decimal math:lessThan 0.090 .
21
+ # "235"^^xsd:decimal math:lessThan 260.0 .
21
22
  # via the schematic forward rule:
22
23
  # {
23
24
  # :fuel8 :value ?Fuel .
@@ -39,21 +40,21 @@
39
40
  # with substitution (on rule variables):
40
41
  # ?Acts = (:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :fast_charge_aachen_pass :public_road_aachen_cologne)
41
42
  # ?B = :low
42
- # ?Bel = 0.94887065827125
43
- # ?Comf = 0.8494295039999998
44
- # ?Cost = 0.054000000000000006
45
- # ?Dur = 235
43
+ # ?Bel = "0.94887065827125"^^xsd:decimal
44
+ # ?Comf = "0.8494295039999998"^^xsd:decimal
45
+ # ?Cost = "0.054000000000000006"^^xsd:decimal
46
+ # ?Dur = "235"^^xsd:decimal
46
47
  # ?Fuel = (:t :t :t :t :t :t :t :t)
47
48
  # ?FuelLeft = (:t :t :t)
48
49
  # ?P = :yes
49
50
  # Therefore the derived triple above is entailed by the rules and facts.
50
51
  # ----------------------------------------------------------------------
51
52
 
52
- :car1 gps:plan ((:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :fast_charge_aachen_pass :public_road_aachen_cologne) 235 0.054000000000000006 0.94887065827125 0.8494295039999998 :low :yes (:t :t :t)) .
53
+ :car1 gps:plan ((:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :fast_charge_aachen_pass :public_road_aachen_cologne) "235"^^xsd:decimal "0.054000000000000006"^^xsd:decimal "0.94887065827125"^^xsd:decimal "0.8494295039999998"^^xsd:decimal :low :yes (:t :t :t)) .
53
54
 
54
55
  # ----------------------------------------------------------------------
55
56
  # Proof for derived triple:
56
- # :car1 gps:plan ((:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :fast_charge_aachen_pass :premium_corridor_aachen_cologne) 220 0.063 0.953736661647 0.880398288 :low :yes (:t :t :t)) .
57
+ # :car1 gps:plan ((:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :fast_charge_aachen_pass :premium_corridor_aachen_cologne) "220"^^xsd:decimal "0.063"^^xsd:decimal "0.953736661647"^^xsd:decimal "0.880398288"^^xsd:decimal :low :yes (:t :t :t)) .
57
58
  # It holds because the following instance of the rule body is provable:
58
59
  # :fuel8 :value (:t :t :t :t :t :t :t :t) .
59
60
  # ({
@@ -64,10 +65,10 @@
64
65
  # :car1 :at :Cologne .
65
66
  # :car1 :battery :low .
66
67
  # :car1 :pass :yes .
67
- # } (:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :fast_charge_aachen_pass :premium_corridor_aachen_cologne) 220 0.063 0.953736661647 0.880398288 (:t :t :t :t :t :t :t :t) (:t :t :t)) :path true .
68
- # 0.953736661647 math:greaterThan 0.93 .
69
- # 0.063 math:lessThan 0.090 .
70
- # 220 math:lessThan 260.0 .
68
+ # } (:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :fast_charge_aachen_pass :premium_corridor_aachen_cologne) "220"^^xsd:decimal "0.063"^^xsd:decimal "0.953736661647"^^xsd:decimal "0.880398288"^^xsd:decimal (:t :t :t :t :t :t :t :t) (:t :t :t)) :path true .
69
+ # "0.953736661647"^^xsd:decimal math:greaterThan 0.93 .
70
+ # "0.063"^^xsd:decimal math:lessThan 0.090 .
71
+ # "220"^^xsd:decimal math:lessThan 260.0 .
71
72
  # via the schematic forward rule:
72
73
  # {
73
74
  # :fuel8 :value ?Fuel .
@@ -89,21 +90,21 @@
89
90
  # with substitution (on rule variables):
90
91
  # ?Acts = (:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :fast_charge_aachen_pass :premium_corridor_aachen_cologne)
91
92
  # ?B = :low
92
- # ?Bel = 0.953736661647
93
- # ?Comf = 0.880398288
94
- # ?Cost = 0.063
95
- # ?Dur = 220
93
+ # ?Bel = "0.953736661647"^^xsd:decimal
94
+ # ?Comf = "0.880398288"^^xsd:decimal
95
+ # ?Cost = "0.063"^^xsd:decimal
96
+ # ?Dur = "220"^^xsd:decimal
96
97
  # ?Fuel = (:t :t :t :t :t :t :t :t)
97
98
  # ?FuelLeft = (:t :t :t)
98
99
  # ?P = :yes
99
100
  # Therefore the derived triple above is entailed by the rules and facts.
100
101
  # ----------------------------------------------------------------------
101
102
 
102
- :car1 gps:plan ((:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :fast_charge_aachen_pass :premium_corridor_aachen_cologne) 220 0.063 0.953736661647 0.880398288 :low :yes (:t :t :t)) .
103
+ :car1 gps:plan ((:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :fast_charge_aachen_pass :premium_corridor_aachen_cologne) "220"^^xsd:decimal "0.063"^^xsd:decimal "0.953736661647"^^xsd:decimal "0.880398288"^^xsd:decimal :low :yes (:t :t :t)) .
103
104
 
104
105
  # ----------------------------------------------------------------------
105
106
  # Proof for derived triple:
106
- # :car1 gps:plan ((:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :shuttle_aachen_cologne) 220 0.05800000000000001 0.97320067515 0.8893367999999999 :low :yes (:t :t :t :t)) .
107
+ # :car1 gps:plan ((:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :shuttle_aachen_cologne) "220"^^xsd:decimal "0.05800000000000001"^^xsd:decimal "0.97320067515"^^xsd:decimal "0.8893367999999999"^^xsd:decimal :low :yes (:t :t :t :t)) .
107
108
  # It holds because the following instance of the rule body is provable:
108
109
  # :fuel8 :value (:t :t :t :t :t :t :t :t) .
109
110
  # ({
@@ -114,10 +115,10 @@
114
115
  # :car1 :at :Cologne .
115
116
  # :car1 :battery :low .
116
117
  # :car1 :pass :yes .
117
- # } (:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :shuttle_aachen_cologne) 220 0.05800000000000001 0.97320067515 0.8893367999999999 (:t :t :t :t :t :t :t :t) (:t :t :t :t)) :path true .
118
- # 0.97320067515 math:greaterThan 0.93 .
119
- # 0.05800000000000001 math:lessThan 0.090 .
120
- # 220 math:lessThan 260.0 .
118
+ # } (:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :shuttle_aachen_cologne) "220"^^xsd:decimal "0.05800000000000001"^^xsd:decimal "0.97320067515"^^xsd:decimal "0.8893367999999999"^^xsd:decimal (:t :t :t :t :t :t :t :t) (:t :t :t :t)) :path true .
119
+ # "0.97320067515"^^xsd:decimal math:greaterThan 0.93 .
120
+ # "0.05800000000000001"^^xsd:decimal math:lessThan 0.090 .
121
+ # "220"^^xsd:decimal math:lessThan 260.0 .
121
122
  # via the schematic forward rule:
122
123
  # {
123
124
  # :fuel8 :value ?Fuel .
@@ -139,21 +140,21 @@
139
140
  # with substitution (on rule variables):
140
141
  # ?Acts = (:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :shuttle_aachen_cologne)
141
142
  # ?B = :low
142
- # ?Bel = 0.97320067515
143
- # ?Comf = 0.8893367999999999
144
- # ?Cost = 0.05800000000000001
145
- # ?Dur = 220
143
+ # ?Bel = "0.97320067515"^^xsd:decimal
144
+ # ?Comf = "0.8893367999999999"^^xsd:decimal
145
+ # ?Cost = "0.05800000000000001"^^xsd:decimal
146
+ # ?Dur = "220"^^xsd:decimal
146
147
  # ?Fuel = (:t :t :t :t :t :t :t :t)
147
148
  # ?FuelLeft = (:t :t :t :t)
148
149
  # ?P = :yes
149
150
  # Therefore the derived triple above is entailed by the rules and facts.
150
151
  # ----------------------------------------------------------------------
151
152
 
152
- :car1 gps:plan ((:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :shuttle_aachen_cologne) 220 0.05800000000000001 0.97320067515 0.8893367999999999 :low :yes (:t :t :t :t)) .
153
+ :car1 gps:plan ((:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :shuttle_aachen_cologne) "220"^^xsd:decimal "0.05800000000000001"^^xsd:decimal "0.97320067515"^^xsd:decimal "0.8893367999999999"^^xsd:decimal :low :yes (:t :t :t :t)) .
153
154
 
154
155
  # ----------------------------------------------------------------------
155
156
  # Proof for derived triple:
156
- # :car1 gps:plan ((:drive_bru_liege :buy_pass_liege :drive_liege_aachen :fast_charge_aachen_pass :public_road_aachen_cologne) 240 0.053000000000000005 0.9450713763562499 0.8408494079999999 :low :yes (:t :t :t)) .
157
+ # :car1 gps:plan ((:drive_bru_liege :buy_pass_liege :drive_liege_aachen :fast_charge_aachen_pass :public_road_aachen_cologne) "240"^^xsd:decimal "0.053000000000000005"^^xsd:decimal "0.9450713763562499"^^xsd:decimal "0.8408494079999999"^^xsd:decimal :low :yes (:t :t :t)) .
157
158
  # It holds because the following instance of the rule body is provable:
158
159
  # :fuel8 :value (:t :t :t :t :t :t :t :t) .
159
160
  # ({
@@ -164,10 +165,10 @@
164
165
  # :car1 :at :Cologne .
165
166
  # :car1 :battery :low .
166
167
  # :car1 :pass :yes .
167
- # } (:drive_bru_liege :buy_pass_liege :drive_liege_aachen :fast_charge_aachen_pass :public_road_aachen_cologne) 240 0.053000000000000005 0.9450713763562499 0.8408494079999999 (:t :t :t :t :t :t :t :t) (:t :t :t)) :path true .
168
- # 0.9450713763562499 math:greaterThan 0.93 .
169
- # 0.053000000000000005 math:lessThan 0.090 .
170
- # 240 math:lessThan 260.0 .
168
+ # } (:drive_bru_liege :buy_pass_liege :drive_liege_aachen :fast_charge_aachen_pass :public_road_aachen_cologne) "240"^^xsd:decimal "0.053000000000000005"^^xsd:decimal "0.9450713763562499"^^xsd:decimal "0.8408494079999999"^^xsd:decimal (:t :t :t :t :t :t :t :t) (:t :t :t)) :path true .
169
+ # "0.9450713763562499"^^xsd:decimal math:greaterThan 0.93 .
170
+ # "0.053000000000000005"^^xsd:decimal math:lessThan 0.090 .
171
+ # "240"^^xsd:decimal math:lessThan 260.0 .
171
172
  # via the schematic forward rule:
172
173
  # {
173
174
  # :fuel8 :value ?Fuel .
@@ -189,21 +190,21 @@
189
190
  # with substitution (on rule variables):
190
191
  # ?Acts = (:drive_bru_liege :buy_pass_liege :drive_liege_aachen :fast_charge_aachen_pass :public_road_aachen_cologne)
191
192
  # ?B = :low
192
- # ?Bel = 0.9450713763562499
193
- # ?Comf = 0.8408494079999999
194
- # ?Cost = 0.053000000000000005
195
- # ?Dur = 240
193
+ # ?Bel = "0.9450713763562499"^^xsd:decimal
194
+ # ?Comf = "0.8408494079999999"^^xsd:decimal
195
+ # ?Cost = "0.053000000000000005"^^xsd:decimal
196
+ # ?Dur = "240"^^xsd:decimal
196
197
  # ?Fuel = (:t :t :t :t :t :t :t :t)
197
198
  # ?FuelLeft = (:t :t :t)
198
199
  # ?P = :yes
199
200
  # Therefore the derived triple above is entailed by the rules and facts.
200
201
  # ----------------------------------------------------------------------
201
202
 
202
- :car1 gps:plan ((:drive_bru_liege :buy_pass_liege :drive_liege_aachen :fast_charge_aachen_pass :public_road_aachen_cologne) 240 0.053000000000000005 0.9450713763562499 0.8408494079999999 :low :yes (:t :t :t)) .
203
+ :car1 gps:plan ((:drive_bru_liege :buy_pass_liege :drive_liege_aachen :fast_charge_aachen_pass :public_road_aachen_cologne) "240"^^xsd:decimal "0.053000000000000005"^^xsd:decimal "0.9450713763562499"^^xsd:decimal "0.8408494079999999"^^xsd:decimal :low :yes (:t :t :t)) .
203
204
 
204
205
  # ----------------------------------------------------------------------
205
206
  # Proof for derived triple:
206
- # :car1 gps:plan ((:drive_bru_liege :buy_pass_liege :drive_liege_aachen :fast_charge_aachen_pass :premium_corridor_aachen_cologne) 225 0.062 0.949917896235 0.8715053759999999 :low :yes (:t :t :t)) .
207
+ # :car1 gps:plan ((:drive_bru_liege :buy_pass_liege :drive_liege_aachen :fast_charge_aachen_pass :premium_corridor_aachen_cologne) "225"^^xsd:decimal "0.062"^^xsd:decimal "0.949917896235"^^xsd:decimal "0.8715053759999999"^^xsd:decimal :low :yes (:t :t :t)) .
207
208
  # It holds because the following instance of the rule body is provable:
208
209
  # :fuel8 :value (:t :t :t :t :t :t :t :t) .
209
210
  # ({
@@ -214,10 +215,10 @@
214
215
  # :car1 :at :Cologne .
215
216
  # :car1 :battery :low .
216
217
  # :car1 :pass :yes .
217
- # } (:drive_bru_liege :buy_pass_liege :drive_liege_aachen :fast_charge_aachen_pass :premium_corridor_aachen_cologne) 225 0.062 0.949917896235 0.8715053759999999 (:t :t :t :t :t :t :t :t) (:t :t :t)) :path true .
218
- # 0.949917896235 math:greaterThan 0.93 .
219
- # 0.062 math:lessThan 0.090 .
220
- # 225 math:lessThan 260.0 .
218
+ # } (:drive_bru_liege :buy_pass_liege :drive_liege_aachen :fast_charge_aachen_pass :premium_corridor_aachen_cologne) "225"^^xsd:decimal "0.062"^^xsd:decimal "0.949917896235"^^xsd:decimal "0.8715053759999999"^^xsd:decimal (:t :t :t :t :t :t :t :t) (:t :t :t)) :path true .
219
+ # "0.949917896235"^^xsd:decimal math:greaterThan 0.93 .
220
+ # "0.062"^^xsd:decimal math:lessThan 0.090 .
221
+ # "225"^^xsd:decimal math:lessThan 260.0 .
221
222
  # via the schematic forward rule:
222
223
  # {
223
224
  # :fuel8 :value ?Fuel .
@@ -239,21 +240,21 @@
239
240
  # with substitution (on rule variables):
240
241
  # ?Acts = (:drive_bru_liege :buy_pass_liege :drive_liege_aachen :fast_charge_aachen_pass :premium_corridor_aachen_cologne)
241
242
  # ?B = :low
242
- # ?Bel = 0.949917896235
243
- # ?Comf = 0.8715053759999999
244
- # ?Cost = 0.062
245
- # ?Dur = 225
243
+ # ?Bel = "0.949917896235"^^xsd:decimal
244
+ # ?Comf = "0.8715053759999999"^^xsd:decimal
245
+ # ?Cost = "0.062"^^xsd:decimal
246
+ # ?Dur = "225"^^xsd:decimal
246
247
  # ?Fuel = (:t :t :t :t :t :t :t :t)
247
248
  # ?FuelLeft = (:t :t :t)
248
249
  # ?P = :yes
249
250
  # Therefore the derived triple above is entailed by the rules and facts.
250
251
  # ----------------------------------------------------------------------
251
252
 
252
- :car1 gps:plan ((:drive_bru_liege :buy_pass_liege :drive_liege_aachen :fast_charge_aachen_pass :premium_corridor_aachen_cologne) 225 0.062 0.949917896235 0.8715053759999999 :low :yes (:t :t :t)) .
253
+ :car1 gps:plan ((:drive_bru_liege :buy_pass_liege :drive_liege_aachen :fast_charge_aachen_pass :premium_corridor_aachen_cologne) "225"^^xsd:decimal "0.062"^^xsd:decimal "0.949917896235"^^xsd:decimal "0.8715053759999999"^^xsd:decimal :low :yes (:t :t :t)) .
253
254
 
254
255
  # ----------------------------------------------------------------------
255
256
  # Proof for derived triple:
256
- # :car1 gps:plan ((:drive_bru_liege :buy_pass_liege :drive_liege_aachen :shuttle_aachen_cologne) 225 0.05700000000000001 0.9693039757499999 0.8803536 :low :yes (:t :t :t :t)) .
257
+ # :car1 gps:plan ((:drive_bru_liege :buy_pass_liege :drive_liege_aachen :shuttle_aachen_cologne) "225"^^xsd:decimal "0.05700000000000001"^^xsd:decimal "0.9693039757499999"^^xsd:decimal "0.8803536"^^xsd:decimal :low :yes (:t :t :t :t)) .
257
258
  # It holds because the following instance of the rule body is provable:
258
259
  # :fuel8 :value (:t :t :t :t :t :t :t :t) .
259
260
  # ({
@@ -264,10 +265,10 @@
264
265
  # :car1 :at :Cologne .
265
266
  # :car1 :battery :low .
266
267
  # :car1 :pass :yes .
267
- # } (:drive_bru_liege :buy_pass_liege :drive_liege_aachen :shuttle_aachen_cologne) 225 0.05700000000000001 0.9693039757499999 0.8803536 (:t :t :t :t :t :t :t :t) (:t :t :t :t)) :path true .
268
- # 0.9693039757499999 math:greaterThan 0.93 .
269
- # 0.05700000000000001 math:lessThan 0.090 .
270
- # 225 math:lessThan 260.0 .
268
+ # } (:drive_bru_liege :buy_pass_liege :drive_liege_aachen :shuttle_aachen_cologne) "225"^^xsd:decimal "0.05700000000000001"^^xsd:decimal "0.9693039757499999"^^xsd:decimal "0.8803536"^^xsd:decimal (:t :t :t :t :t :t :t :t) (:t :t :t :t)) :path true .
269
+ # "0.9693039757499999"^^xsd:decimal math:greaterThan 0.93 .
270
+ # "0.05700000000000001"^^xsd:decimal math:lessThan 0.090 .
271
+ # "225"^^xsd:decimal math:lessThan 260.0 .
271
272
  # via the schematic forward rule:
272
273
  # {
273
274
  # :fuel8 :value ?Fuel .
@@ -289,21 +290,21 @@
289
290
  # with substitution (on rule variables):
290
291
  # ?Acts = (:drive_bru_liege :buy_pass_liege :drive_liege_aachen :shuttle_aachen_cologne)
291
292
  # ?B = :low
292
- # ?Bel = 0.9693039757499999
293
- # ?Comf = 0.8803536
294
- # ?Cost = 0.05700000000000001
295
- # ?Dur = 225
293
+ # ?Bel = "0.9693039757499999"^^xsd:decimal
294
+ # ?Comf = "0.8803536"^^xsd:decimal
295
+ # ?Cost = "0.05700000000000001"^^xsd:decimal
296
+ # ?Dur = "225"^^xsd:decimal
296
297
  # ?Fuel = (:t :t :t :t :t :t :t :t)
297
298
  # ?FuelLeft = (:t :t :t :t)
298
299
  # ?P = :yes
299
300
  # Therefore the derived triple above is entailed by the rules and facts.
300
301
  # ----------------------------------------------------------------------
301
302
 
302
- :car1 gps:plan ((:drive_bru_liege :buy_pass_liege :drive_liege_aachen :shuttle_aachen_cologne) 225 0.05700000000000001 0.9693039757499999 0.8803536 :low :yes (:t :t :t :t)) .
303
+ :car1 gps:plan ((:drive_bru_liege :buy_pass_liege :drive_liege_aachen :shuttle_aachen_cologne) "225"^^xsd:decimal "0.05700000000000001"^^xsd:decimal "0.9693039757499999"^^xsd:decimal "0.8803536"^^xsd:decimal :low :yes (:t :t :t :t)) .
303
304
 
304
305
  # ----------------------------------------------------------------------
305
306
  # Proof for derived triple:
306
- # :car1 gps:plan ((:drive_bru_liege :drive_liege_aachen :fast_charge_aachen_payg :public_road_aachen_cologne) 230 0.056999999999999995 0.9412635375 0.8317439999999998 :low :none (:t :t :t :t)) .
307
+ # :car1 gps:plan ((:drive_bru_liege :drive_liege_aachen :fast_charge_aachen_payg :public_road_aachen_cologne) "230"^^xsd:decimal "0.056999999999999995"^^xsd:decimal "0.9412635375"^^xsd:decimal "0.8317439999999998"^^xsd:decimal :low :none (:t :t :t :t)) .
307
308
  # It holds because the following instance of the rule body is provable:
308
309
  # :fuel8 :value (:t :t :t :t :t :t :t :t) .
309
310
  # ({
@@ -314,10 +315,10 @@
314
315
  # :car1 :at :Cologne .
315
316
  # :car1 :battery :low .
316
317
  # :car1 :pass :none .
317
- # } (:drive_bru_liege :drive_liege_aachen :fast_charge_aachen_payg :public_road_aachen_cologne) 230 0.056999999999999995 0.9412635375 0.8317439999999998 (:t :t :t :t :t :t :t :t) (:t :t :t :t)) :path true .
318
- # 0.9412635375 math:greaterThan 0.93 .
319
- # 0.056999999999999995 math:lessThan 0.090 .
320
- # 230 math:lessThan 260.0 .
318
+ # } (:drive_bru_liege :drive_liege_aachen :fast_charge_aachen_payg :public_road_aachen_cologne) "230"^^xsd:decimal "0.056999999999999995"^^xsd:decimal "0.9412635375"^^xsd:decimal "0.8317439999999998"^^xsd:decimal (:t :t :t :t :t :t :t :t) (:t :t :t :t)) :path true .
319
+ # "0.9412635375"^^xsd:decimal math:greaterThan 0.93 .
320
+ # "0.056999999999999995"^^xsd:decimal math:lessThan 0.090 .
321
+ # "230"^^xsd:decimal math:lessThan 260.0 .
321
322
  # via the schematic forward rule:
322
323
  # {
323
324
  # :fuel8 :value ?Fuel .
@@ -339,21 +340,21 @@
339
340
  # with substitution (on rule variables):
340
341
  # ?Acts = (:drive_bru_liege :drive_liege_aachen :fast_charge_aachen_payg :public_road_aachen_cologne)
341
342
  # ?B = :low
342
- # ?Bel = 0.9412635375
343
- # ?Comf = 0.8317439999999998
344
- # ?Cost = 0.056999999999999995
345
- # ?Dur = 230
343
+ # ?Bel = "0.9412635375"^^xsd:decimal
344
+ # ?Comf = "0.8317439999999998"^^xsd:decimal
345
+ # ?Cost = "0.056999999999999995"^^xsd:decimal
346
+ # ?Dur = "230"^^xsd:decimal
346
347
  # ?Fuel = (:t :t :t :t :t :t :t :t)
347
348
  # ?FuelLeft = (:t :t :t :t)
348
349
  # ?P = :none
349
350
  # Therefore the derived triple above is entailed by the rules and facts.
350
351
  # ----------------------------------------------------------------------
351
352
 
352
- :car1 gps:plan ((:drive_bru_liege :drive_liege_aachen :fast_charge_aachen_payg :public_road_aachen_cologne) 230 0.056999999999999995 0.9412635375 0.8317439999999998 :low :none (:t :t :t :t)) .
353
+ :car1 gps:plan ((:drive_bru_liege :drive_liege_aachen :fast_charge_aachen_payg :public_road_aachen_cologne) "230"^^xsd:decimal "0.056999999999999995"^^xsd:decimal "0.9412635375"^^xsd:decimal "0.8317439999999998"^^xsd:decimal :low :none (:t :t :t :t)) .
353
354
 
354
355
  # ----------------------------------------------------------------------
355
356
  # Proof for derived triple:
356
- # :car1 gps:plan ((:drive_bru_liege :drive_liege_aachen :shuttle_aachen_cologne) 210 0.054000000000000006 0.9741748499999999 0.8983199999999999 :low :none (:t :t :t :t :t)) .
357
+ # :car1 gps:plan ((:drive_bru_liege :drive_liege_aachen :shuttle_aachen_cologne) "210"^^xsd:decimal "0.054000000000000006"^^xsd:decimal "0.9741748499999999"^^xsd:decimal "0.8983199999999999"^^xsd:decimal :low :none (:t :t :t :t :t)) .
357
358
  # It holds because the following instance of the rule body is provable:
358
359
  # :fuel8 :value (:t :t :t :t :t :t :t :t) .
359
360
  # ({
@@ -364,10 +365,10 @@
364
365
  # :car1 :at :Cologne .
365
366
  # :car1 :battery :low .
366
367
  # :car1 :pass :none .
367
- # } (:drive_bru_liege :drive_liege_aachen :shuttle_aachen_cologne) 210 0.054000000000000006 0.9741748499999999 0.8983199999999999 (:t :t :t :t :t :t :t :t) (:t :t :t :t :t)) :path true .
368
- # 0.9741748499999999 math:greaterThan 0.93 .
369
- # 0.054000000000000006 math:lessThan 0.090 .
370
- # 210 math:lessThan 260.0 .
368
+ # } (:drive_bru_liege :drive_liege_aachen :shuttle_aachen_cologne) "210"^^xsd:decimal "0.054000000000000006"^^xsd:decimal "0.9741748499999999"^^xsd:decimal "0.8983199999999999"^^xsd:decimal (:t :t :t :t :t :t :t :t) (:t :t :t :t :t)) :path true .
369
+ # "0.9741748499999999"^^xsd:decimal math:greaterThan 0.93 .
370
+ # "0.054000000000000006"^^xsd:decimal math:lessThan 0.090 .
371
+ # "210"^^xsd:decimal math:lessThan 260.0 .
371
372
  # via the schematic forward rule:
372
373
  # {
373
374
  # :fuel8 :value ?Fuel .
@@ -389,15 +390,15 @@
389
390
  # with substitution (on rule variables):
390
391
  # ?Acts = (:drive_bru_liege :drive_liege_aachen :shuttle_aachen_cologne)
391
392
  # ?B = :low
392
- # ?Bel = 0.9741748499999999
393
- # ?Comf = 0.8983199999999999
394
- # ?Cost = 0.054000000000000006
395
- # ?Dur = 210
393
+ # ?Bel = "0.9741748499999999"^^xsd:decimal
394
+ # ?Comf = "0.8983199999999999"^^xsd:decimal
395
+ # ?Cost = "0.054000000000000006"^^xsd:decimal
396
+ # ?Dur = "210"^^xsd:decimal
396
397
  # ?Fuel = (:t :t :t :t :t :t :t :t)
397
398
  # ?FuelLeft = (:t :t :t :t :t)
398
399
  # ?P = :none
399
400
  # Therefore the derived triple above is entailed by the rules and facts.
400
401
  # ----------------------------------------------------------------------
401
402
 
402
- :car1 gps:plan ((:drive_bru_liege :drive_liege_aachen :shuttle_aachen_cologne) 210 0.054000000000000006 0.9741748499999999 0.8983199999999999 :low :none (:t :t :t :t :t)) .
403
+ :car1 gps:plan ((:drive_bru_liege :drive_liege_aachen :shuttle_aachen_cologne) "210"^^xsd:decimal "0.054000000000000006"^^xsd:decimal "0.9741748499999999"^^xsd:decimal "0.8983199999999999"^^xsd:decimal :low :none (:t :t :t :t :t)) .
403
404
 
package/examples/output/gps.n3 CHANGED
@@ -1,16 +1,17 @@
1
1
  @prefix : <https://eyereasoner.github.io/eye/reasoning#> .
2
2
  @prefix gps: <https://eyereasoner.github.io/eye/reasoning/gps/gps-schema#> .
3
+ @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
3
4
 
4
5
  # ----------------------------------------------------------------------
5
6
  # Proof for derived triple:
6
- # :i1 gps:path ((:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende) 4100 0.018 0.903168 0.9801) .
7
+ # :i1 gps:path ((:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende) "4100"^^xsd:decimal "0.018"^^xsd:decimal "0.903168"^^xsd:decimal "0.9801"^^xsd:decimal) .
7
8
  # It holds because the following instance of the rule body is provable:
8
9
  # :i1 :location :Gent .
9
10
  # ({
10
11
  # :i1 :location :Gent .
11
12
  # } {
12
13
  # :i1 :location :Oostende .
13
- # } (:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende) 4100 0.018 0.903168 0.9801) :path true .
14
+ # } (:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende) "4100"^^xsd:decimal "0.018"^^xsd:decimal "0.903168"^^xsd:decimal "0.9801"^^xsd:decimal) :path true .
14
15
  # via the schematic forward rule:
15
16
  # {
16
17
  # :i1 :location :Gent .
@@ -24,25 +25,25 @@
24
25
  # } .
25
26
  # with substitution (on rule variables):
26
27
  # ?Acts = (:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende)
27
- # ?Bel = 0.903168
28
- # ?Comf = 0.9801
29
- # ?Cost = 0.018
30
- # ?Dur = 4100
28
+ # ?Bel = "0.903168"^^xsd:decimal
29
+ # ?Comf = "0.9801"^^xsd:decimal
30
+ # ?Cost = "0.018"^^xsd:decimal
31
+ # ?Dur = "4100"^^xsd:decimal
31
32
  # Therefore the derived triple above is entailed by the rules and facts.
32
33
  # ----------------------------------------------------------------------
33
34
 
34
- :i1 gps:path ((:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende) 4100 0.018 0.903168 0.9801) .
35
+ :i1 gps:path ((:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende) "4100"^^xsd:decimal "0.018"^^xsd:decimal "0.903168"^^xsd:decimal "0.9801"^^xsd:decimal) .
35
36
 
36
37
  # ----------------------------------------------------------------------
37
38
  # Proof for derived triple:
38
- # :i1 gps:path ((:drive_gent_brugge :drive_brugge_oostende) 2400 0.01 0.9408 0.99) .
39
+ # :i1 gps:path ((:drive_gent_brugge :drive_brugge_oostende) "2400"^^xsd:decimal "0.01"^^xsd:decimal "0.9408"^^xsd:decimal "0.99"^^xsd:decimal) .
39
40
  # It holds because the following instance of the rule body is provable:
40
41
  # :i1 :location :Gent .
41
42
  # ({
42
43
  # :i1 :location :Gent .
43
44
  # } {
44
45
  # :i1 :location :Oostende .
45
- # } (:drive_gent_brugge :drive_brugge_oostende) 2400 0.01 0.9408 0.99) :path true .
46
+ # } (:drive_gent_brugge :drive_brugge_oostende) "2400"^^xsd:decimal "0.01"^^xsd:decimal "0.9408"^^xsd:decimal "0.99"^^xsd:decimal) :path true .
46
47
  # via the schematic forward rule:
47
48
  # {
48
49
  # :i1 :location :Gent .
@@ -56,12 +57,12 @@
56
57
  # } .
57
58
  # with substitution (on rule variables):
58
59
  # ?Acts = (:drive_gent_brugge :drive_brugge_oostende)
59
- # ?Bel = 0.9408
60
- # ?Comf = 0.99
61
- # ?Cost = 0.01
62
- # ?Dur = 2400
60
+ # ?Bel = "0.9408"^^xsd:decimal
61
+ # ?Comf = "0.99"^^xsd:decimal
62
+ # ?Cost = "0.01"^^xsd:decimal
63
+ # ?Dur = "2400"^^xsd:decimal
63
64
  # Therefore the derived triple above is entailed by the rules and facts.
64
65
  # ----------------------------------------------------------------------
65
66
 
66
- :i1 gps:path ((:drive_gent_brugge :drive_brugge_oostende) 2400 0.01 0.9408 0.99) .
67
+ :i1 gps:path ((:drive_gent_brugge :drive_brugge_oostende) "2400"^^xsd:decimal "0.01"^^xsd:decimal "0.9408"^^xsd:decimal "0.99"^^xsd:decimal) .
67
68