eyeling 1.6.13 → 1.6.14

package/examples/output/self-referential.n3

@@ -1,88 +1,7 @@
 @prefix : <https://eyereasoner.github.io/ns#> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
 
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :answer :contains log:implies .
-# It holds because the following instance of the rule body is provable:
-#   {
-#       ?X__0 ?Y__1 ?Z__2 .
-#   } => {
-#       :answer :contains ?Y__1 .
-#   } .
-# via the schematic forward rule:
-#   {
-#     ?X => ?Z .
-#   } => {
-#     :answer :contains log:implies .
-#   } .
-# with substitution (on rule variables):
-#   ?X = {
-#     ?X__0 ?Y__1 ?Z__2 .
-#   }
-#   ?Z = {
-#     :answer :contains ?Y__1 .
-#   }
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :answer :contains log:implies .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :answer :contains :contains .
-# It holds because the following instance of the rule body is provable:
-#   :answer :contains log:implies .
-# via the schematic forward rule:
-#   {
-#     ?X ?Y ?Z .
-#   } => {
-#     :answer :contains ?Y .
-#   } .
-# with substitution (on rule variables):
-#   ?X = :answer
-#   ?Y = :contains
-#   ?Z = log:implies
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :answer :contains :contains .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :test :is true .
-# It holds because the following instance of the rule body is provable:
-#   :answer :contains :contains .
-#   :answer :contains log:implies .
-# via the schematic forward rule:
-#   {
-#     :answer :contains :contains .
-#     :answer :contains log:implies .
-#   } => {
-#     :test :is true .
-#   } .
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :test :is true .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :answer :contains :is .
-# It holds because the following instance of the rule body is provable:
-#   :test :is true .
-# via the schematic forward rule:
-#   {
-#     ?X ?Y ?Z .
-#   } => {
-#     :answer :contains ?Y .
-#   } .
-# with substitution (on rule variables):
-#   ?X = :test
-#   ?Y = :is
-#   ?Z = true
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :answer :contains :is .
-

package/examples/output/similar.n3

@@ -1,18 +1,3 @@
 @prefix : <https://eyereasoner.github.io/ns#> .
 
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :test :is true .
-# It holds because the following instance of the rule body is provable:
-#   :Alice :similar :Bob .
-# via the schematic forward rule:
-#   {
-#     :Alice :similar :Bob .
-#   } => {
-#     :test :is true .
-#   } .
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :test :is true .
-

package/examples/output/snaf.n3

@@ -1,26 +1,3 @@
 @prefix : <http://example.org/> .
 
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Alice :hates :Nobody .
-# It holds because the following instance of the rule body is provable:
-#   :Bob a :Person .
-#   ?SCOPE log:notIncludes {
-#       :Alice :hates :Bob .
-#   } .
-# via the schematic forward rule:
-#   {
-#     ?X a :Person .
-#     ?SCOPE log:notIncludes {
-#         :Alice :hates ?X .
-#     } .
-#   } => {
-#     :Alice :hates :Nobody .
-#   } .
-# with substitution (on rule variables):
-#   ?X = :Bob
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Alice :hates :Nobody .
-

package/examples/output/socrates.n3

@@ -1,24 +1,3 @@
 @prefix : <http://example.org/socrates#> .
 
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Socrates a :Mortal .
-# It holds because the following instance of the rule body is provable:
-#   :Socrates a :Human .
-#   :Human rdfs:subClassOf :Mortal .
-# via the schematic forward rule:
-#   {
-#     ?S a ?A .
-#     ?A rdfs:subClassOf ?B .
-#   } => {
-#     ?S a ?B .
-#   } .
-# with substitution (on rule variables):
-#   ?A = :Human
-#   ?B = :Mortal
-#   ?S = :Socrates
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Socrates a :Mortal .
-

package/examples/output/spectral-week.n3

@@ -1,367 +1,17 @@
 @prefix : <http://example.org/spectral-week#> .
 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
 
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Shade :redEnergy "180"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :Shade :redIntensity 60.0 .
-#   :Shade :redHours 3.0 .
-#   (60.0 3.0) math:product "180"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?Loc :redIntensity ?RI .
-#     ?Loc :redHours ?RH .
-#     (?RI ?RH) math:product ?Ered .
-#   } => {
-#     ?Loc :redEnergy ?Ered .
-#   } .
-# with substitution (on rule variables):
-#   ?Ered = "180"^^xsd:decimal
-#   ?Loc = :Shade
-#   ?RH = 3.0
-#   ?RI = 60.0
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Shade :redEnergy "180"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Greenhouse :redEnergy "960"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :Greenhouse :redIntensity 120.0 .
-#   :Greenhouse :redHours 8.0 .
-#   (120.0 8.0) math:product "960"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?Loc :redIntensity ?RI .
-#     ?Loc :redHours ?RH .
-#     (?RI ?RH) math:product ?Ered .
-#   } => {
-#     ?Loc :redEnergy ?Ered .
-#   } .
-# with substitution (on rule variables):
-#   ?Ered = "960"^^xsd:decimal
-#   ?Loc = :Greenhouse
-#   ?RH = 8.0
-#   ?RI = 120.0
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Greenhouse :redEnergy "960"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Shade :blueEnergy "80"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :Shade :blueIntensity 80.0 .
-#   :Shade :blueHours 1.0 .
-#   (80.0 1.0) math:product "80"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?Loc :blueIntensity ?BI .
-#     ?Loc :blueHours ?BH .
-#     (?BI ?BH) math:product ?Eblue .
-#   } => {
-#     ?Loc :blueEnergy ?Eblue .
-#   } .
-# with substitution (on rule variables):
-#   ?BH = 1.0
-#   ?BI = 80.0
-#   ?Eblue = "80"^^xsd:decimal
-#   ?Loc = :Shade
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Shade :blueEnergy "80"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Greenhouse :blueEnergy "400"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :Greenhouse :blueIntensity 200.0 .
-#   :Greenhouse :blueHours 2.0 .
-#   (200.0 2.0) math:product "400"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?Loc :blueIntensity ?BI .
-#     ?Loc :blueHours ?BH .
-#     (?BI ?BH) math:product ?Eblue .
-#   } => {
-#     ?Loc :blueEnergy ?Eblue .
-#   } .
-# with substitution (on rule variables):
-#   ?BH = 2.0
-#   ?BI = 200.0
-#   ?Eblue = "400"^^xsd:decimal
-#   ?Loc = :Greenhouse
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Greenhouse :blueEnergy "400"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Fern :absorbedRed "72"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :Fern a :Plant .
-#   :Fern :location :Shade .
-#   :Fern :absorbRed 0.40 .
-#   :Shade :redEnergy "180"^^xsd:decimal .
-#   ("180"^^xsd:decimal 0.40) math:product "72"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?P a :Plant .
-#     ?P :location ?Loc .
-#     ?P :absorbRed ?AR .
-#     ?Loc :redEnergy ?Ered .
-#     (?Ered ?AR) math:product ?Ared .
-#   } => {
-#     ?P :absorbedRed ?Ared .
-#   } .
-# with substitution (on rule variables):
-#   ?AR = 0.40
-#   ?Ared = "72"^^xsd:decimal
-#   ?Ered = "180"^^xsd:decimal
-#   ?Loc = :Shade
-#   ?P = :Fern
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Fern :absorbedRed "72"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Sunflower :absorbedRed "816"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :Sunflower a :Plant .
-#   :Sunflower :location :Greenhouse .
-#   :Sunflower :absorbRed 0.85 .
-#   :Greenhouse :redEnergy "960"^^xsd:decimal .
-#   ("960"^^xsd:decimal 0.85) math:product "816"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?P a :Plant .
-#     ?P :location ?Loc .
-#     ?P :absorbRed ?AR .
-#     ?Loc :redEnergy ?Ered .
-#     (?Ered ?AR) math:product ?Ared .
-#   } => {
-#     ?P :absorbedRed ?Ared .
-#   } .
-# with substitution (on rule variables):
-#   ?AR = 0.85
-#   ?Ared = "816"^^xsd:decimal
-#   ?Ered = "960"^^xsd:decimal
-#   ?Loc = :Greenhouse
-#   ?P = :Sunflower
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Sunflower :absorbedRed "816"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Fern :absorbedBlue "60"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :Fern a :Plant .
-#   :Fern :location :Shade .
-#   :Fern :absorbBlue 0.75 .
-#   :Shade :blueEnergy "80"^^xsd:decimal .
-#   ("80"^^xsd:decimal 0.75) math:product "60"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?P a :Plant .
-#     ?P :location ?Loc .
-#     ?P :absorbBlue ?AB .
-#     ?Loc :blueEnergy ?Eblue .
-#     (?Eblue ?AB) math:product ?Ablue .
-#   } => {
-#     ?P :absorbedBlue ?Ablue .
-#   } .
-# with substitution (on rule variables):
-#   ?AB = 0.75
-#   ?Ablue = "60"^^xsd:decimal
-#   ?Eblue = "80"^^xsd:decimal
-#   ?Loc = :Shade
-#   ?P = :Fern
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Fern :absorbedBlue "60"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Sunflower :absorbedBlue "220.00000000000003"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :Sunflower a :Plant .
-#   :Sunflower :location :Greenhouse .
-#   :Sunflower :absorbBlue 0.55 .
-#   :Greenhouse :blueEnergy "400"^^xsd:decimal .
-#   ("400"^^xsd:decimal 0.55) math:product "220.00000000000003"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?P a :Plant .
-#     ?P :location ?Loc .
-#     ?P :absorbBlue ?AB .
-#     ?Loc :blueEnergy ?Eblue .
-#     (?Eblue ?AB) math:product ?Ablue .
-#   } => {
-#     ?P :absorbedBlue ?Ablue .
-#   } .
-# with substitution (on rule variables):
-#   ?AB = 0.55
-#   ?Ablue = "220.00000000000003"^^xsd:decimal
-#   ?Eblue = "400"^^xsd:decimal
-#   ?Loc = :Greenhouse
-#   ?P = :Sunflower
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Sunflower :absorbedBlue "220.00000000000003"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Sunflower :absorbedEnergy "1036"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :Sunflower :absorbedRed "816"^^xsd:decimal .
-#   :Sunflower :absorbedBlue "220.00000000000003"^^xsd:decimal .
-#   ("816"^^xsd:decimal "220.00000000000003"^^xsd:decimal) math:sum "1036"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?P :absorbedRed ?Ared .
-#     ?P :absorbedBlue ?Ablue .
-#     (?Ared ?Ablue) math:sum ?Abs .
-#   } => {
-#     ?P :absorbedEnergy ?Abs .
-#   } .
-# with substitution (on rule variables):
-#   ?Ablue = "220.00000000000003"^^xsd:decimal
-#   ?Abs = "1036"^^xsd:decimal
-#   ?Ared = "816"^^xsd:decimal
-#   ?P = :Sunflower
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Sunflower :absorbedEnergy "1036"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Fern :absorbedEnergy "132"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :Fern :absorbedRed "72"^^xsd:decimal .
-#   :Fern :absorbedBlue "60"^^xsd:decimal .
-#   ("72"^^xsd:decimal "60"^^xsd:decimal) math:sum "132"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?P :absorbedRed ?Ared .
-#     ?P :absorbedBlue ?Ablue .
-#     (?Ared ?Ablue) math:sum ?Abs .
-#   } => {
-#     ?P :absorbedEnergy ?Abs .
-#   } .
-# with substitution (on rule variables):
-#   ?Ablue = "60"^^xsd:decimal
-#   ?Abs = "132"^^xsd:decimal
-#   ?Ared = "72"^^xsd:decimal
-#   ?P = :Fern
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Fern :absorbedEnergy "132"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Fern :dailyStored "33"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :Fern :absorbedEnergy "132"^^xsd:decimal .
-#   :Fern :conversion 0.25 .
-#   ("132"^^xsd:decimal 0.25) math:product "33"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?P :absorbedEnergy ?Abs .
-#     ?P :conversion ?C .
-#     (?Abs ?C) math:product ?Stored .
-#   } => {
-#     ?P :dailyStored ?Stored .
-#   } .
-# with substitution (on rule variables):
-#   ?Abs = "132"^^xsd:decimal
-#   ?C = 0.25
-#   ?P = :Fern
-#   ?Stored = "33"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Fern :dailyStored "33"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Sunflower :dailyStored "259"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :Sunflower :absorbedEnergy "1036"^^xsd:decimal .
-#   :Sunflower :conversion 0.25 .
-#   ("1036"^^xsd:decimal 0.25) math:product "259"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?P :absorbedEnergy ?Abs .
-#     ?P :conversion ?C .
-#     (?Abs ?C) math:product ?Stored .
-#   } => {
-#     ?P :dailyStored ?Stored .
-#   } .
-# with substitution (on rule variables):
-#   ?Abs = "1036"^^xsd:decimal
-#   ?C = 0.25
-#   ?P = :Sunflower
-#   ?Stored = "259"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Sunflower :dailyStored "259"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Sunflower :weeklyStored "1813"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :Sunflower :dailyStored "259"^^xsd:decimal .
-#   ("259"^^xsd:decimal 7) math:product "1813"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?P :dailyStored ?D .
-#     (?D 7) math:product ?W .
-#   } => {
-#     ?P :weeklyStored ?W .
-#   } .
-# with substitution (on rule variables):
-#   ?D = "259"^^xsd:decimal
-#   ?P = :Sunflower
-#   ?W = "1813"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Sunflower :weeklyStored "1813"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Fern :weeklyStored "231"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :Fern :dailyStored "33"^^xsd:decimal .
-#   ("33"^^xsd:decimal 7) math:product "231"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?P :dailyStored ?D .
-#     (?D 7) math:product ?W .
-#   } => {
-#     ?P :weeklyStored ?W .
-#   } .
-# with substitution (on rule variables):
-#   ?D = "33"^^xsd:decimal
-#   ?P = :Fern
-#   ?W = "231"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Fern :weeklyStored "231"^^xsd:decimal .
-