eyeling 1.5.19 → 1.5.20

package/examples/expression-eval.n3

@@ -0,0 +1,70 @@
+# ---------------------------------
+# A tiny expression evaluator in N3
+# ---------------------------------
+#
+# - numbers are nodes with :n
+# - expressions are nodes with :op, :left, :right
+# - :value is defined as a backward “builtin-like” predicate (<=) with recursion
+# - one forward rule emits the final result
+
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix :     <http://example.org/expression-eval#>.
+
+# -----------------------------
+# Data: (2 * 3) + (10 - 4) = 12
+# -----------------------------
+
+:n2  :n 2.
+:n3  :n 3.
+:n10 :n 10.
+:n4  :n 4.
+
+:eMul a :Expr; :op :mul; :left :n2;  :right :n3.
+:eSub a :Expr; :op :sub; :left :n10; :right :n4.
+:eAdd a :Expr; :op :add; :left :eMul; :right :eSub.
+
+:Root :expr :eAdd.
+
+# ----------------------
+# Backward rules: :value
+# ----------------------
+
+# Base case: numeric node
+{ ?N :value ?V. } <= { ?N :n ?V. }.
+
+# Addition
+{ ?E :value ?V. } <= {
+  ?E :op :add.
+  ?E :left ?L.
+  ?E :right ?R.
+  ?L :value ?LV.
+  ?R :value ?RV.
+  (?LV ?RV) math:sum ?V.
+}.
+
+# Subtraction
+{ ?E :value ?V. } <= {
+  ?E :op :sub.
+  ?E :left ?L.
+  ?E :right ?R.
+  ?L :value ?LV.
+  ?R :value ?RV.
+  (?LV ?RV) math:difference ?V.
+}.
+
+# Multiplication
+{ ?E :value ?V. } <= {
+  ?E :op :mul.
+  ?E :left ?L.
+  ?E :right ?R.
+  ?L :value ?LV.
+  ?R :value ?RV.
+  (?LV ?RV) math:product ?V.
+}.
+
+# ------------------------------
+# Forward rule: emit final value
+# ------------------------------
+
+{ :Root :expr ?E. ?E :value ?V. } => { :Root :result ?V. }.
+

package/examples/family-cousins.n3

@@ -0,0 +1,63 @@
+# --------------
+# Family cousins
+# --------------
+
+@prefix : <http://example.org/family#>.
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+
+# --------------------------
+# Data (a small family tree)
+# --------------------------
+
+:Adam  :parentOf :Bob, :Carol .
+:Bob   :parentOf :Dave, :Eve .
+:Carol :parentOf :Frank, :Grace .
+:Dave  :parentOf :Heidi .
+:Eve   :parentOf :Ivan .
+:Frank :parentOf :Judy .
+
+# Seed "branch" labels at generation 2 (so gen-1 siblings won't become cousins)
+:Dave  :branch :b .
+:Eve   :branch :b .
+:Frank :branch :c .
+:Grace :branch :c .
+
+# Declare branch difference (so we can avoid any inequality built-in)
+:b :differentFrom :c .
+:c :differentFrom :b .
+
+# -----------------------------------
+# Rules (generation, branch, cousins)
+# -----------------------------------
+
+# Root generation
+{ } => { :Adam :generation 0 } .
+
+# Generation propagation: child.gen = parent.gen + 1
+{
+  ?P :parentOf ?C .
+  ?P :generation ?G .
+  (?G 1) math:sum ?G1 .
+} => {
+  ?C :generation ?G1 .
+} .
+
+# Branch propagation: child.branch = parent.branch
+{
+  ?P :parentOf ?C .
+  ?P :branch ?B .
+} => {
+  ?C :branch ?B .
+} .
+
+# Cousins: same generation, different branch
+{
+  ?X :generation ?G .
+  ?Y :generation ?G .
+  ?X :branch ?BX .
+  ?Y :branch ?BY .
+  ?BX :differentFrom ?BY .
+} => {
+  ?X :cousin ?Y .
+} .
+

package/examples/gps.n3

@@ -0,0 +1,68 @@
+# ------------------------------
+# Goal driven Parallel Sequences
+# ------------------------------
+#
+# See https://www.sciencedirect.com/science/article/pii/S1532046421000794
+# and https://github.com/hongsun502/wstLogic/tree/master
+
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix list: <http://www.w3.org/2000/10/swap/list#>.
+@prefix gps: <https://eyereasoner.github.io/eye/reasoning/gps/gps-schema#>.
+@prefix : <https://eyereasoner.github.io/eye/reasoning#>.
+
+# ---------------------
+# Data (a small sample)
+# ---------------------
+
+# current state
+:i1 :location :Gent.
+
+# map of Belgium
+(:Gent :Brugge   :drive_gent_brugge     1500.0 0.006 0.96 0.99) :edge true .
+(:Gent :Kortrijk :drive_gent_kortrijk   1600.0 0.007 0.96 0.99) :edge true .
+(:Kortrijk :Brugge :drive_kortrijk_brugge 1600.0 0.007 0.96 0.99) :edge true .
+(:Brugge :Oostende :drive_brugge_oostende  900.0 0.004 0.98 1.0) :edge true .
+
+# ----------------
+# Path computation
+# ----------------
+
+# Base: one edge is a path
+{
+  (?From ?To (?Act) ?Dur ?Cost ?Belief ?Comfort) :path true.
+}
+<=
+{
+  (?From ?To ?Act ?Dur ?Cost ?Belief ?Comfort) :edge true.
+}.
+
+# Recursive: edge + path => path, aggregate weights, concatenate action list
+{
+  (?From ?To ?Acts ?Dur ?Cost ?Belief ?Comfort) :path true.
+}
+<=
+{
+  (?From ?Mid ?Act ?Dur1 ?Cost1 ?Bel1 ?Comf1) :edge true.
+  (?Mid ?To ?RestActs ?Dur2 ?Cost2 ?Bel2 ?Comf2) :path true.
+
+  ((?Act) ?RestActs) list:append ?Acts.
+
+  (?Dur1  ?Dur2)  math:sum     ?Dur.
+  (?Cost1 ?Cost2) math:sum     ?Cost.
+  (?Bel1  ?Bel2)  math:product ?Belief.
+  (?Comf1 ?Comf2) math:product ?Comfort.
+}.
+
+# -------------------------
+# Query: only paths to goal
+# -------------------------
+
+{
+  :i1 :location ?Start.
+  (?Start :Oostende ?Acts ?Dur ?Cost ?Bel ?Comf) :path true.
+}
+=>
+{
+  :i1 gps:path (?Acts ?Dur ?Cost ?Bel ?Comf).
+}.
+

package/examples/odrl-trust.n3

@@ -0,0 +1,145 @@
+# ----------
+# ODRL trust
+# ----------
+
+
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix odrl: <http://www.w3.org/ns/odrl/2/>.
+@prefix dct:  <http://purl.org/dc/terms/>.
+@prefix :     <http://example.org/odrl-trust#>.
+
+# ------------------
+# Trust model (0..1)
+# ------------------
+:Gov        :trust 0.95.
+:Partner    :trust 0.70.
+:RandomBlog :trust 0.30.
+
+# --------------------------
+# A request we want to decide
+# --------------------------
+:req1 a :Request;
+  odrl:assignee :Alice;
+  odrl:target   :Doc1;
+  odrl:action   odrl:read.
+
+# --------------------------
+# ODRL Policies
+# --------------------------
+
+# High-trust permission from Gov (trusted enough)
+:PolGov a odrl:Policy;
+  dct:creator :Gov;
+  odrl:permission :PermGov.
+
+:PermGov a odrl:Permission;
+  odrl:assignee :Alice;
+  odrl:target   :Doc1;
+  odrl:action   odrl:read;
+  odrl:constraint :CMinGov.
+
+:CMinGov
+  odrl:leftOperand :issuerTrust;
+  odrl:operator    odrl:gteq;
+  odrl:rightOperand 0.80.
+
+# Medium-trust prohibition from Partner (also applies, but lower trust)
+:PolPartner a odrl:Policy;
+  dct:creator :Partner;
+  odrl:prohibition :ProhPartner.
+
+:ProhPartner a odrl:Prohibition;
+  odrl:assignee :Alice;
+  odrl:target   :Doc1;
+  odrl:action   odrl:read;
+  odrl:constraint :CMinPartner.
+
+:CMinPartner
+  odrl:leftOperand :issuerTrust;
+  odrl:operator    odrl:gteq;
+  odrl:rightOperand 0.60.
+
+# Low-trust prohibition from RandomBlog (does NOT apply due to min trust)
+:PolBlog a odrl:Policy;
+  dct:creator :RandomBlog;
+  odrl:prohibition :ProhBlog.
+
+:ProhBlog a odrl:Prohibition;
+  odrl:assignee :Alice;
+  odrl:target   :Doc1;
+  odrl:action   odrl:read;
+  odrl:constraint :CMinBlog.
+
+:CMinBlog
+  odrl:leftOperand :issuerTrust;
+  odrl:operator    odrl:gteq;
+  odrl:rightOperand 0.50.
+
+# ------------------------------------------------------------
+# Minimal "ODRL + trust" evaluator
+# ------------------------------------------------------------
+
+# Candidate PERMIT for a request, scored by issuer trust, only if trust >= minTrust
+{
+  (?Req odrl:permit ?Score) :cand true.
+}
+<=
+{
+  ?Req odrl:assignee ?A; odrl:target ?T; odrl:action ?Act.
+
+  ?Pol a odrl:Policy; dct:creator ?Iss; odrl:permission ?Perm.
+  ?Perm odrl:assignee ?A; odrl:target ?T; odrl:action ?Act.
+
+  ?Perm odrl:constraint ?C.
+  ?C odrl:leftOperand :issuerTrust;
+     odrl:operator odrl:gteq;
+     odrl:rightOperand ?Min.
+
+  ?Iss :trust ?Score.
+  (?Score ?Min) math:notLessThan true.
+}.
+
+# Candidate PROHIBIT for a request, scored by issuer trust, only if trust >= minTrust
+{
+  (?Req odrl:prohibit ?Score) :cand true.
+}
+<=
+{
+  ?Req odrl:assignee ?A; odrl:target ?T; odrl:action ?Act.
+
+  ?Pol a odrl:Policy; dct:creator ?Iss; odrl:prohibition ?Proh.
+  ?Proh odrl:assignee ?A; odrl:target ?T; odrl:action ?Act.
+
+  ?Proh odrl:constraint ?C.
+  ?C odrl:leftOperand :issuerTrust;
+     odrl:operator odrl:gteq;
+     odrl:rightOperand ?Min.
+
+  ?Iss :trust ?Score.
+  (?Score ?Min) math:notLessThan true.
+}.
+
+# Decide: permit wins if its score is greater than prohibit score
+{
+  (:req1 odrl:permit ?Sp) :cand true.
+  (:req1 odrl:prohibit ?Sd) :cand true.
+  (?Sp ?Sd) math:greaterThan true.
+}
+=>
+{
+  :req1 :decision odrl:permit.
+  :req1 :confidence ?Sp.
+}.
+
+# Decide: otherwise (tie or prohibit higher), prohibit wins
+{
+  (:req1 odrl:permit ?Sp) :cand true.
+  (:req1 odrl:prohibit ?Sd) :cand true.
+  (?Sd ?Sp) math:notLessThan true.
+}
+=>
+{
+  :req1 :decision odrl:prohibit.
+  :req1 :confidence ?Sd.
+}.
+

package/examples/output/expression-eval.n3

@@ -0,0 +1,23 @@
+@prefix : <http://example.org/expression-eval#> .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Root :result 12 .
+# It holds because the following instance of the rule body is provable:
+#   :Root :expr :eAdd .
+#   :eAdd :value 12 .
+# via the schematic forward rule:
+#   {
+#     :Root :expr ?E .
+#     ?E :value ?V .
+#   } => {
+#     :Root :result ?V .
+#   } .
+# with substitution (on rule variables):
+#   ?E = :eAdd
+#   ?V = 12
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Root :result 12 .
+

package/examples/output/family-cousins.n3

@@ -0,0 +1,663 @@
+@prefix : <http://example.org/family#> .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Adam :generation 0 .
+# This triple is the head of a forward rule with an empty premise,
+# so it holds unconditionally whenever the program is loaded.
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Adam :generation 0 .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Carol :generation 1 .
+# It holds because the following instance of the rule body is provable:
+#   :Adam :parentOf :Carol .
+#   :Adam :generation 0 .
+#   (0 1) math:sum 1 .
+# via the schematic forward rule:
+#   {
+#     ?P :parentOf ?C .
+#     ?P :generation ?G .
+#     (?G 1) math:sum ?G1 .
+#   } => {
+#     ?C :generation ?G1 .
+#   } .
+# with substitution (on rule variables):
+#   ?C = :Carol
+#   ?G = 0
+#   ?G1 = 1
+#   ?P = :Adam
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Carol :generation 1 .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Bob :generation 1 .
+# It holds because the following instance of the rule body is provable:
+#   :Adam :parentOf :Bob .
+#   :Adam :generation 0 .
+#   (0 1) math:sum 1 .
+# via the schematic forward rule:
+#   {
+#     ?P :parentOf ?C .
+#     ?P :generation ?G .
+#     (?G 1) math:sum ?G1 .
+#   } => {
+#     ?C :generation ?G1 .
+#   } .
+# with substitution (on rule variables):
+#   ?C = :Bob
+#   ?G = 0
+#   ?G1 = 1
+#   ?P = :Adam
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Bob :generation 1 .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Judy :branch :c .
+# It holds because the following instance of the rule body is provable:
+#   :Frank :parentOf :Judy .
+#   :Frank :branch :c .
+# via the schematic forward rule:
+#   {
+#     ?P :parentOf ?C .
+#     ?P :branch ?B .
+#   } => {
+#     ?C :branch ?B .
+#   } .
+# with substitution (on rule variables):
+#   ?B = :c
+#   ?C = :Judy
+#   ?P = :Frank
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Judy :branch :c .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Ivan :branch :b .
+# It holds because the following instance of the rule body is provable:
+#   :Eve :parentOf :Ivan .
+#   :Eve :branch :b .
+# via the schematic forward rule:
+#   {
+#     ?P :parentOf ?C .
+#     ?P :branch ?B .
+#   } => {
+#     ?C :branch ?B .
+#   } .
+# with substitution (on rule variables):
+#   ?B = :b
+#   ?C = :Ivan
+#   ?P = :Eve
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Ivan :branch :b .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Heidi :branch :b .
+# It holds because the following instance of the rule body is provable:
+#   :Dave :parentOf :Heidi .
+#   :Dave :branch :b .
+# via the schematic forward rule:
+#   {
+#     ?P :parentOf ?C .
+#     ?P :branch ?B .
+#   } => {
+#     ?C :branch ?B .
+#   } .
+# with substitution (on rule variables):
+#   ?B = :b
+#   ?C = :Heidi
+#   ?P = :Dave
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Heidi :branch :b .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Grace :generation 2 .
+# It holds because the following instance of the rule body is provable:
+#   :Carol :parentOf :Grace .
+#   :Carol :generation 1 .
+#   (1 1) math:sum 2 .
+# via the schematic forward rule:
+#   {
+#     ?P :parentOf ?C .
+#     ?P :generation ?G .
+#     (?G 1) math:sum ?G1 .
+#   } => {
+#     ?C :generation ?G1 .
+#   } .
+# with substitution (on rule variables):
+#   ?C = :Grace
+#   ?G = 1
+#   ?G1 = 2
+#   ?P = :Carol
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Grace :generation 2 .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Frank :generation 2 .
+# It holds because the following instance of the rule body is provable:
+#   :Carol :parentOf :Frank .
+#   :Carol :generation 1 .
+#   (1 1) math:sum 2 .
+# via the schematic forward rule:
+#   {
+#     ?P :parentOf ?C .
+#     ?P :generation ?G .
+#     (?G 1) math:sum ?G1 .
+#   } => {
+#     ?C :generation ?G1 .
+#   } .
+# with substitution (on rule variables):
+#   ?C = :Frank
+#   ?G = 1
+#   ?G1 = 2
+#   ?P = :Carol
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Frank :generation 2 .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Eve :generation 2 .
+# It holds because the following instance of the rule body is provable:
+#   :Bob :parentOf :Eve .
+#   :Bob :generation 1 .
+#   (1 1) math:sum 2 .
+# via the schematic forward rule:
+#   {
+#     ?P :parentOf ?C .
+#     ?P :generation ?G .
+#     (?G 1) math:sum ?G1 .
+#   } => {
+#     ?C :generation ?G1 .
+#   } .
+# with substitution (on rule variables):
+#   ?C = :Eve
+#   ?G = 1
+#   ?G1 = 2
+#   ?P = :Bob
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Eve :generation 2 .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Dave :generation 2 .
+# It holds because the following instance of the rule body is provable:
+#   :Bob :parentOf :Dave .
+#   :Bob :generation 1 .
+#   (1 1) math:sum 2 .
+# via the schematic forward rule:
+#   {
+#     ?P :parentOf ?C .
+#     ?P :generation ?G .
+#     (?G 1) math:sum ?G1 .
+#   } => {
+#     ?C :generation ?G1 .
+#   } .
+# with substitution (on rule variables):
+#   ?C = :Dave
+#   ?G = 1
+#   ?G1 = 2
+#   ?P = :Bob
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Dave :generation 2 .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Dave :cousin :Frank .
+# It holds because the following instance of the rule body is provable:
+#   :Dave :generation 2 .
+#   :Frank :generation 2 .
+#   :Dave :branch :b .
+#   :Frank :branch :c .
+#   :b :differentFrom :c .
+# via the schematic forward rule:
+#   {
+#     ?X :generation ?G .
+#     ?Y :generation ?G .
+#     ?X :branch ?BX .
+#     ?Y :branch ?BY .
+#     ?BX :differentFrom ?BY .
+#   } => {
+#     ?X :cousin ?Y .
+#   } .
+# with substitution (on rule variables):
+#   ?BX = :b
+#   ?BY = :c
+#   ?G = 2
+#   ?X = :Dave
+#   ?Y = :Frank
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Dave :cousin :Frank .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Dave :cousin :Grace .
+# It holds because the following instance of the rule body is provable:
+#   :Dave :generation 2 .
+#   :Grace :generation 2 .
+#   :Dave :branch :b .
+#   :Grace :branch :c .
+#   :b :differentFrom :c .
+# via the schematic forward rule:
+#   {
+#     ?X :generation ?G .
+#     ?Y :generation ?G .
+#     ?X :branch ?BX .
+#     ?Y :branch ?BY .
+#     ?BX :differentFrom ?BY .
+#   } => {
+#     ?X :cousin ?Y .
+#   } .
+# with substitution (on rule variables):
+#   ?BX = :b
+#   ?BY = :c
+#   ?G = 2
+#   ?X = :Dave
+#   ?Y = :Grace
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Dave :cousin :Grace .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Eve :cousin :Frank .
+# It holds because the following instance of the rule body is provable:
+#   :Eve :generation 2 .
+#   :Frank :generation 2 .
+#   :Eve :branch :b .
+#   :Frank :branch :c .
+#   :b :differentFrom :c .
+# via the schematic forward rule:
+#   {
+#     ?X :generation ?G .
+#     ?Y :generation ?G .
+#     ?X :branch ?BX .
+#     ?Y :branch ?BY .
+#     ?BX :differentFrom ?BY .
+#   } => {
+#     ?X :cousin ?Y .
+#   } .
+# with substitution (on rule variables):
+#   ?BX = :b
+#   ?BY = :c
+#   ?G = 2
+#   ?X = :Eve
+#   ?Y = :Frank
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Eve :cousin :Frank .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Eve :cousin :Grace .
+# It holds because the following instance of the rule body is provable:
+#   :Eve :generation 2 .
+#   :Grace :generation 2 .
+#   :Eve :branch :b .
+#   :Grace :branch :c .
+#   :b :differentFrom :c .
+# via the schematic forward rule:
+#   {
+#     ?X :generation ?G .
+#     ?Y :generation ?G .
+#     ?X :branch ?BX .
+#     ?Y :branch ?BY .
+#     ?BX :differentFrom ?BY .
+#   } => {
+#     ?X :cousin ?Y .
+#   } .
+# with substitution (on rule variables):
+#   ?BX = :b
+#   ?BY = :c
+#   ?G = 2
+#   ?X = :Eve
+#   ?Y = :Grace
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Eve :cousin :Grace .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Frank :cousin :Dave .
+# It holds because the following instance of the rule body is provable:
+#   :Frank :generation 2 .
+#   :Dave :generation 2 .
+#   :Frank :branch :c .
+#   :Dave :branch :b .
+#   :c :differentFrom :b .
+# via the schematic forward rule:
+#   {
+#     ?X :generation ?G .
+#     ?Y :generation ?G .
+#     ?X :branch ?BX .
+#     ?Y :branch ?BY .
+#     ?BX :differentFrom ?BY .
+#   } => {
+#     ?X :cousin ?Y .
+#   } .
+# with substitution (on rule variables):
+#   ?BX = :c
+#   ?BY = :b
+#   ?G = 2
+#   ?X = :Frank
+#   ?Y = :Dave
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Frank :cousin :Dave .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Frank :cousin :Eve .
+# It holds because the following instance of the rule body is provable:
+#   :Frank :generation 2 .
+#   :Eve :generation 2 .
+#   :Frank :branch :c .
+#   :Eve :branch :b .
+#   :c :differentFrom :b .
+# via the schematic forward rule:
+#   {
+#     ?X :generation ?G .
+#     ?Y :generation ?G .
+#     ?X :branch ?BX .
+#     ?Y :branch ?BY .
+#     ?BX :differentFrom ?BY .
+#   } => {
+#     ?X :cousin ?Y .
+#   } .
+# with substitution (on rule variables):
+#   ?BX = :c
+#   ?BY = :b
+#   ?G = 2
+#   ?X = :Frank
+#   ?Y = :Eve
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Frank :cousin :Eve .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Grace :cousin :Dave .
+# It holds because the following instance of the rule body is provable:
+#   :Grace :generation 2 .
+#   :Dave :generation 2 .
+#   :Grace :branch :c .
+#   :Dave :branch :b .
+#   :c :differentFrom :b .
+# via the schematic forward rule:
+#   {
+#     ?X :generation ?G .
+#     ?Y :generation ?G .
+#     ?X :branch ?BX .
+#     ?Y :branch ?BY .
+#     ?BX :differentFrom ?BY .
+#   } => {
+#     ?X :cousin ?Y .
+#   } .
+# with substitution (on rule variables):
+#   ?BX = :c
+#   ?BY = :b
+#   ?G = 2
+#   ?X = :Grace
+#   ?Y = :Dave
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Grace :cousin :Dave .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Grace :cousin :Eve .
+# It holds because the following instance of the rule body is provable:
+#   :Grace :generation 2 .
+#   :Eve :generation 2 .
+#   :Grace :branch :c .
+#   :Eve :branch :b .
+#   :c :differentFrom :b .
+# via the schematic forward rule:
+#   {
+#     ?X :generation ?G .
+#     ?Y :generation ?G .
+#     ?X :branch ?BX .
+#     ?Y :branch ?BY .
+#     ?BX :differentFrom ?BY .
+#   } => {
+#     ?X :cousin ?Y .
+#   } .
+# with substitution (on rule variables):
+#   ?BX = :c
+#   ?BY = :b
+#   ?G = 2
+#   ?X = :Grace
+#   ?Y = :Eve
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Grace :cousin :Eve .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Judy :generation 3 .
+# It holds because the following instance of the rule body is provable:
+#   :Frank :parentOf :Judy .
+#   :Frank :generation 2 .
+#   (2 1) math:sum 3 .
+# via the schematic forward rule:
+#   {
+#     ?P :parentOf ?C .
+#     ?P :generation ?G .
+#     (?G 1) math:sum ?G1 .
+#   } => {
+#     ?C :generation ?G1 .
+#   } .
+# with substitution (on rule variables):
+#   ?C = :Judy
+#   ?G = 2
+#   ?G1 = 3
+#   ?P = :Frank
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Judy :generation 3 .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Ivan :generation 3 .
+# It holds because the following instance of the rule body is provable:
+#   :Eve :parentOf :Ivan .
+#   :Eve :generation 2 .
+#   (2 1) math:sum 3 .
+# via the schematic forward rule:
+#   {
+#     ?P :parentOf ?C .
+#     ?P :generation ?G .
+#     (?G 1) math:sum ?G1 .
+#   } => {
+#     ?C :generation ?G1 .
+#   } .
+# with substitution (on rule variables):
+#   ?C = :Ivan
+#   ?G = 2
+#   ?G1 = 3
+#   ?P = :Eve
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Ivan :generation 3 .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Heidi :generation 3 .
+# It holds because the following instance of the rule body is provable:
+#   :Dave :parentOf :Heidi .
+#   :Dave :generation 2 .
+#   (2 1) math:sum 3 .
+# via the schematic forward rule:
+#   {
+#     ?P :parentOf ?C .
+#     ?P :generation ?G .
+#     (?G 1) math:sum ?G1 .
+#   } => {
+#     ?C :generation ?G1 .
+#   } .
+# with substitution (on rule variables):
+#   ?C = :Heidi
+#   ?G = 2
+#   ?G1 = 3
+#   ?P = :Dave
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Heidi :generation 3 .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Heidi :cousin :Judy .
+# It holds because the following instance of the rule body is provable:
+#   :Heidi :generation 3 .
+#   :Judy :generation 3 .
+#   :Heidi :branch :b .
+#   :Judy :branch :c .
+#   :b :differentFrom :c .
+# via the schematic forward rule:
+#   {
+#     ?X :generation ?G .
+#     ?Y :generation ?G .
+#     ?X :branch ?BX .
+#     ?Y :branch ?BY .
+#     ?BX :differentFrom ?BY .
+#   } => {
+#     ?X :cousin ?Y .
+#   } .
+# with substitution (on rule variables):
+#   ?BX = :b
+#   ?BY = :c
+#   ?G = 3
+#   ?X = :Heidi
+#   ?Y = :Judy
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Heidi :cousin :Judy .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Ivan :cousin :Judy .
+# It holds because the following instance of the rule body is provable:
+#   :Ivan :generation 3 .
+#   :Judy :generation 3 .
+#   :Ivan :branch :b .
+#   :Judy :branch :c .
+#   :b :differentFrom :c .
+# via the schematic forward rule:
+#   {
+#     ?X :generation ?G .
+#     ?Y :generation ?G .
+#     ?X :branch ?BX .
+#     ?Y :branch ?BY .
+#     ?BX :differentFrom ?BY .
+#   } => {
+#     ?X :cousin ?Y .
+#   } .
+# with substitution (on rule variables):
+#   ?BX = :b
+#   ?BY = :c
+#   ?G = 3
+#   ?X = :Ivan
+#   ?Y = :Judy
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Ivan :cousin :Judy .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Judy :cousin :Heidi .
+# It holds because the following instance of the rule body is provable:
+#   :Judy :generation 3 .
+#   :Heidi :generation 3 .
+#   :Judy :branch :c .
+#   :Heidi :branch :b .
+#   :c :differentFrom :b .
+# via the schematic forward rule:
+#   {
+#     ?X :generation ?G .
+#     ?Y :generation ?G .
+#     ?X :branch ?BX .
+#     ?Y :branch ?BY .
+#     ?BX :differentFrom ?BY .
+#   } => {
+#     ?X :cousin ?Y .
+#   } .
+# with substitution (on rule variables):
+#   ?BX = :c
+#   ?BY = :b
+#   ?G = 3
+#   ?X = :Judy
+#   ?Y = :Heidi
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Judy :cousin :Heidi .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Judy :cousin :Ivan .
+# It holds because the following instance of the rule body is provable:
+#   :Judy :generation 3 .
+#   :Ivan :generation 3 .
+#   :Judy :branch :c .
+#   :Ivan :branch :b .
+#   :c :differentFrom :b .
+# via the schematic forward rule:
+#   {
+#     ?X :generation ?G .
+#     ?Y :generation ?G .
+#     ?X :branch ?BX .
+#     ?Y :branch ?BY .
+#     ?BX :differentFrom ?BY .
+#   } => {
+#     ?X :cousin ?Y .
+#   } .
+# with substitution (on rule variables):
+#   ?BX = :c
+#   ?BY = :b
+#   ?G = 3
+#   ?X = :Judy
+#   ?Y = :Ivan
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Judy :cousin :Ivan .
+

package/examples/output/gps.n3

@@ -0,0 +1,53 @@
+@prefix : <https://eyereasoner.github.io/eye/reasoning#> .
+@prefix gps: <https://eyereasoner.github.io/eye/reasoning/gps/gps-schema#> .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :i1 gps:path ((:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende) 4100 0.018 0.903168 0.9801) .
+# It holds because the following instance of the rule body is provable:
+#   :i1 :location :Gent .
+#   (:Gent :Oostende (:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende) 4100 0.018 0.903168 0.9801) :path true .
+# via the schematic forward rule:
+#   {
+#     :i1 :location ?Start .
+#     (?Start :Oostende ?Acts ?Dur ?Cost ?Bel ?Comf) :path true .
+#   } => {
+#     :i1 gps:path (?Acts ?Dur ?Cost ?Bel ?Comf) .
+#   } .
+# with substitution (on rule variables):
+#   ?Acts = (:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende)
+#   ?Bel = 0.903168
+#   ?Comf = 0.9801
+#   ?Cost = 0.018
+#   ?Dur = 4100
+#   ?Start = :Gent
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:i1 gps:path ((:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende) 4100 0.018 0.903168 0.9801) .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :i1 gps:path ((:drive_gent_brugge :drive_brugge_oostende) 2400 0.01 0.9408 0.99) .
+# It holds because the following instance of the rule body is provable:
+#   :i1 :location :Gent .
+#   (:Gent :Oostende (:drive_gent_brugge :drive_brugge_oostende) 2400 0.01 0.9408 0.99) :path true .
+# via the schematic forward rule:
+#   {
+#     :i1 :location ?Start .
+#     (?Start :Oostende ?Acts ?Dur ?Cost ?Bel ?Comf) :path true .
+#   } => {
+#     :i1 gps:path (?Acts ?Dur ?Cost ?Bel ?Comf) .
+#   } .
+# with substitution (on rule variables):
+#   ?Acts = (:drive_gent_brugge :drive_brugge_oostende)
+#   ?Bel = 0.9408
+#   ?Comf = 0.99
+#   ?Cost = 0.01
+#   ?Dur = 2400
+#   ?Start = :Gent
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:i1 gps:path ((:drive_gent_brugge :drive_brugge_oostende) 2400 0.01 0.9408 0.99) .
+

package/examples/output/odrl-trust.n3

@@ -0,0 +1,51 @@
+@prefix : <http://example.org/odrl-trust#> .
+@prefix odrl: <http://www.w3.org/ns/odrl/2/> .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :req1 :decision odrl:permit .
+# It holds because the following instance of the rule body is provable:
+#   (:req1 odrl:permit 0.95) :cand true .
+#   (:req1 odrl:prohibit 0.70) :cand true .
+#   (0.95 0.70) math:greaterThan true .
+# via the schematic forward rule:
+#   {
+#     (:req1 odrl:permit ?Sp) :cand true .
+#     (:req1 odrl:prohibit ?Sd) :cand true .
+#     (?Sp ?Sd) math:greaterThan true .
+#   } => {
+#     :req1 :decision odrl:permit .
+#     :req1 :confidence ?Sp .
+#   } .
+# with substitution (on rule variables):
+#   ?Sd = 0.70
+#   ?Sp = 0.95
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:req1 :decision odrl:permit .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :req1 :confidence 0.95 .
+# It holds because the following instance of the rule body is provable:
+#   (:req1 odrl:permit 0.95) :cand true .
+#   (:req1 odrl:prohibit 0.70) :cand true .
+#   (0.95 0.70) math:greaterThan true .
+# via the schematic forward rule:
+#   {
+#     (:req1 odrl:permit ?Sp) :cand true .
+#     (:req1 odrl:prohibit ?Sd) :cand true .
+#     (?Sp ?Sd) math:greaterThan true .
+#   } => {
+#     :req1 :decision odrl:permit .
+#     :req1 :confidence ?Sp .
+#   } .
+# with substitution (on rule variables):
+#   ?Sd = 0.70
+#   ?Sp = 0.95
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:req1 :confidence 0.95 .
+

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eyeling",
-  "version": "1.5.19",
+  "version": "1.5.20",
   "description": "A minimal Notation3 (N3) reasoner in JavaScript.",
   "main": "./index.js",
   "keywords": [