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.
- package/examples/output/cobalt-kepler-kitchen.n3 +3544 -3543
- package/examples/output/complex.n3 +25 -24
- package/examples/output/control-system.n3 +21 -20
- package/examples/output/cranberry-calculus.n3 +509 -508
- package/examples/output/drone-corridor-planner.n3 +154 -153
- package/examples/output/ev-roundtrip-planner.n3 +81 -80
- package/examples/output/gps.n3 +15 -14
- package/examples/output/jade-eigen-loom.n3 +2033 -2032
- package/examples/output/light-eaters.n3 +51 -50
- package/examples/output/lldm.n3 +244 -243
- package/examples/output/math-builtins-tests.n3 +40 -40
- package/examples/output/oslo-steps-library-scholarly.n3 +197 -196
- package/examples/output/oslo-steps-workflow-composition.n3 +29 -28
- package/examples/output/pi.n3 +5 -4
- package/examples/output/ruby-runge-workshop.n3 +106 -105
- package/examples/output/saffron-slopeworks.n3 +455 -454
- package/examples/output/spectral-week.n3 +81 -80
- package/examples/output/topaz-markov-mill.n3 +1618 -1617
- package/examples/output/ultramarine-simpson-forge.n3 +1213 -1212
- package/eyeling.js +315 -134
- package/package.json +1 -1
|
@@ -606,8 +606,8 @@
|
|
|
606
606
|
# Proof for derived triple:
|
|
607
607
|
# :test-atan-1 a :MathBuiltinTest .
|
|
608
608
|
# It holds because the following instance of the rule body is provable:
|
|
609
|
-
# 1 math:atan 0.7853981633974483 .
|
|
610
|
-
# 0.7853981633974483 math:equalTo 0.7853981633974483 .
|
|
609
|
+
# 1 math:atan "0.7853981633974483"^^xsd:decimal .
|
|
610
|
+
# "0.7853981633974483"^^xsd:decimal math:equalTo 0.7853981633974483 .
|
|
611
611
|
# via the schematic forward rule:
|
|
612
612
|
# {
|
|
613
613
|
# 1 math:atan ?r .
|
|
@@ -621,7 +621,7 @@
|
|
|
621
621
|
# :test-atan-1 :status :pass .
|
|
622
622
|
# } .
|
|
623
623
|
# with substitution (on rule variables):
|
|
624
|
-
# ?r = 0.7853981633974483
|
|
624
|
+
# ?r = "0.7853981633974483"^^xsd:decimal
|
|
625
625
|
# Therefore the derived triple above is entailed by the rules and facts.
|
|
626
626
|
# ----------------------------------------------------------------------
|
|
627
627
|
|
|
@@ -631,8 +631,8 @@
|
|
|
631
631
|
# Proof for derived triple:
|
|
632
632
|
# :test-atan-1 :builtin math:atan .
|
|
633
633
|
# It holds because the following instance of the rule body is provable:
|
|
634
|
-
# 1 math:atan 0.7853981633974483 .
|
|
635
|
-
# 0.7853981633974483 math:equalTo 0.7853981633974483 .
|
|
634
|
+
# 1 math:atan "0.7853981633974483"^^xsd:decimal .
|
|
635
|
+
# "0.7853981633974483"^^xsd:decimal math:equalTo 0.7853981633974483 .
|
|
636
636
|
# via the schematic forward rule:
|
|
637
637
|
# {
|
|
638
638
|
# 1 math:atan ?r .
|
|
@@ -646,7 +646,7 @@
|
|
|
646
646
|
# :test-atan-1 :status :pass .
|
|
647
647
|
# } .
|
|
648
648
|
# with substitution (on rule variables):
|
|
649
|
-
# ?r = 0.7853981633974483
|
|
649
|
+
# ?r = "0.7853981633974483"^^xsd:decimal
|
|
650
650
|
# Therefore the derived triple above is entailed by the rules and facts.
|
|
651
651
|
# ----------------------------------------------------------------------
|
|
652
652
|
|
|
@@ -656,8 +656,8 @@
|
|
|
656
656
|
# Proof for derived triple:
|
|
657
657
|
# :test-atan-1 :input 1 .
|
|
658
658
|
# It holds because the following instance of the rule body is provable:
|
|
659
|
-
# 1 math:atan 0.7853981633974483 .
|
|
660
|
-
# 0.7853981633974483 math:equalTo 0.7853981633974483 .
|
|
659
|
+
# 1 math:atan "0.7853981633974483"^^xsd:decimal .
|
|
660
|
+
# "0.7853981633974483"^^xsd:decimal math:equalTo 0.7853981633974483 .
|
|
661
661
|
# via the schematic forward rule:
|
|
662
662
|
# {
|
|
663
663
|
# 1 math:atan ?r .
|
|
@@ -671,7 +671,7 @@
|
|
|
671
671
|
# :test-atan-1 :status :pass .
|
|
672
672
|
# } .
|
|
673
673
|
# with substitution (on rule variables):
|
|
674
|
-
# ?r = 0.7853981633974483
|
|
674
|
+
# ?r = "0.7853981633974483"^^xsd:decimal
|
|
675
675
|
# Therefore the derived triple above is entailed by the rules and facts.
|
|
676
676
|
# ----------------------------------------------------------------------
|
|
677
677
|
|
|
@@ -681,8 +681,8 @@
|
|
|
681
681
|
# Proof for derived triple:
|
|
682
682
|
# :test-atan-1 :expected 0.7853981633974483 .
|
|
683
683
|
# It holds because the following instance of the rule body is provable:
|
|
684
|
-
# 1 math:atan 0.7853981633974483 .
|
|
685
|
-
# 0.7853981633974483 math:equalTo 0.7853981633974483 .
|
|
684
|
+
# 1 math:atan "0.7853981633974483"^^xsd:decimal .
|
|
685
|
+
# "0.7853981633974483"^^xsd:decimal math:equalTo 0.7853981633974483 .
|
|
686
686
|
# via the schematic forward rule:
|
|
687
687
|
# {
|
|
688
688
|
# 1 math:atan ?r .
|
|
@@ -696,7 +696,7 @@
|
|
|
696
696
|
# :test-atan-1 :status :pass .
|
|
697
697
|
# } .
|
|
698
698
|
# with substitution (on rule variables):
|
|
699
|
-
# ?r = 0.7853981633974483
|
|
699
|
+
# ?r = "0.7853981633974483"^^xsd:decimal
|
|
700
700
|
# Therefore the derived triple above is entailed by the rules and facts.
|
|
701
701
|
# ----------------------------------------------------------------------
|
|
702
702
|
|
|
@@ -704,10 +704,10 @@
|
|
|
704
704
|
|
|
705
705
|
# ----------------------------------------------------------------------
|
|
706
706
|
# Proof for derived triple:
|
|
707
|
-
# :test-atan-1 :actual 0.7853981633974483 .
|
|
707
|
+
# :test-atan-1 :actual "0.7853981633974483"^^xsd:decimal .
|
|
708
708
|
# It holds because the following instance of the rule body is provable:
|
|
709
|
-
# 1 math:atan 0.7853981633974483 .
|
|
710
|
-
# 0.7853981633974483 math:equalTo 0.7853981633974483 .
|
|
709
|
+
# 1 math:atan "0.7853981633974483"^^xsd:decimal .
|
|
710
|
+
# "0.7853981633974483"^^xsd:decimal math:equalTo 0.7853981633974483 .
|
|
711
711
|
# via the schematic forward rule:
|
|
712
712
|
# {
|
|
713
713
|
# 1 math:atan ?r .
|
|
@@ -721,18 +721,18 @@
|
|
|
721
721
|
# :test-atan-1 :status :pass .
|
|
722
722
|
# } .
|
|
723
723
|
# with substitution (on rule variables):
|
|
724
|
-
# ?r = 0.7853981633974483
|
|
724
|
+
# ?r = "0.7853981633974483"^^xsd:decimal
|
|
725
725
|
# Therefore the derived triple above is entailed by the rules and facts.
|
|
726
726
|
# ----------------------------------------------------------------------
|
|
727
727
|
|
|
728
|
-
:test-atan-1 :actual 0.7853981633974483 .
|
|
728
|
+
:test-atan-1 :actual "0.7853981633974483"^^xsd:decimal .
|
|
729
729
|
|
|
730
730
|
# ----------------------------------------------------------------------
|
|
731
731
|
# Proof for derived triple:
|
|
732
732
|
# :test-atan-1 :status :pass .
|
|
733
733
|
# It holds because the following instance of the rule body is provable:
|
|
734
|
-
# 1 math:atan 0.7853981633974483 .
|
|
735
|
-
# 0.7853981633974483 math:equalTo 0.7853981633974483 .
|
|
734
|
+
# 1 math:atan "0.7853981633974483"^^xsd:decimal .
|
|
735
|
+
# "0.7853981633974483"^^xsd:decimal math:equalTo 0.7853981633974483 .
|
|
736
736
|
# via the schematic forward rule:
|
|
737
737
|
# {
|
|
738
738
|
# 1 math:atan ?r .
|
|
@@ -746,7 +746,7 @@
|
|
|
746
746
|
# :test-atan-1 :status :pass .
|
|
747
747
|
# } .
|
|
748
748
|
# with substitution (on rule variables):
|
|
749
|
-
# ?r = 0.7853981633974483
|
|
749
|
+
# ?r = "0.7853981633974483"^^xsd:decimal
|
|
750
750
|
# Therefore the derived triple above is entailed by the rules and facts.
|
|
751
751
|
# ----------------------------------------------------------------------
|
|
752
752
|
|
|
@@ -1056,8 +1056,8 @@
|
|
|
1056
1056
|
# Proof for derived triple:
|
|
1057
1057
|
# :test-degrees-1 a :MathBuiltinTest .
|
|
1058
1058
|
# It holds because the following instance of the rule body is provable:
|
|
1059
|
-
# 3.141592653589793 math:degrees 180 .
|
|
1060
|
-
# 180 math:equalTo 180 .
|
|
1059
|
+
# 3.141592653589793 math:degrees "180"^^xsd:decimal .
|
|
1060
|
+
# "180"^^xsd:decimal math:equalTo 180 .
|
|
1061
1061
|
# via the schematic forward rule:
|
|
1062
1062
|
# {
|
|
1063
1063
|
# 3.141592653589793 math:degrees ?deg .
|
|
@@ -1071,7 +1071,7 @@
|
|
|
1071
1071
|
# :test-degrees-1 :status :pass .
|
|
1072
1072
|
# } .
|
|
1073
1073
|
# with substitution (on rule variables):
|
|
1074
|
-
# ?deg = 180
|
|
1074
|
+
# ?deg = "180"^^xsd:decimal
|
|
1075
1075
|
# Therefore the derived triple above is entailed by the rules and facts.
|
|
1076
1076
|
# ----------------------------------------------------------------------
|
|
1077
1077
|
|
|
@@ -1081,8 +1081,8 @@
|
|
|
1081
1081
|
# Proof for derived triple:
|
|
1082
1082
|
# :test-degrees-1 :builtin math:degrees .
|
|
1083
1083
|
# It holds because the following instance of the rule body is provable:
|
|
1084
|
-
# 3.141592653589793 math:degrees 180 .
|
|
1085
|
-
# 180 math:equalTo 180 .
|
|
1084
|
+
# 3.141592653589793 math:degrees "180"^^xsd:decimal .
|
|
1085
|
+
# "180"^^xsd:decimal math:equalTo 180 .
|
|
1086
1086
|
# via the schematic forward rule:
|
|
1087
1087
|
# {
|
|
1088
1088
|
# 3.141592653589793 math:degrees ?deg .
|
|
@@ -1096,7 +1096,7 @@
|
|
|
1096
1096
|
# :test-degrees-1 :status :pass .
|
|
1097
1097
|
# } .
|
|
1098
1098
|
# with substitution (on rule variables):
|
|
1099
|
-
# ?deg = 180
|
|
1099
|
+
# ?deg = "180"^^xsd:decimal
|
|
1100
1100
|
# Therefore the derived triple above is entailed by the rules and facts.
|
|
1101
1101
|
# ----------------------------------------------------------------------
|
|
1102
1102
|
|
|
@@ -1106,8 +1106,8 @@
|
|
|
1106
1106
|
# Proof for derived triple:
|
|
1107
1107
|
# :test-degrees-1 :input 3.141592653589793 .
|
|
1108
1108
|
# It holds because the following instance of the rule body is provable:
|
|
1109
|
-
# 3.141592653589793 math:degrees 180 .
|
|
1110
|
-
# 180 math:equalTo 180 .
|
|
1109
|
+
# 3.141592653589793 math:degrees "180"^^xsd:decimal .
|
|
1110
|
+
# "180"^^xsd:decimal math:equalTo 180 .
|
|
1111
1111
|
# via the schematic forward rule:
|
|
1112
1112
|
# {
|
|
1113
1113
|
# 3.141592653589793 math:degrees ?deg .
|
|
@@ -1121,7 +1121,7 @@
|
|
|
1121
1121
|
# :test-degrees-1 :status :pass .
|
|
1122
1122
|
# } .
|
|
1123
1123
|
# with substitution (on rule variables):
|
|
1124
|
-
# ?deg = 180
|
|
1124
|
+
# ?deg = "180"^^xsd:decimal
|
|
1125
1125
|
# Therefore the derived triple above is entailed by the rules and facts.
|
|
1126
1126
|
# ----------------------------------------------------------------------
|
|
1127
1127
|
|
|
@@ -1131,8 +1131,8 @@
|
|
|
1131
1131
|
# Proof for derived triple:
|
|
1132
1132
|
# :test-degrees-1 :expected 180 .
|
|
1133
1133
|
# It holds because the following instance of the rule body is provable:
|
|
1134
|
-
# 3.141592653589793 math:degrees 180 .
|
|
1135
|
-
# 180 math:equalTo 180 .
|
|
1134
|
+
# 3.141592653589793 math:degrees "180"^^xsd:decimal .
|
|
1135
|
+
# "180"^^xsd:decimal math:equalTo 180 .
|
|
1136
1136
|
# via the schematic forward rule:
|
|
1137
1137
|
# {
|
|
1138
1138
|
# 3.141592653589793 math:degrees ?deg .
|
|
@@ -1146,7 +1146,7 @@
|
|
|
1146
1146
|
# :test-degrees-1 :status :pass .
|
|
1147
1147
|
# } .
|
|
1148
1148
|
# with substitution (on rule variables):
|
|
1149
|
-
# ?deg = 180
|
|
1149
|
+
# ?deg = "180"^^xsd:decimal
|
|
1150
1150
|
# Therefore the derived triple above is entailed by the rules and facts.
|
|
1151
1151
|
# ----------------------------------------------------------------------
|
|
1152
1152
|
|
|
@@ -1154,10 +1154,10 @@
|
|
|
1154
1154
|
|
|
1155
1155
|
# ----------------------------------------------------------------------
|
|
1156
1156
|
# Proof for derived triple:
|
|
1157
|
-
# :test-degrees-1 :actual 180 .
|
|
1157
|
+
# :test-degrees-1 :actual "180"^^xsd:decimal .
|
|
1158
1158
|
# It holds because the following instance of the rule body is provable:
|
|
1159
|
-
# 3.141592653589793 math:degrees 180 .
|
|
1160
|
-
# 180 math:equalTo 180 .
|
|
1159
|
+
# 3.141592653589793 math:degrees "180"^^xsd:decimal .
|
|
1160
|
+
# "180"^^xsd:decimal math:equalTo 180 .
|
|
1161
1161
|
# via the schematic forward rule:
|
|
1162
1162
|
# {
|
|
1163
1163
|
# 3.141592653589793 math:degrees ?deg .
|
|
@@ -1171,18 +1171,18 @@
|
|
|
1171
1171
|
# :test-degrees-1 :status :pass .
|
|
1172
1172
|
# } .
|
|
1173
1173
|
# with substitution (on rule variables):
|
|
1174
|
-
# ?deg = 180
|
|
1174
|
+
# ?deg = "180"^^xsd:decimal
|
|
1175
1175
|
# Therefore the derived triple above is entailed by the rules and facts.
|
|
1176
1176
|
# ----------------------------------------------------------------------
|
|
1177
1177
|
|
|
1178
|
-
:test-degrees-1 :actual 180 .
|
|
1178
|
+
:test-degrees-1 :actual "180"^^xsd:decimal .
|
|
1179
1179
|
|
|
1180
1180
|
# ----------------------------------------------------------------------
|
|
1181
1181
|
# Proof for derived triple:
|
|
1182
1182
|
# :test-degrees-1 :status :pass .
|
|
1183
1183
|
# It holds because the following instance of the rule body is provable:
|
|
1184
|
-
# 3.141592653589793 math:degrees 180 .
|
|
1185
|
-
# 180 math:equalTo 180 .
|
|
1184
|
+
# 3.141592653589793 math:degrees "180"^^xsd:decimal .
|
|
1185
|
+
# "180"^^xsd:decimal math:equalTo 180 .
|
|
1186
1186
|
# via the schematic forward rule:
|
|
1187
1187
|
# {
|
|
1188
1188
|
# 3.141592653589793 math:degrees ?deg .
|
|
@@ -1196,7 +1196,7 @@
|
|
|
1196
1196
|
# :test-degrees-1 :status :pass .
|
|
1197
1197
|
# } .
|
|
1198
1198
|
# with substitution (on rule variables):
|
|
1199
|
-
# ?deg = 180
|
|
1199
|
+
# ?deg = "180"^^xsd:decimal
|
|
1200
1200
|
# Therefore the derived triple above is entailed by the rules and facts.
|
|
1201
1201
|
# ----------------------------------------------------------------------
|
|
1202
1202
|
|