eyeleng 1.2.0 → 1.2.2
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/README.md +2 -0
- package/examples/output/socrates.trig +1 -0
- package/examples/socrates.srl +12 -0
- package/package.json +2 -2
- package/playground.html +53 -20
- package/test/browser-bundle.test.js +28 -0
- package/tools/bundle.js +36 -0
package/examples/README.md
CHANGED
|
@@ -9,3 +9,5 @@ It also includes SRL adaptations of selected eyeling N3 examples.
|
|
|
9
9
|
- `.ttl` files exercise the RDF Rules syntax front-end.
|
|
10
10
|
|
|
11
11
|
All `.srl` and `.ttl` files in this directory are run by `test/examples.test.js`; most have golden TriG outputs in `examples/output/*.trig`.
|
|
12
|
+
|
|
13
|
+
For a minimal starting point, `socrates.srl` derives the classic conclusion that Socrates is mortal from the facts that Socrates is human and every human is mortal.
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
:Socrates a :Mortal .
|
|
@@ -0,0 +1,12 @@
|
|
|
1
|
+
PREFIX : <http://example.org/socrates#>
|
|
2
|
+
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
|
|
3
|
+
|
|
4
|
+
DATA {
|
|
5
|
+
:Socrates a :Human .
|
|
6
|
+
:Human rdfs:subClassOf :Mortal .
|
|
7
|
+
}
|
|
8
|
+
|
|
9
|
+
RULE { ?individual a ?superclass } WHERE {
|
|
10
|
+
?individual a ?class .
|
|
11
|
+
?class rdfs:subClassOf ?superclass .
|
|
12
|
+
}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "eyeleng",
|
|
3
|
-
"version": "1.2.
|
|
3
|
+
"version": "1.2.2",
|
|
4
4
|
"description": "The EYE Logic Engine: a JavaScript implementation of SHACL Rules, including SRL and RDF Rules syntax front-ends.",
|
|
5
5
|
"keywords": [
|
|
6
6
|
"SRL",
|
|
@@ -14,7 +14,7 @@
|
|
|
14
14
|
},
|
|
15
15
|
"homepage": "https://github.com/eyereasoner/eyeleng#readme",
|
|
16
16
|
"bin": {
|
|
17
|
-
"eyeleng": "
|
|
17
|
+
"eyeleng": "eyeleng.js"
|
|
18
18
|
},
|
|
19
19
|
"files": [
|
|
20
20
|
"LICENSE.md",
|