eyeling 1.6.5 → 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 +316 -137
  21. package/package.json +1 -1
package/examples/output/drone-corridor-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
- # :d1 gps:plan ((:fly_gent_kortrijk :emergency_charge_kortrijk :get_zone_permit_kortrijk :direct_corridor_kortrijk_oostende) 3500 0.019999999999999997 0.9435600454499999 0.86526 :mid :yes (:t :t :t)) .
7
+ # :d1 gps:plan ((:fly_gent_kortrijk :emergency_charge_kortrijk :get_zone_permit_kortrijk :direct_corridor_kortrijk_oostende) "3500"^^xsd:decimal "0.019999999999999997"^^xsd:decimal "0.9435600454499999"^^xsd:decimal "0.86526"^^xsd:decimal :mid :yes (:t :t :t)) .
7
8
  # It holds because the following instance of the rule body is provable:
8
9
  # :fuel7 :value (:t :t :t :t :t :t :t) .
9
10
  # ({
@@ -14,9 +15,9 @@
14
15
  # :d1 :location :Oostende .
15
16
  # :d1 :battery :mid .
16
17
  # :d1 :permit :yes .
17
- # } (:fly_gent_kortrijk :emergency_charge_kortrijk :get_zone_permit_kortrijk :direct_corridor_kortrijk_oostende) 3500 0.019999999999999997 0.9435600454499999 0.86526 (:t :t :t :t :t :t :t) (:t :t :t)) :path true .
18
- # 0.9435600454499999 math:greaterThan 0.94 .
19
- # 0.019999999999999997 math:lessThan 0.03 .
18
+ # } (:fly_gent_kortrijk :emergency_charge_kortrijk :get_zone_permit_kortrijk :direct_corridor_kortrijk_oostende) "3500"^^xsd:decimal "0.019999999999999997"^^xsd:decimal "0.9435600454499999"^^xsd:decimal "0.86526"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t :t)) :path true .
19
+ # "0.9435600454499999"^^xsd:decimal math:greaterThan 0.94 .
20
+ # "0.019999999999999997"^^xsd:decimal math:lessThan 0.03 .
20
21
  # via the schematic forward rule:
21
22
  # {
22
23
  # :fuel7 :value ?Fuel .
@@ -37,21 +38,21 @@
37
38
  # with substitution (on rule variables):
38
39
  # ?Acts = (:fly_gent_kortrijk :emergency_charge_kortrijk :get_zone_permit_kortrijk :direct_corridor_kortrijk_oostende)
39
40
  # ?B = :mid
40
- # ?Bel = 0.9435600454499999
41
- # ?Comf = 0.86526
42
- # ?Cost = 0.019999999999999997
43
- # ?Dur = 3500
41
+ # ?Bel = "0.9435600454499999"^^xsd:decimal
42
+ # ?Comf = "0.86526"^^xsd:decimal
43
+ # ?Cost = "0.019999999999999997"^^xsd:decimal
44
+ # ?Dur = "3500"^^xsd:decimal
44
45
  # ?Fuel = (:t :t :t :t :t :t :t)
45
46
  # ?FuelLeft = (:t :t :t)
46
47
  # ?P = :yes
47
48
  # Therefore the derived triple above is entailed by the rules and facts.
48
49
  # ----------------------------------------------------------------------
49
50
 
50
- :d1 gps:plan ((:fly_gent_kortrijk :emergency_charge_kortrijk :get_zone_permit_kortrijk :direct_corridor_kortrijk_oostende) 3500 0.019999999999999997 0.9435600454499999 0.86526 :mid :yes (:t :t :t)) .
51
+ :d1 gps:plan ((:fly_gent_kortrijk :emergency_charge_kortrijk :get_zone_permit_kortrijk :direct_corridor_kortrijk_oostende) "3500"^^xsd:decimal "0.019999999999999997"^^xsd:decimal "0.9435600454499999"^^xsd:decimal "0.86526"^^xsd:decimal :mid :yes (:t :t :t)) .
51
52
 
52
53
  # ----------------------------------------------------------------------
53
54
  # Proof for derived triple:
54
- # :d1 gps:plan ((:fly_gent_kortrijk :get_zone_permit_kortrijk :emergency_charge_kortrijk :direct_corridor_kortrijk_oostende) 3500 0.02 0.9435600454499999 0.86526 :mid :yes (:t :t :t)) .
55
+ # :d1 gps:plan ((:fly_gent_kortrijk :get_zone_permit_kortrijk :emergency_charge_kortrijk :direct_corridor_kortrijk_oostende) "3500"^^xsd:decimal "0.02"^^xsd:decimal "0.9435600454499999"^^xsd:decimal "0.86526"^^xsd:decimal :mid :yes (:t :t :t)) .
55
56
  # It holds because the following instance of the rule body is provable:
56
57
  # :fuel7 :value (:t :t :t :t :t :t :t) .
57
58
  # ({
@@ -62,9 +63,9 @@
62
63
  # :d1 :location :Oostende .
63
64
  # :d1 :battery :mid .
64
65
  # :d1 :permit :yes .
65
- # } (:fly_gent_kortrijk :get_zone_permit_kortrijk :emergency_charge_kortrijk :direct_corridor_kortrijk_oostende) 3500 0.02 0.9435600454499999 0.86526 (:t :t :t :t :t :t :t) (:t :t :t)) :path true .
66
- # 0.9435600454499999 math:greaterThan 0.94 .
67
- # 0.02 math:lessThan 0.03 .
66
+ # } (:fly_gent_kortrijk :get_zone_permit_kortrijk :emergency_charge_kortrijk :direct_corridor_kortrijk_oostende) "3500"^^xsd:decimal "0.02"^^xsd:decimal "0.9435600454499999"^^xsd:decimal "0.86526"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t :t)) :path true .
67
+ # "0.9435600454499999"^^xsd:decimal math:greaterThan 0.94 .
68
+ # "0.02"^^xsd:decimal math:lessThan 0.03 .
68
69
  # via the schematic forward rule:
69
70
  # {
70
71
  # :fuel7 :value ?Fuel .
@@ -85,21 +86,21 @@
85
86
  # with substitution (on rule variables):
86
87
  # ?Acts = (:fly_gent_kortrijk :get_zone_permit_kortrijk :emergency_charge_kortrijk :direct_corridor_kortrijk_oostende)
87
88
  # ?B = :mid
88
- # ?Bel = 0.9435600454499999
89
- # ?Comf = 0.86526
90
- # ?Cost = 0.02
91
- # ?Dur = 3500
89
+ # ?Bel = "0.9435600454499999"^^xsd:decimal
90
+ # ?Comf = "0.86526"^^xsd:decimal
91
+ # ?Cost = "0.02"^^xsd:decimal
92
+ # ?Dur = "3500"^^xsd:decimal
92
93
  # ?Fuel = (:t :t :t :t :t :t :t)
93
94
  # ?FuelLeft = (:t :t :t)
94
95
  # ?P = :yes
95
96
  # Therefore the derived triple above is entailed by the rules and facts.
96
97
  # ----------------------------------------------------------------------
97
98
 
98
- :d1 gps:plan ((:fly_gent_kortrijk :get_zone_permit_kortrijk :emergency_charge_kortrijk :direct_corridor_kortrijk_oostende) 3500 0.02 0.9435600454499999 0.86526 :mid :yes (:t :t :t)) .
99
+ :d1 gps:plan ((:fly_gent_kortrijk :get_zone_permit_kortrijk :emergency_charge_kortrijk :direct_corridor_kortrijk_oostende) "3500"^^xsd:decimal "0.02"^^xsd:decimal "0.9435600454499999"^^xsd:decimal "0.86526"^^xsd:decimal :mid :yes (:t :t :t)) .
99
100
 
100
101
  # ----------------------------------------------------------------------
101
102
  # Proof for derived triple:
102
- # :d1 gps:plan ((:fly_gent_kortrijk :get_zone_permit_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :public_coastline_brugge_oostende) 5300 0.025 0.9536872605975 0.9126691199999999 :mid :yes (:t :t)) .
103
+ # :d1 gps:plan ((:fly_gent_kortrijk :get_zone_permit_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :public_coastline_brugge_oostende) "5300"^^xsd:decimal "0.025"^^xsd:decimal "0.9536872605975"^^xsd:decimal "0.9126691199999999"^^xsd:decimal :mid :yes (:t :t)) .
103
104
  # It holds because the following instance of the rule body is provable:
104
105
  # :fuel7 :value (:t :t :t :t :t :t :t) .
105
106
  # ({
@@ -110,9 +111,9 @@
110
111
  # :d1 :location :Oostende .
111
112
  # :d1 :battery :mid .
112
113
  # :d1 :permit :yes .
113
- # } (:fly_gent_kortrijk :get_zone_permit_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :public_coastline_brugge_oostende) 5300 0.025 0.9536872605975 0.9126691199999999 (:t :t :t :t :t :t :t) (:t :t)) :path true .
114
- # 0.9536872605975 math:greaterThan 0.94 .
115
- # 0.025 math:lessThan 0.03 .
114
+ # } (:fly_gent_kortrijk :get_zone_permit_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :public_coastline_brugge_oostende) "5300"^^xsd:decimal "0.025"^^xsd:decimal "0.9536872605975"^^xsd:decimal "0.9126691199999999"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t)) :path true .
115
+ # "0.9536872605975"^^xsd:decimal math:greaterThan 0.94 .
116
+ # "0.025"^^xsd:decimal math:lessThan 0.03 .
116
117
  # via the schematic forward rule:
117
118
  # {
118
119
  # :fuel7 :value ?Fuel .
@@ -133,21 +134,21 @@
133
134
  # with substitution (on rule variables):
134
135
  # ?Acts = (:fly_gent_kortrijk :get_zone_permit_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :public_coastline_brugge_oostende)
135
136
  # ?B = :mid
136
- # ?Bel = 0.9536872605975
137
- # ?Comf = 0.9126691199999999
138
- # ?Cost = 0.025
139
- # ?Dur = 5300
137
+ # ?Bel = "0.9536872605975"^^xsd:decimal
138
+ # ?Comf = "0.9126691199999999"^^xsd:decimal
139
+ # ?Cost = "0.025"^^xsd:decimal
140
+ # ?Dur = "5300"^^xsd:decimal
140
141
  # ?Fuel = (:t :t :t :t :t :t :t)
141
142
  # ?FuelLeft = (:t :t)
142
143
  # ?P = :yes
143
144
  # Therefore the derived triple above is entailed by the rules and facts.
144
145
  # ----------------------------------------------------------------------
145
146
 
146
- :d1 gps:plan ((:fly_gent_kortrijk :get_zone_permit_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :public_coastline_brugge_oostende) 5300 0.025 0.9536872605975 0.9126691199999999 :mid :yes (:t :t)) .
147
+ :d1 gps:plan ((:fly_gent_kortrijk :get_zone_permit_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :public_coastline_brugge_oostende) "5300"^^xsd:decimal "0.025"^^xsd:decimal "0.9536872605975"^^xsd:decimal "0.9126691199999999"^^xsd:decimal :mid :yes (:t :t)) .
147
148
 
148
149
  # ----------------------------------------------------------------------
149
150
  # Proof for derived triple:
150
- # :d1 gps:plan ((:fly_gent_kortrijk :get_zone_permit_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :cross_corridor_brugge_oostende) 5000 0.023 0.958577964498 0.9506969999999999 :mid :yes (:t :t)) .
151
+ # :d1 gps:plan ((:fly_gent_kortrijk :get_zone_permit_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :cross_corridor_brugge_oostende) "5000"^^xsd:decimal "0.023"^^xsd:decimal "0.958577964498"^^xsd:decimal "0.9506969999999999"^^xsd:decimal :mid :yes (:t :t)) .
151
152
  # It holds because the following instance of the rule body is provable:
152
153
  # :fuel7 :value (:t :t :t :t :t :t :t) .
153
154
  # ({
@@ -158,9 +159,9 @@
158
159
  # :d1 :location :Oostende .
159
160
  # :d1 :battery :mid .
160
161
  # :d1 :permit :yes .
161
- # } (:fly_gent_kortrijk :get_zone_permit_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :cross_corridor_brugge_oostende) 5000 0.023 0.958577964498 0.9506969999999999 (:t :t :t :t :t :t :t) (:t :t)) :path true .
162
- # 0.958577964498 math:greaterThan 0.94 .
163
- # 0.023 math:lessThan 0.03 .
162
+ # } (:fly_gent_kortrijk :get_zone_permit_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :cross_corridor_brugge_oostende) "5000"^^xsd:decimal "0.023"^^xsd:decimal "0.958577964498"^^xsd:decimal "0.9506969999999999"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t)) :path true .
163
+ # "0.958577964498"^^xsd:decimal math:greaterThan 0.94 .
164
+ # "0.023"^^xsd:decimal math:lessThan 0.03 .
164
165
  # via the schematic forward rule:
165
166
  # {
166
167
  # :fuel7 :value ?Fuel .
@@ -181,21 +182,21 @@
181
182
  # with substitution (on rule variables):
182
183
  # ?Acts = (:fly_gent_kortrijk :get_zone_permit_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :cross_corridor_brugge_oostende)
183
184
  # ?B = :mid
184
- # ?Bel = 0.958577964498
185
- # ?Comf = 0.9506969999999999
186
- # ?Cost = 0.023
187
- # ?Dur = 5000
185
+ # ?Bel = "0.958577964498"^^xsd:decimal
186
+ # ?Comf = "0.9506969999999999"^^xsd:decimal
187
+ # ?Cost = "0.023"^^xsd:decimal
188
+ # ?Dur = "5000"^^xsd:decimal
188
189
  # ?Fuel = (:t :t :t :t :t :t :t)
189
190
  # ?FuelLeft = (:t :t)
190
191
  # ?P = :yes
191
192
  # Therefore the derived triple above is entailed by the rules and facts.
192
193
  # ----------------------------------------------------------------------
193
194
 
194
- :d1 gps:plan ((:fly_gent_kortrijk :get_zone_permit_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :cross_corridor_brugge_oostende) 5000 0.023 0.958577964498 0.9506969999999999 :mid :yes (:t :t)) .
195
+ :d1 gps:plan ((:fly_gent_kortrijk :get_zone_permit_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :cross_corridor_brugge_oostende) "5000"^^xsd:decimal "0.023"^^xsd:decimal "0.958577964498"^^xsd:decimal "0.9506969999999999"^^xsd:decimal :mid :yes (:t :t)) .
195
196
 
196
197
  # ----------------------------------------------------------------------
197
198
  # Proof for derived triple:
198
- # :d1 gps:plan ((:fly_gent_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :buy_permit_brugge :cross_corridor_brugge_oostende) 5150 0.024 0.94034675196 0.9506969999999999 :mid :yes (:t :t)) .
199
+ # :d1 gps:plan ((:fly_gent_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :buy_permit_brugge :cross_corridor_brugge_oostende) "5150"^^xsd:decimal "0.024"^^xsd:decimal "0.94034675196"^^xsd:decimal "0.9506969999999999"^^xsd:decimal :mid :yes (:t :t)) .
199
200
  # It holds because the following instance of the rule body is provable:
200
201
  # :fuel7 :value (:t :t :t :t :t :t :t) .
201
202
  # ({
@@ -206,9 +207,9 @@
206
207
  # :d1 :location :Oostende .
207
208
  # :d1 :battery :mid .
208
209
  # :d1 :permit :yes .
209
- # } (:fly_gent_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :buy_permit_brugge :cross_corridor_brugge_oostende) 5150 0.024 0.94034675196 0.9506969999999999 (:t :t :t :t :t :t :t) (:t :t)) :path true .
210
- # 0.94034675196 math:greaterThan 0.94 .
211
- # 0.024 math:lessThan 0.03 .
210
+ # } (:fly_gent_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :buy_permit_brugge :cross_corridor_brugge_oostende) "5150"^^xsd:decimal "0.024"^^xsd:decimal "0.94034675196"^^xsd:decimal "0.9506969999999999"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t)) :path true .
211
+ # "0.94034675196"^^xsd:decimal math:greaterThan 0.94 .
212
+ # "0.024"^^xsd:decimal math:lessThan 0.03 .
212
213
  # via the schematic forward rule:
213
214
  # {
214
215
  # :fuel7 :value ?Fuel .
@@ -229,21 +230,21 @@
229
230
  # with substitution (on rule variables):
230
231
  # ?Acts = (:fly_gent_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :buy_permit_brugge :cross_corridor_brugge_oostende)
231
232
  # ?B = :mid
232
- # ?Bel = 0.94034675196
233
- # ?Comf = 0.9506969999999999
234
- # ?Cost = 0.024
235
- # ?Dur = 5150
233
+ # ?Bel = "0.94034675196"^^xsd:decimal
234
+ # ?Comf = "0.9506969999999999"^^xsd:decimal
235
+ # ?Cost = "0.024"^^xsd:decimal
236
+ # ?Dur = "5150"^^xsd:decimal
236
237
  # ?Fuel = (:t :t :t :t :t :t :t)
237
238
  # ?FuelLeft = (:t :t)
238
239
  # ?P = :yes
239
240
  # Therefore the derived triple above is entailed by the rules and facts.
240
241
  # ----------------------------------------------------------------------
241
242
 
242
- :d1 gps:plan ((:fly_gent_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :buy_permit_brugge :cross_corridor_brugge_oostende) 5150 0.024 0.94034675196 0.9506969999999999 :mid :yes (:t :t)) .
243
+ :d1 gps:plan ((:fly_gent_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :buy_permit_brugge :cross_corridor_brugge_oostende) "5150"^^xsd:decimal "0.024"^^xsd:decimal "0.94034675196"^^xsd:decimal "0.9506969999999999"^^xsd:decimal :mid :yes (:t :t)) .
243
244
 
244
245
  # ----------------------------------------------------------------------
245
246
  # Proof for derived triple:
246
- # :d1 gps:plan ((:fly_gent_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :public_coastline_brugge_oostende) 5000 0.024 0.9546419025 0.9126691199999999 :mid :none (:t :t :t)) .
247
+ # :d1 gps:plan ((:fly_gent_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :public_coastline_brugge_oostende) "5000"^^xsd:decimal "0.024"^^xsd:decimal "0.9546419025"^^xsd:decimal "0.9126691199999999"^^xsd:decimal :mid :none (:t :t :t)) .
247
248
  # It holds because the following instance of the rule body is provable:
248
249
  # :fuel7 :value (:t :t :t :t :t :t :t) .
249
250
  # ({
@@ -254,9 +255,9 @@
254
255
  # :d1 :location :Oostende .
255
256
  # :d1 :battery :mid .
256
257
  # :d1 :permit :none .
257
- # } (:fly_gent_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :public_coastline_brugge_oostende) 5000 0.024 0.9546419025 0.9126691199999999 (:t :t :t :t :t :t :t) (:t :t :t)) :path true .
258
- # 0.9546419025 math:greaterThan 0.94 .
259
- # 0.024 math:lessThan 0.03 .
258
+ # } (:fly_gent_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :public_coastline_brugge_oostende) "5000"^^xsd:decimal "0.024"^^xsd:decimal "0.9546419025"^^xsd:decimal "0.9126691199999999"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t :t)) :path true .
259
+ # "0.9546419025"^^xsd:decimal math:greaterThan 0.94 .
260
+ # "0.024"^^xsd:decimal math:lessThan 0.03 .
260
261
  # via the schematic forward rule:
261
262
  # {
262
263
  # :fuel7 :value ?Fuel .
@@ -277,21 +278,21 @@
277
278
  # with substitution (on rule variables):
278
279
  # ?Acts = (:fly_gent_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :public_coastline_brugge_oostende)
279
280
  # ?B = :mid
280
- # ?Bel = 0.9546419025
281
- # ?Comf = 0.9126691199999999
282
- # ?Cost = 0.024
283
- # ?Dur = 5000
281
+ # ?Bel = "0.9546419025"^^xsd:decimal
282
+ # ?Comf = "0.9126691199999999"^^xsd:decimal
283
+ # ?Cost = "0.024"^^xsd:decimal
284
+ # ?Dur = "5000"^^xsd:decimal
284
285
  # ?Fuel = (:t :t :t :t :t :t :t)
285
286
  # ?FuelLeft = (:t :t :t)
286
287
  # ?P = :none
287
288
  # Therefore the derived triple above is entailed by the rules and facts.
288
289
  # ----------------------------------------------------------------------
289
290
 
290
- :d1 gps:plan ((:fly_gent_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :public_coastline_brugge_oostende) 5000 0.024 0.9546419025 0.9126691199999999 :mid :none (:t :t :t)) .
291
+ :d1 gps:plan ((:fly_gent_kortrijk :fly_kortrijk_brugge :quick_charge_brugge :public_coastline_brugge_oostende) "5000"^^xsd:decimal "0.024"^^xsd:decimal "0.9546419025"^^xsd:decimal "0.9126691199999999"^^xsd:decimal :mid :none (:t :t :t)) .
291
292
 
292
293
  # ----------------------------------------------------------------------
293
294
  # Proof for derived triple:
294
- # :d1 gps:plan ((:fly_gent_kortrijk :fly_kortrijk_brugge :buy_permit_brugge :quick_charge_brugge :cross_corridor_brugge_oostende) 5150 0.024 0.94034675196 0.9506969999999999 :mid :yes (:t :t)) .
295
+ # :d1 gps:plan ((:fly_gent_kortrijk :fly_kortrijk_brugge :buy_permit_brugge :quick_charge_brugge :cross_corridor_brugge_oostende) "5150"^^xsd:decimal "0.024"^^xsd:decimal "0.94034675196"^^xsd:decimal "0.9506969999999999"^^xsd:decimal :mid :yes (:t :t)) .
295
296
  # It holds because the following instance of the rule body is provable:
296
297
  # :fuel7 :value (:t :t :t :t :t :t :t) .
297
298
  # ({
@@ -302,9 +303,9 @@
302
303
  # :d1 :location :Oostende .
303
304
  # :d1 :battery :mid .
304
305
  # :d1 :permit :yes .
305
- # } (:fly_gent_kortrijk :fly_kortrijk_brugge :buy_permit_brugge :quick_charge_brugge :cross_corridor_brugge_oostende) 5150 0.024 0.94034675196 0.9506969999999999 (:t :t :t :t :t :t :t) (:t :t)) :path true .
306
- # 0.94034675196 math:greaterThan 0.94 .
307
- # 0.024 math:lessThan 0.03 .
306
+ # } (:fly_gent_kortrijk :fly_kortrijk_brugge :buy_permit_brugge :quick_charge_brugge :cross_corridor_brugge_oostende) "5150"^^xsd:decimal "0.024"^^xsd:decimal "0.94034675196"^^xsd:decimal "0.9506969999999999"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t)) :path true .
307
+ # "0.94034675196"^^xsd:decimal math:greaterThan 0.94 .
308
+ # "0.024"^^xsd:decimal math:lessThan 0.03 .
308
309
  # via the schematic forward rule:
309
310
  # {
310
311
  # :fuel7 :value ?Fuel .
@@ -325,21 +326,21 @@
325
326
  # with substitution (on rule variables):
326
327
  # ?Acts = (:fly_gent_kortrijk :fly_kortrijk_brugge :buy_permit_brugge :quick_charge_brugge :cross_corridor_brugge_oostende)
327
328
  # ?B = :mid
328
- # ?Bel = 0.94034675196
329
- # ?Comf = 0.9506969999999999
330
- # ?Cost = 0.024
331
- # ?Dur = 5150
329
+ # ?Bel = "0.94034675196"^^xsd:decimal
330
+ # ?Comf = "0.9506969999999999"^^xsd:decimal
331
+ # ?Cost = "0.024"^^xsd:decimal
332
+ # ?Dur = "5150"^^xsd:decimal
332
333
  # ?Fuel = (:t :t :t :t :t :t :t)
333
334
  # ?FuelLeft = (:t :t)
334
335
  # ?P = :yes
335
336
  # Therefore the derived triple above is entailed by the rules and facts.
336
337
  # ----------------------------------------------------------------------
337
338
 
338
- :d1 gps:plan ((:fly_gent_kortrijk :fly_kortrijk_brugge :buy_permit_brugge :quick_charge_brugge :cross_corridor_brugge_oostende) 5150 0.024 0.94034675196 0.9506969999999999 :mid :yes (:t :t)) .
339
+ :d1 gps:plan ((:fly_gent_kortrijk :fly_kortrijk_brugge :buy_permit_brugge :quick_charge_brugge :cross_corridor_brugge_oostende) "5150"^^xsd:decimal "0.024"^^xsd:decimal "0.94034675196"^^xsd:decimal "0.9506969999999999"^^xsd:decimal :mid :yes (:t :t)) .
339
340
 
340
341
  # ----------------------------------------------------------------------
341
342
  # Proof for derived triple:
342
- # :d1 gps:plan ((:train_gent_brugge :buy_permit_brugge :public_coastline_brugge_oostende) 3350 0.02 0.9545445 0.9551999999999999 :mid :yes (:t :t :t :t)) .
343
+ # :d1 gps:plan ((:train_gent_brugge :buy_permit_brugge :public_coastline_brugge_oostende) "3350"^^xsd:decimal "0.02"^^xsd:decimal "0.9545445"^^xsd:decimal "0.9551999999999999"^^xsd:decimal :mid :yes (:t :t :t :t)) .
343
344
  # It holds because the following instance of the rule body is provable:
344
345
  # :fuel7 :value (:t :t :t :t :t :t :t) .
345
346
  # ({
@@ -350,9 +351,9 @@
350
351
  # :d1 :location :Oostende .
351
352
  # :d1 :battery :mid .
352
353
  # :d1 :permit :yes .
353
- # } (:train_gent_brugge :buy_permit_brugge :public_coastline_brugge_oostende) 3350 0.02 0.9545445 0.9551999999999999 (:t :t :t :t :t :t :t) (:t :t :t :t)) :path true .
354
- # 0.9545445 math:greaterThan 0.94 .
355
- # 0.02 math:lessThan 0.03 .
354
+ # } (:train_gent_brugge :buy_permit_brugge :public_coastline_brugge_oostende) "3350"^^xsd:decimal "0.02"^^xsd:decimal "0.9545445"^^xsd:decimal "0.9551999999999999"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t :t :t)) :path true .
355
+ # "0.9545445"^^xsd:decimal math:greaterThan 0.94 .
356
+ # "0.02"^^xsd:decimal math:lessThan 0.03 .
356
357
  # via the schematic forward rule:
357
358
  # {
358
359
  # :fuel7 :value ?Fuel .
@@ -373,21 +374,21 @@
373
374
  # with substitution (on rule variables):
374
375
  # ?Acts = (:train_gent_brugge :buy_permit_brugge :public_coastline_brugge_oostende)
375
376
  # ?B = :mid
376
- # ?Bel = 0.9545445
377
- # ?Comf = 0.9551999999999999
378
- # ?Cost = 0.02
379
- # ?Dur = 3350
377
+ # ?Bel = "0.9545445"^^xsd:decimal
378
+ # ?Comf = "0.9551999999999999"^^xsd:decimal
379
+ # ?Cost = "0.02"^^xsd:decimal
380
+ # ?Dur = "3350"^^xsd:decimal
380
381
  # ?Fuel = (:t :t :t :t :t :t :t)
381
382
  # ?FuelLeft = (:t :t :t :t)
382
383
  # ?P = :yes
383
384
  # Therefore the derived triple above is entailed by the rules and facts.
384
385
  # ----------------------------------------------------------------------
385
386
 
386
- :d1 gps:plan ((:train_gent_brugge :buy_permit_brugge :public_coastline_brugge_oostende) 3350 0.02 0.9545445 0.9551999999999999 :mid :yes (:t :t :t :t)) .
387
+ :d1 gps:plan ((:train_gent_brugge :buy_permit_brugge :public_coastline_brugge_oostende) "3350"^^xsd:decimal "0.02"^^xsd:decimal "0.9545445"^^xsd:decimal "0.9551999999999999"^^xsd:decimal :mid :yes (:t :t :t :t)) .
387
388
 
388
389
  # ----------------------------------------------------------------------
389
390
  # Proof for derived triple:
390
- # :d1 gps:plan ((:train_gent_brugge :buy_permit_brugge :cross_corridor_brugge_oostende) 3050 0.018000000000000002 0.9594396 0.995 :mid :yes (:t :t :t :t)) .
391
+ # :d1 gps:plan ((:train_gent_brugge :buy_permit_brugge :cross_corridor_brugge_oostende) "3050"^^xsd:decimal "0.018000000000000002"^^xsd:decimal "0.9594396"^^xsd:decimal "0.995"^^xsd:decimal :mid :yes (:t :t :t :t)) .
391
392
  # It holds because the following instance of the rule body is provable:
392
393
  # :fuel7 :value (:t :t :t :t :t :t :t) .
393
394
  # ({
@@ -398,9 +399,9 @@
398
399
  # :d1 :location :Oostende .
399
400
  # :d1 :battery :mid .
400
401
  # :d1 :permit :yes .
401
- # } (:train_gent_brugge :buy_permit_brugge :cross_corridor_brugge_oostende) 3050 0.018000000000000002 0.9594396 0.995 (:t :t :t :t :t :t :t) (:t :t :t :t)) :path true .
402
- # 0.9594396 math:greaterThan 0.94 .
403
- # 0.018000000000000002 math:lessThan 0.03 .
402
+ # } (:train_gent_brugge :buy_permit_brugge :cross_corridor_brugge_oostende) "3050"^^xsd:decimal "0.018000000000000002"^^xsd:decimal "0.9594396"^^xsd:decimal "0.995"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t :t :t)) :path true .
403
+ # "0.9594396"^^xsd:decimal math:greaterThan 0.94 .
404
+ # "0.018000000000000002"^^xsd:decimal math:lessThan 0.03 .
404
405
  # via the schematic forward rule:
405
406
  # {
406
407
  # :fuel7 :value ?Fuel .
@@ -421,21 +422,21 @@
421
422
  # with substitution (on rule variables):
422
423
  # ?Acts = (:train_gent_brugge :buy_permit_brugge :cross_corridor_brugge_oostende)
423
424
  # ?B = :mid
424
- # ?Bel = 0.9594396
425
- # ?Comf = 0.995
426
- # ?Cost = 0.018000000000000002
427
- # ?Dur = 3050
425
+ # ?Bel = "0.9594396"^^xsd:decimal
426
+ # ?Comf = "0.995"^^xsd:decimal
427
+ # ?Cost = "0.018000000000000002"^^xsd:decimal
428
+ # ?Dur = "3050"^^xsd:decimal
428
429
  # ?Fuel = (:t :t :t :t :t :t :t)
429
430
  # ?FuelLeft = (:t :t :t :t)
430
431
  # ?P = :yes
431
432
  # Therefore the derived triple above is entailed by the rules and facts.
432
433
  # ----------------------------------------------------------------------
433
434
 
434
- :d1 gps:plan ((:train_gent_brugge :buy_permit_brugge :cross_corridor_brugge_oostende) 3050 0.018000000000000002 0.9594396 0.995 :mid :yes (:t :t :t :t)) .
435
+ :d1 gps:plan ((:train_gent_brugge :buy_permit_brugge :cross_corridor_brugge_oostende) "3050"^^xsd:decimal "0.018000000000000002"^^xsd:decimal "0.9594396"^^xsd:decimal "0.995"^^xsd:decimal :mid :yes (:t :t :t :t)) .
435
436
 
436
437
  # ----------------------------------------------------------------------
437
438
  # Proof for derived triple:
438
- # :d1 gps:plan ((:train_gent_brugge :public_coastline_brugge_oostende) 2900 0.018000000000000002 0.974025 0.9551999999999999 :mid :none (:t :t :t :t :t)) .
439
+ # :d1 gps:plan ((:train_gent_brugge :public_coastline_brugge_oostende) "2900"^^xsd:decimal "0.018000000000000002"^^xsd:decimal "0.974025"^^xsd:decimal "0.9551999999999999"^^xsd:decimal :mid :none (:t :t :t :t :t)) .
439
440
  # It holds because the following instance of the rule body is provable:
440
441
  # :fuel7 :value (:t :t :t :t :t :t :t) .
441
442
  # ({
@@ -446,9 +447,9 @@
446
447
  # :d1 :location :Oostende .
447
448
  # :d1 :battery :mid .
448
449
  # :d1 :permit :none .
449
- # } (:train_gent_brugge :public_coastline_brugge_oostende) 2900 0.018000000000000002 0.974025 0.9551999999999999 (:t :t :t :t :t :t :t) (:t :t :t :t :t)) :path true .
450
- # 0.974025 math:greaterThan 0.94 .
451
- # 0.018000000000000002 math:lessThan 0.03 .
450
+ # } (:train_gent_brugge :public_coastline_brugge_oostende) "2900"^^xsd:decimal "0.018000000000000002"^^xsd:decimal "0.974025"^^xsd:decimal "0.9551999999999999"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t :t :t :t)) :path true .
451
+ # "0.974025"^^xsd:decimal math:greaterThan 0.94 .
452
+ # "0.018000000000000002"^^xsd:decimal math:lessThan 0.03 .
452
453
  # via the schematic forward rule:
453
454
  # {
454
455
  # :fuel7 :value ?Fuel .
@@ -469,21 +470,21 @@
469
470
  # with substitution (on rule variables):
470
471
  # ?Acts = (:train_gent_brugge :public_coastline_brugge_oostende)
471
472
  # ?B = :mid
472
- # ?Bel = 0.974025
473
- # ?Comf = 0.9551999999999999
474
- # ?Cost = 0.018000000000000002
475
- # ?Dur = 2900
473
+ # ?Bel = "0.974025"^^xsd:decimal
474
+ # ?Comf = "0.9551999999999999"^^xsd:decimal
475
+ # ?Cost = "0.018000000000000002"^^xsd:decimal
476
+ # ?Dur = "2900"^^xsd:decimal
476
477
  # ?Fuel = (:t :t :t :t :t :t :t)
477
478
  # ?FuelLeft = (:t :t :t :t :t)
478
479
  # ?P = :none
479
480
  # Therefore the derived triple above is entailed by the rules and facts.
480
481
  # ----------------------------------------------------------------------
481
482
 
482
- :d1 gps:plan ((:train_gent_brugge :public_coastline_brugge_oostende) 2900 0.018000000000000002 0.974025 0.9551999999999999 :mid :none (:t :t :t :t :t)) .
483
+ :d1 gps:plan ((:train_gent_brugge :public_coastline_brugge_oostende) "2900"^^xsd:decimal "0.018000000000000002"^^xsd:decimal "0.974025"^^xsd:decimal "0.9551999999999999"^^xsd:decimal :mid :none (:t :t :t :t :t)) .
483
484
 
484
485
  # ----------------------------------------------------------------------
485
486
  # Proof for derived triple:
486
- # :d1 gps:plan ((:fly_gent_brugge :topup_brugge :buy_permit_brugge :public_coastline_brugge_oostende) 3550 0.017 0.944999055 0.931392 :mid :yes (:t :t :t)) .
487
+ # :d1 gps:plan ((:fly_gent_brugge :topup_brugge :buy_permit_brugge :public_coastline_brugge_oostende) "3550"^^xsd:decimal "0.017"^^xsd:decimal "0.944999055"^^xsd:decimal "0.931392"^^xsd:decimal :mid :yes (:t :t :t)) .
487
488
  # It holds because the following instance of the rule body is provable:
488
489
  # :fuel7 :value (:t :t :t :t :t :t :t) .
489
490
  # ({
@@ -494,9 +495,9 @@
494
495
  # :d1 :location :Oostende .
495
496
  # :d1 :battery :mid .
496
497
  # :d1 :permit :yes .
497
- # } (:fly_gent_brugge :topup_brugge :buy_permit_brugge :public_coastline_brugge_oostende) 3550 0.017 0.944999055 0.931392 (:t :t :t :t :t :t :t) (:t :t :t)) :path true .
498
- # 0.944999055 math:greaterThan 0.94 .
499
- # 0.017 math:lessThan 0.03 .
498
+ # } (:fly_gent_brugge :topup_brugge :buy_permit_brugge :public_coastline_brugge_oostende) "3550"^^xsd:decimal "0.017"^^xsd:decimal "0.944999055"^^xsd:decimal "0.931392"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t :t)) :path true .
499
+ # "0.944999055"^^xsd:decimal math:greaterThan 0.94 .
500
+ # "0.017"^^xsd:decimal math:lessThan 0.03 .
500
501
  # via the schematic forward rule:
501
502
  # {
502
503
  # :fuel7 :value ?Fuel .
@@ -517,21 +518,21 @@
517
518
  # with substitution (on rule variables):
518
519
  # ?Acts = (:fly_gent_brugge :topup_brugge :buy_permit_brugge :public_coastline_brugge_oostende)
519
520
  # ?B = :mid
520
- # ?Bel = 0.944999055
521
- # ?Comf = 0.931392
522
- # ?Cost = 0.017
523
- # ?Dur = 3550
521
+ # ?Bel = "0.944999055"^^xsd:decimal
522
+ # ?Comf = "0.931392"^^xsd:decimal
523
+ # ?Cost = "0.017"^^xsd:decimal
524
+ # ?Dur = "3550"^^xsd:decimal
524
525
  # ?Fuel = (:t :t :t :t :t :t :t)
525
526
  # ?FuelLeft = (:t :t :t)
526
527
  # ?P = :yes
527
528
  # Therefore the derived triple above is entailed by the rules and facts.
528
529
  # ----------------------------------------------------------------------
529
530
 
530
- :d1 gps:plan ((:fly_gent_brugge :topup_brugge :buy_permit_brugge :public_coastline_brugge_oostende) 3550 0.017 0.944999055 0.931392 :mid :yes (:t :t :t)) .
531
+ :d1 gps:plan ((:fly_gent_brugge :topup_brugge :buy_permit_brugge :public_coastline_brugge_oostende) "3550"^^xsd:decimal "0.017"^^xsd:decimal "0.944999055"^^xsd:decimal "0.931392"^^xsd:decimal :mid :yes (:t :t :t)) .
531
532
 
532
533
  # ----------------------------------------------------------------------
533
534
  # Proof for derived triple:
534
- # :d1 gps:plan ((:fly_gent_brugge :topup_brugge :buy_permit_brugge :cross_corridor_brugge_oostende) 3250 0.015000000000000001 0.9498452039999999 0.9702 :mid :yes (:t :t :t)) .
535
+ # :d1 gps:plan ((:fly_gent_brugge :topup_brugge :buy_permit_brugge :cross_corridor_brugge_oostende) "3250"^^xsd:decimal "0.015000000000000001"^^xsd:decimal "0.9498452039999999"^^xsd:decimal "0.9702"^^xsd:decimal :mid :yes (:t :t :t)) .
535
536
  # It holds because the following instance of the rule body is provable:
536
537
  # :fuel7 :value (:t :t :t :t :t :t :t) .
537
538
  # ({
@@ -542,9 +543,9 @@
542
543
  # :d1 :location :Oostende .
543
544
  # :d1 :battery :mid .
544
545
  # :d1 :permit :yes .
545
- # } (:fly_gent_brugge :topup_brugge :buy_permit_brugge :cross_corridor_brugge_oostende) 3250 0.015000000000000001 0.9498452039999999 0.9702 (:t :t :t :t :t :t :t) (:t :t :t)) :path true .
546
- # 0.9498452039999999 math:greaterThan 0.94 .
547
- # 0.015000000000000001 math:lessThan 0.03 .
546
+ # } (:fly_gent_brugge :topup_brugge :buy_permit_brugge :cross_corridor_brugge_oostende) "3250"^^xsd:decimal "0.015000000000000001"^^xsd:decimal "0.9498452039999999"^^xsd:decimal "0.9702"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t :t)) :path true .
547
+ # "0.9498452039999999"^^xsd:decimal math:greaterThan 0.94 .
548
+ # "0.015000000000000001"^^xsd:decimal math:lessThan 0.03 .
548
549
  # via the schematic forward rule:
549
550
  # {
550
551
  # :fuel7 :value ?Fuel .
@@ -565,21 +566,21 @@
565
566
  # with substitution (on rule variables):
566
567
  # ?Acts = (:fly_gent_brugge :topup_brugge :buy_permit_brugge :cross_corridor_brugge_oostende)
567
568
  # ?B = :mid
568
- # ?Bel = 0.9498452039999999
569
- # ?Comf = 0.9702
570
- # ?Cost = 0.015000000000000001
571
- # ?Dur = 3250
569
+ # ?Bel = "0.9498452039999999"^^xsd:decimal
570
+ # ?Comf = "0.9702"^^xsd:decimal
571
+ # ?Cost = "0.015000000000000001"^^xsd:decimal
572
+ # ?Dur = "3250"^^xsd:decimal
572
573
  # ?Fuel = (:t :t :t :t :t :t :t)
573
574
  # ?FuelLeft = (:t :t :t)
574
575
  # ?P = :yes
575
576
  # Therefore the derived triple above is entailed by the rules and facts.
576
577
  # ----------------------------------------------------------------------
577
578
 
578
- :d1 gps:plan ((:fly_gent_brugge :topup_brugge :buy_permit_brugge :cross_corridor_brugge_oostende) 3250 0.015000000000000001 0.9498452039999999 0.9702 :mid :yes (:t :t :t)) .
579
+ :d1 gps:plan ((:fly_gent_brugge :topup_brugge :buy_permit_brugge :cross_corridor_brugge_oostende) "3250"^^xsd:decimal "0.015000000000000001"^^xsd:decimal "0.9498452039999999"^^xsd:decimal "0.9702"^^xsd:decimal :mid :yes (:t :t :t)) .
579
580
 
580
581
  # ----------------------------------------------------------------------
581
582
  # Proof for derived triple:
582
- # :d1 gps:plan ((:fly_gent_brugge :topup_brugge :public_coastline_brugge_oostende) 3100 0.015000000000000001 0.96428475 0.931392 :mid :none (:t :t :t :t)) .
583
+ # :d1 gps:plan ((:fly_gent_brugge :topup_brugge :public_coastline_brugge_oostende) "3100"^^xsd:decimal "0.015000000000000001"^^xsd:decimal "0.96428475"^^xsd:decimal "0.931392"^^xsd:decimal :mid :none (:t :t :t :t)) .
583
584
  # It holds because the following instance of the rule body is provable:
584
585
  # :fuel7 :value (:t :t :t :t :t :t :t) .
585
586
  # ({
@@ -590,9 +591,9 @@
590
591
  # :d1 :location :Oostende .
591
592
  # :d1 :battery :mid .
592
593
  # :d1 :permit :none .
593
- # } (:fly_gent_brugge :topup_brugge :public_coastline_brugge_oostende) 3100 0.015000000000000001 0.96428475 0.931392 (:t :t :t :t :t :t :t) (:t :t :t :t)) :path true .
594
- # 0.96428475 math:greaterThan 0.94 .
595
- # 0.015000000000000001 math:lessThan 0.03 .
594
+ # } (:fly_gent_brugge :topup_brugge :public_coastline_brugge_oostende) "3100"^^xsd:decimal "0.015000000000000001"^^xsd:decimal "0.96428475"^^xsd:decimal "0.931392"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t :t :t)) :path true .
595
+ # "0.96428475"^^xsd:decimal math:greaterThan 0.94 .
596
+ # "0.015000000000000001"^^xsd:decimal math:lessThan 0.03 .
596
597
  # via the schematic forward rule:
597
598
  # {
598
599
  # :fuel7 :value ?Fuel .
@@ -613,21 +614,21 @@
613
614
  # with substitution (on rule variables):
614
615
  # ?Acts = (:fly_gent_brugge :topup_brugge :public_coastline_brugge_oostende)
615
616
  # ?B = :mid
616
- # ?Bel = 0.96428475
617
- # ?Comf = 0.931392
618
- # ?Cost = 0.015000000000000001
619
- # ?Dur = 3100
617
+ # ?Bel = "0.96428475"^^xsd:decimal
618
+ # ?Comf = "0.931392"^^xsd:decimal
619
+ # ?Cost = "0.015000000000000001"^^xsd:decimal
620
+ # ?Dur = "3100"^^xsd:decimal
620
621
  # ?Fuel = (:t :t :t :t :t :t :t)
621
622
  # ?FuelLeft = (:t :t :t :t)
622
623
  # ?P = :none
623
624
  # Therefore the derived triple above is entailed by the rules and facts.
624
625
  # ----------------------------------------------------------------------
625
626
 
626
- :d1 gps:plan ((:fly_gent_brugge :topup_brugge :public_coastline_brugge_oostende) 3100 0.015000000000000001 0.96428475 0.931392 :mid :none (:t :t :t :t)) .
627
+ :d1 gps:plan ((:fly_gent_brugge :topup_brugge :public_coastline_brugge_oostende) "3100"^^xsd:decimal "0.015000000000000001"^^xsd:decimal "0.96428475"^^xsd:decimal "0.931392"^^xsd:decimal :mid :none (:t :t :t :t)) .
627
628
 
628
629
  # ----------------------------------------------------------------------
629
630
  # Proof for derived triple:
630
- # :d1 gps:plan ((:fly_gent_brugge :buy_permit_brugge :topup_brugge :public_coastline_brugge_oostende) 3550 0.017 0.944999055 0.931392 :mid :yes (:t :t :t)) .
631
+ # :d1 gps:plan ((:fly_gent_brugge :buy_permit_brugge :topup_brugge :public_coastline_brugge_oostende) "3550"^^xsd:decimal "0.017"^^xsd:decimal "0.944999055"^^xsd:decimal "0.931392"^^xsd:decimal :mid :yes (:t :t :t)) .
631
632
  # It holds because the following instance of the rule body is provable:
632
633
  # :fuel7 :value (:t :t :t :t :t :t :t) .
633
634
  # ({
@@ -638,9 +639,9 @@
638
639
  # :d1 :location :Oostende .
639
640
  # :d1 :battery :mid .
640
641
  # :d1 :permit :yes .
641
- # } (:fly_gent_brugge :buy_permit_brugge :topup_brugge :public_coastline_brugge_oostende) 3550 0.017 0.944999055 0.931392 (:t :t :t :t :t :t :t) (:t :t :t)) :path true .
642
- # 0.944999055 math:greaterThan 0.94 .
643
- # 0.017 math:lessThan 0.03 .
642
+ # } (:fly_gent_brugge :buy_permit_brugge :topup_brugge :public_coastline_brugge_oostende) "3550"^^xsd:decimal "0.017"^^xsd:decimal "0.944999055"^^xsd:decimal "0.931392"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t :t)) :path true .
643
+ # "0.944999055"^^xsd:decimal math:greaterThan 0.94 .
644
+ # "0.017"^^xsd:decimal math:lessThan 0.03 .
644
645
  # via the schematic forward rule:
645
646
  # {
646
647
  # :fuel7 :value ?Fuel .
@@ -661,21 +662,21 @@
661
662
  # with substitution (on rule variables):
662
663
  # ?Acts = (:fly_gent_brugge :buy_permit_brugge :topup_brugge :public_coastline_brugge_oostende)
663
664
  # ?B = :mid
664
- # ?Bel = 0.944999055
665
- # ?Comf = 0.931392
666
- # ?Cost = 0.017
667
- # ?Dur = 3550
665
+ # ?Bel = "0.944999055"^^xsd:decimal
666
+ # ?Comf = "0.931392"^^xsd:decimal
667
+ # ?Cost = "0.017"^^xsd:decimal
668
+ # ?Dur = "3550"^^xsd:decimal
668
669
  # ?Fuel = (:t :t :t :t :t :t :t)
669
670
  # ?FuelLeft = (:t :t :t)
670
671
  # ?P = :yes
671
672
  # Therefore the derived triple above is entailed by the rules and facts.
672
673
  # ----------------------------------------------------------------------
673
674
 
674
- :d1 gps:plan ((:fly_gent_brugge :buy_permit_brugge :topup_brugge :public_coastline_brugge_oostende) 3550 0.017 0.944999055 0.931392 :mid :yes (:t :t :t)) .
675
+ :d1 gps:plan ((:fly_gent_brugge :buy_permit_brugge :topup_brugge :public_coastline_brugge_oostende) "3550"^^xsd:decimal "0.017"^^xsd:decimal "0.944999055"^^xsd:decimal "0.931392"^^xsd:decimal :mid :yes (:t :t :t)) .
675
676
 
676
677
  # ----------------------------------------------------------------------
677
678
  # Proof for derived triple:
678
- # :d1 gps:plan ((:fly_gent_brugge :buy_permit_brugge :topup_brugge :cross_corridor_brugge_oostende) 3250 0.015000000000000001 0.9498452039999999 0.9702 :mid :yes (:t :t :t)) .
679
+ # :d1 gps:plan ((:fly_gent_brugge :buy_permit_brugge :topup_brugge :cross_corridor_brugge_oostende) "3250"^^xsd:decimal "0.015000000000000001"^^xsd:decimal "0.9498452039999999"^^xsd:decimal "0.9702"^^xsd:decimal :mid :yes (:t :t :t)) .
679
680
  # It holds because the following instance of the rule body is provable:
680
681
  # :fuel7 :value (:t :t :t :t :t :t :t) .
681
682
  # ({
@@ -686,9 +687,9 @@
686
687
  # :d1 :location :Oostende .
687
688
  # :d1 :battery :mid .
688
689
  # :d1 :permit :yes .
689
- # } (:fly_gent_brugge :buy_permit_brugge :topup_brugge :cross_corridor_brugge_oostende) 3250 0.015000000000000001 0.9498452039999999 0.9702 (:t :t :t :t :t :t :t) (:t :t :t)) :path true .
690
- # 0.9498452039999999 math:greaterThan 0.94 .
691
- # 0.015000000000000001 math:lessThan 0.03 .
690
+ # } (:fly_gent_brugge :buy_permit_brugge :topup_brugge :cross_corridor_brugge_oostende) "3250"^^xsd:decimal "0.015000000000000001"^^xsd:decimal "0.9498452039999999"^^xsd:decimal "0.9702"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t :t)) :path true .
691
+ # "0.9498452039999999"^^xsd:decimal math:greaterThan 0.94 .
692
+ # "0.015000000000000001"^^xsd:decimal math:lessThan 0.03 .
692
693
  # via the schematic forward rule:
693
694
  # {
694
695
  # :fuel7 :value ?Fuel .
@@ -709,21 +710,21 @@
709
710
  # with substitution (on rule variables):
710
711
  # ?Acts = (:fly_gent_brugge :buy_permit_brugge :topup_brugge :cross_corridor_brugge_oostende)
711
712
  # ?B = :mid
712
- # ?Bel = 0.9498452039999999
713
- # ?Comf = 0.9702
714
- # ?Cost = 0.015000000000000001
715
- # ?Dur = 3250
713
+ # ?Bel = "0.9498452039999999"^^xsd:decimal
714
+ # ?Comf = "0.9702"^^xsd:decimal
715
+ # ?Cost = "0.015000000000000001"^^xsd:decimal
716
+ # ?Dur = "3250"^^xsd:decimal
716
717
  # ?Fuel = (:t :t :t :t :t :t :t)
717
718
  # ?FuelLeft = (:t :t :t)
718
719
  # ?P = :yes
719
720
  # Therefore the derived triple above is entailed by the rules and facts.
720
721
  # ----------------------------------------------------------------------
721
722
 
722
- :d1 gps:plan ((:fly_gent_brugge :buy_permit_brugge :topup_brugge :cross_corridor_brugge_oostende) 3250 0.015000000000000001 0.9498452039999999 0.9702 :mid :yes (:t :t :t)) .
723
+ :d1 gps:plan ((:fly_gent_brugge :buy_permit_brugge :topup_brugge :cross_corridor_brugge_oostende) "3250"^^xsd:decimal "0.015000000000000001"^^xsd:decimal "0.9498452039999999"^^xsd:decimal "0.9702"^^xsd:decimal :mid :yes (:t :t :t)) .
723
724
 
724
725
  # ----------------------------------------------------------------------
725
726
  # Proof for derived triple:
726
- # :d1 gps:plan ((:fly_gent_brugge :buy_permit_brugge :public_coastline_brugge_oostende) 3250 0.014 0.941094 0.9503999999999999 :low :yes (:t :t :t :t)) .
727
+ # :d1 gps:plan ((:fly_gent_brugge :buy_permit_brugge :public_coastline_brugge_oostende) "3250"^^xsd:decimal "0.014"^^xsd:decimal "0.941094"^^xsd:decimal "0.9503999999999999"^^xsd:decimal :low :yes (:t :t :t :t)) .
727
728
  # It holds because the following instance of the rule body is provable:
728
729
  # :fuel7 :value (:t :t :t :t :t :t :t) .
729
730
  # ({
@@ -734,9 +735,9 @@
734
735
  # :d1 :location :Oostende .
735
736
  # :d1 :battery :low .
736
737
  # :d1 :permit :yes .
737
- # } (:fly_gent_brugge :buy_permit_brugge :public_coastline_brugge_oostende) 3250 0.014 0.941094 0.9503999999999999 (:t :t :t :t :t :t :t) (:t :t :t :t)) :path true .
738
- # 0.941094 math:greaterThan 0.94 .
739
- # 0.014 math:lessThan 0.03 .
738
+ # } (:fly_gent_brugge :buy_permit_brugge :public_coastline_brugge_oostende) "3250"^^xsd:decimal "0.014"^^xsd:decimal "0.941094"^^xsd:decimal "0.9503999999999999"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t :t :t)) :path true .
739
+ # "0.941094"^^xsd:decimal math:greaterThan 0.94 .
740
+ # "0.014"^^xsd:decimal math:lessThan 0.03 .
740
741
  # via the schematic forward rule:
741
742
  # {
742
743
  # :fuel7 :value ?Fuel .
@@ -757,21 +758,21 @@
757
758
  # with substitution (on rule variables):
758
759
  # ?Acts = (:fly_gent_brugge :buy_permit_brugge :public_coastline_brugge_oostende)
759
760
  # ?B = :low
760
- # ?Bel = 0.941094
761
- # ?Comf = 0.9503999999999999
762
- # ?Cost = 0.014
763
- # ?Dur = 3250
761
+ # ?Bel = "0.941094"^^xsd:decimal
762
+ # ?Comf = "0.9503999999999999"^^xsd:decimal
763
+ # ?Cost = "0.014"^^xsd:decimal
764
+ # ?Dur = "3250"^^xsd:decimal
764
765
  # ?Fuel = (:t :t :t :t :t :t :t)
765
766
  # ?FuelLeft = (:t :t :t :t)
766
767
  # ?P = :yes
767
768
  # Therefore the derived triple above is entailed by the rules and facts.
768
769
  # ----------------------------------------------------------------------
769
770
 
770
- :d1 gps:plan ((:fly_gent_brugge :buy_permit_brugge :public_coastline_brugge_oostende) 3250 0.014 0.941094 0.9503999999999999 :low :yes (:t :t :t :t)) .
771
+ :d1 gps:plan ((:fly_gent_brugge :buy_permit_brugge :public_coastline_brugge_oostende) "3250"^^xsd:decimal "0.014"^^xsd:decimal "0.941094"^^xsd:decimal "0.9503999999999999"^^xsd:decimal :low :yes (:t :t :t :t)) .
771
772
 
772
773
  # ----------------------------------------------------------------------
773
774
  # Proof for derived triple:
774
- # :d1 gps:plan ((:fly_gent_brugge :public_coastline_brugge_oostende) 2800 0.012 0.9602999999999999 0.9503999999999999 :low :none (:t :t :t :t :t)) .
775
+ # :d1 gps:plan ((:fly_gent_brugge :public_coastline_brugge_oostende) "2800"^^xsd:decimal "0.012"^^xsd:decimal "0.9602999999999999"^^xsd:decimal "0.9503999999999999"^^xsd:decimal :low :none (:t :t :t :t :t)) .
775
776
  # It holds because the following instance of the rule body is provable:
776
777
  # :fuel7 :value (:t :t :t :t :t :t :t) .
777
778
  # ({
@@ -782,9 +783,9 @@
782
783
  # :d1 :location :Oostende .
783
784
  # :d1 :battery :low .
784
785
  # :d1 :permit :none .
785
- # } (:fly_gent_brugge :public_coastline_brugge_oostende) 2800 0.012 0.9602999999999999 0.9503999999999999 (:t :t :t :t :t :t :t) (:t :t :t :t :t)) :path true .
786
- # 0.9602999999999999 math:greaterThan 0.94 .
787
- # 0.012 math:lessThan 0.03 .
786
+ # } (:fly_gent_brugge :public_coastline_brugge_oostende) "2800"^^xsd:decimal "0.012"^^xsd:decimal "0.9602999999999999"^^xsd:decimal "0.9503999999999999"^^xsd:decimal (:t :t :t :t :t :t :t) (:t :t :t :t :t)) :path true .
787
+ # "0.9602999999999999"^^xsd:decimal math:greaterThan 0.94 .
788
+ # "0.012"^^xsd:decimal math:lessThan 0.03 .
788
789
  # via the schematic forward rule:
789
790
  # {
790
791
  # :fuel7 :value ?Fuel .
@@ -805,15 +806,15 @@
805
806
  # with substitution (on rule variables):
806
807
  # ?Acts = (:fly_gent_brugge :public_coastline_brugge_oostende)
807
808
  # ?B = :low
808
- # ?Bel = 0.9602999999999999
809
- # ?Comf = 0.9503999999999999
810
- # ?Cost = 0.012
811
- # ?Dur = 2800
809
+ # ?Bel = "0.9602999999999999"^^xsd:decimal
810
+ # ?Comf = "0.9503999999999999"^^xsd:decimal
811
+ # ?Cost = "0.012"^^xsd:decimal
812
+ # ?Dur = "2800"^^xsd:decimal
812
813
  # ?Fuel = (:t :t :t :t :t :t :t)
813
814
  # ?FuelLeft = (:t :t :t :t :t)
814
815
  # ?P = :none
815
816
  # Therefore the derived triple above is entailed by the rules and facts.
816
817
  # ----------------------------------------------------------------------
817
818
 
818
- :d1 gps:plan ((:fly_gent_brugge :public_coastline_brugge_oostende) 2800 0.012 0.9602999999999999 0.9503999999999999 :low :none (:t :t :t :t :t)) .
819
+ :d1 gps:plan ((:fly_gent_brugge :public_coastline_brugge_oostende) "2800"^^xsd:decimal "0.012"^^xsd:decimal "0.9602999999999999"^^xsd:decimal "0.9503999999999999"^^xsd:decimal :low :none (:t :t :t :t :t)) .
819
820