eyeling 1.29.3 → 1.30.1
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/README.md +153 -0
- package/dist/browser/eyeling.browser.js +561 -13
- package/examples/input/rdf-surfaces-all-values-from-reverse.ttl +17 -0
- package/examples/input/rdf-surfaces-all-values-from.ttl +13 -0
- package/examples/input/rdf-surfaces-ancestor.ttl +20 -0
- package/examples/input/rdf-surfaces-city.ttl +11 -0
- package/examples/input/rdf-surfaces-domain.ttl +11 -0
- package/examples/input/rdf-surfaces-multi-premise.ttl +13 -0
- package/examples/input/rdf-surfaces-owl-all-values-from-codex.ttl +35 -0
- package/examples/input/rdf-surfaces-property-chain.ttl +13 -0
- package/examples/input/rdf-surfaces-range.ttl +11 -0
- package/examples/input/rdf-surfaces-rdfs-range-codex.ttl +18 -0
- package/examples/input/rdf-surfaces-rdfs-subclass-codex.ttl +18 -0
- package/examples/output/rdf-surfaces-all-values-from-reverse.n3 +3 -0
- package/examples/output/rdf-surfaces-all-values-from.n3 +3 -0
- package/examples/output/rdf-surfaces-ancestor.n3 +5 -0
- package/examples/output/rdf-surfaces-city.n3 +3 -0
- package/examples/output/rdf-surfaces-domain.n3 +3 -0
- package/examples/output/rdf-surfaces-multi-premise.n3 +3 -0
- package/examples/output/rdf-surfaces-owl-all-values-from-codex.n3 +6 -0
- package/examples/output/rdf-surfaces-property-chain.n3 +3 -0
- package/examples/output/rdf-surfaces-range.n3 +3 -0
- package/examples/output/rdf-surfaces-rdfs-range-codex.n3 +3 -0
- package/examples/output/rdf-surfaces-rdfs-subclass-codex.n3 +3 -0
- package/examples/rdf-surfaces-all-values-from-reverse.n3 +6 -0
- package/examples/rdf-surfaces-all-values-from.n3 +6 -0
- package/examples/rdf-surfaces-ancestor.n3 +6 -0
- package/examples/rdf-surfaces-city.n3 +6 -0
- package/examples/rdf-surfaces-domain.n3 +6 -0
- package/examples/rdf-surfaces-multi-premise.n3 +6 -0
- package/examples/rdf-surfaces-owl-all-values-from-codex.n3 +10 -0
- package/examples/rdf-surfaces-property-chain.n3 +6 -0
- package/examples/rdf-surfaces-range.n3 +6 -0
- package/examples/rdf-surfaces-rdfs-range-codex.n3 +6 -0
- package/examples/rdf-surfaces-rdfs-subclass-codex.n3 +6 -0
- package/eyeling.js +561 -13
- package/index.d.ts +4 -0
- package/index.js +2 -1
- package/lib/cli.js +11 -4
- package/lib/engine.js +14 -6
- package/lib/lexer.js +4 -0
- package/lib/multisource.js +5 -3
- package/lib/rdf_surfaces.js +524 -0
- package/package.json +8 -5
- package/test/examples.test.js +37 -5
- package/test/rdf_surfaces.test.js +204 -0
|
@@ -0,0 +1,17 @@
|
|
|
1
|
+
# eyeling-options: --rdf-surfaces
|
|
2
|
+
@prefix ex: <http://example.org/> .
|
|
3
|
+
|
|
4
|
+
ex:box ex:contains ex:item42 .
|
|
5
|
+
ex:item42 a ex:AllowedItem .
|
|
6
|
+
|
|
7
|
+
%not[ _:x
|
|
8
|
+
%not[ _:y
|
|
9
|
+
_:x ex:contains _:y .
|
|
10
|
+
%not[
|
|
11
|
+
_:y a ex:AllowedItem .
|
|
12
|
+
%]
|
|
13
|
+
%]
|
|
14
|
+
%not[
|
|
15
|
+
_:x a ex:AllowedContainer .
|
|
16
|
+
%]
|
|
17
|
+
%]
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
# eyeling-options: --rdf-surfaces
|
|
2
|
+
@prefix ex: <http://example.org/> .
|
|
3
|
+
|
|
4
|
+
ex:box a ex:AllowedContainer .
|
|
5
|
+
ex:box ex:contains ex:item42 .
|
|
6
|
+
|
|
7
|
+
%not[ _:x _:y
|
|
8
|
+
_:x a ex:AllowedContainer .
|
|
9
|
+
_:x ex:contains _:y .
|
|
10
|
+
%not[
|
|
11
|
+
_:y a ex:AllowedItem .
|
|
12
|
+
%]
|
|
13
|
+
%]
|
|
@@ -0,0 +1,20 @@
|
|
|
1
|
+
# eyeling-options: --rdf-surfaces
|
|
2
|
+
@prefix ex: <http://example.org/> .
|
|
3
|
+
|
|
4
|
+
ex:ann ex:parent ex:bob .
|
|
5
|
+
ex:bob ex:parent ex:cat .
|
|
6
|
+
|
|
7
|
+
%not[ _:x _:y
|
|
8
|
+
_:x ex:parent _:y .
|
|
9
|
+
%not[
|
|
10
|
+
_:x ex:ancestor _:y .
|
|
11
|
+
%]
|
|
12
|
+
%]
|
|
13
|
+
|
|
14
|
+
%not[ _:x _:y _:z
|
|
15
|
+
_:x ex:parent _:y .
|
|
16
|
+
_:y ex:ancestor _:z .
|
|
17
|
+
%not[
|
|
18
|
+
_:x ex:ancestor _:z .
|
|
19
|
+
%]
|
|
20
|
+
%]
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
# eyeling-options: --rdf-surfaces
|
|
2
|
+
@prefix ex: <http://example.org/> .
|
|
3
|
+
|
|
4
|
+
ex:case123 ex:hasSymptom ex:Fever .
|
|
5
|
+
ex:case123 ex:hasExposure ex:Travel .
|
|
6
|
+
|
|
7
|
+
%not[ _:x
|
|
8
|
+
_:x ex:hasSymptom ex:Fever .
|
|
9
|
+
_:x ex:hasExposure ex:Travel .
|
|
10
|
+
%not[
|
|
11
|
+
_:x a ex:PriorityCase .
|
|
12
|
+
%]
|
|
13
|
+
%]
|
|
@@ -0,0 +1,35 @@
|
|
|
1
|
+
# eyeling-options: --rdf-surfaces
|
|
2
|
+
@prefix ex: <http://example.org/> .
|
|
3
|
+
@prefix owl: <http://www.w3.org/2002/07/owl#> .
|
|
4
|
+
|
|
5
|
+
ex:AllowedContainer owl:onProperty ex:contains .
|
|
6
|
+
ex:AllowedContainer owl:allValuesFrom ex:AllowedItem .
|
|
7
|
+
ex:box a ex:AllowedContainer .
|
|
8
|
+
ex:box ex:contains ex:item42 .
|
|
9
|
+
ex:crate ex:contains ex:item43 .
|
|
10
|
+
ex:item43 a ex:AllowedItem .
|
|
11
|
+
|
|
12
|
+
%not[ _:a _:b _:c
|
|
13
|
+
_:a owl:onProperty _:b .
|
|
14
|
+
_:a owl:allValuesFrom _:c .
|
|
15
|
+
%not[
|
|
16
|
+
%not[ _:x _:y
|
|
17
|
+
_:x a _:a .
|
|
18
|
+
_:x _:b _:y .
|
|
19
|
+
%not[
|
|
20
|
+
_:y a _:c .
|
|
21
|
+
%]
|
|
22
|
+
%]
|
|
23
|
+
%not[ _:x
|
|
24
|
+
%not[ _:y
|
|
25
|
+
_:x _:b _:y .
|
|
26
|
+
%not[
|
|
27
|
+
_:y a _:c .
|
|
28
|
+
%]
|
|
29
|
+
%]
|
|
30
|
+
%not[
|
|
31
|
+
_:x a _:a .
|
|
32
|
+
%]
|
|
33
|
+
%]
|
|
34
|
+
%]
|
|
35
|
+
%]
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
# eyeling-options: --rdf-surfaces
|
|
2
|
+
@prefix ex: <http://example.org/> .
|
|
3
|
+
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
|
|
4
|
+
|
|
5
|
+
ex:parent rdfs:range ex:Person .
|
|
6
|
+
ex:alice ex:parent ex:bob .
|
|
7
|
+
|
|
8
|
+
%not[ _:p _:c
|
|
9
|
+
_:p rdfs:range _:c .
|
|
10
|
+
%not[
|
|
11
|
+
%not[ _:s _:o
|
|
12
|
+
_:s _:p _:o .
|
|
13
|
+
%not[
|
|
14
|
+
_:o a _:c .
|
|
15
|
+
%]
|
|
16
|
+
%]
|
|
17
|
+
%]
|
|
18
|
+
%]
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
# eyeling-options: --rdf-surfaces
|
|
2
|
+
@prefix ex: <http://example.org/> .
|
|
3
|
+
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
|
|
4
|
+
|
|
5
|
+
ex:City rdfs:subClassOf ex:HumanCommunity .
|
|
6
|
+
ex:Brussels a ex:City .
|
|
7
|
+
|
|
8
|
+
%not[ _:c _:d
|
|
9
|
+
_:c rdfs:subClassOf _:d .
|
|
10
|
+
%not[
|
|
11
|
+
%not[ _:x
|
|
12
|
+
_:x a _:c .
|
|
13
|
+
%not[
|
|
14
|
+
_:x a _:d .
|
|
15
|
+
%]
|
|
16
|
+
%]
|
|
17
|
+
%]
|
|
18
|
+
%]
|