eyeling 1.33.2 → 1.33.4

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 (113) hide show
  1. package/examples/eyelang/README.md +11 -76
  2. package/examples/eyelang/SPEC.md +1 -2
  3. package/eyelang.d.ts +0 -12
  4. package/index.d.ts +0 -4
  5. package/index.js +1 -5
  6. package/lib/eyelang/builtins/registry.js +1 -2
  7. package/lib/eyelang/builtins/search.js +3 -3
  8. package/lib/eyelang/cli.js +1 -13
  9. package/lib/eyelang/hash.js +2 -2
  10. package/lib/eyelang/index.js +0 -1
  11. package/lib/eyelang/program.js +0 -7
  12. package/package.json +1 -1
  13. package/test/eyelang/run-examples.mjs +1 -2
  14. package/test/eyelang/run-regression.mjs +0 -61
  15. package/test/run.js +21 -3
  16. package/examples/eyelang/annotation-rdf12.ttl +0 -12
  17. package/examples/eyelang/directional-language.ttl +0 -9
  18. package/examples/eyelang/eyeling-ackermann.n3 +0 -41
  19. package/examples/eyelang/eyeling-age-threshold.n3 +0 -12
  20. package/examples/eyelang/eyeling-alignment-demo.n3 +0 -11
  21. package/examples/eyelang/eyeling-allen-interval-calculus-small.n3 +0 -13
  22. package/examples/eyelang/eyeling-backward-recursion.n3 +0 -11
  23. package/examples/eyelang/eyeling-backward.n3 +0 -10
  24. package/examples/eyelang/eyeling-basic-monadic-small.n3 +0 -11
  25. package/examples/eyelang/eyeling-bmi.n3 +0 -10
  26. package/examples/eyelang/eyeling-cat-koko.n3 +0 -15
  27. package/examples/eyelang/eyeling-collatz-small.n3 +0 -11
  28. package/examples/eyelang/eyeling-collection.n3 +0 -11
  29. package/examples/eyelang/eyeling-complex-arithmetic.n3 +0 -10
  30. package/examples/eyelang/eyeling-context-association.n3 +0 -11
  31. package/examples/eyelang/eyeling-control-system-small.n3 +0 -11
  32. package/examples/eyelang/eyeling-crypto-builtins-extra.n3 +0 -10
  33. package/examples/eyelang/eyeling-crypto-builtins.n3 +0 -8
  34. package/examples/eyelang/eyeling-deep-taxonomy-10.n3 +0 -18
  35. package/examples/eyelang/eyeling-derived-backward-rule-flat.n3 +0 -10
  36. package/examples/eyelang/eyeling-derived-rule-flat.n3 +0 -9
  37. package/examples/eyelang/eyeling-digital-product-passport-small.n3 +0 -11
  38. package/examples/eyelang/eyeling-dijkstra-tiny.n3 +0 -14
  39. package/examples/eyelang/eyeling-dog-license.n3 +0 -13
  40. package/examples/eyelang/eyeling-drone-corridor-planner-small.n3 +0 -13
  41. package/examples/eyelang/eyeling-equals.n3 +0 -8
  42. package/examples/eyelang/eyeling-equivalence-classes.n3 +0 -11
  43. package/examples/eyelang/eyeling-euler-identity.n3 +0 -9
  44. package/examples/eyelang/eyeling-existential-rule.n3 +0 -9
  45. package/examples/eyelang/eyeling-expression-eval.n3 +0 -11
  46. package/examples/eyelang/eyeling-family-cousins-extended.n3 +0 -12
  47. package/examples/eyelang/eyeling-fastpow.n3 +0 -10
  48. package/examples/eyelang/eyeling-fibonacci.n3 +0 -44
  49. package/examples/eyelang/eyeling-french-cities-reachability.n3 +0 -22
  50. package/examples/eyelang/eyeling-goldbach-small.n3 +0 -22
  51. package/examples/eyelang/eyeling-good-cobbler.n3 +0 -9
  52. package/examples/eyelang/eyeling-list-builtins.n3 +0 -10
  53. package/examples/eyelang/eyeling-list-collection-extra.n3 +0 -9
  54. package/examples/eyelang/eyeling-math-builtins.n3 +0 -9
  55. package/examples/eyelang/eyeling-string-builtins-extra.n3 +0 -9
  56. package/examples/eyelang/eyeling-string-builtins.n3 +0 -10
  57. package/examples/eyelang/eyeling-time-builtins.n3 +0 -11
  58. package/examples/eyelang/eyeling-time-components-extra.n3 +0 -10
  59. package/examples/eyelang/eyeling-witch.n3 +0 -10
  60. package/examples/eyelang/family-cousins.n3 +0 -17
  61. package/examples/eyelang/n3-builtins.n3 +0 -28
  62. package/examples/eyelang/output/annotation-rdf12.ttl +0 -1
  63. package/examples/eyelang/output/directional-language.ttl +0 -1
  64. package/examples/eyelang/output/eyeling-ackermann.n3 +0 -12
  65. package/examples/eyelang/output/eyeling-age-threshold.n3 +0 -4
  66. package/examples/eyelang/output/eyeling-alignment-demo.n3 +0 -1
  67. package/examples/eyelang/output/eyeling-allen-interval-calculus-small.n3 +0 -3
  68. package/examples/eyelang/output/eyeling-backward-recursion.n3 +0 -9
  69. package/examples/eyelang/output/eyeling-backward.n3 +0 -1
  70. package/examples/eyelang/output/eyeling-basic-monadic-small.n3 +0 -8
  71. package/examples/eyelang/output/eyeling-bmi.n3 +0 -2
  72. package/examples/eyelang/output/eyeling-cat-koko.n3 +0 -3
  73. package/examples/eyelang/output/eyeling-collatz-small.n3 +0 -3
  74. package/examples/eyelang/output/eyeling-collection.n3 +0 -1
  75. package/examples/eyelang/output/eyeling-complex-arithmetic.n3 +0 -5
  76. package/examples/eyelang/output/eyeling-context-association.n3 +0 -4
  77. package/examples/eyelang/output/eyeling-control-system-small.n3 +0 -4
  78. package/examples/eyelang/output/eyeling-crypto-builtins-extra.n3 +0 -3
  79. package/examples/eyelang/output/eyeling-crypto-builtins.n3 +0 -2
  80. package/examples/eyelang/output/eyeling-deep-taxonomy-10.n3 +0 -32
  81. package/examples/eyelang/output/eyeling-derived-backward-rule-flat.n3 +0 -4
  82. package/examples/eyelang/output/eyeling-derived-rule-flat.n3 +0 -2
  83. package/examples/eyelang/output/eyeling-digital-product-passport-small.n3 +0 -3
  84. package/examples/eyelang/output/eyeling-dijkstra-tiny.n3 +0 -9
  85. package/examples/eyelang/output/eyeling-dog-license.n3 +0 -1
  86. package/examples/eyelang/output/eyeling-drone-corridor-planner-small.n3 +0 -5
  87. package/examples/eyelang/output/eyeling-equals.n3 +0 -1
  88. package/examples/eyelang/output/eyeling-equivalence-classes.n3 +0 -2
  89. package/examples/eyelang/output/eyeling-euler-identity.n3 +0 -3
  90. package/examples/eyelang/output/eyeling-existential-rule.n3 +0 -4
  91. package/examples/eyelang/output/eyeling-expression-eval.n3 +0 -3
  92. package/examples/eyelang/output/eyeling-family-cousins-extended.n3 +0 -6
  93. package/examples/eyelang/output/eyeling-fastpow.n3 +0 -4
  94. package/examples/eyelang/output/eyeling-fibonacci.n3 +0 -6
  95. package/examples/eyelang/output/eyeling-french-cities-reachability.n3 +0 -25
  96. package/examples/eyelang/output/eyeling-goldbach-small.n3 +0 -2
  97. package/examples/eyelang/output/eyeling-good-cobbler.n3 +0 -2
  98. package/examples/eyelang/output/eyeling-list-builtins.n3 +0 -6
  99. package/examples/eyelang/output/eyeling-list-collection-extra.n3 +0 -5
  100. package/examples/eyelang/output/eyeling-math-builtins.n3 +0 -5
  101. package/examples/eyelang/output/eyeling-string-builtins-extra.n3 +0 -3
  102. package/examples/eyelang/output/eyeling-string-builtins.n3 +0 -4
  103. package/examples/eyelang/output/eyeling-time-builtins.n3 +0 -4
  104. package/examples/eyelang/output/eyeling-time-components-extra.n3 +0 -5
  105. package/examples/eyelang/output/eyeling-witch.n3 +0 -2
  106. package/examples/eyelang/output/family-cousins.n3 +0 -8
  107. package/examples/eyelang/output/n3-builtins.n3 +0 -6
  108. package/examples/eyelang/output/socrates.n3 +0 -1
  109. package/examples/eyelang/output/triple-term.n3 +0 -2
  110. package/examples/eyelang/socrates.n3 +0 -11
  111. package/examples/eyelang/triple-term.n3 +0 -9
  112. package/lib/eyelang/builtins/n3.js +0 -483
  113. package/lib/eyelang/rdf.js +0 -747
@@ -1,3 +0,0 @@
1
- rdf([iri("https://eyereasoner.github.io/eyeling/examples/allen#a"), iri("https://eyereasoner.github.io/eyeling/examples/allen#b")], iri("https://eyereasoner.github.io/eyeling/examples/allen#allen"), iri("https://eyereasoner.github.io/eyeling/examples/allen#meets")).
2
- rdf([iri("https://eyereasoner.github.io/eyeling/examples/allen#b"), iri("https://eyereasoner.github.io/eyeling/examples/allen#c")], iri("https://eyereasoner.github.io/eyeling/examples/allen#allen"), iri("https://eyereasoner.github.io/eyeling/examples/allen#overlaps")).
3
- rdf([iri("https://eyereasoner.github.io/eyeling/examples/allen#a"), iri("https://eyereasoner.github.io/eyeling/examples/allen#d")], iri("https://eyereasoner.github.io/eyeling/examples/allen#allen"), iri("https://eyereasoner.github.io/eyeling/examples/allen#starts")).
@@ -1,9 +0,0 @@
1
- rdf(iri("urn:example#a"), iri("urn:example#ancestor"), iri("urn:example#b")).
2
- rdf(iri("urn:example#b"), iri("urn:example#ancestor"), iri("urn:example#c")).
3
- rdf(iri("urn:example#c"), iri("urn:example#ancestor"), iri("urn:example#d")).
4
- rdf(iri("urn:example#a"), iri("urn:example#ancestor"), iri("urn:example#c")).
5
- rdf(iri("urn:example#a"), iri("urn:example#ancestor"), iri("urn:example#d")).
6
- rdf(iri("urn:example#b"), iri("urn:example#ancestor"), iri("urn:example#d")).
7
- rdf(iri("urn:example#a"), iri("urn:example#reaches"), iri("urn:example#b")).
8
- rdf(iri("urn:example#a"), iri("urn:example#reaches"), iri("urn:example#c")).
9
- rdf(iri("urn:example#a"), iri("urn:example#reaches"), iri("urn:example#d")).
@@ -1 +0,0 @@
1
- rdf(literal("5", iri("http://www.w3.org/2001/XMLSchema#integer"), "", ""), iri("https://eyereasoner.github.io/ns#isIndeedMoreInterestingThan"), literal("3", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
@@ -1,8 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/basic-monadic#i0"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/basic-monadic#N1")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/basic-monadic#i1"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/basic-monadic#N1")).
3
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/basic-monadic#i2"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/basic-monadic#N2")).
4
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/basic-monadic#i0"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/basic-monadic#N2")).
5
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/basic-monadic#i1"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/basic-monadic#N2")).
6
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/basic-monadic#i2"), iri("https://eyereasoner.github.io/eyeling/examples/basic-monadic#accepted"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
7
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/basic-monadic#i0"), iri("https://eyereasoner.github.io/eyeling/examples/basic-monadic#accepted"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
8
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/basic-monadic#i1"), iri("https://eyereasoner.github.io/eyeling/examples/basic-monadic#accepted"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
@@ -1,2 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/ns#alice"), iri("https://eyereasoner.github.io/ns#heightSquared"), literal("3.24", iri("http://www.w3.org/2001/XMLSchema#decimal"), "", "")).
2
- rdf(iri("https://eyereasoner.github.io/ns#alice"), iri("https://eyereasoner.github.io/ns#bmi"), literal("22.22222222222222", iri("http://www.w3.org/2001/XMLSchema#decimal"), "", "")).
@@ -1,3 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/ns#catKoko"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/ns#Cat")).
2
- rdf(iri("https://eyereasoner.github.io/ns#britishKoko"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/ns#BritishShortHair")).
3
- rdf(iri("https://eyereasoner.github.io/ns#test"), iri("https://eyereasoner.github.io/ns#is"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
@@ -1,3 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/collatz#case6"), iri("https://eyereasoner.github.io/eyeling/examples/collatz#next"), literal("3", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/collatz#case7"), iri("https://eyereasoner.github.io/eyeling/examples/collatz#next"), literal("22", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
3
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/collatz#case7"), iri("https://eyereasoner.github.io/eyeling/examples/collatz#jumpsAboveTen"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
@@ -1 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/collection#collection"), iri("https://eyereasoner.github.io/eyeling/examples/collection#length"), literal("3", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
@@ -1,5 +0,0 @@
1
- rdf([iri("https://eyereasoner.github.io/eyeling/examples/complex#z1"), iri("https://eyereasoner.github.io/eyeling/examples/complex#z1")], iri("https://eyereasoner.github.io/eyeling/examples/complex#sum"), [literal("6", iri("http://www.w3.org/2001/XMLSchema#integer"), "", ""), literal("8", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")]).
2
- rdf([iri("https://eyereasoner.github.io/eyeling/examples/complex#z1"), iri("https://eyereasoner.github.io/eyeling/examples/complex#z2")], iri("https://eyereasoner.github.io/eyeling/examples/complex#sum"), [literal("8", iri("http://www.w3.org/2001/XMLSchema#integer"), "", ""), literal("2", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")]).
3
- rdf([iri("https://eyereasoner.github.io/eyeling/examples/complex#z2"), iri("https://eyereasoner.github.io/eyeling/examples/complex#z1")], iri("https://eyereasoner.github.io/eyeling/examples/complex#sum"), [literal("8", iri("http://www.w3.org/2001/XMLSchema#integer"), "", ""), literal("2", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")]).
4
- rdf([iri("https://eyereasoner.github.io/eyeling/examples/complex#z2"), iri("https://eyereasoner.github.io/eyeling/examples/complex#z2")], iri("https://eyereasoner.github.io/eyeling/examples/complex#sum"), [literal("10", iri("http://www.w3.org/2001/XMLSchema#integer"), "", ""), literal("-4", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")]).
5
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/complex#example"), iri("https://eyereasoner.github.io/eyeling/examples/complex#complexSum"), [literal("8", iri("http://www.w3.org/2001/XMLSchema#integer"), "", ""), literal("2", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")]).
@@ -1,4 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/context-association#ctx1"), iri("https://eyereasoner.github.io/eyeling/examples/context-association#mentions"), iri("https://eyereasoner.github.io/eyeling/examples/context-association#alice")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/context-association#ctx2"), iri("https://eyereasoner.github.io/eyeling/examples/context-association#mentions"), iri("https://eyereasoner.github.io/eyeling/examples/context-association#bob")).
3
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/context-association#alice"), iri("https://eyereasoner.github.io/eyeling/examples/context-association#mentionedIn"), iri("https://eyereasoner.github.io/eyeling/examples/context-association#ctx1")).
4
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/context-association#bob"), iri("https://eyereasoner.github.io/eyeling/examples/context-association#mentionedIn"), iri("https://eyereasoner.github.io/eyeling/examples/context-association#ctx2")).
@@ -1,4 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/control-system#loop1"), iri("https://eyereasoner.github.io/eyeling/examples/control-system#absoluteError"), literal("3", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/control-system#loop2"), iri("https://eyereasoner.github.io/eyeling/examples/control-system#absoluteError"), literal("11", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
3
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/control-system#loop1"), iri("https://eyereasoner.github.io/eyeling/examples/control-system#status"), iri("https://eyereasoner.github.io/eyeling/examples/control-system#ok")).
4
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/control-system#loop2"), iri("https://eyereasoner.github.io/eyeling/examples/control-system#status"), iri("https://eyereasoner.github.io/eyeling/examples/control-system#alarm")).
@@ -1,3 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/crypto-extra#payload"), iri("https://eyereasoner.github.io/eyeling/examples/crypto-extra#sha256Length"), literal("64", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/crypto-extra#payload"), iri("https://eyereasoner.github.io/eyeling/examples/crypto-extra#sha256"), literal("4b357736281309b7e52867fdd0014d831067c8a2060446e6d3315215ca0cc38f", iri("http://www.w3.org/2001/XMLSchema#string"), "", "")).
3
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/crypto-extra#payload"), iri("https://eyereasoner.github.io/eyeling/examples/crypto-extra#hashLooksComplete"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
@@ -1,2 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/ns#payload"), iri("https://eyereasoner.github.io/ns#sha256"), literal("4b357736281309b7e52867fdd0014d831067c8a2060446e6d3315215ca0cc38f", iri("http://www.w3.org/2001/XMLSchema#string"), "", "")).
2
- rdf(iri("https://eyereasoner.github.io/ns#payload"), iri("https://eyereasoner.github.io/ns#md5"), literal("eda2474c5d4eae9c99e98cf0831257df", iri("http://www.w3.org/2001/XMLSchema#string"), "", "")).
@@ -1,32 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#N1")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#I1")).
3
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#J1")).
4
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#N2")).
5
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#I2")).
6
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#J2")).
7
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#N3")).
8
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#I3")).
9
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#J3")).
10
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#N4")).
11
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#I4")).
12
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#J4")).
13
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#N5")).
14
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#I5")).
15
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#J5")).
16
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#N6")).
17
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#I6")).
18
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#J6")).
19
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#N7")).
20
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#I7")).
21
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#J7")).
22
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#N8")).
23
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#I8")).
24
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#J8")).
25
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#N9")).
26
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#I9")).
27
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#J9")).
28
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#N10")).
29
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#I10")).
30
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#J10")).
31
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#ind"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#A2")).
32
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#test"), iri("https://eyereasoner.github.io/eyeling/examples/deep-taxonomy-10#is"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
@@ -1,4 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/derived-backward-rule#bob"), iri("https://eyereasoner.github.io/eyeling/examples/derived-backward-rule#childOf"), iri("https://eyereasoner.github.io/eyeling/examples/derived-backward-rule#alice")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/derived-backward-rule#diana"), iri("https://eyereasoner.github.io/eyeling/examples/derived-backward-rule#childOf"), iri("https://eyereasoner.github.io/eyeling/examples/derived-backward-rule#claire")).
3
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/derived-backward-rule#bob"), iri("https://eyereasoner.github.io/eyeling/examples/derived-backward-rule#hasParent"), iri("https://eyereasoner.github.io/eyeling/examples/derived-backward-rule#alice")).
4
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/derived-backward-rule#diana"), iri("https://eyereasoner.github.io/eyeling/examples/derived-backward-rule#hasParent"), iri("https://eyereasoner.github.io/eyeling/examples/derived-backward-rule#claire")).
@@ -1,2 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/derived-rule#test"), iri("https://eyereasoner.github.io/eyeling/examples/derived-rule#is"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/derived-rule#Minka"), iri("https://eyereasoner.github.io/eyeling/examples/derived-rule#compatibleWith"), iri("https://eyereasoner.github.io/eyeling/examples/derived-rule#Charly")).
@@ -1,3 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/digital-product-passport#bike1"), iri("https://eyereasoner.github.io/eyeling/examples/digital-product-passport#hasEuSerial"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/digital-product-passport#bike1"), iri("https://eyereasoner.github.io/eyeling/examples/digital-product-passport#hasBatteryPassport"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
3
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/digital-product-passport#bike1"), iri("https://eyereasoner.github.io/eyeling/examples/digital-product-passport#passportStatus"), iri("https://eyereasoner.github.io/eyeling/examples/digital-product-passport#ready")).
@@ -1,9 +0,0 @@
1
- rdf([iri("https://eyereasoner.github.io/eyeling/examples/dijkstra#a"), iri("https://eyereasoner.github.io/eyeling/examples/dijkstra#b")], iri("https://eyereasoner.github.io/eyeling/examples/dijkstra#pathCost"), literal("2", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
2
- rdf([iri("https://eyereasoner.github.io/eyeling/examples/dijkstra#a"), iri("https://eyereasoner.github.io/eyeling/examples/dijkstra#c")], iri("https://eyereasoner.github.io/eyeling/examples/dijkstra#pathCost"), literal("5", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
3
- rdf([iri("https://eyereasoner.github.io/eyeling/examples/dijkstra#b"), iri("https://eyereasoner.github.io/eyeling/examples/dijkstra#c")], iri("https://eyereasoner.github.io/eyeling/examples/dijkstra#pathCost"), literal("1", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
4
- rdf([iri("https://eyereasoner.github.io/eyeling/examples/dijkstra#b"), iri("https://eyereasoner.github.io/eyeling/examples/dijkstra#d")], iri("https://eyereasoner.github.io/eyeling/examples/dijkstra#pathCost"), literal("4", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
5
- rdf([iri("https://eyereasoner.github.io/eyeling/examples/dijkstra#c"), iri("https://eyereasoner.github.io/eyeling/examples/dijkstra#d")], iri("https://eyereasoner.github.io/eyeling/examples/dijkstra#pathCost"), literal("1", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
6
- rdf([iri("https://eyereasoner.github.io/eyeling/examples/dijkstra#a"), iri("https://eyereasoner.github.io/eyeling/examples/dijkstra#c")], iri("https://eyereasoner.github.io/eyeling/examples/dijkstra#pathCost"), literal("3", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
7
- rdf([iri("https://eyereasoner.github.io/eyeling/examples/dijkstra#a"), iri("https://eyereasoner.github.io/eyeling/examples/dijkstra#d")], iri("https://eyereasoner.github.io/eyeling/examples/dijkstra#pathCost"), literal("6", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
8
- rdf([iri("https://eyereasoner.github.io/eyeling/examples/dijkstra#b"), iri("https://eyereasoner.github.io/eyeling/examples/dijkstra#d")], iri("https://eyereasoner.github.io/eyeling/examples/dijkstra#pathCost"), literal("2", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
9
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/dijkstra#route"), iri("https://eyereasoner.github.io/eyeling/examples/dijkstra#candidateCost"), literal("6", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
@@ -1 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/ns#alice"), iri("https://eyereasoner.github.io/ns#mustHave"), iri("https://eyereasoner.github.io/ns#dogLicense")).
@@ -1,5 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/drone-corridor#c1"), iri("https://eyereasoner.github.io/eyeling/examples/drone-corridor#allowed"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/drone-corridor#c2"), iri("https://eyereasoner.github.io/eyeling/examples/drone-corridor#allowed"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
3
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/drone-corridor#dock"), iri("https://eyereasoner.github.io/eyeling/examples/drone-corridor#canFlyTo"), iri("https://eyereasoner.github.io/eyeling/examples/drone-corridor#tower")).
4
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/drone-corridor#tower"), iri("https://eyereasoner.github.io/eyeling/examples/drone-corridor#canFlyTo"), iri("https://eyereasoner.github.io/eyeling/examples/drone-corridor#field")).
5
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/drone-corridor#mission"), iri("https://eyereasoner.github.io/eyeling/examples/drone-corridor#hasTwoHopRoute"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
@@ -1 +0,0 @@
1
- rdf(iri("http://example.org/socrates#test"), iri("http://example.org/socrates#is"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
@@ -1,2 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/equivalence-classes#classA"), iri("https://eyereasoner.github.io/eyeling/examples/equivalence-classes#sameClassAs"), iri("https://eyereasoner.github.io/eyeling/examples/equivalence-classes#classB")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/equivalence-classes#classB"), iri("https://eyereasoner.github.io/eyeling/examples/equivalence-classes#sameClassAs"), iri("https://eyereasoner.github.io/eyeling/examples/equivalence-classes#classA")).
@@ -1,3 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/euler-identity#euler"), iri("https://eyereasoner.github.io/eyeling/examples/euler-identity#cosPi"), literal("-1", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/euler-identity#euler"), iri("https://eyereasoner.github.io/eyeling/examples/euler-identity#sinPi"), literal("1.2246467991473532e-16", iri("http://www.w3.org/2001/XMLSchema#decimal"), "", "")).
3
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/euler-identity#euler"), iri("https://eyereasoner.github.io/eyeling/examples/euler-identity#cosPiAtMinusOne"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
@@ -1,4 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/existential-rule#Socrates"), iri("https://eyereasoner.github.io/eyeling/examples/existential-rule#hasNature"), bnode("humanNature")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/existential-rule#Plato"), iri("https://eyereasoner.github.io/eyeling/examples/existential-rule#hasNature"), bnode("humanNature")).
3
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/existential-rule#Socrates"), iri("https://eyereasoner.github.io/eyeling/examples/existential-rule#witnessed"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
4
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/existential-rule#Plato"), iri("https://eyereasoner.github.io/eyeling/examples/existential-rule#witnessed"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
@@ -1,3 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/expression-eval#e1"), iri("https://eyereasoner.github.io/eyeling/examples/expression-eval#value"), literal("5", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/expression-eval#e2"), iri("https://eyereasoner.github.io/eyeling/examples/expression-eval#value"), literal("20", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
3
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/expression-eval#answer"), iri("https://eyereasoner.github.io/eyeling/examples/expression-eval#value"), literal("20", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
@@ -1,6 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/ns#bob"), iri("https://eyereasoner.github.io/ns#siblingOf"), iri("https://eyereasoner.github.io/ns#carol")).
2
- rdf(iri("https://eyereasoner.github.io/ns#carol"), iri("https://eyereasoner.github.io/ns#siblingOf"), iri("https://eyereasoner.github.io/ns#bob")).
3
- rdf(iri("https://eyereasoner.github.io/ns#dave"), iri("https://eyereasoner.github.io/ns#cousinOf"), iri("https://eyereasoner.github.io/ns#erin")).
4
- rdf(iri("https://eyereasoner.github.io/ns#erin"), iri("https://eyereasoner.github.io/ns#cousinOf"), iri("https://eyereasoner.github.io/ns#dave")).
5
- rdf(iri("https://eyereasoner.github.io/ns#dave"), iri("https://eyereasoner.github.io/ns#relatedTo"), iri("https://eyereasoner.github.io/ns#erin")).
6
- rdf(iri("https://eyereasoner.github.io/ns#erin"), iri("https://eyereasoner.github.io/ns#relatedTo"), iri("https://eyereasoner.github.io/ns#dave")).
@@ -1,4 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/fastpow#case1"), iri("https://eyereasoner.github.io/eyeling/examples/fastpow#power"), literal("1024", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/fastpow#case2"), iri("https://eyereasoner.github.io/eyeling/examples/fastpow#power"), literal("2187", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
3
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/fastpow#case1"), iri("https://eyereasoner.github.io/eyeling/examples/fastpow#largePower"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
4
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/fastpow#case2"), iri("https://eyereasoner.github.io/eyeling/examples/fastpow#largePower"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
@@ -1,6 +0,0 @@
1
- rdf(literal("0", iri("http://www.w3.org/2001/XMLSchema#integer"), "", ""), iri("https://eyereasoner.github.io/eyeling/examples/fibonacci#fibonacci"), literal("0", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/fibonacci#fibonacci_0"), iri("https://eyereasoner.github.io/eyeling/examples/fibonacci#value"), literal("0", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
3
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/fibonacci#fibonacci_1"), iri("https://eyereasoner.github.io/eyeling/examples/fibonacci#value"), literal("1", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
4
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/fibonacci#fibonacci_10"), iri("https://eyereasoner.github.io/eyeling/examples/fibonacci#value"), literal("55", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
5
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/fibonacci#fibonacci_100"), iri("https://eyereasoner.github.io/eyeling/examples/fibonacci#value"), literal("354224848179261915075", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
6
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/fibonacci#fibonacci_1000"), iri("https://eyereasoner.github.io/eyeling/examples/fibonacci#value"), literal("43466557686937456435688527675040625802564660517371780402481729089536555417949051890403879840079255169295922593080322634775209689623239873322471161642996440906533187938298969649928516003704476137795166849228875", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
@@ -1,25 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#paris"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#orleans")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#paris"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#chartres")).
3
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#paris"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#amiens")).
4
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#orleans"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#blois")).
5
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#orleans"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#bourges")).
6
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#blois"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#tours")).
7
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#chartres"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#lemans")).
8
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#lemans"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#angers")).
9
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#lemans"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#tours")).
10
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#angers"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#nantes")).
11
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#paris"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#blois")).
12
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#paris"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#bourges")).
13
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#paris"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#lemans")).
14
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#orleans"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#tours")).
15
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#chartres"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#angers")).
16
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#chartres"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#tours")).
17
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#lemans"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#path"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#nantes")).
18
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#angers"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#canReach"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#nantes")).
19
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#paris"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#canReach"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#nantes")).
20
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#chartres"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#canReach"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#nantes")).
21
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#lemans"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#canReach"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#nantes")).
22
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#report"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#reachableCity"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#paris")).
23
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#report"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#reachableCity"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#chartres")).
24
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#report"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#reachableCity"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#lemans")).
25
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/french-cities#report"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#reachableCity"), iri("https://eyereasoner.github.io/eyeling/examples/french-cities#angers")).
@@ -1,2 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/goldbach#twelve"), iri("https://eyereasoner.github.io/eyeling/examples/goldbach#goldbachWitness"), [iri("https://eyereasoner.github.io/eyeling/examples/goldbach#five"), iri("https://eyereasoner.github.io/eyeling/examples/goldbach#seven")]).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/goldbach#eighteen"), iri("https://eyereasoner.github.io/eyeling/examples/goldbach#goldbachWitness"), [iri("https://eyereasoner.github.io/eyeling/examples/goldbach#seven"), iri("https://eyereasoner.github.io/eyeling/examples/goldbach#eleven")]).
@@ -1,2 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/good-cobbler#joe"), iri("https://eyereasoner.github.io/eyeling/examples/good-cobbler#goodAt"), iri("https://eyereasoner.github.io/eyeling/examples/good-cobbler#Cobbler")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/good-cobbler#test"), iri("https://eyereasoner.github.io/eyeling/examples/good-cobbler#hasGoodWorker"), iri("https://eyereasoner.github.io/eyeling/examples/good-cobbler#joe")).
@@ -1,6 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/ns#demo"), iri("https://eyereasoner.github.io/ns#firstNumber"), literal("3", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
2
- rdf(iri("https://eyereasoner.github.io/ns#demo"), iri("https://eyereasoner.github.io/ns#restNumbers"), [literal("1", iri("http://www.w3.org/2001/XMLSchema#integer"), "", ""), literal("2", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")]).
3
- rdf(iri("https://eyereasoner.github.io/ns#demo"), iri("https://eyereasoner.github.io/ns#reverseNumbers"), [literal("2", iri("http://www.w3.org/2001/XMLSchema#integer"), "", ""), literal("1", iri("http://www.w3.org/2001/XMLSchema#integer"), "", ""), literal("3", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")]).
4
- rdf(iri("https://eyereasoner.github.io/ns#demo"), iri("https://eyereasoner.github.io/ns#sortedWords"), [literal("alpha", iri("http://www.w3.org/2001/XMLSchema#string"), "", ""), literal("beta", iri("http://www.w3.org/2001/XMLSchema#string"), "", ""), literal("gamma", iri("http://www.w3.org/2001/XMLSchema#string"), "", "")]).
5
- rdf(iri("https://eyereasoner.github.io/ns#demo"), iri("https://eyereasoner.github.io/ns#containsTwo"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
6
- rdf(iri("https://eyereasoner.github.io/ns#demo"), iri("https://eyereasoner.github.io/ns#flatNumbers"), [literal("1", iri("http://www.w3.org/2001/XMLSchema#integer"), "", ""), literal("2", iri("http://www.w3.org/2001/XMLSchema#integer"), "", ""), literal("3", iri("http://www.w3.org/2001/XMLSchema#integer"), "", ""), literal("4", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")]).
@@ -1,5 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/list-extra#shopping"), iri("https://eyereasoner.github.io/eyeling/examples/list-extra#first"), iri("https://eyereasoner.github.io/eyeling/examples/list-extra#tea")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/list-extra#shopping"), iri("https://eyereasoner.github.io/eyeling/examples/list-extra#rest"), [iri("https://eyereasoner.github.io/eyeling/examples/list-extra#milk"), iri("https://eyereasoner.github.io/eyeling/examples/list-extra#bread")]).
3
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/list-extra#shopping"), iri("https://eyereasoner.github.io/eyeling/examples/list-extra#reverse"), [iri("https://eyereasoner.github.io/eyeling/examples/list-extra#bread"), iri("https://eyereasoner.github.io/eyeling/examples/list-extra#milk"), iri("https://eyereasoner.github.io/eyeling/examples/list-extra#tea")]).
4
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/list-extra#shopping"), iri("https://eyereasoner.github.io/eyeling/examples/list-extra#length"), literal("3", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
5
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/list-extra#shopping"), iri("https://eyereasoner.github.io/eyeling/examples/list-extra#containsMilk"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
@@ -1,5 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/ns#calc"), iri("https://eyereasoner.github.io/ns#sum"), literal("10", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
2
- rdf(iri("https://eyereasoner.github.io/ns#calc"), iri("https://eyereasoner.github.io/ns#integerQuotient"), literal("5", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
3
- rdf(iri("https://eyereasoner.github.io/ns#calc"), iri("https://eyereasoner.github.io/ns#remainder"), literal("1", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
4
- rdf(iri("https://eyereasoner.github.io/ns#calc"), iri("https://eyereasoner.github.io/ns#power"), literal("256", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
5
- rdf(iri("https://eyereasoner.github.io/ns#calc"), iri("https://eyereasoner.github.io/ns#absolute"), literal("3", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
@@ -1,3 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/string-extra#msg"), iri("https://eyereasoner.github.io/eyeling/examples/string-extra#sensor"), literal("A17", iri("http://www.w3.org/2001/XMLSchema#string"), "", "")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/string-extra#msg"), iri("https://eyereasoner.github.io/eyeling/examples/string-extra#greenText"), literal("sensor:A17 status:GREEN", iri("http://www.w3.org/2001/XMLSchema#string"), "", "")).
3
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/string-extra#msg"), iri("https://eyereasoner.github.io/eyeling/examples/string-extra#deviceId"), literal("device-A17", iri("http://www.w3.org/2001/XMLSchema#string"), "", "")).
@@ -1,4 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/ns#msg"), iri("https://eyereasoner.github.io/ns#mentionsEye"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
2
- rdf(iri("https://eyereasoner.github.io/ns#msg"), iri("https://eyereasoner.github.io/ns#length"), literal("13", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
3
- rdf(iri("https://eyereasoner.github.io/ns#msg"), iri("https://eyereasoner.github.io/ns#label"), literal("N3 + RDF 1.2", iri("http://www.w3.org/2001/XMLSchema#string"), "", "")).
4
- rdf(iri("https://eyereasoner.github.io/ns#msg"), iri("https://eyereasoner.github.io/ns#scrapedTail"), literal("lang", iri("http://www.w3.org/2001/XMLSchema#string"), "", "")).
@@ -1,4 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/ns#event"), iri("https://eyereasoner.github.io/ns#year"), literal("2026", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
2
- rdf(iri("https://eyereasoner.github.io/ns#event"), iri("https://eyereasoner.github.io/ns#month"), literal("6", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
3
- rdf(iri("https://eyereasoner.github.io/ns#event"), iri("https://eyereasoner.github.io/ns#day"), literal("15", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
4
- rdf(iri("https://eyereasoner.github.io/ns#event"), iri("https://eyereasoner.github.io/ns#hour"), literal("10", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
@@ -1,5 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/time-extra#event"), iri("https://eyereasoner.github.io/eyeling/examples/time-extra#year"), literal("2026", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
2
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/time-extra#event"), iri("https://eyereasoner.github.io/eyeling/examples/time-extra#month"), literal("6", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
3
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/time-extra#event"), iri("https://eyereasoner.github.io/eyeling/examples/time-extra#day"), literal("15", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
4
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/time-extra#event"), iri("https://eyereasoner.github.io/eyeling/examples/time-extra#hour"), literal("10", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
5
- rdf(iri("https://eyereasoner.github.io/eyeling/examples/time-extra#event"), iri("https://eyereasoner.github.io/eyeling/examples/time-extra#dateCheck"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
@@ -1,2 +0,0 @@
1
- rdf(iri("https://eyereasoner.github.io/eye/reasoning/witch#elsie"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eye/reasoning/witch#WITCH")).
2
- rdf(iri("https://eyereasoner.github.io/eye/reasoning/witch#elsie"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eye/reasoning/witch#WEIGHS_THE_SAME_AS_A_DUCK")).
@@ -1,8 +0,0 @@
1
- rdf(iri("http://example.org/family#Dave"), iri("http://example.org/family#cousin"), iri("http://example.org/family#Frank")).
2
- rdf(iri("http://example.org/family#Dave"), iri("http://example.org/family#cousin"), iri("http://example.org/family#Grace")).
3
- rdf(iri("http://example.org/family#Eve"), iri("http://example.org/family#cousin"), iri("http://example.org/family#Frank")).
4
- rdf(iri("http://example.org/family#Eve"), iri("http://example.org/family#cousin"), iri("http://example.org/family#Grace")).
5
- rdf(iri("http://example.org/family#Frank"), iri("http://example.org/family#cousin"), iri("http://example.org/family#Dave")).
6
- rdf(iri("http://example.org/family#Frank"), iri("http://example.org/family#cousin"), iri("http://example.org/family#Eve")).
7
- rdf(iri("http://example.org/family#Grace"), iri("http://example.org/family#cousin"), iri("http://example.org/family#Dave")).
8
- rdf(iri("http://example.org/family#Grace"), iri("http://example.org/family#cousin"), iri("http://example.org/family#Eve")).
@@ -1,6 +0,0 @@
1
- rdf(iri("http://example.com/alice"), iri("http://example.com/total"), literal("5", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
2
- rdf(iri("http://example.com/alice"), iri("http://example.com/label"), literal("Alice total 5", iri("http://www.w3.org/2001/XMLSchema#string"), "", "")).
3
- rdf(iri("http://example.com/alice"), iri("http://example.com/status"), iri("http://example.com/passing")).
4
- rdf(iri("http://example.com/red"), iri("http://example.com/kind"), iri("http://example.com/colour")).
5
- rdf(iri("http://example.com/green"), iri("http://example.com/kind"), iri("http://example.com/colour")).
6
- rdf(iri("http://example.com/blue"), iri("http://example.com/kind"), iri("http://example.com/colour")).
@@ -1 +0,0 @@
1
- rdf(iri("http://example.org/socrates#Socrates"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("http://example.org/socrates#Mortal")).
@@ -1,2 +0,0 @@
1
- rdf(iri("http://example.org/triple-term#alice"), iri("http://example.org/triple-term#reportedKnower"), iri("http://example.org/triple-term#bob")).
2
- rdf(iri("http://example.org/triple-term#alice"), iri("http://example.org/triple-term#reportedKnown"), iri("http://example.org/triple-term#carol")).
@@ -1,11 +0,0 @@
1
- # Adapted from eyereasoner/eyeling examples/socrates.n3.
2
- # Demonstrates a small RDFS-style subclass rule in the RDF/N3 reader.
3
- PREFIX : <http://example.org/socrates#>
4
- PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
5
-
6
- :Socrates a :Human .
7
- :Human rdfs:subClassOf :Mortal .
8
-
9
- { ?S a ?A . ?A rdfs:subClassOf ?B . }
10
- =>
11
- { ?S a ?B . } .
@@ -1,9 +0,0 @@
1
- # RDF 1.2 triple term example for the eyelang compatibility layer.
2
- PREFIX : <http://example.org/triple-term#>
3
-
4
- :alice :says <<( :bob :knows :carol )>> .
5
-
6
- { ?Reporter :says <<( ?Knower :knows ?Known )>> . }
7
- =>
8
- { ?Reporter :reportedKnower ?Knower .
9
- ?Reporter :reportedKnown ?Known . } .