eyeling 1.5.37 → 1.5.38
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.
|
@@ -0,0 +1,1012 @@
|
|
|
1
|
+
@prefix : <https://eyereasoner.github.io/eye/reasoning#> .
|
|
2
|
+
@prefix gps: <https://eyereasoner.github.io/eye/reasoning/gps/gps-schema#> .
|
|
3
|
+
@prefix step: <https://example.org/steps#> .
|
|
4
|
+
|
|
5
|
+
# ----------------------------------------------------------------------
|
|
6
|
+
# 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
|
+
# It holds because the following instance of the rule body is provable:
|
|
9
|
+
# :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 .
|
|
16
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
18
|
+
# {
|
|
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
|
+
# } => {
|
|
28
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
29
|
+
# } .
|
|
30
|
+
# with substitution (on rule variables):
|
|
31
|
+
# ?COST = 0.5
|
|
32
|
+
# ?DUR = 43
|
|
33
|
+
# ?PATH = (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription)
|
|
34
|
+
# ?SAT = 0.63532485
|
|
35
|
+
# ?SUC = 0.9082968740999999
|
|
36
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
37
|
+
# ----------------------------------------------------------------------
|
|
38
|
+
|
|
39
|
+
:alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription) 43 0.5 0.9082968740999999 0.63532485) .
|
|
40
|
+
|
|
41
|
+
# ----------------------------------------------------------------------
|
|
42
|
+
# Proof for derived triple:
|
|
43
|
+
# :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess) 42 0 0.8614774475999999 0.6556011749999999) .
|
|
44
|
+
# It holds because the following instance of the rule body is provable:
|
|
45
|
+
# :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 .
|
|
52
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
54
|
+
# {
|
|
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)) .
|
|
63
|
+
# } => {
|
|
64
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
65
|
+
# } .
|
|
66
|
+
# with substitution (on rule variables):
|
|
67
|
+
# ?COST = 0
|
|
68
|
+
# ?DUR = 42
|
|
69
|
+
# ?PATH = (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess)
|
|
70
|
+
# ?SAT = 0.6556011749999999
|
|
71
|
+
# ?SUC = 0.8614774475999999
|
|
72
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
73
|
+
# ----------------------------------------------------------------------
|
|
74
|
+
|
|
75
|
+
:alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess) 42 0 0.8614774475999999 0.6556011749999999) .
|
|
76
|
+
|
|
77
|
+
# ----------------------------------------------------------------------
|
|
78
|
+
# Proof for derived triple:
|
|
79
|
+
# :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription) 42 0.5 0.8989329887999999 0.6284934) .
|
|
80
|
+
# It holds because the following instance of the rule body is provable:
|
|
81
|
+
# :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 .
|
|
88
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
90
|
+
# {
|
|
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)) .
|
|
99
|
+
# } => {
|
|
100
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
101
|
+
# } .
|
|
102
|
+
# with substitution (on rule variables):
|
|
103
|
+
# ?COST = 0.5
|
|
104
|
+
# ?DUR = 42
|
|
105
|
+
# ?PATH = (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription)
|
|
106
|
+
# ?SAT = 0.6284934
|
|
107
|
+
# ?SUC = 0.8989329887999999
|
|
108
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
109
|
+
# ----------------------------------------------------------------------
|
|
110
|
+
|
|
111
|
+
:alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription) 42 0.5 0.8989329887999999 0.6284934) .
|
|
112
|
+
|
|
113
|
+
# ----------------------------------------------------------------------
|
|
114
|
+
# Proof for derived triple:
|
|
115
|
+
# :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess) 41 0 0.8525962367999999 0.6485517) .
|
|
116
|
+
# It holds because the following instance of the rule body is provable:
|
|
117
|
+
# :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 .
|
|
124
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
126
|
+
# {
|
|
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)) .
|
|
135
|
+
# } => {
|
|
136
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
137
|
+
# } .
|
|
138
|
+
# with substitution (on rule variables):
|
|
139
|
+
# ?COST = 0
|
|
140
|
+
# ?DUR = 41
|
|
141
|
+
# ?PATH = (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess)
|
|
142
|
+
# ?SAT = 0.6485517
|
|
143
|
+
# ?SUC = 0.8525962367999999
|
|
144
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
145
|
+
# ----------------------------------------------------------------------
|
|
146
|
+
|
|
147
|
+
:alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess) 41 0 0.8525962367999999 0.6485517) .
|
|
148
|
+
|
|
149
|
+
# ----------------------------------------------------------------------
|
|
150
|
+
# Proof for derived triple:
|
|
151
|
+
# :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription) 33 0.5 0.8899474422999999 0.66356151) .
|
|
152
|
+
# It holds because the following instance of the rule body is provable:
|
|
153
|
+
# :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 .
|
|
160
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
162
|
+
# {
|
|
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)) .
|
|
171
|
+
# } => {
|
|
172
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
173
|
+
# } .
|
|
174
|
+
# with substitution (on rule variables):
|
|
175
|
+
# ?COST = 0.5
|
|
176
|
+
# ?DUR = 33
|
|
177
|
+
# ?PATH = (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription)
|
|
178
|
+
# ?SAT = 0.66356151
|
|
179
|
+
# ?SUC = 0.8899474422999999
|
|
180
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
181
|
+
# ----------------------------------------------------------------------
|
|
182
|
+
|
|
183
|
+
:alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription) 33 0.5 0.8899474422999999 0.66356151) .
|
|
184
|
+
|
|
185
|
+
# ----------------------------------------------------------------------
|
|
186
|
+
# Proof for derived triple:
|
|
187
|
+
# :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess) 32 0 0.8440738628 0.684739005) .
|
|
188
|
+
# It holds because the following instance of the rule body is provable:
|
|
189
|
+
# :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 .
|
|
196
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
198
|
+
# {
|
|
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)) .
|
|
207
|
+
# } => {
|
|
208
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
209
|
+
# } .
|
|
210
|
+
# with substitution (on rule variables):
|
|
211
|
+
# ?COST = 0
|
|
212
|
+
# ?DUR = 32
|
|
213
|
+
# ?PATH = (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess)
|
|
214
|
+
# ?SAT = 0.684739005
|
|
215
|
+
# ?SUC = 0.8440738628
|
|
216
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
217
|
+
# ----------------------------------------------------------------------
|
|
218
|
+
|
|
219
|
+
:alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess) 32 0 0.8440738628 0.684739005) .
|
|
220
|
+
|
|
221
|
+
# ----------------------------------------------------------------------
|
|
222
|
+
# Proof for derived triple:
|
|
223
|
+
# :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription) 32 0.5 0.8807727263999999 0.6564264399999999) .
|
|
224
|
+
# It holds because the following instance of the rule body is provable:
|
|
225
|
+
# :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 .
|
|
232
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
234
|
+
# {
|
|
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)) .
|
|
243
|
+
# } => {
|
|
244
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
245
|
+
# } .
|
|
246
|
+
# with substitution (on rule variables):
|
|
247
|
+
# ?COST = 0.5
|
|
248
|
+
# ?DUR = 32
|
|
249
|
+
# ?PATH = (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription)
|
|
250
|
+
# ?SAT = 0.6564264399999999
|
|
251
|
+
# ?SUC = 0.8807727263999999
|
|
252
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
253
|
+
# ----------------------------------------------------------------------
|
|
254
|
+
|
|
255
|
+
:alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription) 32 0.5 0.8807727263999999 0.6564264399999999) .
|
|
256
|
+
|
|
257
|
+
# ----------------------------------------------------------------------
|
|
258
|
+
# Proof for derived triple:
|
|
259
|
+
# :alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess) 31 0 0.8353720703999998 0.6773762199999999) .
|
|
260
|
+
# It holds because the following instance of the rule body is provable:
|
|
261
|
+
# :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 .
|
|
268
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
270
|
+
# {
|
|
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)) .
|
|
279
|
+
# } => {
|
|
280
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
281
|
+
# } .
|
|
282
|
+
# with substitution (on rule variables):
|
|
283
|
+
# ?COST = 0
|
|
284
|
+
# ?DUR = 31
|
|
285
|
+
# ?PATH = (step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess)
|
|
286
|
+
# ?SAT = 0.6773762199999999
|
|
287
|
+
# ?SUC = 0.8353720703999998
|
|
288
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
289
|
+
# ----------------------------------------------------------------------
|
|
290
|
+
|
|
291
|
+
:alice gps:path ((step:verifyIdentityDesk step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess) 31 0 0.8353720703999998 0.6773762199999999) .
|
|
292
|
+
|
|
293
|
+
# ----------------------------------------------------------------------
|
|
294
|
+
# Proof for derived triple:
|
|
295
|
+
# :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription) 262 0.5 0.8990285386499999 0.6105412800000001) .
|
|
296
|
+
# It holds because the following instance of the rule body is provable:
|
|
297
|
+
# :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 .
|
|
304
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
306
|
+
# {
|
|
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)) .
|
|
315
|
+
# } => {
|
|
316
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
317
|
+
# } .
|
|
318
|
+
# with substitution (on rule variables):
|
|
319
|
+
# ?COST = 0.5
|
|
320
|
+
# ?DUR = 262
|
|
321
|
+
# ?PATH = (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription)
|
|
322
|
+
# ?SAT = 0.6105412800000001
|
|
323
|
+
# ?SUC = 0.8990285386499999
|
|
324
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
325
|
+
# ----------------------------------------------------------------------
|
|
326
|
+
|
|
327
|
+
:alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription) 262 0.5 0.8990285386499999 0.6105412800000001) .
|
|
328
|
+
|
|
329
|
+
# ----------------------------------------------------------------------
|
|
330
|
+
# Proof for derived triple:
|
|
331
|
+
# :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess) 261 0 0.8526868613999998 0.6300266400000001) .
|
|
332
|
+
# It holds because the following instance of the rule body is provable:
|
|
333
|
+
# :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 .
|
|
340
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
342
|
+
# {
|
|
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)) .
|
|
351
|
+
# } => {
|
|
352
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
353
|
+
# } .
|
|
354
|
+
# with substitution (on rule variables):
|
|
355
|
+
# ?COST = 0
|
|
356
|
+
# ?DUR = 261
|
|
357
|
+
# ?PATH = (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess)
|
|
358
|
+
# ?SAT = 0.6300266400000001
|
|
359
|
+
# ?SUC = 0.8526868613999998
|
|
360
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
361
|
+
# ----------------------------------------------------------------------
|
|
362
|
+
|
|
363
|
+
:alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess) 261 0 0.8526868613999998 0.6300266400000001) .
|
|
364
|
+
|
|
365
|
+
# ----------------------------------------------------------------------
|
|
366
|
+
# Proof for derived triple:
|
|
367
|
+
# :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription) 261 0.5 0.8897602031999999 0.6039763200000001) .
|
|
368
|
+
# It holds because the following instance of the rule body is provable:
|
|
369
|
+
# :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 .
|
|
376
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
378
|
+
# {
|
|
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)) .
|
|
387
|
+
# } => {
|
|
388
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
389
|
+
# } .
|
|
390
|
+
# with substitution (on rule variables):
|
|
391
|
+
# ?COST = 0.5
|
|
392
|
+
# ?DUR = 261
|
|
393
|
+
# ?PATH = (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription)
|
|
394
|
+
# ?SAT = 0.6039763200000001
|
|
395
|
+
# ?SUC = 0.8897602031999999
|
|
396
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
397
|
+
# ----------------------------------------------------------------------
|
|
398
|
+
|
|
399
|
+
:alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription) 261 0.5 0.8897602031999999 0.6039763200000001) .
|
|
400
|
+
|
|
401
|
+
# ----------------------------------------------------------------------
|
|
402
|
+
# Proof for derived triple:
|
|
403
|
+
# :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess) 260 0 0.8438962751999999 0.6232521599999999) .
|
|
404
|
+
# It holds because the following instance of the rule body is provable:
|
|
405
|
+
# :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 .
|
|
412
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
414
|
+
# {
|
|
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)) .
|
|
423
|
+
# } => {
|
|
424
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
425
|
+
# } .
|
|
426
|
+
# with substitution (on rule variables):
|
|
427
|
+
# ?COST = 0
|
|
428
|
+
# ?DUR = 260
|
|
429
|
+
# ?PATH = (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess)
|
|
430
|
+
# ?SAT = 0.6232521599999999
|
|
431
|
+
# ?SUC = 0.8438962751999999
|
|
432
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
433
|
+
# ----------------------------------------------------------------------
|
|
434
|
+
|
|
435
|
+
:alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess) 260 0 0.8438962751999999 0.6232521599999999) .
|
|
436
|
+
|
|
437
|
+
# ----------------------------------------------------------------------
|
|
438
|
+
# Proof for derived triple:
|
|
439
|
+
# :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription) 252 0.5 0.8808663459499999 0.6376764479999999) .
|
|
440
|
+
# It holds because the following instance of the rule body is provable:
|
|
441
|
+
# :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 .
|
|
448
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
450
|
+
# {
|
|
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)) .
|
|
459
|
+
# } => {
|
|
460
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
461
|
+
# } .
|
|
462
|
+
# with substitution (on rule variables):
|
|
463
|
+
# ?COST = 0.5
|
|
464
|
+
# ?DUR = 252
|
|
465
|
+
# ?PATH = (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription)
|
|
466
|
+
# ?SAT = 0.6376764479999999
|
|
467
|
+
# ?SUC = 0.8808663459499999
|
|
468
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
469
|
+
# ----------------------------------------------------------------------
|
|
470
|
+
|
|
471
|
+
:alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription) 252 0.5 0.8808663459499999 0.6376764479999999) .
|
|
472
|
+
|
|
473
|
+
# ----------------------------------------------------------------------
|
|
474
|
+
# Proof for derived triple:
|
|
475
|
+
# :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess) 251 0 0.8354608641999999 0.658027824) .
|
|
476
|
+
# It holds because the following instance of the rule body is provable:
|
|
477
|
+
# :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 .
|
|
484
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
486
|
+
# {
|
|
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)) .
|
|
495
|
+
# } => {
|
|
496
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
497
|
+
# } .
|
|
498
|
+
# with substitution (on rule variables):
|
|
499
|
+
# ?COST = 0
|
|
500
|
+
# ?DUR = 251
|
|
501
|
+
# ?PATH = (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess)
|
|
502
|
+
# ?SAT = 0.658027824
|
|
503
|
+
# ?SUC = 0.8354608641999999
|
|
504
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
505
|
+
# ----------------------------------------------------------------------
|
|
506
|
+
|
|
507
|
+
:alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess) 251 0 0.8354608641999999 0.658027824) .
|
|
508
|
+
|
|
509
|
+
# ----------------------------------------------------------------------
|
|
510
|
+
# Proof for derived triple:
|
|
511
|
+
# :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription) 251 0.5 0.8717852495999998 0.6308197120000001) .
|
|
512
|
+
# It holds because the following instance of the rule body is provable:
|
|
513
|
+
# :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 .
|
|
520
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
522
|
+
# {
|
|
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)) .
|
|
531
|
+
# } => {
|
|
532
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
533
|
+
# } .
|
|
534
|
+
# with substitution (on rule variables):
|
|
535
|
+
# ?COST = 0.5
|
|
536
|
+
# ?DUR = 251
|
|
537
|
+
# ?PATH = (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription)
|
|
538
|
+
# ?SAT = 0.6308197120000001
|
|
539
|
+
# ?SUC = 0.8717852495999998
|
|
540
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
541
|
+
# ----------------------------------------------------------------------
|
|
542
|
+
|
|
543
|
+
:alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription) 251 0.5 0.8717852495999998 0.6308197120000001) .
|
|
544
|
+
|
|
545
|
+
# ----------------------------------------------------------------------
|
|
546
|
+
# Proof for derived triple:
|
|
547
|
+
# :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess) 250 0 0.8268478655999999 0.6509522560000001) .
|
|
548
|
+
# It holds because the following instance of the rule body is provable:
|
|
549
|
+
# :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 .
|
|
556
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
558
|
+
# {
|
|
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)) .
|
|
567
|
+
# } => {
|
|
568
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
569
|
+
# } .
|
|
570
|
+
# with substitution (on rule variables):
|
|
571
|
+
# ?COST = 0
|
|
572
|
+
# ?DUR = 250
|
|
573
|
+
# ?PATH = (step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess)
|
|
574
|
+
# ?SAT = 0.6509522560000001
|
|
575
|
+
# ?SUC = 0.8268478655999999
|
|
576
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
577
|
+
# ----------------------------------------------------------------------
|
|
578
|
+
|
|
579
|
+
:alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationManual step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess) 250 0 0.8268478655999999 0.6509522560000001) .
|
|
580
|
+
|
|
581
|
+
# ----------------------------------------------------------------------
|
|
582
|
+
# Proof for derived triple:
|
|
583
|
+
# :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessInterlibraryLoan) 2903 5 0.8991682622999999 0.6170364) .
|
|
584
|
+
# It holds because the following instance of the rule body is provable:
|
|
585
|
+
# :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 .
|
|
592
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
594
|
+
# {
|
|
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)) .
|
|
603
|
+
# } => {
|
|
604
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
605
|
+
# } .
|
|
606
|
+
# with substitution (on rule variables):
|
|
607
|
+
# ?COST = 5
|
|
608
|
+
# ?DUR = 2903
|
|
609
|
+
# ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessInterlibraryLoan)
|
|
610
|
+
# ?SAT = 0.6170364
|
|
611
|
+
# ?SUC = 0.8991682622999999
|
|
612
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
613
|
+
# ----------------------------------------------------------------------
|
|
614
|
+
|
|
615
|
+
:alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessInterlibraryLoan) 2903 5 0.8991682622999999 0.6170364) .
|
|
616
|
+
|
|
617
|
+
# ----------------------------------------------------------------------
|
|
618
|
+
# Proof for derived triple:
|
|
619
|
+
# :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription) 25 0.5 0.8854753445999999 0.72501777) .
|
|
620
|
+
# It holds because the following instance of the rule body is provable:
|
|
621
|
+
# :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 .
|
|
628
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
630
|
+
# {
|
|
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)) .
|
|
639
|
+
# } => {
|
|
640
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
641
|
+
# } .
|
|
642
|
+
# with substitution (on rule variables):
|
|
643
|
+
# ?COST = 0.5
|
|
644
|
+
# ?DUR = 25
|
|
645
|
+
# ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription)
|
|
646
|
+
# ?SAT = 0.72501777
|
|
647
|
+
# ?SUC = 0.8854753445999999
|
|
648
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
649
|
+
# ----------------------------------------------------------------------
|
|
650
|
+
|
|
651
|
+
:alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessSubscription) 25 0.5 0.8854753445999999 0.72501777) .
|
|
652
|
+
|
|
653
|
+
# ----------------------------------------------------------------------
|
|
654
|
+
# Proof for derived triple:
|
|
655
|
+
# :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess) 24 0 0.8398322855999999 0.7481566349999998) .
|
|
656
|
+
# It holds because the following instance of the rule body is provable:
|
|
657
|
+
# :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 .
|
|
664
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
666
|
+
# {
|
|
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)) .
|
|
675
|
+
# } => {
|
|
676
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
677
|
+
# } .
|
|
678
|
+
# with substitution (on rule variables):
|
|
679
|
+
# ?COST = 0
|
|
680
|
+
# ?DUR = 24
|
|
681
|
+
# ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess)
|
|
682
|
+
# ?SAT = 0.7481566349999998
|
|
683
|
+
# ?SUC = 0.8398322855999999
|
|
684
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
685
|
+
# ----------------------------------------------------------------------
|
|
686
|
+
|
|
687
|
+
:alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaDiscovery step:grantAccessOpenAccess) 24 0 0.8398322855999999 0.7481566349999998) .
|
|
688
|
+
|
|
689
|
+
# ----------------------------------------------------------------------
|
|
690
|
+
# Proof for derived triple:
|
|
691
|
+
# :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessInterlibraryLoan) 2902 5 0.8898984863999999 0.6104016) .
|
|
692
|
+
# It holds because the following instance of the rule body is provable:
|
|
693
|
+
# :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 .
|
|
700
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
702
|
+
# {
|
|
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)) .
|
|
711
|
+
# } => {
|
|
712
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
713
|
+
# } .
|
|
714
|
+
# with substitution (on rule variables):
|
|
715
|
+
# ?COST = 5
|
|
716
|
+
# ?DUR = 2902
|
|
717
|
+
# ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessInterlibraryLoan)
|
|
718
|
+
# ?SAT = 0.6104016
|
|
719
|
+
# ?SUC = 0.8898984863999999
|
|
720
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
721
|
+
# ----------------------------------------------------------------------
|
|
722
|
+
|
|
723
|
+
:alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessInterlibraryLoan) 2902 5 0.8898984863999999 0.6104016) .
|
|
724
|
+
|
|
725
|
+
# ----------------------------------------------------------------------
|
|
726
|
+
# Proof for derived triple:
|
|
727
|
+
# :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription) 24 0.5 0.8763467328 0.71722188) .
|
|
728
|
+
# It holds because the following instance of the rule body is provable:
|
|
729
|
+
# :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 .
|
|
736
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
738
|
+
# {
|
|
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)) .
|
|
747
|
+
# } => {
|
|
748
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
749
|
+
# } .
|
|
750
|
+
# with substitution (on rule variables):
|
|
751
|
+
# ?COST = 0.5
|
|
752
|
+
# ?DUR = 24
|
|
753
|
+
# ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription)
|
|
754
|
+
# ?SAT = 0.71722188
|
|
755
|
+
# ?SUC = 0.8763467328
|
|
756
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
757
|
+
# ----------------------------------------------------------------------
|
|
758
|
+
|
|
759
|
+
:alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessSubscription) 24 0.5 0.8763467328 0.71722188) .
|
|
760
|
+
|
|
761
|
+
# ----------------------------------------------------------------------
|
|
762
|
+
# Proof for derived triple:
|
|
763
|
+
# :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess) 23 0 0.8311742207999998 0.7401119399999999) .
|
|
764
|
+
# It holds because the following instance of the rule body is provable:
|
|
765
|
+
# :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 .
|
|
772
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
774
|
+
# {
|
|
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)) .
|
|
783
|
+
# } => {
|
|
784
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
785
|
+
# } .
|
|
786
|
+
# with substitution (on rule variables):
|
|
787
|
+
# ?COST = 0
|
|
788
|
+
# ?DUR = 23
|
|
789
|
+
# ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess)
|
|
790
|
+
# ?SAT = 0.7401119399999999
|
|
791
|
+
# ?SUC = 0.8311742207999998
|
|
792
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
793
|
+
# ----------------------------------------------------------------------
|
|
794
|
+
|
|
795
|
+
:alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestLibrarian step:locateViaCatalogue step:grantAccessOpenAccess) 23 0 0.8311742207999998 0.7401119399999999) .
|
|
796
|
+
|
|
797
|
+
# ----------------------------------------------------------------------
|
|
798
|
+
# Proof for derived triple:
|
|
799
|
+
# :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessInterlibraryLoan) 2893 5 0.8810032468999999 0.6444602400000001) .
|
|
800
|
+
# It holds because the following instance of the rule body is provable:
|
|
801
|
+
# :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 .
|
|
808
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
810
|
+
# {
|
|
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)) .
|
|
819
|
+
# } => {
|
|
820
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
821
|
+
# } .
|
|
822
|
+
# with substitution (on rule variables):
|
|
823
|
+
# ?COST = 5
|
|
824
|
+
# ?DUR = 2893
|
|
825
|
+
# ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessInterlibraryLoan)
|
|
826
|
+
# ?SAT = 0.6444602400000001
|
|
827
|
+
# ?SUC = 0.8810032468999999
|
|
828
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
829
|
+
# ----------------------------------------------------------------------
|
|
830
|
+
|
|
831
|
+
:alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessInterlibraryLoan) 2893 5 0.8810032468999999 0.6444602400000001) .
|
|
832
|
+
|
|
833
|
+
# ----------------------------------------------------------------------
|
|
834
|
+
# Proof for derived triple:
|
|
835
|
+
# :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription) 15 0.5 0.8675869537999998 0.7572407819999999) .
|
|
836
|
+
# It holds because the following instance of the rule body is provable:
|
|
837
|
+
# :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 .
|
|
844
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
846
|
+
# {
|
|
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)) .
|
|
855
|
+
# } => {
|
|
856
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
857
|
+
# } .
|
|
858
|
+
# with substitution (on rule variables):
|
|
859
|
+
# ?COST = 0.5
|
|
860
|
+
# ?DUR = 15
|
|
861
|
+
# ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription)
|
|
862
|
+
# ?SAT = 0.7572407819999999
|
|
863
|
+
# ?SUC = 0.8675869537999998
|
|
864
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
865
|
+
# ----------------------------------------------------------------------
|
|
866
|
+
|
|
867
|
+
:alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessSubscription) 15 0.5 0.8675869537999998 0.7572407819999999) .
|
|
868
|
+
|
|
869
|
+
# ----------------------------------------------------------------------
|
|
870
|
+
# Proof for derived triple:
|
|
871
|
+
# :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess) 14 0 0.8228659768 0.7814080409999999) .
|
|
872
|
+
# It holds because the following instance of the rule body is provable:
|
|
873
|
+
# :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 .
|
|
880
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
882
|
+
# {
|
|
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)) .
|
|
891
|
+
# } => {
|
|
892
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
893
|
+
# } .
|
|
894
|
+
# with substitution (on rule variables):
|
|
895
|
+
# ?COST = 0
|
|
896
|
+
# ?DUR = 14
|
|
897
|
+
# ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess)
|
|
898
|
+
# ?SAT = 0.7814080409999999
|
|
899
|
+
# ?SUC = 0.8228659768
|
|
900
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
901
|
+
# ----------------------------------------------------------------------
|
|
902
|
+
|
|
903
|
+
:alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaDiscovery step:grantAccessOpenAccess) 14 0 0.8228659768 0.7814080409999999) .
|
|
904
|
+
|
|
905
|
+
# ----------------------------------------------------------------------
|
|
906
|
+
# Proof for derived triple:
|
|
907
|
+
# :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessInterlibraryLoan) 2892 5 0.8719207391999999 0.63753056) .
|
|
908
|
+
# It holds because the following instance of the rule body is provable:
|
|
909
|
+
# :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 .
|
|
916
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
918
|
+
# {
|
|
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)) .
|
|
927
|
+
# } => {
|
|
928
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
929
|
+
# } .
|
|
930
|
+
# with substitution (on rule variables):
|
|
931
|
+
# ?COST = 5
|
|
932
|
+
# ?DUR = 2892
|
|
933
|
+
# ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessInterlibraryLoan)
|
|
934
|
+
# ?SAT = 0.63753056
|
|
935
|
+
# ?SUC = 0.8719207391999999
|
|
936
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
937
|
+
# ----------------------------------------------------------------------
|
|
938
|
+
|
|
939
|
+
:alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessInterlibraryLoan) 2892 5 0.8719207391999999 0.63753056) .
|
|
940
|
+
|
|
941
|
+
# ----------------------------------------------------------------------
|
|
942
|
+
# Proof for derived triple:
|
|
943
|
+
# :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription) 14 0.5 0.8586427583999998 0.7490984079999999) .
|
|
944
|
+
# It holds because the following instance of the rule body is provable:
|
|
945
|
+
# :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 .
|
|
952
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
954
|
+
# {
|
|
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)) .
|
|
963
|
+
# } => {
|
|
964
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
965
|
+
# } .
|
|
966
|
+
# with substitution (on rule variables):
|
|
967
|
+
# ?COST = 0.5
|
|
968
|
+
# ?DUR = 14
|
|
969
|
+
# ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription)
|
|
970
|
+
# ?SAT = 0.7490984079999999
|
|
971
|
+
# ?SUC = 0.8586427583999998
|
|
972
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
973
|
+
# ----------------------------------------------------------------------
|
|
974
|
+
|
|
975
|
+
:alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessSubscription) 14 0.5 0.8586427583999998 0.7490984079999999) .
|
|
976
|
+
|
|
977
|
+
# ----------------------------------------------------------------------
|
|
978
|
+
# Proof for derived triple:
|
|
979
|
+
# :alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess) 13 0 0.8143828223999998 0.7730058039999999) .
|
|
980
|
+
# It holds because the following instance of the rule body is provable:
|
|
981
|
+
# :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 .
|
|
988
|
+
# } (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
|
+
# via the schematic forward rule:
|
|
990
|
+
# {
|
|
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)) .
|
|
999
|
+
# } => {
|
|
1000
|
+
# :alice gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
|
|
1001
|
+
# } .
|
|
1002
|
+
# with substitution (on rule variables):
|
|
1003
|
+
# ?COST = 0
|
|
1004
|
+
# ?DUR = 13
|
|
1005
|
+
# ?PATH = (step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess)
|
|
1006
|
+
# ?SAT = 0.7730058039999999
|
|
1007
|
+
# ?SUC = 0.8143828223999998
|
|
1008
|
+
# Therefore the derived triple above is entailed by the rules and facts.
|
|
1009
|
+
# ----------------------------------------------------------------------
|
|
1010
|
+
|
|
1011
|
+
:alice gps:path ((step:verifyIdentitySSO step:verifyAffiliationAuto step:submitRequestSelfService step:locateViaCatalogue step:grantAccessOpenAccess) 13 0 0.8143828223999998 0.7730058039999999) .
|
|
1012
|
+
|