eyeling 1.5.19 → 1.5.21

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) .
+