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