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.
- package/examples/eyelang/README.md +11 -76
- package/examples/eyelang/SPEC.md +1 -2
- package/eyelang.d.ts +0 -12
- package/index.d.ts +0 -4
- package/index.js +1 -5
- package/lib/eyelang/builtins/registry.js +1 -2
- package/lib/eyelang/builtins/search.js +3 -3
- package/lib/eyelang/cli.js +1 -13
- package/lib/eyelang/hash.js +2 -2
- package/lib/eyelang/index.js +0 -1
- package/lib/eyelang/program.js +0 -7
- package/package.json +1 -1
- package/test/eyelang/run-examples.mjs +1 -2
- package/test/eyelang/run-regression.mjs +0 -61
- package/test/run.js +21 -3
- package/examples/eyelang/annotation-rdf12.ttl +0 -12
- package/examples/eyelang/directional-language.ttl +0 -9
- package/examples/eyelang/eyeling-ackermann.n3 +0 -41
- package/examples/eyelang/eyeling-age-threshold.n3 +0 -12
- package/examples/eyelang/eyeling-alignment-demo.n3 +0 -11
- package/examples/eyelang/eyeling-allen-interval-calculus-small.n3 +0 -13
- package/examples/eyelang/eyeling-backward-recursion.n3 +0 -11
- package/examples/eyelang/eyeling-backward.n3 +0 -10
- package/examples/eyelang/eyeling-basic-monadic-small.n3 +0 -11
- package/examples/eyelang/eyeling-bmi.n3 +0 -10
- package/examples/eyelang/eyeling-cat-koko.n3 +0 -15
- package/examples/eyelang/eyeling-collatz-small.n3 +0 -11
- package/examples/eyelang/eyeling-collection.n3 +0 -11
- package/examples/eyelang/eyeling-complex-arithmetic.n3 +0 -10
- package/examples/eyelang/eyeling-context-association.n3 +0 -11
- package/examples/eyelang/eyeling-control-system-small.n3 +0 -11
- package/examples/eyelang/eyeling-crypto-builtins-extra.n3 +0 -10
- package/examples/eyelang/eyeling-crypto-builtins.n3 +0 -8
- package/examples/eyelang/eyeling-deep-taxonomy-10.n3 +0 -18
- package/examples/eyelang/eyeling-derived-backward-rule-flat.n3 +0 -10
- package/examples/eyelang/eyeling-derived-rule-flat.n3 +0 -9
- package/examples/eyelang/eyeling-digital-product-passport-small.n3 +0 -11
- package/examples/eyelang/eyeling-dijkstra-tiny.n3 +0 -14
- package/examples/eyelang/eyeling-dog-license.n3 +0 -13
- package/examples/eyelang/eyeling-drone-corridor-planner-small.n3 +0 -13
- package/examples/eyelang/eyeling-equals.n3 +0 -8
- package/examples/eyelang/eyeling-equivalence-classes.n3 +0 -11
- package/examples/eyelang/eyeling-euler-identity.n3 +0 -9
- package/examples/eyelang/eyeling-existential-rule.n3 +0 -9
- package/examples/eyelang/eyeling-expression-eval.n3 +0 -11
- package/examples/eyelang/eyeling-family-cousins-extended.n3 +0 -12
- package/examples/eyelang/eyeling-fastpow.n3 +0 -10
- package/examples/eyelang/eyeling-fibonacci.n3 +0 -44
- package/examples/eyelang/eyeling-french-cities-reachability.n3 +0 -22
- package/examples/eyelang/eyeling-goldbach-small.n3 +0 -22
- package/examples/eyelang/eyeling-good-cobbler.n3 +0 -9
- package/examples/eyelang/eyeling-list-builtins.n3 +0 -10
- package/examples/eyelang/eyeling-list-collection-extra.n3 +0 -9
- package/examples/eyelang/eyeling-math-builtins.n3 +0 -9
- package/examples/eyelang/eyeling-string-builtins-extra.n3 +0 -9
- package/examples/eyelang/eyeling-string-builtins.n3 +0 -10
- package/examples/eyelang/eyeling-time-builtins.n3 +0 -11
- package/examples/eyelang/eyeling-time-components-extra.n3 +0 -10
- package/examples/eyelang/eyeling-witch.n3 +0 -10
- package/examples/eyelang/family-cousins.n3 +0 -17
- package/examples/eyelang/n3-builtins.n3 +0 -28
- package/examples/eyelang/output/annotation-rdf12.ttl +0 -1
- package/examples/eyelang/output/directional-language.ttl +0 -1
- package/examples/eyelang/output/eyeling-ackermann.n3 +0 -12
- package/examples/eyelang/output/eyeling-age-threshold.n3 +0 -4
- package/examples/eyelang/output/eyeling-alignment-demo.n3 +0 -1
- package/examples/eyelang/output/eyeling-allen-interval-calculus-small.n3 +0 -3
- package/examples/eyelang/output/eyeling-backward-recursion.n3 +0 -9
- package/examples/eyelang/output/eyeling-backward.n3 +0 -1
- package/examples/eyelang/output/eyeling-basic-monadic-small.n3 +0 -8
- package/examples/eyelang/output/eyeling-bmi.n3 +0 -2
- package/examples/eyelang/output/eyeling-cat-koko.n3 +0 -3
- package/examples/eyelang/output/eyeling-collatz-small.n3 +0 -3
- package/examples/eyelang/output/eyeling-collection.n3 +0 -1
- package/examples/eyelang/output/eyeling-complex-arithmetic.n3 +0 -5
- package/examples/eyelang/output/eyeling-context-association.n3 +0 -4
- package/examples/eyelang/output/eyeling-control-system-small.n3 +0 -4
- package/examples/eyelang/output/eyeling-crypto-builtins-extra.n3 +0 -3
- package/examples/eyelang/output/eyeling-crypto-builtins.n3 +0 -2
- package/examples/eyelang/output/eyeling-deep-taxonomy-10.n3 +0 -32
- package/examples/eyelang/output/eyeling-derived-backward-rule-flat.n3 +0 -4
- package/examples/eyelang/output/eyeling-derived-rule-flat.n3 +0 -2
- package/examples/eyelang/output/eyeling-digital-product-passport-small.n3 +0 -3
- package/examples/eyelang/output/eyeling-dijkstra-tiny.n3 +0 -9
- package/examples/eyelang/output/eyeling-dog-license.n3 +0 -1
- package/examples/eyelang/output/eyeling-drone-corridor-planner-small.n3 +0 -5
- package/examples/eyelang/output/eyeling-equals.n3 +0 -1
- package/examples/eyelang/output/eyeling-equivalence-classes.n3 +0 -2
- package/examples/eyelang/output/eyeling-euler-identity.n3 +0 -3
- package/examples/eyelang/output/eyeling-existential-rule.n3 +0 -4
- package/examples/eyelang/output/eyeling-expression-eval.n3 +0 -3
- package/examples/eyelang/output/eyeling-family-cousins-extended.n3 +0 -6
- package/examples/eyelang/output/eyeling-fastpow.n3 +0 -4
- package/examples/eyelang/output/eyeling-fibonacci.n3 +0 -6
- package/examples/eyelang/output/eyeling-french-cities-reachability.n3 +0 -25
- package/examples/eyelang/output/eyeling-goldbach-small.n3 +0 -2
- package/examples/eyelang/output/eyeling-good-cobbler.n3 +0 -2
- package/examples/eyelang/output/eyeling-list-builtins.n3 +0 -6
- package/examples/eyelang/output/eyeling-list-collection-extra.n3 +0 -5
- package/examples/eyelang/output/eyeling-math-builtins.n3 +0 -5
- package/examples/eyelang/output/eyeling-string-builtins-extra.n3 +0 -3
- package/examples/eyelang/output/eyeling-string-builtins.n3 +0 -4
- package/examples/eyelang/output/eyeling-time-builtins.n3 +0 -4
- package/examples/eyelang/output/eyeling-time-components-extra.n3 +0 -5
- package/examples/eyelang/output/eyeling-witch.n3 +0 -2
- package/examples/eyelang/output/family-cousins.n3 +0 -8
- package/examples/eyelang/output/n3-builtins.n3 +0 -6
- package/examples/eyelang/output/socrates.n3 +0 -1
- package/examples/eyelang/output/triple-term.n3 +0 -2
- package/examples/eyelang/socrates.n3 +0 -11
- package/examples/eyelang/triple-term.n3 +0 -9
- package/lib/eyelang/builtins/n3.js +0 -483
- 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 . } .
|