eyeling 1.10.21 → 1.11.0

package/examples/bind-builtins.n3

@@ -1,11 +0,0 @@
-@prefix : <http://example/#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix string: <http://www.w3.org/2000/10/swap/string#> .
-@prefix time: <http://www.w3.org/2000/10/swap/time#> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-@prefix math: <http://www.w3.org/2000/10/swap/math#> .
-@prefix crypto: <http://www.w3.org/2000/10/swap/crypto#> .
-
-:p1 :givenName "Ada" ; :familyName "Lovelace" ; :born "1815-12-10T00:00:00Z"^^xsd:dateTime .
-
-{ ?p :givenName ?g . ?p :familyName ?f . ?p :born ?d . (?g " " ?f) string:concatenation ?full . (?full " " "_") string:replace ?lbl . (?lbl "en") log:langlit ?lblEn . ?lbl crypto:sha ?h . ?d time:year ?y . (?y 1) math:sum ?__e1 . (?__e1 2) math:product ?z . ("42" xsd:integer) log:dtlit ?i . } => { ?p :label ?lbl ; :labelEn ?lblEn ; :hash ?h ; :birthYear ?y ; :calc ?z ; :intLit ?i . } .

package/examples/bind.n3

@@ -1,7 +0,0 @@
-@prefix : <http://example/#> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-@prefix string: <http://www.w3.org/2000/10/swap/string#> .
-
-:phayes a :Person ; :givenName "Pat"; :familyName "Hayes" .
-
-{ ?x a :Person . ?SCOPE log:notIncludes { ?x :name ?someName . } . ?x :givenName ?name1 . ?x :familyName ?name2 . (?name1 " " ?name2) string:concatenation ?FN . } => { ?x :name ?FN } .

package/examples/brussels-brew-club.n3

@@ -1,119 +0,0 @@
-# ==================
-# Brussels Brew Club
-# ==================
-#
-# A tiny loyalty + compliance reasoner with:
-# - JSON profile parsing (rdf:JSON + string:jsonPointer)
-# - backward rules (<=) used during forward chaining
-# - stable IDs with log:skolem
-# - timestamps with time:localTime
-
-@prefix :      <http://example.org/brewclub#> .
-@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
-@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .
-@prefix log:   <http://www.w3.org/2000/10/swap/log#> .
-@prefix math:  <http://www.w3.org/2000/10/swap/math#> .
-@prefix string:<http://www.w3.org/2000/10/swap/string#> .
-@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
-
-# ---------------------------
-# Deterministic "run context"
-# ---------------------------
-
-:run :now "2000-01-01T00:00:00+00:00"^^xsd:dateTime .
-
-# -----
-# Facts
-# -----
-
-:alice :profileJson """{ "name": "Alice", "age": 23, "city": "Brussels" }"""^^rdf:JSON .
-:bob   :profileJson """{ "name": "Bob",   "age": 16, "city": "Brussels" }"""^^rdf:JSON .
-
-:order1 a :Order ;
-  :id "ORD-2025-001" ;
-  :by :alice ;
-  :total "31.50"^^xsd:decimal ;
-  :contains :Espresso, :Croissant .
-
-:order2 a :Order ;
-  :id "ORD-2025-002" ;
-  :by :bob ;
-  :total "12.00"^^xsd:decimal ;
-  :contains :HotChocolate .
-
-:Beer a :AlcoholicDrink .
-:Espresso a :Drink .
-:HotChocolate a :Drink .
-:Croissant a :Food .
-
-# -----
-# Rules
-# -----
-
-# 1) Extract fields from JSON profile into normal triples
-{
-  ?p :profileJson ?j .
-  (?j "/age")  string:jsonPointer ?age .
-  (?j "/name") string:jsonPointer ?name .
-  (?j "/city") string:jsonPointer ?city .
-}
-=>
-{
-  ?p :age ?age ;
-     :name ?name ;
-     :city ?city .
-}.
-
-# 2) Backward rule: Adult is defined by age > 17
-{ ?p a :Adult }
-<=
-{ ?p :age ?a . ?a math:greaterThan 17 }.
-
-# 3) Backward rule: BigOrder is defined by total > 25.00
-{ ?o a :BigOrder }
-<=
-{ ?o :total ?t . ?t math:greaterThan "25.00"^^xsd:decimal }.
-
-# 4) Deterministic membership card rule:
-#    Uses :run :now ?now instead of time:localTime ?now
-{
-  ?p a :Adult .
-  ?p :name ?name .
-  :run :now ?now .
-
-  (?p) log:skolem ?card .
-  ("Brew Club card for " ?name) string:concatenation ?label .
-}
-=>
-{
-  ?card a :MembershipCard ;
-        :holder ?p ;
-        :issuedAt ?now ;
-        rdfs:label ?label .
-}.
-
-# 5) Discounts: BigOrder + Adult -> discount eligibility
-{
-  ?o a :Order .
-  ?o a :BigOrder .
-  ?o :by ?p .
-  ?p a :Adult .
-}
-=>
-{
-  ?o :eligibleDiscount "true"^^xsd:boolean .
-}.
-
-# 6) Stable receipt IRI from the order id
-{
-  ?o a :Order .
-  ?o :id ?id .
-  (?id) log:skolem ?receipt .
-}
-=>
-{
-  ?receipt a :Receipt ;
-           :forOrder ?o ;
-           :receiptId ?id .
-}.
-

package/examples/builtins-string-math.n3

@@ -1,11 +0,0 @@
-@prefix : <http://example/#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix string: <http://www.w3.org/2000/10/swap/string#> .
-@prefix time: <http://www.w3.org/2000/10/swap/time#> .
-@prefix math: <http://www.w3.org/2000/10/swap/math#> .
-
-:x :num 1.2 ;
-     :txt "Hello World" ;
-     :dt "2020-01-01T13:14:15Z"^^xsd:dateTime .
-
-{ :x :num ?v . :x :txt ?s . :x :dt ?dt . ?v math:ceiling ?c . ?v math:floor ?f . (?s 1 5) string:substring ?sub . ?s string:length ?len . ?s string:upperCase ?up . ?s string:lowerCase ?lo . ?s string:encodeForURI ?enc . ?dt time:hour ?h . } => { :x :ceil ?c ; :floor ?f ; :substr ?sub ; :strlen ?len ; :ucase ?up ; :lcase ?lo ; :encoded ?enc ; :hours ?h . } .

package/examples/builtins-triple-termtests.n3

@@ -1,7 +0,0 @@
-@prefix : <http://example/#> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-
-:alice :knows :bob .
-  :bob   :age   42 .
-
-{ :alice :knows :bob . ?t log:isTriple true . ?s log:isIRI true . ?t log:equalTo { :alice :knows :bob . } . ?t log:includes { ?s ?__e2 ?__e3 . } . ?t log:includes { ?__e4 ?p ?__e6 . } . ?t log:includes { ?__e7 ?__e8 ?o . } . } => { :test :triple ?t ; :subject ?s ; :predicate ?p ; :object ?o ; :subjectIsIRI true ; :tripleOk true . } .

package/examples/family.n3

@@ -1,10 +0,0 @@
-@prefix : <http://example.org/#> .
-
-:A :fatherOf :X . :B :motherOf :X . :C :motherOf :A .
-
-{ ?y :fatherOf ?x . } => { ?x :childOf ?y } .
-{ ?y :motherOf ?x . } => { ?x :childOf ?y } .
-{ ?x :childOf ?y . } => { ?x :descendedFrom ?y } .
-{ ?x :childOf ?z . ?z :childOf ?y . } => { ?x :descendedFrom ?y } .
-{ ?y :descendedFrom ?x . } => { ?x :ancestorOf ?y } .
-{ ?a :ancestorOf ?c . ?c :ancestorOf ?b . } => { ?a :ancestorOf ?b } .

package/examples/filter-demorgan.n3

@@ -1,9 +0,0 @@
-@prefix : <http://example/#> .
-@prefix string: <http://www.w3.org/2000/10/swap/string#> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-
-:alice :name "Alice" .
-  :bob   :name "Bob" .
-  :eve   :name "Eve" .
-
-{ ?p :name ?n . ?SCOPE log:notIncludes { ?n string:contains "o" . } . ?SCOPE log:notIncludes { ?n string:startsWith "E" . } . } => { ?p :passesNameFilter true . } .

package/examples/filter-in-notin.n3

@@ -1,10 +0,0 @@
-@prefix : <http://example/#> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-@prefix list: <http://www.w3.org/2000/10/swap/list#> .
-
-:a :score 1 .
-  :b :score 2 .
-  :c :score 3 .
-  :d :score 4 .
-
-{ ?x :score ?s . ?s list:in (1 3 5) . ?SCOPE log:notIncludes { ?s list:in (2 4) . } . } => { ?x :isSpecial true . } .

package/examples/filter-nested-or.n3

@@ -1,10 +0,0 @@
-@prefix : <http://example/#> .
-@prefix math: <http://www.w3.org/2000/10/swap/math#> .
-@prefix string: <http://www.w3.org/2000/10/swap/string#> .
-
-:bob   :age 20 ; :name "Bob" .
-  :alice :age 15 ; :name "Alice" .
-  :bea   :age 22 ; :name "Bea" .
-
-{ ?p :age ?age . ?p :name ?name . ?age math:notLessThan 18 . ?name string:startsWith "A" . } => { ?p :adultNamedByRule true . } .
-{ ?p :age ?age . ?p :name ?name . ?age math:notLessThan 18 . ?name string:matches "^B" . } => { ?p :adultNamedByRule true . } .

package/examples/filter.n3

@@ -1,8 +0,0 @@
-@prefix : <http://example/#> .
-@prefix math: <http://www.w3.org/2000/10/swap/math#> .
-
-:x :p 1 ; :q 2 .
-
-{ ?x :p ?v1 . ?x :q ?v2 . ?v1 math:greaterThan 0 . ?v2 math:greaterThan 0 . } => { ?x :bothPositive true . } .
-{ ?x :p ?v1 . ?x :q ?v2 . ?v1 math:equalTo 0 . } => { ?x :oneIsZero true . } .
-{ ?x :p ?v1 . ?x :q ?v2 . ?v2 math:equalTo 0 . } => { ?x :oneIsZero true . } .

package/examples/input/bind-builtins.srl

@@ -1,30 +0,0 @@
-PREFIX : <http://example/#>
-PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
-
-DATA {
-  # NOTE: Eyeling's time:* extractors currently operate on xsd:dateTime (not xsd:date).
-  :p1 :givenName "Ada" ; :familyName "Lovelace" ; :born "1815-12-10T00:00:00Z"^^xsd:dateTime .
-}
-
-# Demonstrates BIND compilation to N3 builtins:
-# - concat/replace (string:)
-# - sha1 (crypto:)
-# - year (time:)
-# - arithmetic (+,*) (math:)
-# - strlang/strdt (log:)
-RULE {
-  ?p :label ?lbl ; :labelEn ?lblEn ; :hash ?h ; :birthYear ?y ; :calc ?z ; :intLit ?i .
-}
-WHERE {
-  ?p :givenName ?g ; :familyName ?f ; :born ?d .
-
-  BIND(concat(?g, " ", ?f) AS ?full)
-  BIND(replace(?full, " ", "_") AS ?lbl)
-  BIND(strlang(?lbl, "en") AS ?lblEn)
-  BIND(sha1(?lbl) AS ?h)
-
-  BIND(year(?d) AS ?y)
-  BIND((?y + 1) * 2 AS ?z)
-
-  BIND(strdt("42", xsd:integer) AS ?i)
-}

package/examples/input/bind.srl

@@ -1,12 +0,0 @@
-PREFIX : <http://example/#>
-
-DATA { :phayes a :Person ; :givenName "Pat"; :familyName "Hayes" . }
-
-# Default value - calculate a name
-RULE { ?x :name ?FN } WHERE { 
-    ?x a :Person 
-    NOT { ?x :name ?someName }
-    ?x :givenName ?name1 ;
-       :familyName ?name2 .
-    BIND(concat(?name1, " ", ?name2) AS ?FN)
-}

package/examples/input/builtins-string-math.srl

@@ -1,38 +0,0 @@
-PREFIX : <http://example/#>
-PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
-
-DATA {
-  :x :num 1.2 ;
-     :txt "Hello World" ;
-     :dt "2020-01-01T13:14:15Z"^^xsd:dateTime .
-}
-
-RULE {
-  :x :ceil ?c ;
-     :floor ?f ;
-     :substr ?sub ;
-     :strlen ?len ;
-     :ucase ?up ;
-     :lcase ?lo ;
-     :encoded ?enc ;
-     :hours ?h .
-}
-WHERE {
-  :x :num ?v ;
-     :txt ?s ;
-     :dt ?dt .
-
-  BIND(CEIL(?v) AS ?c)
-  BIND(FLOOR(?v) AS ?f)
-
-  # SPARQL SUBSTR is 1-based; this should produce "Hello"
-  BIND(SUBSTR(?s, 1, 5) AS ?sub)
-
-  BIND(STRLEN(?s) AS ?len)
-  BIND(UCASE(?s) AS ?up)
-  BIND(LCASE(?s) AS ?lo)
-  BIND(ENCODE_FOR_URI(?s) AS ?enc)
-
-  BIND(HOURS(?dt) AS ?h)
-}
-

package/examples/input/builtins-triple-termtests.srl

@@ -1,27 +0,0 @@
-PREFIX : <http://example/#>
-
-DATA {
-  :alice :knows :bob .
-  :bob   :age   42 .
-}
-
-RULE {
-  :test :triple ?t ;
-        :subject ?s ;
-        :predicate ?p ;
-        :object ?o ;
-        :subjectIsIRI true ;
-        :tripleOk true .
-}
-WHERE {
-  :alice :knows :bob .
-
-  BIND(TRIPLE(:alice, :knows, :bob) AS ?t)
-  BIND(SUBJECT(?t) AS ?s)
-  BIND(PREDICATE(?t) AS ?p)
-  BIND(OBJECT(?t) AS ?o)
-
-  # Term-test builtins (as in SPARQL)
-  FILTER ( isTRIPLE(?t) && isIRI(?s) )
-}
-

package/examples/input/family.srl

@@ -1,12 +0,0 @@
-PREFIX : <http://example.org/#>
-
-DATA { :A :fatherOf :X . :B :motherOf :X . :C :motherOf :A . }
-
-RULE { ?x :childOf ?y } WHERE { ?y :fatherOf ?x }
-RULE { ?x :childOf ?y } WHERE { ?y :motherOf ?x }
-
-RULE { ?x :descendedFrom ?y } WHERE { ?x :childOf ?y }
-RULE { ?x :descendedFrom ?y } WHERE { ?x :childOf ?z . ?z :childOf ?y }
-
-RULE { ?x :ancestorOf ?y } WHERE { ?y :descendedFrom ?x }
-RULE { ?a :ancestorOf ?b } WHERE { ?a :ancestorOf ?c . ?c :ancestorOf ?b }

package/examples/input/filter-demorgan.srl

@@ -1,15 +0,0 @@
-PREFIX : <http://example/#>
-
-DATA {
-  :alice :name "Alice" .
-  :bob   :name "Bob" .
-  :eve   :name "Eve" .
-}
-
-# Demonstrates De Morgan push-down:
-#   !(A || B)  ==>  (!A && !B)
-RULE { ?p :passesNameFilter true . }
-WHERE {
-  ?p :name ?n .
-  FILTER ( !( CONTAINS(?n, "o") || STRSTARTS(?n, "E") ) )
-}

package/examples/input/filter-in-notin.srl

@@ -1,15 +0,0 @@
-PREFIX : <http://example/#>
-
-DATA {
-  :a :score 1 .
-  :b :score 2 .
-  :c :score 3 .
-  :d :score 4 .
-}
-
-# Demonstrates IN/NOT IN (mapped to list:in + log:notIncludes)
-RULE { ?x :isSpecial true . }
-WHERE {
-  ?x :score ?s .
-  FILTER ( (?s IN (1, 3, 5)) && (?s NOT IN (2, 4)) )
-}

package/examples/input/filter-nested-or.srl

@@ -1,15 +0,0 @@
-PREFIX : <http://example/#>
-
-DATA {
-  :bob   :age 20 ; :name "Bob" .
-  :alice :age 15 ; :name "Alice" .
-  :bea   :age 22 ; :name "Bea" .
-}
-
-# Demonstrates nested OR distribution:
-#   ?age >= 18 && ( STRSTARTS(?name,"A") || REGEX(?name,"^B") )
-RULE { ?p :adultNamedByRule true . }
-WHERE {
-  ?p :age ?age ; :name ?name .
-  FILTER ( ?age >= 18 && ( STRSTARTS(?name, "A") || REGEX(?name, "^B") ) )
-}

package/examples/input/filter.srl

@@ -1,9 +0,0 @@
-PREFIX : <http://example/#>
-
-DATA { :x :p 1 ; :q 2 . }
-
-RULE { ?x :bothPositive true . }
-WHERE { ?x :p ?v1  FILTER ( ?v1 > 0 )  ?x :q ?v2  FILTER ( ?v2 > 0 )  }
-
-RULE { ?x :oneIsZero true . }
-WHERE { ?x :p ?v1 ;  :q ?v2  FILTER ( ( ?v1 = 0 ) || ( ?v2 = 0 ) )  }

package/examples/input/snaf.srl

@@ -1,6 +0,0 @@
-PREFIX log: <http://www.w3.org/2000/10/swap/log#>
-PREFIX : <http://example.org/#>
-
-DATA { :Alice :loves :Bob. :Bob a :Person. }
-
-RULE { :Alice :hates :Nobody. } WHERE { NOT { :Alice :hates ?X } ?X a :Person. }