eyeling 1.28.4 → 1.28.6
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 +33 -1
- package/dist/browser/eyeling.browser.js +612 -2
- package/eyeling-builtins.ttl +28 -1
- package/eyeling.js +612 -2
- package/lib/builtins.js +609 -2
- package/lib/prelude.js +3 -0
- package/package.json +1 -1
- package/test/builtins.test.js +69 -1
package/eyeling-builtins.ttl
CHANGED
|
@@ -5,6 +5,7 @@
|
|
|
5
5
|
@prefix list: <http://www.w3.org/2000/10/swap/list#> .
|
|
6
6
|
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
|
|
7
7
|
@prefix string: <http://www.w3.org/2000/10/swap/string#> .
|
|
8
|
+
@prefix dt: <https://eyereasoner.github.io/eyeling/datatype#> .
|
|
8
9
|
@prefix ega: <urn:eyeling:ga:> .
|
|
9
10
|
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
|
|
10
11
|
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
|
|
@@ -28,7 +29,7 @@
|
|
|
28
29
|
# ------------------------------------------------------------------------------
|
|
29
30
|
|
|
30
31
|
ex:EyelingBuiltinCatalog a ex:Catalog ;
|
|
31
|
-
rdfs:comment "Builtins implemented by eyeling.js (main branch, raw GitHub URL). Namespaces follow SWAP (crypto/math/time/list/log/string) plus rdf:first/rest aliases." .
|
|
32
|
+
rdfs:comment "Builtins implemented by eyeling.js (main branch, raw GitHub URL). Namespaces follow SWAP (crypto/math/time/list/log/string), Eyeling datatype builtins (dt), plus rdf:first/rest aliases." .
|
|
32
33
|
|
|
33
34
|
ex:Test a ex:Kind .
|
|
34
35
|
ex:Function a ex:Kind .
|
|
@@ -41,6 +42,32 @@ ex:SideEffect a ex:Kind .
|
|
|
41
42
|
ex:kind a rdf:Property .
|
|
42
43
|
ex:aliasOf a rdf:Property .
|
|
43
44
|
|
|
45
|
+
# --- dt: datatype ---------------------------------------------------
|
|
46
|
+
|
|
47
|
+
dt:datatype a ex:Builtin ; ex:kind ex:Function ;
|
|
48
|
+
rdfs:comment "Extracts the datatype IRI of a literal. Plain RDF string literals return xsd:string; language-tagged strings return rdf:langString; shorthand numeric/boolean literals return their inferred XSD datatype." .
|
|
49
|
+
|
|
50
|
+
dt:lexicalForm a ex:Builtin ; ex:kind ex:Function ;
|
|
51
|
+
rdfs:comment "Extracts the literal lexical form as an xsd:string/plain string value, preserving the original lexical spelling such as leading zeroes." .
|
|
52
|
+
|
|
53
|
+
dt:language a ex:Builtin ; ex:kind ex:Function ;
|
|
54
|
+
rdfs:comment "Extracts the language tag of an rdf:langString literal as a string literal." .
|
|
55
|
+
|
|
56
|
+
dt:validForDatatype a ex:Builtin ; ex:kind ex:Test ;
|
|
57
|
+
rdfs:comment "Succeeds iff the subject literal has a lexical form accepted by the object datatype and denotes a value in that datatype's value space. Supports OWL 2 RL-relevant XSD strings, booleans, numerics, binary types, anyURI, dateTime, and dateTimeStamp." .
|
|
58
|
+
|
|
59
|
+
dt:invalidForDatatype a ex:Builtin ; ex:kind ex:Test ;
|
|
60
|
+
rdfs:comment "Succeeds iff the object datatype is supported and the subject literal is not valid for it." .
|
|
61
|
+
|
|
62
|
+
dt:sameValueAs a ex:Builtin ; ex:kind ex:Test ;
|
|
63
|
+
rdfs:comment "Value-space equality over supported datatypes, including integer/decimal numeric equality, boolean 1/true equality, timezone-normalized dateTime equality, string-derived whitespace facets, and binary byte equality." .
|
|
64
|
+
|
|
65
|
+
dt:differentValueFrom a ex:Builtin ; ex:kind ex:Test ;
|
|
66
|
+
rdfs:comment "Value-space inequality over supported and comparable datatype values." .
|
|
67
|
+
|
|
68
|
+
dt:canonicalLiteral a ex:Builtin ; ex:kind ex:Function ;
|
|
69
|
+
rdfs:comment "Binds/unifies the object with a canonical literal for the subject literal's datatype value, such as normalized integer, boolean, token, binary, and timezone-normalized dateTime lexicals." .
|
|
70
|
+
|
|
44
71
|
# --- crypto: ---------------------------------------------------------
|
|
45
72
|
|
|
46
73
|
crypto:sha a ex:Builtin ; ex:kind ex:Function ;
|