eyeling 1.6.4 → 1.6.6

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (21) hide show
  1. package/examples/output/cobalt-kepler-kitchen.n3 +3544 -3543
  2. package/examples/output/complex.n3 +25 -24
  3. package/examples/output/control-system.n3 +21 -20
  4. package/examples/output/cranberry-calculus.n3 +509 -508
  5. package/examples/output/drone-corridor-planner.n3 +154 -153
  6. package/examples/output/ev-roundtrip-planner.n3 +81 -80
  7. package/examples/output/gps.n3 +15 -14
  8. package/examples/output/jade-eigen-loom.n3 +2033 -2032
  9. package/examples/output/light-eaters.n3 +51 -50
  10. package/examples/output/lldm.n3 +244 -243
  11. package/examples/output/math-builtins-tests.n3 +40 -40
  12. package/examples/output/oslo-steps-library-scholarly.n3 +197 -196
  13. package/examples/output/oslo-steps-workflow-composition.n3 +29 -28
  14. package/examples/output/pi.n3 +5 -4
  15. package/examples/output/ruby-runge-workshop.n3 +106 -105
  16. package/examples/output/saffron-slopeworks.n3 +455 -454
  17. package/examples/output/spectral-week.n3 +81 -80
  18. package/examples/output/topaz-markov-mill.n3 +1618 -1617
  19. package/examples/output/ultramarine-simpson-forge.n3 +1213 -1212
  20. package/eyeling.js +315 -134
  21. package/package.json +1 -1
package/examples/output/oslo-steps-workflow-composition.n3 CHANGED
@@ -1,10 +1,11 @@
1
1
  @prefix : <https://eyereasoner.github.io/eye/reasoning#> .
2
2
  @prefix gps: <https://eyereasoner.github.io/eye/reasoning/gps/gps-schema#> .
3
3
  @prefix step: <https://example.org/steps#> .
4
+ @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
4
5
 
5
6
  # ----------------------------------------------------------------------
6
7
  # Proof for derived triple:
7
- # :bob gps:path ((step:providePersonalInfoOnline step:provideMovingDataDesk step:provideNewAddress step:declareAddressChangePostal step:confirmAddressChangePolice) 20400 4 0.9079107344999999 0.6636569280000001) .
8
+ # :bob gps:path ((step:providePersonalInfoOnline step:provideMovingDataDesk step:provideNewAddress step:declareAddressChangePostal step:confirmAddressChangePolice) "20400"^^xsd:decimal "4"^^xsd:decimal "0.9079107344999999"^^xsd:decimal "0.6636569280000001"^^xsd:decimal) .
8
9
  # It holds because the following instance of the rule body is provable:
9
10
  # state:s5 :formula {
10
11
  # var:x a o-persoon:Inwoner .
@@ -21,7 +22,7 @@
21
22
  # var:x ex:newAddressProvided true .
22
23
  # var:x ex:addressChangeDeclared true .
23
24
  # var:x ex:confirmationOfAddressChange true .
24
- # } (step:providePersonalInfoOnline step:provideMovingDataDesk step:provideNewAddress step:declareAddressChangePostal step:confirmAddressChangePolice) 20400 4 0.9079107344999999 0.6636569280000001 (40320.0 20.0 0.80 0.65)) .
25
+ # } (step:providePersonalInfoOnline step:provideMovingDataDesk step:provideNewAddress step:declareAddressChangePostal step:confirmAddressChangePolice) "20400"^^xsd:decimal "4"^^xsd:decimal "0.9079107344999999"^^xsd:decimal "0.6636569280000001"^^xsd:decimal (40320.0 20.0 0.80 0.65)) .
25
26
  # via the schematic forward rule:
26
27
  # {
27
28
  # state:s5 :formula ?GOAL .
@@ -30,8 +31,8 @@
30
31
  # :bob gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
31
32
  # } .
32
33
  # with substitution (on rule variables):
33
- # ?COST = 4
34
- # ?DUR = 20400
34
+ # ?COST = "4"^^xsd:decimal
35
+ # ?DUR = "20400"^^xsd:decimal
35
36
  # ?GOAL = {
36
37
  # var:x a o-persoon:Inwoner .
37
38
  # var:x ex:personalInfoProvided true .
@@ -41,16 +42,16 @@
41
42
  # var:x ex:confirmationOfAddressChange true .
42
43
  # }
43
44
  # ?PATH = (step:providePersonalInfoOnline step:provideMovingDataDesk step:provideNewAddress step:declareAddressChangePostal step:confirmAddressChangePolice)
44
- # ?SAT = 0.6636569280000001
45
- # ?SUC = 0.9079107344999999
45
+ # ?SAT = "0.6636569280000001"^^xsd:decimal
46
+ # ?SUC = "0.9079107344999999"^^xsd:decimal
46
47
  # Therefore the derived triple above is entailed by the rules and facts.
47
48
  # ----------------------------------------------------------------------
48
49
 
49
- :bob gps:path ((step:providePersonalInfoOnline step:provideMovingDataDesk step:provideNewAddress step:declareAddressChangePostal step:confirmAddressChangePolice) 20400 4 0.9079107344999999 0.6636569280000001) .
50
+ :bob gps:path ((step:providePersonalInfoOnline step:provideMovingDataDesk step:provideNewAddress step:declareAddressChangePostal step:confirmAddressChangePolice) "20400"^^xsd:decimal "4"^^xsd:decimal "0.9079107344999999"^^xsd:decimal "0.6636569280000001"^^xsd:decimal) .
50
51
 
51
52
  # ----------------------------------------------------------------------
52
53
  # Proof for derived triple:
53
- # :bob gps:path ((step:providePersonalInfoOnline step:provideMovingDataDesk step:provideNewAddress step:declareAddressChangeOnline step:confirmAddressChangePolice) 20370 2 0.9365815997999998 0.67874004) .
54
+ # :bob gps:path ((step:providePersonalInfoOnline step:provideMovingDataDesk step:provideNewAddress step:declareAddressChangeOnline step:confirmAddressChangePolice) "20370"^^xsd:decimal "2"^^xsd:decimal "0.9365815997999998"^^xsd:decimal "0.67874004"^^xsd:decimal) .
54
55
  # It holds because the following instance of the rule body is provable:
55
56
  # state:s5 :formula {
56
57
  # var:x a o-persoon:Inwoner .
@@ -67,7 +68,7 @@
67
68
  # var:x ex:newAddressProvided true .
68
69
  # var:x ex:addressChangeDeclared true .
69
70
  # var:x ex:confirmationOfAddressChange true .
70
- # } (step:providePersonalInfoOnline step:provideMovingDataDesk step:provideNewAddress step:declareAddressChangeOnline step:confirmAddressChangePolice) 20370 2 0.9365815997999998 0.67874004 (40320.0 20.0 0.80 0.65)) .
71
+ # } (step:providePersonalInfoOnline step:provideMovingDataDesk step:provideNewAddress step:declareAddressChangeOnline step:confirmAddressChangePolice) "20370"^^xsd:decimal "2"^^xsd:decimal "0.9365815997999998"^^xsd:decimal "0.67874004"^^xsd:decimal (40320.0 20.0 0.80 0.65)) .
71
72
  # via the schematic forward rule:
72
73
  # {
73
74
  # state:s5 :formula ?GOAL .
@@ -76,8 +77,8 @@
76
77
  # :bob gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
77
78
  # } .
78
79
  # with substitution (on rule variables):
79
- # ?COST = 2
80
- # ?DUR = 20370
80
+ # ?COST = "2"^^xsd:decimal
81
+ # ?DUR = "20370"^^xsd:decimal
81
82
  # ?GOAL = {
82
83
  # var:x a o-persoon:Inwoner .
83
84
  # var:x ex:personalInfoProvided true .
@@ -87,16 +88,16 @@
87
88
  # var:x ex:confirmationOfAddressChange true .
88
89
  # }
89
90
  # ?PATH = (step:providePersonalInfoOnline step:provideMovingDataDesk step:provideNewAddress step:declareAddressChangeOnline step:confirmAddressChangePolice)
90
- # ?SAT = 0.67874004
91
- # ?SUC = 0.9365815997999998
91
+ # ?SAT = "0.67874004"^^xsd:decimal
92
+ # ?SUC = "0.9365815997999998"^^xsd:decimal
92
93
  # Therefore the derived triple above is entailed by the rules and facts.
93
94
  # ----------------------------------------------------------------------
94
95
 
95
- :bob gps:path ((step:providePersonalInfoOnline step:provideMovingDataDesk step:provideNewAddress step:declareAddressChangeOnline step:confirmAddressChangePolice) 20370 2 0.9365815997999998 0.67874004) .
96
+ :bob gps:path ((step:providePersonalInfoOnline step:provideMovingDataDesk step:provideNewAddress step:declareAddressChangeOnline step:confirmAddressChangePolice) "20370"^^xsd:decimal "2"^^xsd:decimal "0.9365815997999998"^^xsd:decimal "0.67874004"^^xsd:decimal) .
96
97
 
97
98
  # ----------------------------------------------------------------------
98
99
  # Proof for derived triple:
99
- # :bob gps:path ((step:providePersonalInfoOnline step:provideMovingDataOnline step:provideNewAddress step:declareAddressChangePostal step:confirmAddressChangePolice) 20355 4 0.9033483689999999 0.6938231520000001) .
100
+ # :bob gps:path ((step:providePersonalInfoOnline step:provideMovingDataOnline step:provideNewAddress step:declareAddressChangePostal step:confirmAddressChangePolice) "20355"^^xsd:decimal "4"^^xsd:decimal "0.9033483689999999"^^xsd:decimal "0.6938231520000001"^^xsd:decimal) .
100
101
  # It holds because the following instance of the rule body is provable:
101
102
  # state:s5 :formula {
102
103
  # var:x a o-persoon:Inwoner .
@@ -113,7 +114,7 @@
113
114
  # var:x ex:newAddressProvided true .
114
115
  # var:x ex:addressChangeDeclared true .
115
116
  # var:x ex:confirmationOfAddressChange true .
116
- # } (step:providePersonalInfoOnline step:provideMovingDataOnline step:provideNewAddress step:declareAddressChangePostal step:confirmAddressChangePolice) 20355 4 0.9033483689999999 0.6938231520000001 (40320.0 20.0 0.80 0.65)) .
117
+ # } (step:providePersonalInfoOnline step:provideMovingDataOnline step:provideNewAddress step:declareAddressChangePostal step:confirmAddressChangePolice) "20355"^^xsd:decimal "4"^^xsd:decimal "0.9033483689999999"^^xsd:decimal "0.6938231520000001"^^xsd:decimal (40320.0 20.0 0.80 0.65)) .
117
118
  # via the schematic forward rule:
118
119
  # {
119
120
  # state:s5 :formula ?GOAL .
@@ -122,8 +123,8 @@
122
123
  # :bob gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
123
124
  # } .
124
125
  # with substitution (on rule variables):
125
- # ?COST = 4
126
- # ?DUR = 20355
126
+ # ?COST = "4"^^xsd:decimal
127
+ # ?DUR = "20355"^^xsd:decimal
127
128
  # ?GOAL = {
128
129
  # var:x a o-persoon:Inwoner .
129
130
  # var:x ex:personalInfoProvided true .
@@ -133,16 +134,16 @@
133
134
  # var:x ex:confirmationOfAddressChange true .
134
135
  # }
135
136
  # ?PATH = (step:providePersonalInfoOnline step:provideMovingDataOnline step:provideNewAddress step:declareAddressChangePostal step:confirmAddressChangePolice)
136
- # ?SAT = 0.6938231520000001
137
- # ?SUC = 0.9033483689999999
137
+ # ?SAT = "0.6938231520000001"^^xsd:decimal
138
+ # ?SUC = "0.9033483689999999"^^xsd:decimal
138
139
  # Therefore the derived triple above is entailed by the rules and facts.
139
140
  # ----------------------------------------------------------------------
140
141
 
141
- :bob gps:path ((step:providePersonalInfoOnline step:provideMovingDataOnline step:provideNewAddress step:declareAddressChangePostal step:confirmAddressChangePolice) 20355 4 0.9033483689999999 0.6938231520000001) .
142
+ :bob gps:path ((step:providePersonalInfoOnline step:provideMovingDataOnline step:provideNewAddress step:declareAddressChangePostal step:confirmAddressChangePolice) "20355"^^xsd:decimal "4"^^xsd:decimal "0.9033483689999999"^^xsd:decimal "0.6938231520000001"^^xsd:decimal) .
142
143
 
143
144
  # ----------------------------------------------------------------------
144
145
  # Proof for derived triple:
145
- # :bob gps:path ((step:providePersonalInfoOnline step:provideMovingDataOnline step:provideNewAddress step:declareAddressChangeOnline step:confirmAddressChangePolice) 20325 2 0.9318751595999999 0.70959186) .
146
+ # :bob gps:path ((step:providePersonalInfoOnline step:provideMovingDataOnline step:provideNewAddress step:declareAddressChangeOnline step:confirmAddressChangePolice) "20325"^^xsd:decimal "2"^^xsd:decimal "0.9318751595999999"^^xsd:decimal "0.70959186"^^xsd:decimal) .
146
147
  # It holds because the following instance of the rule body is provable:
147
148
  # state:s5 :formula {
148
149
  # var:x a o-persoon:Inwoner .
@@ -159,7 +160,7 @@
159
160
  # var:x ex:newAddressProvided true .
160
161
  # var:x ex:addressChangeDeclared true .
161
162
  # var:x ex:confirmationOfAddressChange true .
162
- # } (step:providePersonalInfoOnline step:provideMovingDataOnline step:provideNewAddress step:declareAddressChangeOnline step:confirmAddressChangePolice) 20325 2 0.9318751595999999 0.70959186 (40320.0 20.0 0.80 0.65)) .
163
+ # } (step:providePersonalInfoOnline step:provideMovingDataOnline step:provideNewAddress step:declareAddressChangeOnline step:confirmAddressChangePolice) "20325"^^xsd:decimal "2"^^xsd:decimal "0.9318751595999999"^^xsd:decimal "0.70959186"^^xsd:decimal (40320.0 20.0 0.80 0.65)) .
163
164
  # via the schematic forward rule:
164
165
  # {
165
166
  # state:s5 :formula ?GOAL .
@@ -168,8 +169,8 @@
168
169
  # :bob gps:path (?PATH ?DUR ?COST ?SUC ?SAT) .
169
170
  # } .
170
171
  # with substitution (on rule variables):
171
- # ?COST = 2
172
- # ?DUR = 20325
172
+ # ?COST = "2"^^xsd:decimal
173
+ # ?DUR = "20325"^^xsd:decimal
173
174
  # ?GOAL = {
174
175
  # var:x a o-persoon:Inwoner .
175
176
  # var:x ex:personalInfoProvided true .
@@ -179,10 +180,10 @@
179
180
  # var:x ex:confirmationOfAddressChange true .
180
181
  # }
181
182
  # ?PATH = (step:providePersonalInfoOnline step:provideMovingDataOnline step:provideNewAddress step:declareAddressChangeOnline step:confirmAddressChangePolice)
182
- # ?SAT = 0.70959186
183
- # ?SUC = 0.9318751595999999
183
+ # ?SAT = "0.70959186"^^xsd:decimal
184
+ # ?SUC = "0.9318751595999999"^^xsd:decimal
184
185
  # Therefore the derived triple above is entailed by the rules and facts.
185
186
  # ----------------------------------------------------------------------
186
187
 
187
- :bob gps:path ((step:providePersonalInfoOnline step:provideMovingDataOnline step:provideNewAddress step:declareAddressChangeOnline step:confirmAddressChangePolice) 20325 2 0.9318751595999999 0.70959186) .
188
+ :bob gps:path ((step:providePersonalInfoOnline step:provideMovingDataOnline step:provideNewAddress step:declareAddressChangeOnline step:confirmAddressChangePolice) "20325"^^xsd:decimal "2"^^xsd:decimal "0.9318751595999999"^^xsd:decimal "0.70959186"^^xsd:decimal) .
188
189
 
package/examples/output/pi.n3 CHANGED
@@ -1,10 +1,11 @@
1
1
  @prefix : <https://eyereasoner.github.io/eye/reasoning#> .
2
+ @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
2
3
 
3
4
  # ----------------------------------------------------------------------
4
5
  # Proof for derived triple:
5
- # (100 3.1415929035585526) :pi true .
6
+ # (100 "3.1415929035585526"^^xsd:decimal) :pi true .
6
7
  # It holds because the following instance of the rule body is provable:
7
- # (100 3.1415929035585526) :pi true .
8
+ # (100 "3.1415929035585526"^^xsd:decimal) :pi true .
8
9
  # via the schematic forward rule:
9
10
  # {
10
11
  # (100 ?Pi) :pi true .
@@ -12,9 +13,9 @@
12
13
  # (100 ?Pi) :pi true .
13
14
  # } .
14
15
  # with substitution (on rule variables):
15
- # ?Pi = 3.1415929035585526
16
+ # ?Pi = "3.1415929035585526"^^xsd:decimal
16
17
  # Therefore the derived triple above is entailed by the rules and facts.
17
18
  # ----------------------------------------------------------------------
18
19
 
19
- (100 3.1415929035585526) :pi true .
20
+ (100 "3.1415929035585526"^^xsd:decimal) :pi true .
20
21