eyeling 1.6.5 → 1.6.7

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 +369 -139
  21. package/package.json +1 -1
package/examples/output/oslo-steps-library-scholarly.n3 CHANGED
@@ -1,10 +1,11 @@
1
1
  @prefix : <https://eyereasoner.github.io/eye/reasoning#> .
2
2
  @prefix gps: <https://eyereasoner.github.io/eye/reasoning/gps/gps-schema#> .
3
3
  @prefix step: <https://example.org/steps#> .
4
+ @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
4
5
 
5
6
  # ----------------------------------------------------------------------
6
7
  # Proof for derived triple:
7
- # :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription) 43 0.5 0.9082968740999999 0.63532485) .
8
+ # :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription) "43"^^xsd:decimal "0.5"^^xsd:decimal "0.9082968740999999"^^xsd:decimal "0.63532485"^^xsd:decimal) .
8
9
  # It holds because the following instance of the rule body is provable:
9
10
  # state:s5 :formula {
10
11
  # var:x a foaf:Person .
@@ -21,7 +22,7 @@
21
22
  # var:x ex:requestSubmitted true .
22
23
  # var:x ex:itemLocated true .
23
24
  # var:x ex:accessGranted true .
24
- # } (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription) 43 0.5 0.9082968740999999 0.63532485 (5000.0 10.0 0.75 0.60)) .
25
+ # } (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription) "43"^^xsd:decimal "0.5"^^xsd:decimal "0.9082968740999999"^^xsd:decimal "0.63532485"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
25
26
  # via the schematic forward rule:
26
27
  # {
27
28
  # state:s5 :formula ?GOAL .
@@ -30,8 +31,8 @@
30
31
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
31
32
  # } .
32
33
  # with substitution (on rule variables):
33
- # ?COST = 0.5
34
- # ?DUR = 43
34
+ # ?COST = "0.5"^^xsd:decimal
35
+ # ?DUR = "43"^^xsd:decimal
35
36
  # ?GOAL = {
36
37
  # var:x a foaf:Person .
37
38
  # var:x ex:identityVerified true .
@@ -41,16 +42,16 @@
41
42
  # var:x ex:accessGranted true .
42
43
  # }
43
44
  # ?PATH = (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription)
44
- # ?SAT = 0.63532485
45
- # ?SUC = 0.9082968740999999
45
+ # ?SAT = "0.63532485"^^xsd:decimal
46
+ # ?SUC = "0.9082968740999999"^^xsd:decimal
46
47
  # Therefore the derived triple above is entailed by the rules and facts.
47
48
  # ----------------------------------------------------------------------
48
49
 
49
- :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription) 43 0.5 0.9082968740999999 0.63532485) .
50
+ :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription) "43"^^xsd:decimal "0.5"^^xsd:decimal "0.9082968740999999"^^xsd:decimal "0.63532485"^^xsd:decimal) .
50
51
 
51
52
  # ----------------------------------------------------------------------
52
53
  # Proof for derived triple:
53
- # :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess) 42 0 0.8614774475999999 0.6556011749999999) .
54
+ # :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess) "42"^^xsd:decimal "0"^^xsd:decimal "0.8614774475999999"^^xsd:decimal "0.6556011749999999"^^xsd:decimal) .
54
55
  # It holds because the following instance of the rule body is provable:
55
56
  # state:s5 :formula {
56
57
  # var:x a foaf:Person .
@@ -67,7 +68,7 @@
67
68
  # var:x ex:requestSubmitted true .
68
69
  # var:x ex:itemLocated true .
69
70
  # var:x ex:accessGranted true .
70
- # } (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess) 42 0 0.8614774475999999 0.6556011749999999 (5000.0 10.0 0.75 0.60)) .
71
+ # } (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess) "42"^^xsd:decimal "0"^^xsd:decimal "0.8614774475999999"^^xsd:decimal "0.6556011749999999"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
71
72
  # via the schematic forward rule:
72
73
  # {
73
74
  # state:s5 :formula ?GOAL .
@@ -76,8 +77,8 @@
76
77
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
77
78
  # } .
78
79
  # with substitution (on rule variables):
79
- # ?COST = 0
80
- # ?DUR = 42
80
+ # ?COST = "0"^^xsd:decimal
81
+ # ?DUR = "42"^^xsd:decimal
81
82
  # ?GOAL = {
82
83
  # var:x a foaf:Person .
83
84
  # var:x ex:identityVerified true .
@@ -87,16 +88,16 @@
87
88
  # var:x ex:accessGranted true .
88
89
  # }
89
90
  # ?PATH = (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess)
90
- # ?SAT = 0.6556011749999999
91
- # ?SUC = 0.8614774475999999
91
+ # ?SAT = "0.6556011749999999"^^xsd:decimal
92
+ # ?SUC = "0.8614774475999999"^^xsd:decimal
92
93
  # Therefore the derived triple above is entailed by the rules and facts.
93
94
  # ----------------------------------------------------------------------
94
95
 
95
- :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess) 42 0 0.8614774475999999 0.6556011749999999) .
96
+ :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess) "42"^^xsd:decimal "0"^^xsd:decimal "0.8614774475999999"^^xsd:decimal "0.6556011749999999"^^xsd:decimal) .
96
97
 
97
98
  # ----------------------------------------------------------------------
98
99
  # Proof for derived triple:
99
- # :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription) 42 0.5 0.8989329887999999 0.6284934) .
100
+ # :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription) "42"^^xsd:decimal "0.5"^^xsd:decimal "0.8989329887999999"^^xsd:decimal "0.6284934"^^xsd:decimal) .
100
101
  # It holds because the following instance of the rule body is provable:
101
102
  # state:s5 :formula {
102
103
  # var:x a foaf:Person .
@@ -113,7 +114,7 @@
113
114
  # var:x ex:requestSubmitted true .
114
115
  # var:x ex:itemLocated true .
115
116
  # var:x ex:accessGranted true .
116
- # } (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription) 42 0.5 0.8989329887999999 0.6284934 (5000.0 10.0 0.75 0.60)) .
117
+ # } (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription) "42"^^xsd:decimal "0.5"^^xsd:decimal "0.8989329887999999"^^xsd:decimal "0.6284934"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
117
118
  # via the schematic forward rule:
118
119
  # {
119
120
  # state:s5 :formula ?GOAL .
@@ -122,8 +123,8 @@
122
123
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
123
124
  # } .
124
125
  # with substitution (on rule variables):
125
- # ?COST = 0.5
126
- # ?DUR = 42
126
+ # ?COST = "0.5"^^xsd:decimal
127
+ # ?DUR = "42"^^xsd:decimal
127
128
  # ?GOAL = {
128
129
  # var:x a foaf:Person .
129
130
  # var:x ex:identityVerified true .
@@ -133,16 +134,16 @@
133
134
  # var:x ex:accessGranted true .
134
135
  # }
135
136
  # ?PATH = (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription)
136
- # ?SAT = 0.6284934
137
- # ?SUC = 0.8989329887999999
137
+ # ?SAT = "0.6284934"^^xsd:decimal
138
+ # ?SUC = "0.8989329887999999"^^xsd:decimal
138
139
  # Therefore the derived triple above is entailed by the rules and facts.
139
140
  # ----------------------------------------------------------------------
140
141
 
141
- :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription) 42 0.5 0.8989329887999999 0.6284934) .
142
+ :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription) "42"^^xsd:decimal "0.5"^^xsd:decimal "0.8989329887999999"^^xsd:decimal "0.6284934"^^xsd:decimal) .
142
143
 
143
144
  # ----------------------------------------------------------------------
144
145
  # Proof for derived triple:
145
- # :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess) 41 0 0.8525962367999999 0.6485517) .
146
+ # :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess) "41"^^xsd:decimal "0"^^xsd:decimal "0.8525962367999999"^^xsd:decimal "0.6485517"^^xsd:decimal) .
146
147
  # It holds because the following instance of the rule body is provable:
147
148
  # state:s5 :formula {
148
149
  # var:x a foaf:Person .
@@ -159,7 +160,7 @@
159
160
  # var:x ex:requestSubmitted true .
160
161
  # var:x ex:itemLocated true .
161
162
  # var:x ex:accessGranted true .
162
- # } (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess) 41 0 0.8525962367999999 0.6485517 (5000.0 10.0 0.75 0.60)) .
163
+ # } (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess) "41"^^xsd:decimal "0"^^xsd:decimal "0.8525962367999999"^^xsd:decimal "0.6485517"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
163
164
  # via the schematic forward rule:
164
165
  # {
165
166
  # state:s5 :formula ?GOAL .
@@ -168,8 +169,8 @@
168
169
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
169
170
  # } .
170
171
  # with substitution (on rule variables):
171
- # ?COST = 0
172
- # ?DUR = 41
172
+ # ?COST = "0"^^xsd:decimal
173
+ # ?DUR = "41"^^xsd:decimal
173
174
  # ?GOAL = {
174
175
  # var:x a foaf:Person .
175
176
  # var:x ex:identityVerified true .
@@ -179,16 +180,16 @@
179
180
  # var:x ex:accessGranted true .
180
181
  # }
181
182
  # ?PATH = (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess)
182
- # ?SAT = 0.6485517
183
- # ?SUC = 0.8525962367999999
183
+ # ?SAT = "0.6485517"^^xsd:decimal
184
+ # ?SUC = "0.8525962367999999"^^xsd:decimal
184
185
  # Therefore the derived triple above is entailed by the rules and facts.
185
186
  # ----------------------------------------------------------------------
186
187
 
187
- :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess) 41 0 0.8525962367999999 0.6485517) .
188
+ :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess) "41"^^xsd:decimal "0"^^xsd:decimal "0.8525962367999999"^^xsd:decimal "0.6485517"^^xsd:decimal) .
188
189
 
189
190
  # ----------------------------------------------------------------------
190
191
  # Proof for derived triple:
191
- # :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription) 33 0.5 0.8899474422999999 0.66356151) .
192
+ # :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription) "33"^^xsd:decimal "0.5"^^xsd:decimal "0.8899474422999999"^^xsd:decimal "0.66356151"^^xsd:decimal) .
192
193
  # It holds because the following instance of the rule body is provable:
193
194
  # state:s5 :formula {
194
195
  # var:x a foaf:Person .
@@ -205,7 +206,7 @@
205
206
  # var:x ex:requestSubmitted true .
206
207
  # var:x ex:itemLocated true .
207
208
  # var:x ex:accessGranted true .
208
- # } (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription) 33 0.5 0.8899474422999999 0.66356151 (5000.0 10.0 0.75 0.60)) .
209
+ # } (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription) "33"^^xsd:decimal "0.5"^^xsd:decimal "0.8899474422999999"^^xsd:decimal "0.66356151"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
209
210
  # via the schematic forward rule:
210
211
  # {
211
212
  # state:s5 :formula ?GOAL .
@@ -214,8 +215,8 @@
214
215
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
215
216
  # } .
216
217
  # with substitution (on rule variables):
217
- # ?COST = 0.5
218
- # ?DUR = 33
218
+ # ?COST = "0.5"^^xsd:decimal
219
+ # ?DUR = "33"^^xsd:decimal
219
220
  # ?GOAL = {
220
221
  # var:x a foaf:Person .
221
222
  # var:x ex:identityVerified true .
@@ -225,16 +226,16 @@
225
226
  # var:x ex:accessGranted true .
226
227
  # }
227
228
  # ?PATH = (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription)
228
- # ?SAT = 0.66356151
229
- # ?SUC = 0.8899474422999999
229
+ # ?SAT = "0.66356151"^^xsd:decimal
230
+ # ?SUC = "0.8899474422999999"^^xsd:decimal
230
231
  # Therefore the derived triple above is entailed by the rules and facts.
231
232
  # ----------------------------------------------------------------------
232
233
 
233
- :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription) 33 0.5 0.8899474422999999 0.66356151) .
234
+ :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription) "33"^^xsd:decimal "0.5"^^xsd:decimal "0.8899474422999999"^^xsd:decimal "0.66356151"^^xsd:decimal) .
234
235
 
235
236
  # ----------------------------------------------------------------------
236
237
  # Proof for derived triple:
237
- # :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess) 32 0 0.8440738628 0.684739005) .
238
+ # :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess) "32"^^xsd:decimal "0"^^xsd:decimal "0.8440738628"^^xsd:decimal "0.684739005"^^xsd:decimal) .
238
239
  # It holds because the following instance of the rule body is provable:
239
240
  # state:s5 :formula {
240
241
  # var:x a foaf:Person .
@@ -251,7 +252,7 @@
251
252
  # var:x ex:requestSubmitted true .
252
253
  # var:x ex:itemLocated true .
253
254
  # var:x ex:accessGranted true .
254
- # } (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess) 32 0 0.8440738628 0.684739005 (5000.0 10.0 0.75 0.60)) .
255
+ # } (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess) "32"^^xsd:decimal "0"^^xsd:decimal "0.8440738628"^^xsd:decimal "0.684739005"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
255
256
  # via the schematic forward rule:
256
257
  # {
257
258
  # state:s5 :formula ?GOAL .
@@ -260,8 +261,8 @@
260
261
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
261
262
  # } .
262
263
  # with substitution (on rule variables):
263
- # ?COST = 0
264
- # ?DUR = 32
264
+ # ?COST = "0"^^xsd:decimal
265
+ # ?DUR = "32"^^xsd:decimal
265
266
  # ?GOAL = {
266
267
  # var:x a foaf:Person .
267
268
  # var:x ex:identityVerified true .
@@ -271,16 +272,16 @@
271
272
  # var:x ex:accessGranted true .
272
273
  # }
273
274
  # ?PATH = (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess)
274
- # ?SAT = 0.684739005
275
- # ?SUC = 0.8440738628
275
+ # ?SAT = "0.684739005"^^xsd:decimal
276
+ # ?SUC = "0.8440738628"^^xsd:decimal
276
277
  # Therefore the derived triple above is entailed by the rules and facts.
277
278
  # ----------------------------------------------------------------------
278
279
 
279
- :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess) 32 0 0.8440738628 0.684739005) .
280
+ :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess) "32"^^xsd:decimal "0"^^xsd:decimal "0.8440738628"^^xsd:decimal "0.684739005"^^xsd:decimal) .
280
281
 
281
282
  # ----------------------------------------------------------------------
282
283
  # Proof for derived triple:
283
- # :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription) 32 0.5 0.8807727263999999 0.6564264399999999) .
284
+ # :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription) "32"^^xsd:decimal "0.5"^^xsd:decimal "0.8807727263999999"^^xsd:decimal "0.6564264399999999"^^xsd:decimal) .
284
285
  # It holds because the following instance of the rule body is provable:
285
286
  # state:s5 :formula {
286
287
  # var:x a foaf:Person .
@@ -297,7 +298,7 @@
297
298
  # var:x ex:requestSubmitted true .
298
299
  # var:x ex:itemLocated true .
299
300
  # var:x ex:accessGranted true .
300
- # } (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription) 32 0.5 0.8807727263999999 0.6564264399999999 (5000.0 10.0 0.75 0.60)) .
301
+ # } (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription) "32"^^xsd:decimal "0.5"^^xsd:decimal "0.8807727263999999"^^xsd:decimal "0.6564264399999999"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
301
302
  # via the schematic forward rule:
302
303
  # {
303
304
  # state:s5 :formula ?GOAL .
@@ -306,8 +307,8 @@
306
307
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
307
308
  # } .
308
309
  # with substitution (on rule variables):
309
- # ?COST = 0.5
310
- # ?DUR = 32
310
+ # ?COST = "0.5"^^xsd:decimal
311
+ # ?DUR = "32"^^xsd:decimal
311
312
  # ?GOAL = {
312
313
  # var:x a foaf:Person .
313
314
  # var:x ex:identityVerified true .
@@ -317,16 +318,16 @@
317
318
  # var:x ex:accessGranted true .
318
319
  # }
319
320
  # ?PATH = (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription)
320
- # ?SAT = 0.6564264399999999
321
- # ?SUC = 0.8807727263999999
321
+ # ?SAT = "0.6564264399999999"^^xsd:decimal
322
+ # ?SUC = "0.8807727263999999"^^xsd:decimal
322
323
  # Therefore the derived triple above is entailed by the rules and facts.
323
324
  # ----------------------------------------------------------------------
324
325
 
325
- :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription) 32 0.5 0.8807727263999999 0.6564264399999999) .
326
+ :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription) "32"^^xsd:decimal "0.5"^^xsd:decimal "0.8807727263999999"^^xsd:decimal "0.6564264399999999"^^xsd:decimal) .
326
327
 
327
328
  # ----------------------------------------------------------------------
328
329
  # Proof for derived triple:
329
- # :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess) 31 0 0.8353720703999998 0.6773762199999999) .
330
+ # :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess) "31"^^xsd:decimal "0"^^xsd:decimal "0.8353720703999998"^^xsd:decimal "0.6773762199999999"^^xsd:decimal) .
330
331
  # It holds because the following instance of the rule body is provable:
331
332
  # state:s5 :formula {
332
333
  # var:x a foaf:Person .
@@ -343,7 +344,7 @@
343
344
  # var:x ex:requestSubmitted true .
344
345
  # var:x ex:itemLocated true .
345
346
  # var:x ex:accessGranted true .
346
- # } (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess) 31 0 0.8353720703999998 0.6773762199999999 (5000.0 10.0 0.75 0.60)) .
347
+ # } (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess) "31"^^xsd:decimal "0"^^xsd:decimal "0.8353720703999998"^^xsd:decimal "0.6773762199999999"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
347
348
  # via the schematic forward rule:
348
349
  # {
349
350
  # state:s5 :formula ?GOAL .
@@ -352,8 +353,8 @@
352
353
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
353
354
  # } .
354
355
  # with substitution (on rule variables):
355
- # ?COST = 0
356
- # ?DUR = 31
356
+ # ?COST = "0"^^xsd:decimal
357
+ # ?DUR = "31"^^xsd:decimal
357
358
  # ?GOAL = {
358
359
  # var:x a foaf:Person .
359
360
  # var:x ex:identityVerified true .
@@ -363,16 +364,16 @@
363
364
  # var:x ex:accessGranted true .
364
365
  # }
365
366
  # ?PATH = (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess)
366
- # ?SAT = 0.6773762199999999
367
- # ?SUC = 0.8353720703999998
367
+ # ?SAT = "0.6773762199999999"^^xsd:decimal
368
+ # ?SUC = "0.8353720703999998"^^xsd:decimal
368
369
  # Therefore the derived triple above is entailed by the rules and facts.
369
370
  # ----------------------------------------------------------------------
370
371
 
371
- :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess) 31 0 0.8353720703999998 0.6773762199999999) .
372
+ :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess) "31"^^xsd:decimal "0"^^xsd:decimal "0.8353720703999998"^^xsd:decimal "0.6773762199999999"^^xsd:decimal) .
372
373
 
373
374
  # ----------------------------------------------------------------------
374
375
  # Proof for derived triple:
375
- # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription) 262 0.5 0.8990285386499999 0.6105412800000001) .
376
+ # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription) "262"^^xsd:decimal "0.5"^^xsd:decimal "0.8990285386499999"^^xsd:decimal "0.6105412800000001"^^xsd:decimal) .
376
377
  # It holds because the following instance of the rule body is provable:
377
378
  # state:s5 :formula {
378
379
  # var:x a foaf:Person .
@@ -389,7 +390,7 @@
389
390
  # var:x ex:requestSubmitted true .
390
391
  # var:x ex:itemLocated true .
391
392
  # var:x ex:accessGranted true .
392
- # } (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription) 262 0.5 0.8990285386499999 0.6105412800000001 (5000.0 10.0 0.75 0.60)) .
393
+ # } (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription) "262"^^xsd:decimal "0.5"^^xsd:decimal "0.8990285386499999"^^xsd:decimal "0.6105412800000001"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
393
394
  # via the schematic forward rule:
394
395
  # {
395
396
  # state:s5 :formula ?GOAL .
@@ -398,8 +399,8 @@
398
399
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
399
400
  # } .
400
401
  # with substitution (on rule variables):
401
- # ?COST = 0.5
402
- # ?DUR = 262
402
+ # ?COST = "0.5"^^xsd:decimal
403
+ # ?DUR = "262"^^xsd:decimal
403
404
  # ?GOAL = {
404
405
  # var:x a foaf:Person .
405
406
  # var:x ex:identityVerified true .
@@ -409,16 +410,16 @@
409
410
  # var:x ex:accessGranted true .
410
411
  # }
411
412
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription)
412
- # ?SAT = 0.6105412800000001
413
- # ?SUC = 0.8990285386499999
413
+ # ?SAT = "0.6105412800000001"^^xsd:decimal
414
+ # ?SUC = "0.8990285386499999"^^xsd:decimal
414
415
  # Therefore the derived triple above is entailed by the rules and facts.
415
416
  # ----------------------------------------------------------------------
416
417
 
417
- :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription) 262 0.5 0.8990285386499999 0.6105412800000001) .
418
+ :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription) "262"^^xsd:decimal "0.5"^^xsd:decimal "0.8990285386499999"^^xsd:decimal "0.6105412800000001"^^xsd:decimal) .
418
419
 
419
420
  # ----------------------------------------------------------------------
420
421
  # Proof for derived triple:
421
- # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess) 261 0 0.8526868613999998 0.6300266400000001) .
422
+ # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess) "261"^^xsd:decimal "0"^^xsd:decimal "0.8526868613999998"^^xsd:decimal "0.6300266400000001"^^xsd:decimal) .
422
423
  # It holds because the following instance of the rule body is provable:
423
424
  # state:s5 :formula {
424
425
  # var:x a foaf:Person .
@@ -435,7 +436,7 @@
435
436
  # var:x ex:requestSubmitted true .
436
437
  # var:x ex:itemLocated true .
437
438
  # var:x ex:accessGranted true .
438
- # } (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess) 261 0 0.8526868613999998 0.6300266400000001 (5000.0 10.0 0.75 0.60)) .
439
+ # } (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess) "261"^^xsd:decimal "0"^^xsd:decimal "0.8526868613999998"^^xsd:decimal "0.6300266400000001"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
439
440
  # via the schematic forward rule:
440
441
  # {
441
442
  # state:s5 :formula ?GOAL .
@@ -444,8 +445,8 @@
444
445
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
445
446
  # } .
446
447
  # with substitution (on rule variables):
447
- # ?COST = 0
448
- # ?DUR = 261
448
+ # ?COST = "0"^^xsd:decimal
449
+ # ?DUR = "261"^^xsd:decimal
449
450
  # ?GOAL = {
450
451
  # var:x a foaf:Person .
451
452
  # var:x ex:identityVerified true .
@@ -455,16 +456,16 @@
455
456
  # var:x ex:accessGranted true .
456
457
  # }
457
458
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess)
458
- # ?SAT = 0.6300266400000001
459
- # ?SUC = 0.8526868613999998
459
+ # ?SAT = "0.6300266400000001"^^xsd:decimal
460
+ # ?SUC = "0.8526868613999998"^^xsd:decimal
460
461
  # Therefore the derived triple above is entailed by the rules and facts.
461
462
  # ----------------------------------------------------------------------
462
463
 
463
- :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess) 261 0 0.8526868613999998 0.6300266400000001) .
464
+ :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess) "261"^^xsd:decimal "0"^^xsd:decimal "0.8526868613999998"^^xsd:decimal "0.6300266400000001"^^xsd:decimal) .
464
465
 
465
466
  # ----------------------------------------------------------------------
466
467
  # Proof for derived triple:
467
- # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription) 261 0.5 0.8897602031999999 0.6039763200000001) .
468
+ # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription) "261"^^xsd:decimal "0.5"^^xsd:decimal "0.8897602031999999"^^xsd:decimal "0.6039763200000001"^^xsd:decimal) .
468
469
  # It holds because the following instance of the rule body is provable:
469
470
  # state:s5 :formula {
470
471
  # var:x a foaf:Person .
@@ -481,7 +482,7 @@
481
482
  # var:x ex:requestSubmitted true .
482
483
  # var:x ex:itemLocated true .
483
484
  # var:x ex:accessGranted true .
484
- # } (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription) 261 0.5 0.8897602031999999 0.6039763200000001 (5000.0 10.0 0.75 0.60)) .
485
+ # } (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription) "261"^^xsd:decimal "0.5"^^xsd:decimal "0.8897602031999999"^^xsd:decimal "0.6039763200000001"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
485
486
  # via the schematic forward rule:
486
487
  # {
487
488
  # state:s5 :formula ?GOAL .
@@ -490,8 +491,8 @@
490
491
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
491
492
  # } .
492
493
  # with substitution (on rule variables):
493
- # ?COST = 0.5
494
- # ?DUR = 261
494
+ # ?COST = "0.5"^^xsd:decimal
495
+ # ?DUR = "261"^^xsd:decimal
495
496
  # ?GOAL = {
496
497
  # var:x a foaf:Person .
497
498
  # var:x ex:identityVerified true .
@@ -501,16 +502,16 @@
501
502
  # var:x ex:accessGranted true .
502
503
  # }
503
504
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription)
504
- # ?SAT = 0.6039763200000001
505
- # ?SUC = 0.8897602031999999
505
+ # ?SAT = "0.6039763200000001"^^xsd:decimal
506
+ # ?SUC = "0.8897602031999999"^^xsd:decimal
506
507
  # Therefore the derived triple above is entailed by the rules and facts.
507
508
  # ----------------------------------------------------------------------
508
509
 
509
- :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription) 261 0.5 0.8897602031999999 0.6039763200000001) .
510
+ :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription) "261"^^xsd:decimal "0.5"^^xsd:decimal "0.8897602031999999"^^xsd:decimal "0.6039763200000001"^^xsd:decimal) .
510
511
 
511
512
  # ----------------------------------------------------------------------
512
513
  # Proof for derived triple:
513
- # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess) 260 0 0.8438962751999999 0.6232521599999999) .
514
+ # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess) "260"^^xsd:decimal "0"^^xsd:decimal "0.8438962751999999"^^xsd:decimal "0.6232521599999999"^^xsd:decimal) .
514
515
  # It holds because the following instance of the rule body is provable:
515
516
  # state:s5 :formula {
516
517
  # var:x a foaf:Person .
@@ -527,7 +528,7 @@
527
528
  # var:x ex:requestSubmitted true .
528
529
  # var:x ex:itemLocated true .
529
530
  # var:x ex:accessGranted true .
530
- # } (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess) 260 0 0.8438962751999999 0.6232521599999999 (5000.0 10.0 0.75 0.60)) .
531
+ # } (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess) "260"^^xsd:decimal "0"^^xsd:decimal "0.8438962751999999"^^xsd:decimal "0.6232521599999999"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
531
532
  # via the schematic forward rule:
532
533
  # {
533
534
  # state:s5 :formula ?GOAL .
@@ -536,8 +537,8 @@
536
537
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
537
538
  # } .
538
539
  # with substitution (on rule variables):
539
- # ?COST = 0
540
- # ?DUR = 260
540
+ # ?COST = "0"^^xsd:decimal
541
+ # ?DUR = "260"^^xsd:decimal
541
542
  # ?GOAL = {
542
543
  # var:x a foaf:Person .
543
544
  # var:x ex:identityVerified true .
@@ -547,16 +548,16 @@
547
548
  # var:x ex:accessGranted true .
548
549
  # }
549
550
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess)
550
- # ?SAT = 0.6232521599999999
551
- # ?SUC = 0.8438962751999999
551
+ # ?SAT = "0.6232521599999999"^^xsd:decimal
552
+ # ?SUC = "0.8438962751999999"^^xsd:decimal
552
553
  # Therefore the derived triple above is entailed by the rules and facts.
553
554
  # ----------------------------------------------------------------------
554
555
 
555
- :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess) 260 0 0.8438962751999999 0.6232521599999999) .
556
+ :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess) "260"^^xsd:decimal "0"^^xsd:decimal "0.8438962751999999"^^xsd:decimal "0.6232521599999999"^^xsd:decimal) .
556
557
 
557
558
  # ----------------------------------------------------------------------
558
559
  # Proof for derived triple:
559
- # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription) 252 0.5 0.8808663459499999 0.6376764479999999) .
560
+ # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription) "252"^^xsd:decimal "0.5"^^xsd:decimal "0.8808663459499999"^^xsd:decimal "0.6376764479999999"^^xsd:decimal) .
560
561
  # It holds because the following instance of the rule body is provable:
561
562
  # state:s5 :formula {
562
563
  # var:x a foaf:Person .
@@ -573,7 +574,7 @@
573
574
  # var:x ex:requestSubmitted true .
574
575
  # var:x ex:itemLocated true .
575
576
  # var:x ex:accessGranted true .
576
- # } (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription) 252 0.5 0.8808663459499999 0.6376764479999999 (5000.0 10.0 0.75 0.60)) .
577
+ # } (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription) "252"^^xsd:decimal "0.5"^^xsd:decimal "0.8808663459499999"^^xsd:decimal "0.6376764479999999"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
577
578
  # via the schematic forward rule:
578
579
  # {
579
580
  # state:s5 :formula ?GOAL .
@@ -582,8 +583,8 @@
582
583
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
583
584
  # } .
584
585
  # with substitution (on rule variables):
585
- # ?COST = 0.5
586
- # ?DUR = 252
586
+ # ?COST = "0.5"^^xsd:decimal
587
+ # ?DUR = "252"^^xsd:decimal
587
588
  # ?GOAL = {
588
589
  # var:x a foaf:Person .
589
590
  # var:x ex:identityVerified true .
@@ -593,16 +594,16 @@
593
594
  # var:x ex:accessGranted true .
594
595
  # }
595
596
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription)
596
- # ?SAT = 0.6376764479999999
597
- # ?SUC = 0.8808663459499999
597
+ # ?SAT = "0.6376764479999999"^^xsd:decimal
598
+ # ?SUC = "0.8808663459499999"^^xsd:decimal
598
599
  # Therefore the derived triple above is entailed by the rules and facts.
599
600
  # ----------------------------------------------------------------------
600
601
 
601
- :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription) 252 0.5 0.8808663459499999 0.6376764479999999) .
602
+ :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription) "252"^^xsd:decimal "0.5"^^xsd:decimal "0.8808663459499999"^^xsd:decimal "0.6376764479999999"^^xsd:decimal) .
602
603
 
603
604
  # ----------------------------------------------------------------------
604
605
  # Proof for derived triple:
605
- # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess) 251 0 0.8354608641999999 0.658027824) .
606
+ # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess) "251"^^xsd:decimal "0"^^xsd:decimal "0.8354608641999999"^^xsd:decimal "0.658027824"^^xsd:decimal) .
606
607
  # It holds because the following instance of the rule body is provable:
607
608
  # state:s5 :formula {
608
609
  # var:x a foaf:Person .
@@ -619,7 +620,7 @@
619
620
  # var:x ex:requestSubmitted true .
620
621
  # var:x ex:itemLocated true .
621
622
  # var:x ex:accessGranted true .
622
- # } (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess) 251 0 0.8354608641999999 0.658027824 (5000.0 10.0 0.75 0.60)) .
623
+ # } (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess) "251"^^xsd:decimal "0"^^xsd:decimal "0.8354608641999999"^^xsd:decimal "0.658027824"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
623
624
  # via the schematic forward rule:
624
625
  # {
625
626
  # state:s5 :formula ?GOAL .
@@ -628,8 +629,8 @@
628
629
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
629
630
  # } .
630
631
  # with substitution (on rule variables):
631
- # ?COST = 0
632
- # ?DUR = 251
632
+ # ?COST = "0"^^xsd:decimal
633
+ # ?DUR = "251"^^xsd:decimal
633
634
  # ?GOAL = {
634
635
  # var:x a foaf:Person .
635
636
  # var:x ex:identityVerified true .
@@ -639,16 +640,16 @@
639
640
  # var:x ex:accessGranted true .
640
641
  # }
641
642
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess)
642
- # ?SAT = 0.658027824
643
- # ?SUC = 0.8354608641999999
643
+ # ?SAT = "0.658027824"^^xsd:decimal
644
+ # ?SUC = "0.8354608641999999"^^xsd:decimal
644
645
  # Therefore the derived triple above is entailed by the rules and facts.
645
646
  # ----------------------------------------------------------------------
646
647
 
647
- :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess) 251 0 0.8354608641999999 0.658027824) .
648
+ :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess) "251"^^xsd:decimal "0"^^xsd:decimal "0.8354608641999999"^^xsd:decimal "0.658027824"^^xsd:decimal) .
648
649
 
649
650
  # ----------------------------------------------------------------------
650
651
  # Proof for derived triple:
651
- # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription) 251 0.5 0.8717852495999998 0.6308197120000001) .
652
+ # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription) "251"^^xsd:decimal "0.5"^^xsd:decimal "0.8717852495999998"^^xsd:decimal "0.6308197120000001"^^xsd:decimal) .
652
653
  # It holds because the following instance of the rule body is provable:
653
654
  # state:s5 :formula {
654
655
  # var:x a foaf:Person .
@@ -665,7 +666,7 @@
665
666
  # var:x ex:requestSubmitted true .
666
667
  # var:x ex:itemLocated true .
667
668
  # var:x ex:accessGranted true .
668
- # } (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription) 251 0.5 0.8717852495999998 0.6308197120000001 (5000.0 10.0 0.75 0.60)) .
669
+ # } (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription) "251"^^xsd:decimal "0.5"^^xsd:decimal "0.8717852495999998"^^xsd:decimal "0.6308197120000001"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
669
670
  # via the schematic forward rule:
670
671
  # {
671
672
  # state:s5 :formula ?GOAL .
@@ -674,8 +675,8 @@
674
675
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
675
676
  # } .
676
677
  # with substitution (on rule variables):
677
- # ?COST = 0.5
678
- # ?DUR = 251
678
+ # ?COST = "0.5"^^xsd:decimal
679
+ # ?DUR = "251"^^xsd:decimal
679
680
  # ?GOAL = {
680
681
  # var:x a foaf:Person .
681
682
  # var:x ex:identityVerified true .
@@ -685,16 +686,16 @@
685
686
  # var:x ex:accessGranted true .
686
687
  # }
687
688
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription)
688
- # ?SAT = 0.6308197120000001
689
- # ?SUC = 0.8717852495999998
689
+ # ?SAT = "0.6308197120000001"^^xsd:decimal
690
+ # ?SUC = "0.8717852495999998"^^xsd:decimal
690
691
  # Therefore the derived triple above is entailed by the rules and facts.
691
692
  # ----------------------------------------------------------------------
692
693
 
693
- :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription) 251 0.5 0.8717852495999998 0.6308197120000001) .
694
+ :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription) "251"^^xsd:decimal "0.5"^^xsd:decimal "0.8717852495999998"^^xsd:decimal "0.6308197120000001"^^xsd:decimal) .
694
695
 
695
696
  # ----------------------------------------------------------------------
696
697
  # Proof for derived triple:
697
- # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess) 250 0 0.8268478655999999 0.6509522560000001) .
698
+ # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess) "250"^^xsd:decimal "0"^^xsd:decimal "0.8268478655999999"^^xsd:decimal "0.6509522560000001"^^xsd:decimal) .
698
699
  # It holds because the following instance of the rule body is provable:
699
700
  # state:s5 :formula {
700
701
  # var:x a foaf:Person .
@@ -711,7 +712,7 @@
711
712
  # var:x ex:requestSubmitted true .
712
713
  # var:x ex:itemLocated true .
713
714
  # var:x ex:accessGranted true .
714
- # } (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess) 250 0 0.8268478655999999 0.6509522560000001 (5000.0 10.0 0.75 0.60)) .
715
+ # } (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess) "250"^^xsd:decimal "0"^^xsd:decimal "0.8268478655999999"^^xsd:decimal "0.6509522560000001"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
715
716
  # via the schematic forward rule:
716
717
  # {
717
718
  # state:s5 :formula ?GOAL .
@@ -720,8 +721,8 @@
720
721
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
721
722
  # } .
722
723
  # with substitution (on rule variables):
723
- # ?COST = 0
724
- # ?DUR = 250
724
+ # ?COST = "0"^^xsd:decimal
725
+ # ?DUR = "250"^^xsd:decimal
725
726
  # ?GOAL = {
726
727
  # var:x a foaf:Person .
727
728
  # var:x ex:identityVerified true .
@@ -731,16 +732,16 @@
731
732
  # var:x ex:accessGranted true .
732
733
  # }
733
734
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess)
734
- # ?SAT = 0.6509522560000001
735
- # ?SUC = 0.8268478655999999
735
+ # ?SAT = "0.6509522560000001"^^xsd:decimal
736
+ # ?SUC = "0.8268478655999999"^^xsd:decimal
736
737
  # Therefore the derived triple above is entailed by the rules and facts.
737
738
  # ----------------------------------------------------------------------
738
739
 
739
- :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess) 250 0 0.8268478655999999 0.6509522560000001) .
740
+ :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess) "250"^^xsd:decimal "0"^^xsd:decimal "0.8268478655999999"^^xsd:decimal "0.6509522560000001"^^xsd:decimal) .
740
741
 
741
742
  # ----------------------------------------------------------------------
742
743
  # Proof for derived triple:
743
- # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessInterlibraryLoan) 2903 5 0.8991682622999999 0.6170364) .
744
+ # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessInterlibraryLoan) "2903"^^xsd:decimal "5"^^xsd:decimal "0.8991682622999999"^^xsd:decimal "0.6170364"^^xsd:decimal) .
744
745
  # It holds because the following instance of the rule body is provable:
745
746
  # state:s5 :formula {
746
747
  # var:x a foaf:Person .
@@ -757,7 +758,7 @@
757
758
  # var:x ex:requestSubmitted true .
758
759
  # var:x ex:itemLocated true .
759
760
  # var:x ex:accessGranted true .
760
- # } (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessInterlibraryLoan) 2903 5 0.8991682622999999 0.6170364 (5000.0 10.0 0.75 0.60)) .
761
+ # } (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessInterlibraryLoan) "2903"^^xsd:decimal "5"^^xsd:decimal "0.8991682622999999"^^xsd:decimal "0.6170364"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
761
762
  # via the schematic forward rule:
762
763
  # {
763
764
  # state:s5 :formula ?GOAL .
@@ -766,8 +767,8 @@
766
767
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
767
768
  # } .
768
769
  # with substitution (on rule variables):
769
- # ?COST = 5
770
- # ?DUR = 2903
770
+ # ?COST = "5"^^xsd:decimal
771
+ # ?DUR = "2903"^^xsd:decimal
771
772
  # ?GOAL = {
772
773
  # var:x a foaf:Person .
773
774
  # var:x ex:identityVerified true .
@@ -777,16 +778,16 @@
777
778
  # var:x ex:accessGranted true .
778
779
  # }
779
780
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessInterlibraryLoan)
780
- # ?SAT = 0.6170364
781
- # ?SUC = 0.8991682622999999
781
+ # ?SAT = "0.6170364"^^xsd:decimal
782
+ # ?SUC = "0.8991682622999999"^^xsd:decimal
782
783
  # Therefore the derived triple above is entailed by the rules and facts.
783
784
  # ----------------------------------------------------------------------
784
785
 
785
- :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessInterlibraryLoan) 2903 5 0.8991682622999999 0.6170364) .
786
+ :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessInterlibraryLoan) "2903"^^xsd:decimal "5"^^xsd:decimal "0.8991682622999999"^^xsd:decimal "0.6170364"^^xsd:decimal) .
786
787
 
787
788
  # ----------------------------------------------------------------------
788
789
  # Proof for derived triple:
789
- # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription) 25 0.5 0.8854753445999999 0.72501777) .
790
+ # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription) "25"^^xsd:decimal "0.5"^^xsd:decimal "0.8854753445999999"^^xsd:decimal "0.72501777"^^xsd:decimal) .
790
791
  # It holds because the following instance of the rule body is provable:
791
792
  # state:s5 :formula {
792
793
  # var:x a foaf:Person .
@@ -803,7 +804,7 @@
803
804
  # var:x ex:requestSubmitted true .
804
805
  # var:x ex:itemLocated true .
805
806
  # var:x ex:accessGranted true .
806
- # } (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription) 25 0.5 0.8854753445999999 0.72501777 (5000.0 10.0 0.75 0.60)) .
807
+ # } (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription) "25"^^xsd:decimal "0.5"^^xsd:decimal "0.8854753445999999"^^xsd:decimal "0.72501777"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
807
808
  # via the schematic forward rule:
808
809
  # {
809
810
  # state:s5 :formula ?GOAL .
@@ -812,8 +813,8 @@
812
813
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
813
814
  # } .
814
815
  # with substitution (on rule variables):
815
- # ?COST = 0.5
816
- # ?DUR = 25
816
+ # ?COST = "0.5"^^xsd:decimal
817
+ # ?DUR = "25"^^xsd:decimal
817
818
  # ?GOAL = {
818
819
  # var:x a foaf:Person .
819
820
  # var:x ex:identityVerified true .
@@ -823,16 +824,16 @@
823
824
  # var:x ex:accessGranted true .
824
825
  # }
825
826
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription)
826
- # ?SAT = 0.72501777
827
- # ?SUC = 0.8854753445999999
827
+ # ?SAT = "0.72501777"^^xsd:decimal
828
+ # ?SUC = "0.8854753445999999"^^xsd:decimal
828
829
  # Therefore the derived triple above is entailed by the rules and facts.
829
830
  # ----------------------------------------------------------------------
830
831
 
831
- :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription) 25 0.5 0.8854753445999999 0.72501777) .
832
+ :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription) "25"^^xsd:decimal "0.5"^^xsd:decimal "0.8854753445999999"^^xsd:decimal "0.72501777"^^xsd:decimal) .
832
833
 
833
834
  # ----------------------------------------------------------------------
834
835
  # Proof for derived triple:
835
- # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess) 24 0 0.8398322855999999 0.7481566349999998) .
836
+ # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess) "24"^^xsd:decimal "0"^^xsd:decimal "0.8398322855999999"^^xsd:decimal "0.7481566349999998"^^xsd:decimal) .
836
837
  # It holds because the following instance of the rule body is provable:
837
838
  # state:s5 :formula {
838
839
  # var:x a foaf:Person .
@@ -849,7 +850,7 @@
849
850
  # var:x ex:requestSubmitted true .
850
851
  # var:x ex:itemLocated true .
851
852
  # var:x ex:accessGranted true .
852
- # } (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess) 24 0 0.8398322855999999 0.7481566349999998 (5000.0 10.0 0.75 0.60)) .
853
+ # } (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess) "24"^^xsd:decimal "0"^^xsd:decimal "0.8398322855999999"^^xsd:decimal "0.7481566349999998"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
853
854
  # via the schematic forward rule:
854
855
  # {
855
856
  # state:s5 :formula ?GOAL .
@@ -858,8 +859,8 @@
858
859
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
859
860
  # } .
860
861
  # with substitution (on rule variables):
861
- # ?COST = 0
862
- # ?DUR = 24
862
+ # ?COST = "0"^^xsd:decimal
863
+ # ?DUR = "24"^^xsd:decimal
863
864
  # ?GOAL = {
864
865
  # var:x a foaf:Person .
865
866
  # var:x ex:identityVerified true .
@@ -869,16 +870,16 @@
869
870
  # var:x ex:accessGranted true .
870
871
  # }
871
872
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess)
872
- # ?SAT = 0.7481566349999998
873
- # ?SUC = 0.8398322855999999
873
+ # ?SAT = "0.7481566349999998"^^xsd:decimal
874
+ # ?SUC = "0.8398322855999999"^^xsd:decimal
874
875
  # Therefore the derived triple above is entailed by the rules and facts.
875
876
  # ----------------------------------------------------------------------
876
877
 
877
- :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess) 24 0 0.8398322855999999 0.7481566349999998) .
878
+ :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess) "24"^^xsd:decimal "0"^^xsd:decimal "0.8398322855999999"^^xsd:decimal "0.7481566349999998"^^xsd:decimal) .
878
879
 
879
880
  # ----------------------------------------------------------------------
880
881
  # Proof for derived triple:
881
- # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessInterlibraryLoan) 2902 5 0.8898984863999999 0.6104016) .
882
+ # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessInterlibraryLoan) "2902"^^xsd:decimal "5"^^xsd:decimal "0.8898984863999999"^^xsd:decimal "0.6104016"^^xsd:decimal) .
882
883
  # It holds because the following instance of the rule body is provable:
883
884
  # state:s5 :formula {
884
885
  # var:x a foaf:Person .
@@ -895,7 +896,7 @@
895
896
  # var:x ex:requestSubmitted true .
896
897
  # var:x ex:itemLocated true .
897
898
  # var:x ex:accessGranted true .
898
- # } (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessInterlibraryLoan) 2902 5 0.8898984863999999 0.6104016 (5000.0 10.0 0.75 0.60)) .
899
+ # } (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessInterlibraryLoan) "2902"^^xsd:decimal "5"^^xsd:decimal "0.8898984863999999"^^xsd:decimal "0.6104016"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
899
900
  # via the schematic forward rule:
900
901
  # {
901
902
  # state:s5 :formula ?GOAL .
@@ -904,8 +905,8 @@
904
905
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
905
906
  # } .
906
907
  # with substitution (on rule variables):
907
- # ?COST = 5
908
- # ?DUR = 2902
908
+ # ?COST = "5"^^xsd:decimal
909
+ # ?DUR = "2902"^^xsd:decimal
909
910
  # ?GOAL = {
910
911
  # var:x a foaf:Person .
911
912
  # var:x ex:identityVerified true .
@@ -915,16 +916,16 @@
915
916
  # var:x ex:accessGranted true .
916
917
  # }
917
918
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessInterlibraryLoan)
918
- # ?SAT = 0.6104016
919
- # ?SUC = 0.8898984863999999
919
+ # ?SAT = "0.6104016"^^xsd:decimal
920
+ # ?SUC = "0.8898984863999999"^^xsd:decimal
920
921
  # Therefore the derived triple above is entailed by the rules and facts.
921
922
  # ----------------------------------------------------------------------
922
923
 
923
- :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessInterlibraryLoan) 2902 5 0.8898984863999999 0.6104016) .
924
+ :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessInterlibraryLoan) "2902"^^xsd:decimal "5"^^xsd:decimal "0.8898984863999999"^^xsd:decimal "0.6104016"^^xsd:decimal) .
924
925
 
925
926
  # ----------------------------------------------------------------------
926
927
  # Proof for derived triple:
927
- # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription) 24 0.5 0.8763467328 0.71722188) .
928
+ # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription) "24"^^xsd:decimal "0.5"^^xsd:decimal "0.8763467328"^^xsd:decimal "0.71722188"^^xsd:decimal) .
928
929
  # It holds because the following instance of the rule body is provable:
929
930
  # state:s5 :formula {
930
931
  # var:x a foaf:Person .
@@ -941,7 +942,7 @@
941
942
  # var:x ex:requestSubmitted true .
942
943
  # var:x ex:itemLocated true .
943
944
  # var:x ex:accessGranted true .
944
- # } (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription) 24 0.5 0.8763467328 0.71722188 (5000.0 10.0 0.75 0.60)) .
945
+ # } (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription) "24"^^xsd:decimal "0.5"^^xsd:decimal "0.8763467328"^^xsd:decimal "0.71722188"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
945
946
  # via the schematic forward rule:
946
947
  # {
947
948
  # state:s5 :formula ?GOAL .
@@ -950,8 +951,8 @@
950
951
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
951
952
  # } .
952
953
  # with substitution (on rule variables):
953
- # ?COST = 0.5
954
- # ?DUR = 24
954
+ # ?COST = "0.5"^^xsd:decimal
955
+ # ?DUR = "24"^^xsd:decimal
955
956
  # ?GOAL = {
956
957
  # var:x a foaf:Person .
957
958
  # var:x ex:identityVerified true .
@@ -961,16 +962,16 @@
961
962
  # var:x ex:accessGranted true .
962
963
  # }
963
964
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription)
964
- # ?SAT = 0.71722188
965
- # ?SUC = 0.8763467328
965
+ # ?SAT = "0.71722188"^^xsd:decimal
966
+ # ?SUC = "0.8763467328"^^xsd:decimal
966
967
  # Therefore the derived triple above is entailed by the rules and facts.
967
968
  # ----------------------------------------------------------------------
968
969
 
969
- :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription) 24 0.5 0.8763467328 0.71722188) .
970
+ :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription) "24"^^xsd:decimal "0.5"^^xsd:decimal "0.8763467328"^^xsd:decimal "0.71722188"^^xsd:decimal) .
970
971
 
971
972
  # ----------------------------------------------------------------------
972
973
  # Proof for derived triple:
973
- # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess) 23 0 0.8311742207999998 0.7401119399999999) .
974
+ # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess) "23"^^xsd:decimal "0"^^xsd:decimal "0.8311742207999998"^^xsd:decimal "0.7401119399999999"^^xsd:decimal) .
974
975
  # It holds because the following instance of the rule body is provable:
975
976
  # state:s5 :formula {
976
977
  # var:x a foaf:Person .
@@ -987,7 +988,7 @@
987
988
  # var:x ex:requestSubmitted true .
988
989
  # var:x ex:itemLocated true .
989
990
  # var:x ex:accessGranted true .
990
- # } (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess) 23 0 0.8311742207999998 0.7401119399999999 (5000.0 10.0 0.75 0.60)) .
991
+ # } (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess) "23"^^xsd:decimal "0"^^xsd:decimal "0.8311742207999998"^^xsd:decimal "0.7401119399999999"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
991
992
  # via the schematic forward rule:
992
993
  # {
993
994
  # state:s5 :formula ?GOAL .
@@ -996,8 +997,8 @@
996
997
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
997
998
  # } .
998
999
  # with substitution (on rule variables):
999
- # ?COST = 0
1000
- # ?DUR = 23
1000
+ # ?COST = "0"^^xsd:decimal
1001
+ # ?DUR = "23"^^xsd:decimal
1001
1002
  # ?GOAL = {
1002
1003
  # var:x a foaf:Person .
1003
1004
  # var:x ex:identityVerified true .
@@ -1007,16 +1008,16 @@
1007
1008
  # var:x ex:accessGranted true .
1008
1009
  # }
1009
1010
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess)
1010
- # ?SAT = 0.7401119399999999
1011
- # ?SUC = 0.8311742207999998
1011
+ # ?SAT = "0.7401119399999999"^^xsd:decimal
1012
+ # ?SUC = "0.8311742207999998"^^xsd:decimal
1012
1013
  # Therefore the derived triple above is entailed by the rules and facts.
1013
1014
  # ----------------------------------------------------------------------
1014
1015
 
1015
- :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess) 23 0 0.8311742207999998 0.7401119399999999) .
1016
+ :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess) "23"^^xsd:decimal "0"^^xsd:decimal "0.8311742207999998"^^xsd:decimal "0.7401119399999999"^^xsd:decimal) .
1016
1017
 
1017
1018
  # ----------------------------------------------------------------------
1018
1019
  # Proof for derived triple:
1019
- # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessInterlibraryLoan) 2893 5 0.8810032468999999 0.6444602400000001) .
1020
+ # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessInterlibraryLoan) "2893"^^xsd:decimal "5"^^xsd:decimal "0.8810032468999999"^^xsd:decimal "0.6444602400000001"^^xsd:decimal) .
1020
1021
  # It holds because the following instance of the rule body is provable:
1021
1022
  # state:s5 :formula {
1022
1023
  # var:x a foaf:Person .
@@ -1033,7 +1034,7 @@
1033
1034
  # var:x ex:requestSubmitted true .
1034
1035
  # var:x ex:itemLocated true .
1035
1036
  # var:x ex:accessGranted true .
1036
- # } (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessInterlibraryLoan) 2893 5 0.8810032468999999 0.6444602400000001 (5000.0 10.0 0.75 0.60)) .
1037
+ # } (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessInterlibraryLoan) "2893"^^xsd:decimal "5"^^xsd:decimal "0.8810032468999999"^^xsd:decimal "0.6444602400000001"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
1037
1038
  # via the schematic forward rule:
1038
1039
  # {
1039
1040
  # state:s5 :formula ?GOAL .
@@ -1042,8 +1043,8 @@
1042
1043
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
1043
1044
  # } .
1044
1045
  # with substitution (on rule variables):
1045
- # ?COST = 5
1046
- # ?DUR = 2893
1046
+ # ?COST = "5"^^xsd:decimal
1047
+ # ?DUR = "2893"^^xsd:decimal
1047
1048
  # ?GOAL = {
1048
1049
  # var:x a foaf:Person .
1049
1050
  # var:x ex:identityVerified true .
@@ -1053,16 +1054,16 @@
1053
1054
  # var:x ex:accessGranted true .
1054
1055
  # }
1055
1056
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessInterlibraryLoan)
1056
- # ?SAT = 0.6444602400000001
1057
- # ?SUC = 0.8810032468999999
1057
+ # ?SAT = "0.6444602400000001"^^xsd:decimal
1058
+ # ?SUC = "0.8810032468999999"^^xsd:decimal
1058
1059
  # Therefore the derived triple above is entailed by the rules and facts.
1059
1060
  # ----------------------------------------------------------------------
1060
1061
 
1061
- :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessInterlibraryLoan) 2893 5 0.8810032468999999 0.6444602400000001) .
1062
+ :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessInterlibraryLoan) "2893"^^xsd:decimal "5"^^xsd:decimal "0.8810032468999999"^^xsd:decimal "0.6444602400000001"^^xsd:decimal) .
1062
1063
 
1063
1064
  # ----------------------------------------------------------------------
1064
1065
  # Proof for derived triple:
1065
- # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription) 15 0.5 0.8675869537999998 0.7572407819999999) .
1066
+ # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription) "15"^^xsd:decimal "0.5"^^xsd:decimal "0.8675869537999998"^^xsd:decimal "0.7572407819999999"^^xsd:decimal) .
1066
1067
  # It holds because the following instance of the rule body is provable:
1067
1068
  # state:s5 :formula {
1068
1069
  # var:x a foaf:Person .
@@ -1079,7 +1080,7 @@
1079
1080
  # var:x ex:requestSubmitted true .
1080
1081
  # var:x ex:itemLocated true .
1081
1082
  # var:x ex:accessGranted true .
1082
- # } (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription) 15 0.5 0.8675869537999998 0.7572407819999999 (5000.0 10.0 0.75 0.60)) .
1083
+ # } (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription) "15"^^xsd:decimal "0.5"^^xsd:decimal "0.8675869537999998"^^xsd:decimal "0.7572407819999999"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
1083
1084
  # via the schematic forward rule:
1084
1085
  # {
1085
1086
  # state:s5 :formula ?GOAL .
@@ -1088,8 +1089,8 @@
1088
1089
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
1089
1090
  # } .
1090
1091
  # with substitution (on rule variables):
1091
- # ?COST = 0.5
1092
- # ?DUR = 15
1092
+ # ?COST = "0.5"^^xsd:decimal
1093
+ # ?DUR = "15"^^xsd:decimal
1093
1094
  # ?GOAL = {
1094
1095
  # var:x a foaf:Person .
1095
1096
  # var:x ex:identityVerified true .
@@ -1099,16 +1100,16 @@
1099
1100
  # var:x ex:accessGranted true .
1100
1101
  # }
1101
1102
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription)
1102
- # ?SAT = 0.7572407819999999
1103
- # ?SUC = 0.8675869537999998
1103
+ # ?SAT = "0.7572407819999999"^^xsd:decimal
1104
+ # ?SUC = "0.8675869537999998"^^xsd:decimal
1104
1105
  # Therefore the derived triple above is entailed by the rules and facts.
1105
1106
  # ----------------------------------------------------------------------
1106
1107
 
1107
- :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription) 15 0.5 0.8675869537999998 0.7572407819999999) .
1108
+ :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription) "15"^^xsd:decimal "0.5"^^xsd:decimal "0.8675869537999998"^^xsd:decimal "0.7572407819999999"^^xsd:decimal) .
1108
1109
 
1109
1110
  # ----------------------------------------------------------------------
1110
1111
  # Proof for derived triple:
1111
- # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess) 14 0 0.8228659768 0.7814080409999999) .
1112
+ # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess) "14"^^xsd:decimal "0"^^xsd:decimal "0.8228659768"^^xsd:decimal "0.7814080409999999"^^xsd:decimal) .
1112
1113
  # It holds because the following instance of the rule body is provable:
1113
1114
  # state:s5 :formula {
1114
1115
  # var:x a foaf:Person .
@@ -1125,7 +1126,7 @@
1125
1126
  # var:x ex:requestSubmitted true .
1126
1127
  # var:x ex:itemLocated true .
1127
1128
  # var:x ex:accessGranted true .
1128
- # } (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess) 14 0 0.8228659768 0.7814080409999999 (5000.0 10.0 0.75 0.60)) .
1129
+ # } (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess) "14"^^xsd:decimal "0"^^xsd:decimal "0.8228659768"^^xsd:decimal "0.7814080409999999"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
1129
1130
  # via the schematic forward rule:
1130
1131
  # {
1131
1132
  # state:s5 :formula ?GOAL .
@@ -1134,8 +1135,8 @@
1134
1135
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
1135
1136
  # } .
1136
1137
  # with substitution (on rule variables):
1137
- # ?COST = 0
1138
- # ?DUR = 14
1138
+ # ?COST = "0"^^xsd:decimal
1139
+ # ?DUR = "14"^^xsd:decimal
1139
1140
  # ?GOAL = {
1140
1141
  # var:x a foaf:Person .
1141
1142
  # var:x ex:identityVerified true .
@@ -1145,16 +1146,16 @@
1145
1146
  # var:x ex:accessGranted true .
1146
1147
  # }
1147
1148
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess)
1148
- # ?SAT = 0.7814080409999999
1149
- # ?SUC = 0.8228659768
1149
+ # ?SAT = "0.7814080409999999"^^xsd:decimal
1150
+ # ?SUC = "0.8228659768"^^xsd:decimal
1150
1151
  # Therefore the derived triple above is entailed by the rules and facts.
1151
1152
  # ----------------------------------------------------------------------
1152
1153
 
1153
- :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess) 14 0 0.8228659768 0.7814080409999999) .
1154
+ :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess) "14"^^xsd:decimal "0"^^xsd:decimal "0.8228659768"^^xsd:decimal "0.7814080409999999"^^xsd:decimal) .
1154
1155
 
1155
1156
  # ----------------------------------------------------------------------
1156
1157
  # Proof for derived triple:
1157
- # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessInterlibraryLoan) 2892 5 0.8719207391999999 0.63753056) .
1158
+ # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessInterlibraryLoan) "2892"^^xsd:decimal "5"^^xsd:decimal "0.8719207391999999"^^xsd:decimal "0.63753056"^^xsd:decimal) .
1158
1159
  # It holds because the following instance of the rule body is provable:
1159
1160
  # state:s5 :formula {
1160
1161
  # var:x a foaf:Person .
@@ -1171,7 +1172,7 @@
1171
1172
  # var:x ex:requestSubmitted true .
1172
1173
  # var:x ex:itemLocated true .
1173
1174
  # var:x ex:accessGranted true .
1174
- # } (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessInterlibraryLoan) 2892 5 0.8719207391999999 0.63753056 (5000.0 10.0 0.75 0.60)) .
1175
+ # } (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessInterlibraryLoan) "2892"^^xsd:decimal "5"^^xsd:decimal "0.8719207391999999"^^xsd:decimal "0.63753056"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
1175
1176
  # via the schematic forward rule:
1176
1177
  # {
1177
1178
  # state:s5 :formula ?GOAL .
@@ -1180,8 +1181,8 @@
1180
1181
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
1181
1182
  # } .
1182
1183
  # with substitution (on rule variables):
1183
- # ?COST = 5
1184
- # ?DUR = 2892
1184
+ # ?COST = "5"^^xsd:decimal
1185
+ # ?DUR = "2892"^^xsd:decimal
1185
1186
  # ?GOAL = {
1186
1187
  # var:x a foaf:Person .
1187
1188
  # var:x ex:identityVerified true .
@@ -1191,16 +1192,16 @@
1191
1192
  # var:x ex:accessGranted true .
1192
1193
  # }
1193
1194
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessInterlibraryLoan)
1194
- # ?SAT = 0.63753056
1195
- # ?SUC = 0.8719207391999999
1195
+ # ?SAT = "0.63753056"^^xsd:decimal
1196
+ # ?SUC = "0.8719207391999999"^^xsd:decimal
1196
1197
  # Therefore the derived triple above is entailed by the rules and facts.
1197
1198
  # ----------------------------------------------------------------------
1198
1199
 
1199
- :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessInterlibraryLoan) 2892 5 0.8719207391999999 0.63753056) .
1200
+ :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessInterlibraryLoan) "2892"^^xsd:decimal "5"^^xsd:decimal "0.8719207391999999"^^xsd:decimal "0.63753056"^^xsd:decimal) .
1200
1201
 
1201
1202
  # ----------------------------------------------------------------------
1202
1203
  # Proof for derived triple:
1203
- # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription) 14 0.5 0.8586427583999998 0.7490984079999999) .
1204
+ # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription) "14"^^xsd:decimal "0.5"^^xsd:decimal "0.8586427583999998"^^xsd:decimal "0.7490984079999999"^^xsd:decimal) .
1204
1205
  # It holds because the following instance of the rule body is provable:
1205
1206
  # state:s5 :formula {
1206
1207
  # var:x a foaf:Person .
@@ -1217,7 +1218,7 @@
1217
1218
  # var:x ex:requestSubmitted true .
1218
1219
  # var:x ex:itemLocated true .
1219
1220
  # var:x ex:accessGranted true .
1220
- # } (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription) 14 0.5 0.8586427583999998 0.7490984079999999 (5000.0 10.0 0.75 0.60)) .
1221
+ # } (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription) "14"^^xsd:decimal "0.5"^^xsd:decimal "0.8586427583999998"^^xsd:decimal "0.7490984079999999"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
1221
1222
  # via the schematic forward rule:
1222
1223
  # {
1223
1224
  # state:s5 :formula ?GOAL .
@@ -1226,8 +1227,8 @@
1226
1227
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
1227
1228
  # } .
1228
1229
  # with substitution (on rule variables):
1229
- # ?COST = 0.5
1230
- # ?DUR = 14
1230
+ # ?COST = "0.5"^^xsd:decimal
1231
+ # ?DUR = "14"^^xsd:decimal
1231
1232
  # ?GOAL = {
1232
1233
  # var:x a foaf:Person .
1233
1234
  # var:x ex:identityVerified true .
@@ -1237,16 +1238,16 @@
1237
1238
  # var:x ex:accessGranted true .
1238
1239
  # }
1239
1240
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription)
1240
- # ?SAT = 0.7490984079999999
1241
- # ?SUC = 0.8586427583999998
1241
+ # ?SAT = "0.7490984079999999"^^xsd:decimal
1242
+ # ?SUC = "0.8586427583999998"^^xsd:decimal
1242
1243
  # Therefore the derived triple above is entailed by the rules and facts.
1243
1244
  # ----------------------------------------------------------------------
1244
1245
 
1245
- :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription) 14 0.5 0.8586427583999998 0.7490984079999999) .
1246
+ :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription) "14"^^xsd:decimal "0.5"^^xsd:decimal "0.8586427583999998"^^xsd:decimal "0.7490984079999999"^^xsd:decimal) .
1246
1247
 
1247
1248
  # ----------------------------------------------------------------------
1248
1249
  # Proof for derived triple:
1249
- # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess) 13 0 0.8143828223999998 0.7730058039999999) .
1250
+ # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess) "13"^^xsd:decimal "0"^^xsd:decimal "0.8143828223999998"^^xsd:decimal "0.7730058039999999"^^xsd:decimal) .
1250
1251
  # It holds because the following instance of the rule body is provable:
1251
1252
  # state:s5 :formula {
1252
1253
  # var:x a foaf:Person .
@@ -1263,7 +1264,7 @@
1263
1264
  # var:x ex:requestSubmitted true .
1264
1265
  # var:x ex:itemLocated true .
1265
1266
  # var:x ex:accessGranted true .
1266
- # } (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess) 13 0 0.8143828223999998 0.7730058039999999 (5000.0 10.0 0.75 0.60)) .
1267
+ # } (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess) "13"^^xsd:decimal "0"^^xsd:decimal "0.8143828223999998"^^xsd:decimal "0.7730058039999999"^^xsd:decimal (5000.0 10.0 0.75 0.60)) .
1267
1268
  # via the schematic forward rule:
1268
1269
  # {
1269
1270
  # state:s5 :formula ?GOAL .
@@ -1272,8 +1273,8 @@
1272
1273
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
1273
1274
  # } .
1274
1275
  # with substitution (on rule variables):
1275
- # ?COST = 0
1276
- # ?DUR = 13
1276
+ # ?COST = "0"^^xsd:decimal
1277
+ # ?DUR = "13"^^xsd:decimal
1277
1278
  # ?GOAL = {
1278
1279
  # var:x a foaf:Person .
1279
1280
  # var:x ex:identityVerified true .
@@ -1283,10 +1284,10 @@
1283
1284
  # var:x ex:accessGranted true .
1284
1285
  # }
1285
1286
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess)
1286
- # ?SAT = 0.7730058039999999
1287
- # ?SUC = 0.8143828223999998
1287
+ # ?SAT = "0.7730058039999999"^^xsd:decimal
1288
+ # ?SUC = "0.8143828223999998"^^xsd:decimal
1288
1289
  # Therefore the derived triple above is entailed by the rules and facts.
1289
1290
  # ----------------------------------------------------------------------
1290
1291
 
1291
- :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess) 13 0 0.8143828223999998 0.7730058039999999) .
1292
+ :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess) "13"^^xsd:decimal "0"^^xsd:decimal "0.8143828223999998"^^xsd:decimal "0.7730058039999999"^^xsd:decimal) .
1292
1293