eyeling 1.5.38 → 1.5.39

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 (6) hide show
  1. package/examples/oslo-steps-library-scholarly.n3 +144 -183
  2. package/examples/oslo-steps-workflow-composition.n3 +192 -217
  3. package/examples/output/oslo-steps-library-scholarly.n3 +672 -392
  4. package/examples/output/oslo-steps-workflow-composition.n3 +96 -56
  5. package/eyeling.js +614 -325
  6. package/package.json +1 -1
package/examples/output/oslo-steps-library-scholarly.n3 CHANGED
@@ -6,30 +6,40 @@
6
6
  # Proof for derived triple:
7
7
  # :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription) 43 0.5 0.9082968740999999 0.63532485) .
8
8
  # It holds because the following instance of the rule body is provable:
9
+ # state:s5 :formula {
10
+ # var:x a foaf:Person .
11
+ # var:x ex:identityVerified true .
12
+ # var:x ex:affiliationVerified true .
13
+ # var:x ex:requestSubmitted true .
14
+ # var:x ex:itemLocated true .
15
+ # var:x ex:accessGranted true .
16
+ # } .
9
17
  # :scope gps:findpath ({
10
- # ?x a foaf:Person .
11
- # ?x ex:identityVerified true .
12
- # ?x ex:affiliationVerified true .
13
- # ?x ex:requestSubmitted true .
14
- # ?x ex:itemLocated true .
15
- # ?x ex:accessGranted true .
18
+ # var:x a foaf:Person .
19
+ # var:x ex:identityVerified true .
20
+ # var:x ex:affiliationVerified true .
21
+ # var:x ex:requestSubmitted true .
22
+ # var:x ex:itemLocated true .
23
+ # var:x ex:accessGranted true .
16
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)) .
17
25
  # via the schematic forward rule:
18
26
  # {
19
- # :scope gps:findpath ({
20
- # ?x a foaf:Person .
21
- # ?x ex:identityVerified true .
22
- # ?x ex:affiliationVerified true .
23
- # ?x ex:requestSubmitted true .
24
- # ?x ex:itemLocated true .
25
- # ?x ex:accessGranted true .
26
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
27
+ # state:s5 :formula ?GOAL .
28
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
27
29
  # } => {
28
30
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
29
31
  # } .
30
32
  # with substitution (on rule variables):
31
33
  # ?COST = 0.5
32
34
  # ?DUR = 43
35
+ # ?GOAL = {
36
+ # var:x a foaf:Person .
37
+ # var:x ex:identityVerified true .
38
+ # var:x ex:affiliationVerified true .
39
+ # var:x ex:requestSubmitted true .
40
+ # var:x ex:itemLocated true .
41
+ # var:x ex:accessGranted true .
42
+ # }
33
43
  # ?PATH = (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription)
34
44
  # ?SAT = 0.63532485
35
45
  # ?SUC = 0.9082968740999999
@@ -42,30 +52,40 @@
42
52
  # Proof for derived triple:
43
53
  # :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess) 42 0 0.8614774475999999 0.6556011749999999) .
44
54
  # It holds because the following instance of the rule body is provable:
55
+ # state:s5 :formula {
56
+ # var:x a foaf:Person .
57
+ # var:x ex:identityVerified true .
58
+ # var:x ex:affiliationVerified true .
59
+ # var:x ex:requestSubmitted true .
60
+ # var:x ex:itemLocated true .
61
+ # var:x ex:accessGranted true .
62
+ # } .
45
63
  # :scope gps:findpath ({
46
- # ?x a foaf:Person .
47
- # ?x ex:identityVerified true .
48
- # ?x ex:affiliationVerified true .
49
- # ?x ex:requestSubmitted true .
50
- # ?x ex:itemLocated true .
51
- # ?x ex:accessGranted true .
64
+ # var:x a foaf:Person .
65
+ # var:x ex:identityVerified true .
66
+ # var:x ex:affiliationVerified true .
67
+ # var:x ex:requestSubmitted true .
68
+ # var:x ex:itemLocated true .
69
+ # var:x ex:accessGranted true .
52
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)) .
53
71
  # via the schematic forward rule:
54
72
  # {
55
- # :scope gps:findpath ({
56
- # ?x a foaf:Person .
57
- # ?x ex:identityVerified true .
58
- # ?x ex:affiliationVerified true .
59
- # ?x ex:requestSubmitted true .
60
- # ?x ex:itemLocated true .
61
- # ?x ex:accessGranted true .
62
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
73
+ # state:s5 :formula ?GOAL .
74
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
63
75
  # } => {
64
76
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
65
77
  # } .
66
78
  # with substitution (on rule variables):
67
79
  # ?COST = 0
68
80
  # ?DUR = 42
81
+ # ?GOAL = {
82
+ # var:x a foaf:Person .
83
+ # var:x ex:identityVerified true .
84
+ # var:x ex:affiliationVerified true .
85
+ # var:x ex:requestSubmitted true .
86
+ # var:x ex:itemLocated true .
87
+ # var:x ex:accessGranted true .
88
+ # }
69
89
  # ?PATH = (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess)
70
90
  # ?SAT = 0.6556011749999999
71
91
  # ?SUC = 0.8614774475999999
@@ -78,30 +98,40 @@
78
98
  # Proof for derived triple:
79
99
  # :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription) 42 0.5 0.8989329887999999 0.6284934) .
80
100
  # It holds because the following instance of the rule body is provable:
101
+ # state:s5 :formula {
102
+ # var:x a foaf:Person .
103
+ # var:x ex:identityVerified true .
104
+ # var:x ex:affiliationVerified true .
105
+ # var:x ex:requestSubmitted true .
106
+ # var:x ex:itemLocated true .
107
+ # var:x ex:accessGranted true .
108
+ # } .
81
109
  # :scope gps:findpath ({
82
- # ?x a foaf:Person .
83
- # ?x ex:identityVerified true .
84
- # ?x ex:affiliationVerified true .
85
- # ?x ex:requestSubmitted true .
86
- # ?x ex:itemLocated true .
87
- # ?x ex:accessGranted true .
110
+ # var:x a foaf:Person .
111
+ # var:x ex:identityVerified true .
112
+ # var:x ex:affiliationVerified true .
113
+ # var:x ex:requestSubmitted true .
114
+ # var:x ex:itemLocated true .
115
+ # var:x ex:accessGranted true .
88
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)) .
89
117
  # via the schematic forward rule:
90
118
  # {
91
- # :scope gps:findpath ({
92
- # ?x a foaf:Person .
93
- # ?x ex:identityVerified true .
94
- # ?x ex:affiliationVerified true .
95
- # ?x ex:requestSubmitted true .
96
- # ?x ex:itemLocated true .
97
- # ?x ex:accessGranted true .
98
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
119
+ # state:s5 :formula ?GOAL .
120
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
99
121
  # } => {
100
122
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
101
123
  # } .
102
124
  # with substitution (on rule variables):
103
125
  # ?COST = 0.5
104
126
  # ?DUR = 42
127
+ # ?GOAL = {
128
+ # var:x a foaf:Person .
129
+ # var:x ex:identityVerified true .
130
+ # var:x ex:affiliationVerified true .
131
+ # var:x ex:requestSubmitted true .
132
+ # var:x ex:itemLocated true .
133
+ # var:x ex:accessGranted true .
134
+ # }
105
135
  # ?PATH = (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription)
106
136
  # ?SAT = 0.6284934
107
137
  # ?SUC = 0.8989329887999999
@@ -114,30 +144,40 @@
114
144
  # Proof for derived triple:
115
145
  # :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess) 41 0 0.8525962367999999 0.6485517) .
116
146
  # It holds because the following instance of the rule body is provable:
147
+ # state:s5 :formula {
148
+ # var:x a foaf:Person .
149
+ # var:x ex:identityVerified true .
150
+ # var:x ex:affiliationVerified true .
151
+ # var:x ex:requestSubmitted true .
152
+ # var:x ex:itemLocated true .
153
+ # var:x ex:accessGranted true .
154
+ # } .
117
155
  # :scope gps:findpath ({
118
- # ?x a foaf:Person .
119
- # ?x ex:identityVerified true .
120
- # ?x ex:affiliationVerified true .
121
- # ?x ex:requestSubmitted true .
122
- # ?x ex:itemLocated true .
123
- # ?x ex:accessGranted true .
156
+ # var:x a foaf:Person .
157
+ # var:x ex:identityVerified true .
158
+ # var:x ex:affiliationVerified true .
159
+ # var:x ex:requestSubmitted true .
160
+ # var:x ex:itemLocated true .
161
+ # var:x ex:accessGranted true .
124
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)) .
125
163
  # via the schematic forward rule:
126
164
  # {
127
- # :scope gps:findpath ({
128
- # ?x a foaf:Person .
129
- # ?x ex:identityVerified true .
130
- # ?x ex:affiliationVerified true .
131
- # ?x ex:requestSubmitted true .
132
- # ?x ex:itemLocated true .
133
- # ?x ex:accessGranted true .
134
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
165
+ # state:s5 :formula ?GOAL .
166
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
135
167
  # } => {
136
168
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
137
169
  # } .
138
170
  # with substitution (on rule variables):
139
171
  # ?COST = 0
140
172
  # ?DUR = 41
173
+ # ?GOAL = {
174
+ # var:x a foaf:Person .
175
+ # var:x ex:identityVerified true .
176
+ # var:x ex:affiliationVerified true .
177
+ # var:x ex:requestSubmitted true .
178
+ # var:x ex:itemLocated true .
179
+ # var:x ex:accessGranted true .
180
+ # }
141
181
  # ?PATH = (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess)
142
182
  # ?SAT = 0.6485517
143
183
  # ?SUC = 0.8525962367999999
@@ -150,30 +190,40 @@
150
190
  # Proof for derived triple:
151
191
  # :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription) 33 0.5 0.8899474422999999 0.66356151) .
152
192
  # It holds because the following instance of the rule body is provable:
193
+ # state:s5 :formula {
194
+ # var:x a foaf:Person .
195
+ # var:x ex:identityVerified true .
196
+ # var:x ex:affiliationVerified true .
197
+ # var:x ex:requestSubmitted true .
198
+ # var:x ex:itemLocated true .
199
+ # var:x ex:accessGranted true .
200
+ # } .
153
201
  # :scope gps:findpath ({
154
- # ?x a foaf:Person .
155
- # ?x ex:identityVerified true .
156
- # ?x ex:affiliationVerified true .
157
- # ?x ex:requestSubmitted true .
158
- # ?x ex:itemLocated true .
159
- # ?x ex:accessGranted true .
202
+ # var:x a foaf:Person .
203
+ # var:x ex:identityVerified true .
204
+ # var:x ex:affiliationVerified true .
205
+ # var:x ex:requestSubmitted true .
206
+ # var:x ex:itemLocated true .
207
+ # var:x ex:accessGranted true .
160
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)) .
161
209
  # via the schematic forward rule:
162
210
  # {
163
- # :scope gps:findpath ({
164
- # ?x a foaf:Person .
165
- # ?x ex:identityVerified true .
166
- # ?x ex:affiliationVerified true .
167
- # ?x ex:requestSubmitted true .
168
- # ?x ex:itemLocated true .
169
- # ?x ex:accessGranted true .
170
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
211
+ # state:s5 :formula ?GOAL .
212
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
171
213
  # } => {
172
214
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
173
215
  # } .
174
216
  # with substitution (on rule variables):
175
217
  # ?COST = 0.5
176
218
  # ?DUR = 33
219
+ # ?GOAL = {
220
+ # var:x a foaf:Person .
221
+ # var:x ex:identityVerified true .
222
+ # var:x ex:affiliationVerified true .
223
+ # var:x ex:requestSubmitted true .
224
+ # var:x ex:itemLocated true .
225
+ # var:x ex:accessGranted true .
226
+ # }
177
227
  # ?PATH = (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription)
178
228
  # ?SAT = 0.66356151
179
229
  # ?SUC = 0.8899474422999999
@@ -186,30 +236,40 @@
186
236
  # Proof for derived triple:
187
237
  # :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess) 32 0 0.8440738628 0.684739005) .
188
238
  # It holds because the following instance of the rule body is provable:
239
+ # state:s5 :formula {
240
+ # var:x a foaf:Person .
241
+ # var:x ex:identityVerified true .
242
+ # var:x ex:affiliationVerified true .
243
+ # var:x ex:requestSubmitted true .
244
+ # var:x ex:itemLocated true .
245
+ # var:x ex:accessGranted true .
246
+ # } .
189
247
  # :scope gps:findpath ({
190
- # ?x a foaf:Person .
191
- # ?x ex:identityVerified true .
192
- # ?x ex:affiliationVerified true .
193
- # ?x ex:requestSubmitted true .
194
- # ?x ex:itemLocated true .
195
- # ?x ex:accessGranted true .
248
+ # var:x a foaf:Person .
249
+ # var:x ex:identityVerified true .
250
+ # var:x ex:affiliationVerified true .
251
+ # var:x ex:requestSubmitted true .
252
+ # var:x ex:itemLocated true .
253
+ # var:x ex:accessGranted true .
196
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)) .
197
255
  # via the schematic forward rule:
198
256
  # {
199
- # :scope gps:findpath ({
200
- # ?x a foaf:Person .
201
- # ?x ex:identityVerified true .
202
- # ?x ex:affiliationVerified true .
203
- # ?x ex:requestSubmitted true .
204
- # ?x ex:itemLocated true .
205
- # ?x ex:accessGranted true .
206
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
257
+ # state:s5 :formula ?GOAL .
258
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
207
259
  # } => {
208
260
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
209
261
  # } .
210
262
  # with substitution (on rule variables):
211
263
  # ?COST = 0
212
264
  # ?DUR = 32
265
+ # ?GOAL = {
266
+ # var:x a foaf:Person .
267
+ # var:x ex:identityVerified true .
268
+ # var:x ex:affiliationVerified true .
269
+ # var:x ex:requestSubmitted true .
270
+ # var:x ex:itemLocated true .
271
+ # var:x ex:accessGranted true .
272
+ # }
213
273
  # ?PATH = (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess)
214
274
  # ?SAT = 0.684739005
215
275
  # ?SUC = 0.8440738628
@@ -222,30 +282,40 @@
222
282
  # Proof for derived triple:
223
283
  # :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription) 32 0.5 0.8807727263999999 0.6564264399999999) .
224
284
  # It holds because the following instance of the rule body is provable:
285
+ # state:s5 :formula {
286
+ # var:x a foaf:Person .
287
+ # var:x ex:identityVerified true .
288
+ # var:x ex:affiliationVerified true .
289
+ # var:x ex:requestSubmitted true .
290
+ # var:x ex:itemLocated true .
291
+ # var:x ex:accessGranted true .
292
+ # } .
225
293
  # :scope gps:findpath ({
226
- # ?x a foaf:Person .
227
- # ?x ex:identityVerified true .
228
- # ?x ex:affiliationVerified true .
229
- # ?x ex:requestSubmitted true .
230
- # ?x ex:itemLocated true .
231
- # ?x ex:accessGranted true .
294
+ # var:x a foaf:Person .
295
+ # var:x ex:identityVerified true .
296
+ # var:x ex:affiliationVerified true .
297
+ # var:x ex:requestSubmitted true .
298
+ # var:x ex:itemLocated true .
299
+ # var:x ex:accessGranted true .
232
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)) .
233
301
  # via the schematic forward rule:
234
302
  # {
235
- # :scope gps:findpath ({
236
- # ?x a foaf:Person .
237
- # ?x ex:identityVerified true .
238
- # ?x ex:affiliationVerified true .
239
- # ?x ex:requestSubmitted true .
240
- # ?x ex:itemLocated true .
241
- # ?x ex:accessGranted true .
242
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
303
+ # state:s5 :formula ?GOAL .
304
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
243
305
  # } => {
244
306
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
245
307
  # } .
246
308
  # with substitution (on rule variables):
247
309
  # ?COST = 0.5
248
310
  # ?DUR = 32
311
+ # ?GOAL = {
312
+ # var:x a foaf:Person .
313
+ # var:x ex:identityVerified true .
314
+ # var:x ex:affiliationVerified true .
315
+ # var:x ex:requestSubmitted true .
316
+ # var:x ex:itemLocated true .
317
+ # var:x ex:accessGranted true .
318
+ # }
249
319
  # ?PATH = (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription)
250
320
  # ?SAT = 0.6564264399999999
251
321
  # ?SUC = 0.8807727263999999
@@ -258,30 +328,40 @@
258
328
  # Proof for derived triple:
259
329
  # :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess) 31 0 0.8353720703999998 0.6773762199999999) .
260
330
  # It holds because the following instance of the rule body is provable:
331
+ # state:s5 :formula {
332
+ # var:x a foaf:Person .
333
+ # var:x ex:identityVerified true .
334
+ # var:x ex:affiliationVerified true .
335
+ # var:x ex:requestSubmitted true .
336
+ # var:x ex:itemLocated true .
337
+ # var:x ex:accessGranted true .
338
+ # } .
261
339
  # :scope gps:findpath ({
262
- # ?x a foaf:Person .
263
- # ?x ex:identityVerified true .
264
- # ?x ex:affiliationVerified true .
265
- # ?x ex:requestSubmitted true .
266
- # ?x ex:itemLocated true .
267
- # ?x ex:accessGranted true .
340
+ # var:x a foaf:Person .
341
+ # var:x ex:identityVerified true .
342
+ # var:x ex:affiliationVerified true .
343
+ # var:x ex:requestSubmitted true .
344
+ # var:x ex:itemLocated true .
345
+ # var:x ex:accessGranted true .
268
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)) .
269
347
  # via the schematic forward rule:
270
348
  # {
271
- # :scope gps:findpath ({
272
- # ?x a foaf:Person .
273
- # ?x ex:identityVerified true .
274
- # ?x ex:affiliationVerified true .
275
- # ?x ex:requestSubmitted true .
276
- # ?x ex:itemLocated true .
277
- # ?x ex:accessGranted true .
278
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
349
+ # state:s5 :formula ?GOAL .
350
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
279
351
  # } => {
280
352
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
281
353
  # } .
282
354
  # with substitution (on rule variables):
283
355
  # ?COST = 0
284
356
  # ?DUR = 31
357
+ # ?GOAL = {
358
+ # var:x a foaf:Person .
359
+ # var:x ex:identityVerified true .
360
+ # var:x ex:affiliationVerified true .
361
+ # var:x ex:requestSubmitted true .
362
+ # var:x ex:itemLocated true .
363
+ # var:x ex:accessGranted true .
364
+ # }
285
365
  # ?PATH = (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess)
286
366
  # ?SAT = 0.6773762199999999
287
367
  # ?SUC = 0.8353720703999998
@@ -294,30 +374,40 @@
294
374
  # Proof for derived triple:
295
375
  # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription) 262 0.5 0.8990285386499999 0.6105412800000001) .
296
376
  # It holds because the following instance of the rule body is provable:
377
+ # state:s5 :formula {
378
+ # var:x a foaf:Person .
379
+ # var:x ex:identityVerified true .
380
+ # var:x ex:affiliationVerified true .
381
+ # var:x ex:requestSubmitted true .
382
+ # var:x ex:itemLocated true .
383
+ # var:x ex:accessGranted true .
384
+ # } .
297
385
  # :scope gps:findpath ({
298
- # ?x a foaf:Person .
299
- # ?x ex:identityVerified true .
300
- # ?x ex:affiliationVerified true .
301
- # ?x ex:requestSubmitted true .
302
- # ?x ex:itemLocated true .
303
- # ?x ex:accessGranted true .
386
+ # var:x a foaf:Person .
387
+ # var:x ex:identityVerified true .
388
+ # var:x ex:affiliationVerified true .
389
+ # var:x ex:requestSubmitted true .
390
+ # var:x ex:itemLocated true .
391
+ # var:x ex:accessGranted true .
304
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)) .
305
393
  # via the schematic forward rule:
306
394
  # {
307
- # :scope gps:findpath ({
308
- # ?x a foaf:Person .
309
- # ?x ex:identityVerified true .
310
- # ?x ex:affiliationVerified true .
311
- # ?x ex:requestSubmitted true .
312
- # ?x ex:itemLocated true .
313
- # ?x ex:accessGranted true .
314
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
395
+ # state:s5 :formula ?GOAL .
396
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
315
397
  # } => {
316
398
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
317
399
  # } .
318
400
  # with substitution (on rule variables):
319
401
  # ?COST = 0.5
320
402
  # ?DUR = 262
403
+ # ?GOAL = {
404
+ # var:x a foaf:Person .
405
+ # var:x ex:identityVerified true .
406
+ # var:x ex:affiliationVerified true .
407
+ # var:x ex:requestSubmitted true .
408
+ # var:x ex:itemLocated true .
409
+ # var:x ex:accessGranted true .
410
+ # }
321
411
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription)
322
412
  # ?SAT = 0.6105412800000001
323
413
  # ?SUC = 0.8990285386499999
@@ -330,30 +420,40 @@
330
420
  # Proof for derived triple:
331
421
  # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess) 261 0 0.8526868613999998 0.6300266400000001) .
332
422
  # It holds because the following instance of the rule body is provable:
423
+ # state:s5 :formula {
424
+ # var:x a foaf:Person .
425
+ # var:x ex:identityVerified true .
426
+ # var:x ex:affiliationVerified true .
427
+ # var:x ex:requestSubmitted true .
428
+ # var:x ex:itemLocated true .
429
+ # var:x ex:accessGranted true .
430
+ # } .
333
431
  # :scope gps:findpath ({
334
- # ?x a foaf:Person .
335
- # ?x ex:identityVerified true .
336
- # ?x ex:affiliationVerified true .
337
- # ?x ex:requestSubmitted true .
338
- # ?x ex:itemLocated true .
339
- # ?x ex:accessGranted true .
432
+ # var:x a foaf:Person .
433
+ # var:x ex:identityVerified true .
434
+ # var:x ex:affiliationVerified true .
435
+ # var:x ex:requestSubmitted true .
436
+ # var:x ex:itemLocated true .
437
+ # var:x ex:accessGranted true .
340
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)) .
341
439
  # via the schematic forward rule:
342
440
  # {
343
- # :scope gps:findpath ({
344
- # ?x a foaf:Person .
345
- # ?x ex:identityVerified true .
346
- # ?x ex:affiliationVerified true .
347
- # ?x ex:requestSubmitted true .
348
- # ?x ex:itemLocated true .
349
- # ?x ex:accessGranted true .
350
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
441
+ # state:s5 :formula ?GOAL .
442
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
351
443
  # } => {
352
444
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
353
445
  # } .
354
446
  # with substitution (on rule variables):
355
447
  # ?COST = 0
356
448
  # ?DUR = 261
449
+ # ?GOAL = {
450
+ # var:x a foaf:Person .
451
+ # var:x ex:identityVerified true .
452
+ # var:x ex:affiliationVerified true .
453
+ # var:x ex:requestSubmitted true .
454
+ # var:x ex:itemLocated true .
455
+ # var:x ex:accessGranted true .
456
+ # }
357
457
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess)
358
458
  # ?SAT = 0.6300266400000001
359
459
  # ?SUC = 0.8526868613999998
@@ -366,30 +466,40 @@
366
466
  # Proof for derived triple:
367
467
  # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription) 261 0.5 0.8897602031999999 0.6039763200000001) .
368
468
  # It holds because the following instance of the rule body is provable:
469
+ # state:s5 :formula {
470
+ # var:x a foaf:Person .
471
+ # var:x ex:identityVerified true .
472
+ # var:x ex:affiliationVerified true .
473
+ # var:x ex:requestSubmitted true .
474
+ # var:x ex:itemLocated true .
475
+ # var:x ex:accessGranted true .
476
+ # } .
369
477
  # :scope gps:findpath ({
370
- # ?x a foaf:Person .
371
- # ?x ex:identityVerified true .
372
- # ?x ex:affiliationVerified true .
373
- # ?x ex:requestSubmitted true .
374
- # ?x ex:itemLocated true .
375
- # ?x ex:accessGranted true .
478
+ # var:x a foaf:Person .
479
+ # var:x ex:identityVerified true .
480
+ # var:x ex:affiliationVerified true .
481
+ # var:x ex:requestSubmitted true .
482
+ # var:x ex:itemLocated true .
483
+ # var:x ex:accessGranted true .
376
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)) .
377
485
  # via the schematic forward rule:
378
486
  # {
379
- # :scope gps:findpath ({
380
- # ?x a foaf:Person .
381
- # ?x ex:identityVerified true .
382
- # ?x ex:affiliationVerified true .
383
- # ?x ex:requestSubmitted true .
384
- # ?x ex:itemLocated true .
385
- # ?x ex:accessGranted true .
386
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
487
+ # state:s5 :formula ?GOAL .
488
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
387
489
  # } => {
388
490
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
389
491
  # } .
390
492
  # with substitution (on rule variables):
391
493
  # ?COST = 0.5
392
494
  # ?DUR = 261
495
+ # ?GOAL = {
496
+ # var:x a foaf:Person .
497
+ # var:x ex:identityVerified true .
498
+ # var:x ex:affiliationVerified true .
499
+ # var:x ex:requestSubmitted true .
500
+ # var:x ex:itemLocated true .
501
+ # var:x ex:accessGranted true .
502
+ # }
393
503
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription)
394
504
  # ?SAT = 0.6039763200000001
395
505
  # ?SUC = 0.8897602031999999
@@ -402,30 +512,40 @@
402
512
  # Proof for derived triple:
403
513
  # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess) 260 0 0.8438962751999999 0.6232521599999999) .
404
514
  # It holds because the following instance of the rule body is provable:
515
+ # state:s5 :formula {
516
+ # var:x a foaf:Person .
517
+ # var:x ex:identityVerified true .
518
+ # var:x ex:affiliationVerified true .
519
+ # var:x ex:requestSubmitted true .
520
+ # var:x ex:itemLocated true .
521
+ # var:x ex:accessGranted true .
522
+ # } .
405
523
  # :scope gps:findpath ({
406
- # ?x a foaf:Person .
407
- # ?x ex:identityVerified true .
408
- # ?x ex:affiliationVerified true .
409
- # ?x ex:requestSubmitted true .
410
- # ?x ex:itemLocated true .
411
- # ?x ex:accessGranted true .
524
+ # var:x a foaf:Person .
525
+ # var:x ex:identityVerified true .
526
+ # var:x ex:affiliationVerified true .
527
+ # var:x ex:requestSubmitted true .
528
+ # var:x ex:itemLocated true .
529
+ # var:x ex:accessGranted true .
412
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)) .
413
531
  # via the schematic forward rule:
414
532
  # {
415
- # :scope gps:findpath ({
416
- # ?x a foaf:Person .
417
- # ?x ex:identityVerified true .
418
- # ?x ex:affiliationVerified true .
419
- # ?x ex:requestSubmitted true .
420
- # ?x ex:itemLocated true .
421
- # ?x ex:accessGranted true .
422
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
533
+ # state:s5 :formula ?GOAL .
534
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
423
535
  # } => {
424
536
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
425
537
  # } .
426
538
  # with substitution (on rule variables):
427
539
  # ?COST = 0
428
540
  # ?DUR = 260
541
+ # ?GOAL = {
542
+ # var:x a foaf:Person .
543
+ # var:x ex:identityVerified true .
544
+ # var:x ex:affiliationVerified true .
545
+ # var:x ex:requestSubmitted true .
546
+ # var:x ex:itemLocated true .
547
+ # var:x ex:accessGranted true .
548
+ # }
429
549
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess)
430
550
  # ?SAT = 0.6232521599999999
431
551
  # ?SUC = 0.8438962751999999
@@ -438,30 +558,40 @@
438
558
  # Proof for derived triple:
439
559
  # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription) 252 0.5 0.8808663459499999 0.6376764479999999) .
440
560
  # It holds because the following instance of the rule body is provable:
561
+ # state:s5 :formula {
562
+ # var:x a foaf:Person .
563
+ # var:x ex:identityVerified true .
564
+ # var:x ex:affiliationVerified true .
565
+ # var:x ex:requestSubmitted true .
566
+ # var:x ex:itemLocated true .
567
+ # var:x ex:accessGranted true .
568
+ # } .
441
569
  # :scope gps:findpath ({
442
- # ?x a foaf:Person .
443
- # ?x ex:identityVerified true .
444
- # ?x ex:affiliationVerified true .
445
- # ?x ex:requestSubmitted true .
446
- # ?x ex:itemLocated true .
447
- # ?x ex:accessGranted true .
570
+ # var:x a foaf:Person .
571
+ # var:x ex:identityVerified true .
572
+ # var:x ex:affiliationVerified true .
573
+ # var:x ex:requestSubmitted true .
574
+ # var:x ex:itemLocated true .
575
+ # var:x ex:accessGranted true .
448
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)) .
449
577
  # via the schematic forward rule:
450
578
  # {
451
- # :scope gps:findpath ({
452
- # ?x a foaf:Person .
453
- # ?x ex:identityVerified true .
454
- # ?x ex:affiliationVerified true .
455
- # ?x ex:requestSubmitted true .
456
- # ?x ex:itemLocated true .
457
- # ?x ex:accessGranted true .
458
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
579
+ # state:s5 :formula ?GOAL .
580
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
459
581
  # } => {
460
582
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
461
583
  # } .
462
584
  # with substitution (on rule variables):
463
585
  # ?COST = 0.5
464
586
  # ?DUR = 252
587
+ # ?GOAL = {
588
+ # var:x a foaf:Person .
589
+ # var:x ex:identityVerified true .
590
+ # var:x ex:affiliationVerified true .
591
+ # var:x ex:requestSubmitted true .
592
+ # var:x ex:itemLocated true .
593
+ # var:x ex:accessGranted true .
594
+ # }
465
595
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription)
466
596
  # ?SAT = 0.6376764479999999
467
597
  # ?SUC = 0.8808663459499999
@@ -474,30 +604,40 @@
474
604
  # Proof for derived triple:
475
605
  # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess) 251 0 0.8354608641999999 0.658027824) .
476
606
  # It holds because the following instance of the rule body is provable:
607
+ # state:s5 :formula {
608
+ # var:x a foaf:Person .
609
+ # var:x ex:identityVerified true .
610
+ # var:x ex:affiliationVerified true .
611
+ # var:x ex:requestSubmitted true .
612
+ # var:x ex:itemLocated true .
613
+ # var:x ex:accessGranted true .
614
+ # } .
477
615
  # :scope gps:findpath ({
478
- # ?x a foaf:Person .
479
- # ?x ex:identityVerified true .
480
- # ?x ex:affiliationVerified true .
481
- # ?x ex:requestSubmitted true .
482
- # ?x ex:itemLocated true .
483
- # ?x ex:accessGranted true .
616
+ # var:x a foaf:Person .
617
+ # var:x ex:identityVerified true .
618
+ # var:x ex:affiliationVerified true .
619
+ # var:x ex:requestSubmitted true .
620
+ # var:x ex:itemLocated true .
621
+ # var:x ex:accessGranted true .
484
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)) .
485
623
  # via the schematic forward rule:
486
624
  # {
487
- # :scope gps:findpath ({
488
- # ?x a foaf:Person .
489
- # ?x ex:identityVerified true .
490
- # ?x ex:affiliationVerified true .
491
- # ?x ex:requestSubmitted true .
492
- # ?x ex:itemLocated true .
493
- # ?x ex:accessGranted true .
494
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
625
+ # state:s5 :formula ?GOAL .
626
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
495
627
  # } => {
496
628
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
497
629
  # } .
498
630
  # with substitution (on rule variables):
499
631
  # ?COST = 0
500
632
  # ?DUR = 251
633
+ # ?GOAL = {
634
+ # var:x a foaf:Person .
635
+ # var:x ex:identityVerified true .
636
+ # var:x ex:affiliationVerified true .
637
+ # var:x ex:requestSubmitted true .
638
+ # var:x ex:itemLocated true .
639
+ # var:x ex:accessGranted true .
640
+ # }
501
641
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess)
502
642
  # ?SAT = 0.658027824
503
643
  # ?SUC = 0.8354608641999999
@@ -510,30 +650,40 @@
510
650
  # Proof for derived triple:
511
651
  # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription) 251 0.5 0.8717852495999998 0.6308197120000001) .
512
652
  # It holds because the following instance of the rule body is provable:
653
+ # state:s5 :formula {
654
+ # var:x a foaf:Person .
655
+ # var:x ex:identityVerified true .
656
+ # var:x ex:affiliationVerified true .
657
+ # var:x ex:requestSubmitted true .
658
+ # var:x ex:itemLocated true .
659
+ # var:x ex:accessGranted true .
660
+ # } .
513
661
  # :scope gps:findpath ({
514
- # ?x a foaf:Person .
515
- # ?x ex:identityVerified true .
516
- # ?x ex:affiliationVerified true .
517
- # ?x ex:requestSubmitted true .
518
- # ?x ex:itemLocated true .
519
- # ?x ex:accessGranted true .
662
+ # var:x a foaf:Person .
663
+ # var:x ex:identityVerified true .
664
+ # var:x ex:affiliationVerified true .
665
+ # var:x ex:requestSubmitted true .
666
+ # var:x ex:itemLocated true .
667
+ # var:x ex:accessGranted true .
520
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)) .
521
669
  # via the schematic forward rule:
522
670
  # {
523
- # :scope gps:findpath ({
524
- # ?x a foaf:Person .
525
- # ?x ex:identityVerified true .
526
- # ?x ex:affiliationVerified true .
527
- # ?x ex:requestSubmitted true .
528
- # ?x ex:itemLocated true .
529
- # ?x ex:accessGranted true .
530
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
671
+ # state:s5 :formula ?GOAL .
672
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
531
673
  # } => {
532
674
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
533
675
  # } .
534
676
  # with substitution (on rule variables):
535
677
  # ?COST = 0.5
536
678
  # ?DUR = 251
679
+ # ?GOAL = {
680
+ # var:x a foaf:Person .
681
+ # var:x ex:identityVerified true .
682
+ # var:x ex:affiliationVerified true .
683
+ # var:x ex:requestSubmitted true .
684
+ # var:x ex:itemLocated true .
685
+ # var:x ex:accessGranted true .
686
+ # }
537
687
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription)
538
688
  # ?SAT = 0.6308197120000001
539
689
  # ?SUC = 0.8717852495999998
@@ -546,30 +696,40 @@
546
696
  # Proof for derived triple:
547
697
  # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess) 250 0 0.8268478655999999 0.6509522560000001) .
548
698
  # It holds because the following instance of the rule body is provable:
699
+ # state:s5 :formula {
700
+ # var:x a foaf:Person .
701
+ # var:x ex:identityVerified true .
702
+ # var:x ex:affiliationVerified true .
703
+ # var:x ex:requestSubmitted true .
704
+ # var:x ex:itemLocated true .
705
+ # var:x ex:accessGranted true .
706
+ # } .
549
707
  # :scope gps:findpath ({
550
- # ?x a foaf:Person .
551
- # ?x ex:identityVerified true .
552
- # ?x ex:affiliationVerified true .
553
- # ?x ex:requestSubmitted true .
554
- # ?x ex:itemLocated true .
555
- # ?x ex:accessGranted true .
708
+ # var:x a foaf:Person .
709
+ # var:x ex:identityVerified true .
710
+ # var:x ex:affiliationVerified true .
711
+ # var:x ex:requestSubmitted true .
712
+ # var:x ex:itemLocated true .
713
+ # var:x ex:accessGranted true .
556
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)) .
557
715
  # via the schematic forward rule:
558
716
  # {
559
- # :scope gps:findpath ({
560
- # ?x a foaf:Person .
561
- # ?x ex:identityVerified true .
562
- # ?x ex:affiliationVerified true .
563
- # ?x ex:requestSubmitted true .
564
- # ?x ex:itemLocated true .
565
- # ?x ex:accessGranted true .
566
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
717
+ # state:s5 :formula ?GOAL .
718
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
567
719
  # } => {
568
720
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
569
721
  # } .
570
722
  # with substitution (on rule variables):
571
723
  # ?COST = 0
572
724
  # ?DUR = 250
725
+ # ?GOAL = {
726
+ # var:x a foaf:Person .
727
+ # var:x ex:identityVerified true .
728
+ # var:x ex:affiliationVerified true .
729
+ # var:x ex:requestSubmitted true .
730
+ # var:x ex:itemLocated true .
731
+ # var:x ex:accessGranted true .
732
+ # }
573
733
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess)
574
734
  # ?SAT = 0.6509522560000001
575
735
  # ?SUC = 0.8268478655999999
@@ -582,30 +742,40 @@
582
742
  # Proof for derived triple:
583
743
  # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessInterlibraryLoan) 2903 5 0.8991682622999999 0.6170364) .
584
744
  # It holds because the following instance of the rule body is provable:
745
+ # state:s5 :formula {
746
+ # var:x a foaf:Person .
747
+ # var:x ex:identityVerified true .
748
+ # var:x ex:affiliationVerified true .
749
+ # var:x ex:requestSubmitted true .
750
+ # var:x ex:itemLocated true .
751
+ # var:x ex:accessGranted true .
752
+ # } .
585
753
  # :scope gps:findpath ({
586
- # ?x a foaf:Person .
587
- # ?x ex:identityVerified true .
588
- # ?x ex:affiliationVerified true .
589
- # ?x ex:requestSubmitted true .
590
- # ?x ex:itemLocated true .
591
- # ?x ex:accessGranted true .
754
+ # var:x a foaf:Person .
755
+ # var:x ex:identityVerified true .
756
+ # var:x ex:affiliationVerified true .
757
+ # var:x ex:requestSubmitted true .
758
+ # var:x ex:itemLocated true .
759
+ # var:x ex:accessGranted true .
592
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)) .
593
761
  # via the schematic forward rule:
594
762
  # {
595
- # :scope gps:findpath ({
596
- # ?x a foaf:Person .
597
- # ?x ex:identityVerified true .
598
- # ?x ex:affiliationVerified true .
599
- # ?x ex:requestSubmitted true .
600
- # ?x ex:itemLocated true .
601
- # ?x ex:accessGranted true .
602
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
763
+ # state:s5 :formula ?GOAL .
764
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
603
765
  # } => {
604
766
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
605
767
  # } .
606
768
  # with substitution (on rule variables):
607
769
  # ?COST = 5
608
770
  # ?DUR = 2903
771
+ # ?GOAL = {
772
+ # var:x a foaf:Person .
773
+ # var:x ex:identityVerified true .
774
+ # var:x ex:affiliationVerified true .
775
+ # var:x ex:requestSubmitted true .
776
+ # var:x ex:itemLocated true .
777
+ # var:x ex:accessGranted true .
778
+ # }
609
779
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessInterlibraryLoan)
610
780
  # ?SAT = 0.6170364
611
781
  # ?SUC = 0.8991682622999999
@@ -618,30 +788,40 @@
618
788
  # Proof for derived triple:
619
789
  # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription) 25 0.5 0.8854753445999999 0.72501777) .
620
790
  # It holds because the following instance of the rule body is provable:
791
+ # state:s5 :formula {
792
+ # var:x a foaf:Person .
793
+ # var:x ex:identityVerified true .
794
+ # var:x ex:affiliationVerified true .
795
+ # var:x ex:requestSubmitted true .
796
+ # var:x ex:itemLocated true .
797
+ # var:x ex:accessGranted true .
798
+ # } .
621
799
  # :scope gps:findpath ({
622
- # ?x a foaf:Person .
623
- # ?x ex:identityVerified true .
624
- # ?x ex:affiliationVerified true .
625
- # ?x ex:requestSubmitted true .
626
- # ?x ex:itemLocated true .
627
- # ?x ex:accessGranted true .
800
+ # var:x a foaf:Person .
801
+ # var:x ex:identityVerified true .
802
+ # var:x ex:affiliationVerified true .
803
+ # var:x ex:requestSubmitted true .
804
+ # var:x ex:itemLocated true .
805
+ # var:x ex:accessGranted true .
628
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)) .
629
807
  # via the schematic forward rule:
630
808
  # {
631
- # :scope gps:findpath ({
632
- # ?x a foaf:Person .
633
- # ?x ex:identityVerified true .
634
- # ?x ex:affiliationVerified true .
635
- # ?x ex:requestSubmitted true .
636
- # ?x ex:itemLocated true .
637
- # ?x ex:accessGranted true .
638
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
809
+ # state:s5 :formula ?GOAL .
810
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
639
811
  # } => {
640
812
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
641
813
  # } .
642
814
  # with substitution (on rule variables):
643
815
  # ?COST = 0.5
644
816
  # ?DUR = 25
817
+ # ?GOAL = {
818
+ # var:x a foaf:Person .
819
+ # var:x ex:identityVerified true .
820
+ # var:x ex:affiliationVerified true .
821
+ # var:x ex:requestSubmitted true .
822
+ # var:x ex:itemLocated true .
823
+ # var:x ex:accessGranted true .
824
+ # }
645
825
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription)
646
826
  # ?SAT = 0.72501777
647
827
  # ?SUC = 0.8854753445999999
@@ -654,30 +834,40 @@
654
834
  # Proof for derived triple:
655
835
  # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess) 24 0 0.8398322855999999 0.7481566349999998) .
656
836
  # It holds because the following instance of the rule body is provable:
837
+ # state:s5 :formula {
838
+ # var:x a foaf:Person .
839
+ # var:x ex:identityVerified true .
840
+ # var:x ex:affiliationVerified true .
841
+ # var:x ex:requestSubmitted true .
842
+ # var:x ex:itemLocated true .
843
+ # var:x ex:accessGranted true .
844
+ # } .
657
845
  # :scope gps:findpath ({
658
- # ?x a foaf:Person .
659
- # ?x ex:identityVerified true .
660
- # ?x ex:affiliationVerified true .
661
- # ?x ex:requestSubmitted true .
662
- # ?x ex:itemLocated true .
663
- # ?x ex:accessGranted true .
846
+ # var:x a foaf:Person .
847
+ # var:x ex:identityVerified true .
848
+ # var:x ex:affiliationVerified true .
849
+ # var:x ex:requestSubmitted true .
850
+ # var:x ex:itemLocated true .
851
+ # var:x ex:accessGranted true .
664
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)) .
665
853
  # via the schematic forward rule:
666
854
  # {
667
- # :scope gps:findpath ({
668
- # ?x a foaf:Person .
669
- # ?x ex:identityVerified true .
670
- # ?x ex:affiliationVerified true .
671
- # ?x ex:requestSubmitted true .
672
- # ?x ex:itemLocated true .
673
- # ?x ex:accessGranted true .
674
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
855
+ # state:s5 :formula ?GOAL .
856
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
675
857
  # } => {
676
858
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
677
859
  # } .
678
860
  # with substitution (on rule variables):
679
861
  # ?COST = 0
680
862
  # ?DUR = 24
863
+ # ?GOAL = {
864
+ # var:x a foaf:Person .
865
+ # var:x ex:identityVerified true .
866
+ # var:x ex:affiliationVerified true .
867
+ # var:x ex:requestSubmitted true .
868
+ # var:x ex:itemLocated true .
869
+ # var:x ex:accessGranted true .
870
+ # }
681
871
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess)
682
872
  # ?SAT = 0.7481566349999998
683
873
  # ?SUC = 0.8398322855999999
@@ -690,30 +880,40 @@
690
880
  # Proof for derived triple:
691
881
  # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessInterlibraryLoan) 2902 5 0.8898984863999999 0.6104016) .
692
882
  # It holds because the following instance of the rule body is provable:
883
+ # state:s5 :formula {
884
+ # var:x a foaf:Person .
885
+ # var:x ex:identityVerified true .
886
+ # var:x ex:affiliationVerified true .
887
+ # var:x ex:requestSubmitted true .
888
+ # var:x ex:itemLocated true .
889
+ # var:x ex:accessGranted true .
890
+ # } .
693
891
  # :scope gps:findpath ({
694
- # ?x a foaf:Person .
695
- # ?x ex:identityVerified true .
696
- # ?x ex:affiliationVerified true .
697
- # ?x ex:requestSubmitted true .
698
- # ?x ex:itemLocated true .
699
- # ?x ex:accessGranted true .
892
+ # var:x a foaf:Person .
893
+ # var:x ex:identityVerified true .
894
+ # var:x ex:affiliationVerified true .
895
+ # var:x ex:requestSubmitted true .
896
+ # var:x ex:itemLocated true .
897
+ # var:x ex:accessGranted true .
700
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)) .
701
899
  # via the schematic forward rule:
702
900
  # {
703
- # :scope gps:findpath ({
704
- # ?x a foaf:Person .
705
- # ?x ex:identityVerified true .
706
- # ?x ex:affiliationVerified true .
707
- # ?x ex:requestSubmitted true .
708
- # ?x ex:itemLocated true .
709
- # ?x ex:accessGranted true .
710
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
901
+ # state:s5 :formula ?GOAL .
902
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
711
903
  # } => {
712
904
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
713
905
  # } .
714
906
  # with substitution (on rule variables):
715
907
  # ?COST = 5
716
908
  # ?DUR = 2902
909
+ # ?GOAL = {
910
+ # var:x a foaf:Person .
911
+ # var:x ex:identityVerified true .
912
+ # var:x ex:affiliationVerified true .
913
+ # var:x ex:requestSubmitted true .
914
+ # var:x ex:itemLocated true .
915
+ # var:x ex:accessGranted true .
916
+ # }
717
917
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessInterlibraryLoan)
718
918
  # ?SAT = 0.6104016
719
919
  # ?SUC = 0.8898984863999999
@@ -726,30 +926,40 @@
726
926
  # Proof for derived triple:
727
927
  # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription) 24 0.5 0.8763467328 0.71722188) .
728
928
  # It holds because the following instance of the rule body is provable:
929
+ # state:s5 :formula {
930
+ # var:x a foaf:Person .
931
+ # var:x ex:identityVerified true .
932
+ # var:x ex:affiliationVerified true .
933
+ # var:x ex:requestSubmitted true .
934
+ # var:x ex:itemLocated true .
935
+ # var:x ex:accessGranted true .
936
+ # } .
729
937
  # :scope gps:findpath ({
730
- # ?x a foaf:Person .
731
- # ?x ex:identityVerified true .
732
- # ?x ex:affiliationVerified true .
733
- # ?x ex:requestSubmitted true .
734
- # ?x ex:itemLocated true .
735
- # ?x ex:accessGranted true .
938
+ # var:x a foaf:Person .
939
+ # var:x ex:identityVerified true .
940
+ # var:x ex:affiliationVerified true .
941
+ # var:x ex:requestSubmitted true .
942
+ # var:x ex:itemLocated true .
943
+ # var:x ex:accessGranted true .
736
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)) .
737
945
  # via the schematic forward rule:
738
946
  # {
739
- # :scope gps:findpath ({
740
- # ?x a foaf:Person .
741
- # ?x ex:identityVerified true .
742
- # ?x ex:affiliationVerified true .
743
- # ?x ex:requestSubmitted true .
744
- # ?x ex:itemLocated true .
745
- # ?x ex:accessGranted true .
746
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
947
+ # state:s5 :formula ?GOAL .
948
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
747
949
  # } => {
748
950
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
749
951
  # } .
750
952
  # with substitution (on rule variables):
751
953
  # ?COST = 0.5
752
954
  # ?DUR = 24
955
+ # ?GOAL = {
956
+ # var:x a foaf:Person .
957
+ # var:x ex:identityVerified true .
958
+ # var:x ex:affiliationVerified true .
959
+ # var:x ex:requestSubmitted true .
960
+ # var:x ex:itemLocated true .
961
+ # var:x ex:accessGranted true .
962
+ # }
753
963
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription)
754
964
  # ?SAT = 0.71722188
755
965
  # ?SUC = 0.8763467328
@@ -762,30 +972,40 @@
762
972
  # Proof for derived triple:
763
973
  # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess) 23 0 0.8311742207999998 0.7401119399999999) .
764
974
  # It holds because the following instance of the rule body is provable:
975
+ # state:s5 :formula {
976
+ # var:x a foaf:Person .
977
+ # var:x ex:identityVerified true .
978
+ # var:x ex:affiliationVerified true .
979
+ # var:x ex:requestSubmitted true .
980
+ # var:x ex:itemLocated true .
981
+ # var:x ex:accessGranted true .
982
+ # } .
765
983
  # :scope gps:findpath ({
766
- # ?x a foaf:Person .
767
- # ?x ex:identityVerified true .
768
- # ?x ex:affiliationVerified true .
769
- # ?x ex:requestSubmitted true .
770
- # ?x ex:itemLocated true .
771
- # ?x ex:accessGranted true .
984
+ # var:x a foaf:Person .
985
+ # var:x ex:identityVerified true .
986
+ # var:x ex:affiliationVerified true .
987
+ # var:x ex:requestSubmitted true .
988
+ # var:x ex:itemLocated true .
989
+ # var:x ex:accessGranted true .
772
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)) .
773
991
  # via the schematic forward rule:
774
992
  # {
775
- # :scope gps:findpath ({
776
- # ?x a foaf:Person .
777
- # ?x ex:identityVerified true .
778
- # ?x ex:affiliationVerified true .
779
- # ?x ex:requestSubmitted true .
780
- # ?x ex:itemLocated true .
781
- # ?x ex:accessGranted true .
782
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
993
+ # state:s5 :formula ?GOAL .
994
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
783
995
  # } => {
784
996
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
785
997
  # } .
786
998
  # with substitution (on rule variables):
787
999
  # ?COST = 0
788
1000
  # ?DUR = 23
1001
+ # ?GOAL = {
1002
+ # var:x a foaf:Person .
1003
+ # var:x ex:identityVerified true .
1004
+ # var:x ex:affiliationVerified true .
1005
+ # var:x ex:requestSubmitted true .
1006
+ # var:x ex:itemLocated true .
1007
+ # var:x ex:accessGranted true .
1008
+ # }
789
1009
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess)
790
1010
  # ?SAT = 0.7401119399999999
791
1011
  # ?SUC = 0.8311742207999998
@@ -798,30 +1018,40 @@
798
1018
  # Proof for derived triple:
799
1019
  # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessInterlibraryLoan) 2893 5 0.8810032468999999 0.6444602400000001) .
800
1020
  # It holds because the following instance of the rule body is provable:
1021
+ # state:s5 :formula {
1022
+ # var:x a foaf:Person .
1023
+ # var:x ex:identityVerified true .
1024
+ # var:x ex:affiliationVerified true .
1025
+ # var:x ex:requestSubmitted true .
1026
+ # var:x ex:itemLocated true .
1027
+ # var:x ex:accessGranted true .
1028
+ # } .
801
1029
  # :scope gps:findpath ({
802
- # ?x a foaf:Person .
803
- # ?x ex:identityVerified true .
804
- # ?x ex:affiliationVerified true .
805
- # ?x ex:requestSubmitted true .
806
- # ?x ex:itemLocated true .
807
- # ?x ex:accessGranted true .
1030
+ # var:x a foaf:Person .
1031
+ # var:x ex:identityVerified true .
1032
+ # var:x ex:affiliationVerified true .
1033
+ # var:x ex:requestSubmitted true .
1034
+ # var:x ex:itemLocated true .
1035
+ # var:x ex:accessGranted true .
808
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)) .
809
1037
  # via the schematic forward rule:
810
1038
  # {
811
- # :scope gps:findpath ({
812
- # ?x a foaf:Person .
813
- # ?x ex:identityVerified true .
814
- # ?x ex:affiliationVerified true .
815
- # ?x ex:requestSubmitted true .
816
- # ?x ex:itemLocated true .
817
- # ?x ex:accessGranted true .
818
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
1039
+ # state:s5 :formula ?GOAL .
1040
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
819
1041
  # } => {
820
1042
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
821
1043
  # } .
822
1044
  # with substitution (on rule variables):
823
1045
  # ?COST = 5
824
1046
  # ?DUR = 2893
1047
+ # ?GOAL = {
1048
+ # var:x a foaf:Person .
1049
+ # var:x ex:identityVerified true .
1050
+ # var:x ex:affiliationVerified true .
1051
+ # var:x ex:requestSubmitted true .
1052
+ # var:x ex:itemLocated true .
1053
+ # var:x ex:accessGranted true .
1054
+ # }
825
1055
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessInterlibraryLoan)
826
1056
  # ?SAT = 0.6444602400000001
827
1057
  # ?SUC = 0.8810032468999999
@@ -834,30 +1064,40 @@
834
1064
  # Proof for derived triple:
835
1065
  # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription) 15 0.5 0.8675869537999998 0.7572407819999999) .
836
1066
  # It holds because the following instance of the rule body is provable:
1067
+ # state:s5 :formula {
1068
+ # var:x a foaf:Person .
1069
+ # var:x ex:identityVerified true .
1070
+ # var:x ex:affiliationVerified true .
1071
+ # var:x ex:requestSubmitted true .
1072
+ # var:x ex:itemLocated true .
1073
+ # var:x ex:accessGranted true .
1074
+ # } .
837
1075
  # :scope gps:findpath ({
838
- # ?x a foaf:Person .
839
- # ?x ex:identityVerified true .
840
- # ?x ex:affiliationVerified true .
841
- # ?x ex:requestSubmitted true .
842
- # ?x ex:itemLocated true .
843
- # ?x ex:accessGranted true .
1076
+ # var:x a foaf:Person .
1077
+ # var:x ex:identityVerified true .
1078
+ # var:x ex:affiliationVerified true .
1079
+ # var:x ex:requestSubmitted true .
1080
+ # var:x ex:itemLocated true .
1081
+ # var:x ex:accessGranted true .
844
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)) .
845
1083
  # via the schematic forward rule:
846
1084
  # {
847
- # :scope gps:findpath ({
848
- # ?x a foaf:Person .
849
- # ?x ex:identityVerified true .
850
- # ?x ex:affiliationVerified true .
851
- # ?x ex:requestSubmitted true .
852
- # ?x ex:itemLocated true .
853
- # ?x ex:accessGranted true .
854
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
1085
+ # state:s5 :formula ?GOAL .
1086
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
855
1087
  # } => {
856
1088
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
857
1089
  # } .
858
1090
  # with substitution (on rule variables):
859
1091
  # ?COST = 0.5
860
1092
  # ?DUR = 15
1093
+ # ?GOAL = {
1094
+ # var:x a foaf:Person .
1095
+ # var:x ex:identityVerified true .
1096
+ # var:x ex:affiliationVerified true .
1097
+ # var:x ex:requestSubmitted true .
1098
+ # var:x ex:itemLocated true .
1099
+ # var:x ex:accessGranted true .
1100
+ # }
861
1101
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription)
862
1102
  # ?SAT = 0.7572407819999999
863
1103
  # ?SUC = 0.8675869537999998
@@ -870,30 +1110,40 @@
870
1110
  # Proof for derived triple:
871
1111
  # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess) 14 0 0.8228659768 0.7814080409999999) .
872
1112
  # It holds because the following instance of the rule body is provable:
1113
+ # state:s5 :formula {
1114
+ # var:x a foaf:Person .
1115
+ # var:x ex:identityVerified true .
1116
+ # var:x ex:affiliationVerified true .
1117
+ # var:x ex:requestSubmitted true .
1118
+ # var:x ex:itemLocated true .
1119
+ # var:x ex:accessGranted true .
1120
+ # } .
873
1121
  # :scope gps:findpath ({
874
- # ?x a foaf:Person .
875
- # ?x ex:identityVerified true .
876
- # ?x ex:affiliationVerified true .
877
- # ?x ex:requestSubmitted true .
878
- # ?x ex:itemLocated true .
879
- # ?x ex:accessGranted true .
1122
+ # var:x a foaf:Person .
1123
+ # var:x ex:identityVerified true .
1124
+ # var:x ex:affiliationVerified true .
1125
+ # var:x ex:requestSubmitted true .
1126
+ # var:x ex:itemLocated true .
1127
+ # var:x ex:accessGranted true .
880
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)) .
881
1129
  # via the schematic forward rule:
882
1130
  # {
883
- # :scope gps:findpath ({
884
- # ?x a foaf:Person .
885
- # ?x ex:identityVerified true .
886
- # ?x ex:affiliationVerified true .
887
- # ?x ex:requestSubmitted true .
888
- # ?x ex:itemLocated true .
889
- # ?x ex:accessGranted true .
890
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
1131
+ # state:s5 :formula ?GOAL .
1132
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
891
1133
  # } => {
892
1134
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
893
1135
  # } .
894
1136
  # with substitution (on rule variables):
895
1137
  # ?COST = 0
896
1138
  # ?DUR = 14
1139
+ # ?GOAL = {
1140
+ # var:x a foaf:Person .
1141
+ # var:x ex:identityVerified true .
1142
+ # var:x ex:affiliationVerified true .
1143
+ # var:x ex:requestSubmitted true .
1144
+ # var:x ex:itemLocated true .
1145
+ # var:x ex:accessGranted true .
1146
+ # }
897
1147
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess)
898
1148
  # ?SAT = 0.7814080409999999
899
1149
  # ?SUC = 0.8228659768
@@ -906,30 +1156,40 @@
906
1156
  # Proof for derived triple:
907
1157
  # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessInterlibraryLoan) 2892 5 0.8719207391999999 0.63753056) .
908
1158
  # It holds because the following instance of the rule body is provable:
1159
+ # state:s5 :formula {
1160
+ # var:x a foaf:Person .
1161
+ # var:x ex:identityVerified true .
1162
+ # var:x ex:affiliationVerified true .
1163
+ # var:x ex:requestSubmitted true .
1164
+ # var:x ex:itemLocated true .
1165
+ # var:x ex:accessGranted true .
1166
+ # } .
909
1167
  # :scope gps:findpath ({
910
- # ?x a foaf:Person .
911
- # ?x ex:identityVerified true .
912
- # ?x ex:affiliationVerified true .
913
- # ?x ex:requestSubmitted true .
914
- # ?x ex:itemLocated true .
915
- # ?x ex:accessGranted true .
1168
+ # var:x a foaf:Person .
1169
+ # var:x ex:identityVerified true .
1170
+ # var:x ex:affiliationVerified true .
1171
+ # var:x ex:requestSubmitted true .
1172
+ # var:x ex:itemLocated true .
1173
+ # var:x ex:accessGranted true .
916
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)) .
917
1175
  # via the schematic forward rule:
918
1176
  # {
919
- # :scope gps:findpath ({
920
- # ?x a foaf:Person .
921
- # ?x ex:identityVerified true .
922
- # ?x ex:affiliationVerified true .
923
- # ?x ex:requestSubmitted true .
924
- # ?x ex:itemLocated true .
925
- # ?x ex:accessGranted true .
926
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
1177
+ # state:s5 :formula ?GOAL .
1178
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
927
1179
  # } => {
928
1180
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
929
1181
  # } .
930
1182
  # with substitution (on rule variables):
931
1183
  # ?COST = 5
932
1184
  # ?DUR = 2892
1185
+ # ?GOAL = {
1186
+ # var:x a foaf:Person .
1187
+ # var:x ex:identityVerified true .
1188
+ # var:x ex:affiliationVerified true .
1189
+ # var:x ex:requestSubmitted true .
1190
+ # var:x ex:itemLocated true .
1191
+ # var:x ex:accessGranted true .
1192
+ # }
933
1193
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessInterlibraryLoan)
934
1194
  # ?SAT = 0.63753056
935
1195
  # ?SUC = 0.8719207391999999
@@ -942,30 +1202,40 @@
942
1202
  # Proof for derived triple:
943
1203
  # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription) 14 0.5 0.8586427583999998 0.7490984079999999) .
944
1204
  # It holds because the following instance of the rule body is provable:
1205
+ # state:s5 :formula {
1206
+ # var:x a foaf:Person .
1207
+ # var:x ex:identityVerified true .
1208
+ # var:x ex:affiliationVerified true .
1209
+ # var:x ex:requestSubmitted true .
1210
+ # var:x ex:itemLocated true .
1211
+ # var:x ex:accessGranted true .
1212
+ # } .
945
1213
  # :scope gps:findpath ({
946
- # ?x a foaf:Person .
947
- # ?x ex:identityVerified true .
948
- # ?x ex:affiliationVerified true .
949
- # ?x ex:requestSubmitted true .
950
- # ?x ex:itemLocated true .
951
- # ?x ex:accessGranted true .
1214
+ # var:x a foaf:Person .
1215
+ # var:x ex:identityVerified true .
1216
+ # var:x ex:affiliationVerified true .
1217
+ # var:x ex:requestSubmitted true .
1218
+ # var:x ex:itemLocated true .
1219
+ # var:x ex:accessGranted true .
952
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)) .
953
1221
  # via the schematic forward rule:
954
1222
  # {
955
- # :scope gps:findpath ({
956
- # ?x a foaf:Person .
957
- # ?x ex:identityVerified true .
958
- # ?x ex:affiliationVerified true .
959
- # ?x ex:requestSubmitted true .
960
- # ?x ex:itemLocated true .
961
- # ?x ex:accessGranted true .
962
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
1223
+ # state:s5 :formula ?GOAL .
1224
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
963
1225
  # } => {
964
1226
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
965
1227
  # } .
966
1228
  # with substitution (on rule variables):
967
1229
  # ?COST = 0.5
968
1230
  # ?DUR = 14
1231
+ # ?GOAL = {
1232
+ # var:x a foaf:Person .
1233
+ # var:x ex:identityVerified true .
1234
+ # var:x ex:affiliationVerified true .
1235
+ # var:x ex:requestSubmitted true .
1236
+ # var:x ex:itemLocated true .
1237
+ # var:x ex:accessGranted true .
1238
+ # }
969
1239
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription)
970
1240
  # ?SAT = 0.7490984079999999
971
1241
  # ?SUC = 0.8586427583999998
@@ -978,30 +1248,40 @@
978
1248
  # Proof for derived triple:
979
1249
  # :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess) 13 0 0.8143828223999998 0.7730058039999999) .
980
1250
  # It holds because the following instance of the rule body is provable:
1251
+ # state:s5 :formula {
1252
+ # var:x a foaf:Person .
1253
+ # var:x ex:identityVerified true .
1254
+ # var:x ex:affiliationVerified true .
1255
+ # var:x ex:requestSubmitted true .
1256
+ # var:x ex:itemLocated true .
1257
+ # var:x ex:accessGranted true .
1258
+ # } .
981
1259
  # :scope gps:findpath ({
982
- # ?x a foaf:Person .
983
- # ?x ex:identityVerified true .
984
- # ?x ex:affiliationVerified true .
985
- # ?x ex:requestSubmitted true .
986
- # ?x ex:itemLocated true .
987
- # ?x ex:accessGranted true .
1260
+ # var:x a foaf:Person .
1261
+ # var:x ex:identityVerified true .
1262
+ # var:x ex:affiliationVerified true .
1263
+ # var:x ex:requestSubmitted true .
1264
+ # var:x ex:itemLocated true .
1265
+ # var:x ex:accessGranted true .
988
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)) .
989
1267
  # via the schematic forward rule:
990
1268
  # {
991
- # :scope gps:findpath ({
992
- # ?x a foaf:Person .
993
- # ?x ex:identityVerified true .
994
- # ?x ex:affiliationVerified true .
995
- # ?x ex:requestSubmitted true .
996
- # ?x ex:itemLocated true .
997
- # ?x ex:accessGranted true .
998
- # } ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
1269
+ # state:s5 :formula ?GOAL .
1270
+ # :scope gps:findpath (?GOAL ?PATH ?DUR ?COST ?SUC ?SAT (5000.0 10.0 0.75 0.60)) .
999
1271
  # } => {
1000
1272
  # :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
1001
1273
  # } .
1002
1274
  # with substitution (on rule variables):
1003
1275
  # ?COST = 0
1004
1276
  # ?DUR = 13
1277
+ # ?GOAL = {
1278
+ # var:x a foaf:Person .
1279
+ # var:x ex:identityVerified true .
1280
+ # var:x ex:affiliationVerified true .
1281
+ # var:x ex:requestSubmitted true .
1282
+ # var:x ex:itemLocated true .
1283
+ # var:x ex:accessGranted true .
1284
+ # }
1005
1285
  # ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess)
1006
1286
  # ?SAT = 0.7730058039999999
1007
1287
  # ?SUC = 0.8143828223999998