eyeling 1.25.4 → 1.26.0
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/HANDBOOK.md +8 -8
- package/dist/browser/eyeling.browser.js +788 -32
- package/examples/output/socrates.n3 +0 -1
- package/examples/proof/age.n3 +31 -0
- package/examples/proof/socrates.n3 +19 -0
- package/examples/proof/witch.n3 +120 -0
- package/examples/socrates.n3 +0 -3
- package/eyeling.js +788 -32
- package/index.d.ts +1 -0
- package/index.js +16 -13
- package/lib/cli.js +10 -4
- package/lib/engine.js +402 -13
- package/lib/entry.js +1 -0
- package/lib/explain.js +280 -2
- package/lib/multisource.js +74 -7
- package/lib/parser.js +20 -6
- package/package.json +1 -1
- package/test/api.test.js +26 -6
- package/tools/bundle.js +3 -0
- package/examples/library-and-path.n3 +0 -499
- package/examples/output/library-and-path.n3 +0 -33
|
@@ -0,0 +1,31 @@
|
|
|
1
|
+
@prefix : <https://example.org/#> .
|
|
2
|
+
@prefix math: <http://www.w3.org/2000/10/swap/math#> .
|
|
3
|
+
@prefix pe: <https://eyereasoner.github.io/pe#> .
|
|
4
|
+
@prefix time: <http://www.w3.org/2000/10/swap/time#> .
|
|
5
|
+
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
|
|
6
|
+
|
|
7
|
+
:test :is true .
|
|
8
|
+
|
|
9
|
+
{ :test :is true . } pe:why {
|
|
10
|
+
{ :test :is true . }
|
|
11
|
+
pe:by [ pe:rule "age.n3"; pe:line 24 ];
|
|
12
|
+
pe:binding [ pe:var "S"; pe:value :patH ];
|
|
13
|
+
pe:uses { :patH :ageAbove "P80Y"^^xsd:duration . }.
|
|
14
|
+
|
|
15
|
+
{ :patH :ageAbove "P80Y"^^xsd:duration . }
|
|
16
|
+
pe:by [ pe:rule "age.n3"; pe:line 16 ];
|
|
17
|
+
pe:binding [ pe:var "A"; pe:value "P80Y"^^xsd:duration ], [ pe:var "B"; pe:value "1944-08-21"^^xsd:date ], [ pe:var "D"; pe:value "2026-06-01T22:06:20.106+00:00"^^xsd:dateTime ], [ pe:var "F"; pe:value "PT2580761180.106S"^^xsd:duration ], [ pe:var "S"; pe:value :patH ];
|
|
18
|
+
pe:uses { :patH :birthDay "1944-08-21"^^xsd:date . }, { "" time:localTime "2026-06-01T22:06:20.106+00:00"^^xsd:dateTime . }, { ("2026-06-01T22:06:20.106+00:00"^^xsd:dateTime "1944-08-21"^^xsd:date) math:difference "PT2580761180.106S"^^xsd:duration . }, { "PT2580761180.106S"^^xsd:duration math:greaterThan "P80Y"^^xsd:duration . }.
|
|
19
|
+
|
|
20
|
+
{ :patH :birthDay "1944-08-21"^^xsd:date . }
|
|
21
|
+
pe:by [ pe:fact "age.n3"; pe:line 13 ].
|
|
22
|
+
|
|
23
|
+
{ "" time:localTime "2026-06-01T22:06:20.106+00:00"^^xsd:dateTime . }
|
|
24
|
+
pe:by [ pe:builtin time:localTime ].
|
|
25
|
+
|
|
26
|
+
{ ("2026-06-01T22:06:20.106+00:00"^^xsd:dateTime "1944-08-21"^^xsd:date) math:difference "PT2580761180.106S"^^xsd:duration . }
|
|
27
|
+
pe:by [ pe:builtin math:difference ].
|
|
28
|
+
|
|
29
|
+
{ "PT2580761180.106S"^^xsd:duration math:greaterThan "P80Y"^^xsd:duration . }
|
|
30
|
+
pe:by [ pe:builtin math:greaterThan ].
|
|
31
|
+
}.
|
|
@@ -0,0 +1,19 @@
|
|
|
1
|
+
@prefix : <http://example.org/socrates#> .
|
|
2
|
+
@prefix pe: <https://eyereasoner.github.io/pe#> .
|
|
3
|
+
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
|
|
4
|
+
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
|
|
5
|
+
|
|
6
|
+
:Socrates a :Mortal .
|
|
7
|
+
|
|
8
|
+
{ :Socrates a :Mortal . } pe:why {
|
|
9
|
+
{ :Socrates a :Mortal . }
|
|
10
|
+
pe:by [ pe:rule "socrates.n3"; pe:line 14 ];
|
|
11
|
+
pe:binding [ pe:var "A"; pe:value :Human ], [ pe:var "B"; pe:value :Mortal ], [ pe:var "S"; pe:value :Socrates ];
|
|
12
|
+
pe:uses { :Socrates a :Human . }, { :Human rdfs:subClassOf :Mortal . }.
|
|
13
|
+
|
|
14
|
+
{ :Socrates a :Human . }
|
|
15
|
+
pe:by [ pe:fact "socrates.n3"; pe:line 10 ].
|
|
16
|
+
|
|
17
|
+
{ :Human rdfs:subClassOf :Mortal . }
|
|
18
|
+
pe:by [ pe:fact "socrates.n3"; pe:line 11 ].
|
|
19
|
+
}.
|
|
@@ -0,0 +1,120 @@
|
|
|
1
|
+
@prefix : <https://eyereasoner.github.io/eye/reasoning/witch#> .
|
|
2
|
+
@prefix pe: <https://eyereasoner.github.io/pe#> .
|
|
3
|
+
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
|
|
4
|
+
|
|
5
|
+
:DUCK a :ISMADEOFWOOD .
|
|
6
|
+
:DUCK a :BURNS .
|
|
7
|
+
:GIRL a :FLOATS .
|
|
8
|
+
:GIRL a :ISMADEOFWOOD .
|
|
9
|
+
:GIRL a :BURNS .
|
|
10
|
+
:GIRL a :WITCH .
|
|
11
|
+
|
|
12
|
+
{ :DUCK a :ISMADEOFWOOD . } pe:why {
|
|
13
|
+
{ :DUCK a :ISMADEOFWOOD . }
|
|
14
|
+
pe:by [ pe:rule "witch.n3"; pe:line 22 ];
|
|
15
|
+
pe:binding [ pe:var "x"; pe:value :DUCK ];
|
|
16
|
+
pe:uses { :DUCK a :FLOATS . }.
|
|
17
|
+
|
|
18
|
+
{ :DUCK a :FLOATS . }
|
|
19
|
+
pe:by [ pe:fact "witch.n3"; pe:line 26 ].
|
|
20
|
+
}.
|
|
21
|
+
|
|
22
|
+
{ :DUCK a :BURNS . } pe:why {
|
|
23
|
+
{ :DUCK a :BURNS . }
|
|
24
|
+
pe:by [ pe:rule "witch.n3"; pe:line 19 ];
|
|
25
|
+
pe:binding [ pe:var "x"; pe:value :DUCK ];
|
|
26
|
+
pe:uses { :DUCK a :ISMADEOFWOOD . }.
|
|
27
|
+
|
|
28
|
+
{ :DUCK a :ISMADEOFWOOD . }
|
|
29
|
+
pe:by [ pe:rule "witch.n3"; pe:line 22 ];
|
|
30
|
+
pe:binding [ pe:var "x"; pe:value :DUCK ];
|
|
31
|
+
pe:uses { :DUCK a :FLOATS . }.
|
|
32
|
+
|
|
33
|
+
{ :DUCK a :FLOATS . }
|
|
34
|
+
pe:by [ pe:fact "witch.n3"; pe:line 26 ].
|
|
35
|
+
}.
|
|
36
|
+
|
|
37
|
+
{ :GIRL a :FLOATS . } pe:why {
|
|
38
|
+
{ :GIRL a :FLOATS . }
|
|
39
|
+
pe:by [ pe:rule "witch.n3"; pe:line 29 ];
|
|
40
|
+
pe:binding [ pe:var "x"; pe:value :DUCK ], [ pe:var "y"; pe:value :GIRL ];
|
|
41
|
+
pe:uses { :DUCK a :FLOATS . }, { :DUCK :SAMEWEIGHT :GIRL . }.
|
|
42
|
+
|
|
43
|
+
{ :DUCK a :FLOATS . }
|
|
44
|
+
pe:by [ pe:fact "witch.n3"; pe:line 26 ].
|
|
45
|
+
|
|
46
|
+
{ :DUCK :SAMEWEIGHT :GIRL . }
|
|
47
|
+
pe:by [ pe:fact "witch.n3"; pe:line 33 ].
|
|
48
|
+
}.
|
|
49
|
+
|
|
50
|
+
{ :GIRL a :ISMADEOFWOOD . } pe:why {
|
|
51
|
+
{ :GIRL a :ISMADEOFWOOD . }
|
|
52
|
+
pe:by [ pe:rule "witch.n3"; pe:line 22 ];
|
|
53
|
+
pe:binding [ pe:var "x"; pe:value :GIRL ];
|
|
54
|
+
pe:uses { :GIRL a :FLOATS . }.
|
|
55
|
+
|
|
56
|
+
{ :GIRL a :FLOATS . }
|
|
57
|
+
pe:by [ pe:rule "witch.n3"; pe:line 29 ];
|
|
58
|
+
pe:binding [ pe:var "x"; pe:value :DUCK ], [ pe:var "y"; pe:value :GIRL ];
|
|
59
|
+
pe:uses { :DUCK a :FLOATS . }, { :DUCK :SAMEWEIGHT :GIRL . }.
|
|
60
|
+
|
|
61
|
+
{ :DUCK a :FLOATS . }
|
|
62
|
+
pe:by [ pe:fact "witch.n3"; pe:line 26 ].
|
|
63
|
+
|
|
64
|
+
{ :DUCK :SAMEWEIGHT :GIRL . }
|
|
65
|
+
pe:by [ pe:fact "witch.n3"; pe:line 33 ].
|
|
66
|
+
}.
|
|
67
|
+
|
|
68
|
+
{ :GIRL a :BURNS . } pe:why {
|
|
69
|
+
{ :GIRL a :BURNS . }
|
|
70
|
+
pe:by [ pe:rule "witch.n3"; pe:line 19 ];
|
|
71
|
+
pe:binding [ pe:var "x"; pe:value :GIRL ];
|
|
72
|
+
pe:uses { :GIRL a :ISMADEOFWOOD . }.
|
|
73
|
+
|
|
74
|
+
{ :GIRL a :ISMADEOFWOOD . }
|
|
75
|
+
pe:by [ pe:rule "witch.n3"; pe:line 22 ];
|
|
76
|
+
pe:binding [ pe:var "x"; pe:value :GIRL ];
|
|
77
|
+
pe:uses { :GIRL a :FLOATS . }.
|
|
78
|
+
|
|
79
|
+
{ :GIRL a :FLOATS . }
|
|
80
|
+
pe:by [ pe:rule "witch.n3"; pe:line 29 ];
|
|
81
|
+
pe:binding [ pe:var "x"; pe:value :DUCK ], [ pe:var "y"; pe:value :GIRL ];
|
|
82
|
+
pe:uses { :DUCK a :FLOATS . }, { :DUCK :SAMEWEIGHT :GIRL . }.
|
|
83
|
+
|
|
84
|
+
{ :DUCK a :FLOATS . }
|
|
85
|
+
pe:by [ pe:fact "witch.n3"; pe:line 26 ].
|
|
86
|
+
|
|
87
|
+
{ :DUCK :SAMEWEIGHT :GIRL . }
|
|
88
|
+
pe:by [ pe:fact "witch.n3"; pe:line 33 ].
|
|
89
|
+
}.
|
|
90
|
+
|
|
91
|
+
{ :GIRL a :WITCH . } pe:why {
|
|
92
|
+
{ :GIRL a :WITCH . }
|
|
93
|
+
pe:by [ pe:rule "witch.n3"; pe:line 13 ];
|
|
94
|
+
pe:binding [ pe:var "x"; pe:value :GIRL ];
|
|
95
|
+
pe:uses { :GIRL a :BURNS . }, { :GIRL a :WOMAN . }.
|
|
96
|
+
|
|
97
|
+
{ :GIRL a :BURNS . }
|
|
98
|
+
pe:by [ pe:rule "witch.n3"; pe:line 19 ];
|
|
99
|
+
pe:binding [ pe:var "x"; pe:value :GIRL ];
|
|
100
|
+
pe:uses { :GIRL a :ISMADEOFWOOD . }.
|
|
101
|
+
|
|
102
|
+
{ :GIRL a :ISMADEOFWOOD . }
|
|
103
|
+
pe:by [ pe:rule "witch.n3"; pe:line 22 ];
|
|
104
|
+
pe:binding [ pe:var "x"; pe:value :GIRL ];
|
|
105
|
+
pe:uses { :GIRL a :FLOATS . }.
|
|
106
|
+
|
|
107
|
+
{ :GIRL a :FLOATS . }
|
|
108
|
+
pe:by [ pe:rule "witch.n3"; pe:line 29 ];
|
|
109
|
+
pe:binding [ pe:var "x"; pe:value :DUCK ], [ pe:var "y"; pe:value :GIRL ];
|
|
110
|
+
pe:uses { :DUCK a :FLOATS . }, { :DUCK :SAMEWEIGHT :GIRL . }.
|
|
111
|
+
|
|
112
|
+
{ :DUCK a :FLOATS . }
|
|
113
|
+
pe:by [ pe:fact "witch.n3"; pe:line 26 ].
|
|
114
|
+
|
|
115
|
+
{ :DUCK :SAMEWEIGHT :GIRL . }
|
|
116
|
+
pe:by [ pe:fact "witch.n3"; pe:line 33 ].
|
|
117
|
+
|
|
118
|
+
{ :GIRL a :WOMAN . }
|
|
119
|
+
pe:by [ pe:fact "witch.n3"; pe:line 16 ].
|
|
120
|
+
}.
|