eyeling 1.6.13 → 1.6.14

package/examples/output/french-cities.n3

@@ -1,507 +1,23 @@
 @prefix : <http://www.agfa.com/w3c/euler/graph.axiom#> .
 
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :paris :path :orleans .
-# It holds because the following instance of the rule body is provable:
-#   :oneway rdfs:subPropertyOf :path .
-#   :paris :oneway :orleans .
-# via the schematic forward rule:
-#   {
-#     ?P rdfs:subPropertyOf ?Q .
-#     ?S ?P ?O .
-#   } => {
-#     ?S ?Q ?O .
-#   } .
-# with substitution (on rule variables):
-#   ?O = :orleans
-#   ?P = :oneway
-#   ?Q = :path
-#   ?S = :paris
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :paris :path :orleans .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :paris :path :chartres .
-# It holds because the following instance of the rule body is provable:
-#   :oneway rdfs:subPropertyOf :path .
-#   :paris :oneway :chartres .
-# via the schematic forward rule:
-#   {
-#     ?P rdfs:subPropertyOf ?Q .
-#     ?S ?P ?O .
-#   } => {
-#     ?S ?Q ?O .
-#   } .
-# with substitution (on rule variables):
-#   ?O = :chartres
-#   ?P = :oneway
-#   ?Q = :path
-#   ?S = :paris
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :paris :path :chartres .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :paris :path :amiens .
-# It holds because the following instance of the rule body is provable:
-#   :oneway rdfs:subPropertyOf :path .
-#   :paris :oneway :amiens .
-# via the schematic forward rule:
-#   {
-#     ?P rdfs:subPropertyOf ?Q .
-#     ?S ?P ?O .
-#   } => {
-#     ?S ?Q ?O .
-#   } .
-# with substitution (on rule variables):
-#   ?O = :amiens
-#   ?P = :oneway
-#   ?Q = :path
-#   ?S = :paris
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :paris :path :amiens .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :orleans :path :blois .
-# It holds because the following instance of the rule body is provable:
-#   :oneway rdfs:subPropertyOf :path .
-#   :orleans :oneway :blois .
-# via the schematic forward rule:
-#   {
-#     ?P rdfs:subPropertyOf ?Q .
-#     ?S ?P ?O .
-#   } => {
-#     ?S ?Q ?O .
-#   } .
-# with substitution (on rule variables):
-#   ?O = :blois
-#   ?P = :oneway
-#   ?Q = :path
-#   ?S = :orleans
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :orleans :path :blois .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :orleans :path :bourges .
-# It holds because the following instance of the rule body is provable:
-#   :oneway rdfs:subPropertyOf :path .
-#   :orleans :oneway :bourges .
-# via the schematic forward rule:
-#   {
-#     ?P rdfs:subPropertyOf ?Q .
-#     ?S ?P ?O .
-#   } => {
-#     ?S ?Q ?O .
-#   } .
-# with substitution (on rule variables):
-#   ?O = :bourges
-#   ?P = :oneway
-#   ?Q = :path
-#   ?S = :orleans
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :orleans :path :bourges .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :blois :path :tours .
-# It holds because the following instance of the rule body is provable:
-#   :oneway rdfs:subPropertyOf :path .
-#   :blois :oneway :tours .
-# via the schematic forward rule:
-#   {
-#     ?P rdfs:subPropertyOf ?Q .
-#     ?S ?P ?O .
-#   } => {
-#     ?S ?Q ?O .
-#   } .
-# with substitution (on rule variables):
-#   ?O = :tours
-#   ?P = :oneway
-#   ?Q = :path
-#   ?S = :blois
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :blois :path :tours .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :chartres :path :lemans .
-# It holds because the following instance of the rule body is provable:
-#   :oneway rdfs:subPropertyOf :path .
-#   :chartres :oneway :lemans .
-# via the schematic forward rule:
-#   {
-#     ?P rdfs:subPropertyOf ?Q .
-#     ?S ?P ?O .
-#   } => {
-#     ?S ?Q ?O .
-#   } .
-# with substitution (on rule variables):
-#   ?O = :lemans
-#   ?P = :oneway
-#   ?Q = :path
-#   ?S = :chartres
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :chartres :path :lemans .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :lemans :path :angers .
-# It holds because the following instance of the rule body is provable:
-#   :oneway rdfs:subPropertyOf :path .
-#   :lemans :oneway :angers .
-# via the schematic forward rule:
-#   {
-#     ?P rdfs:subPropertyOf ?Q .
-#     ?S ?P ?O .
-#   } => {
-#     ?S ?Q ?O .
-#   } .
-# with substitution (on rule variables):
-#   ?O = :angers
-#   ?P = :oneway
-#   ?Q = :path
-#   ?S = :lemans
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :lemans :path :angers .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :lemans :path :tours .
-# It holds because the following instance of the rule body is provable:
-#   :oneway rdfs:subPropertyOf :path .
-#   :lemans :oneway :tours .
-# via the schematic forward rule:
-#   {
-#     ?P rdfs:subPropertyOf ?Q .
-#     ?S ?P ?O .
-#   } => {
-#     ?S ?Q ?O .
-#   } .
-# with substitution (on rule variables):
-#   ?O = :tours
-#   ?P = :oneway
-#   ?Q = :path
-#   ?S = :lemans
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :lemans :path :tours .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :angers :path :nantes .
-# It holds because the following instance of the rule body is provable:
-#   :oneway rdfs:subPropertyOf :path .
-#   :angers :oneway :nantes .
-# via the schematic forward rule:
-#   {
-#     ?P rdfs:subPropertyOf ?Q .
-#     ?S ?P ?O .
-#   } => {
-#     ?S ?Q ?O .
-#   } .
-# with substitution (on rule variables):
-#   ?O = :nantes
-#   ?P = :oneway
-#   ?Q = :path
-#   ?S = :angers
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :angers :path :nantes .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :lemans :path :nantes .
-# It holds because the following instance of the rule body is provable:
-#   :path a owl:TransitiveProperty .
-#   :lemans :path :angers .
-#   :angers :path :nantes .
-# via the schematic forward rule:
-#   {
-#     ?P a owl:TransitiveProperty .
-#     ?S ?P ?X .
-#     ?X ?P ?O .
-#   } => {
-#     ?S ?P ?O .
-#   } .
-# with substitution (on rule variables):
-#   ?O = :nantes
-#   ?P = :path
-#   ?S = :lemans
-#   ?X = :angers
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :lemans :path :nantes .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :chartres :path :angers .
-# It holds because the following instance of the rule body is provable:
-#   :path a owl:TransitiveProperty .
-#   :chartres :path :lemans .
-#   :lemans :path :angers .
-# via the schematic forward rule:
-#   {
-#     ?P a owl:TransitiveProperty .
-#     ?S ?P ?X .
-#     ?X ?P ?O .
-#   } => {
-#     ?S ?P ?O .
-#   } .
-# with substitution (on rule variables):
-#   ?O = :angers
-#   ?P = :path
-#   ?S = :chartres
-#   ?X = :lemans
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :chartres :path :angers .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :chartres :path :tours .
-# It holds because the following instance of the rule body is provable:
-#   :path a owl:TransitiveProperty .
-#   :chartres :path :lemans .
-#   :lemans :path :tours .
-# via the schematic forward rule:
-#   {
-#     ?P a owl:TransitiveProperty .
-#     ?S ?P ?X .
-#     ?X ?P ?O .
-#   } => {
-#     ?S ?P ?O .
-#   } .
-# with substitution (on rule variables):
-#   ?O = :tours
-#   ?P = :path
-#   ?S = :chartres
-#   ?X = :lemans
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :chartres :path :tours .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :orleans :path :tours .
-# It holds because the following instance of the rule body is provable:
-#   :path a owl:TransitiveProperty .
-#   :orleans :path :blois .
-#   :blois :path :tours .
-# via the schematic forward rule:
-#   {
-#     ?P a owl:TransitiveProperty .
-#     ?S ?P ?X .
-#     ?X ?P ?O .
-#   } => {
-#     ?S ?P ?O .
-#   } .
-# with substitution (on rule variables):
-#   ?O = :tours
-#   ?P = :path
-#   ?S = :orleans
-#   ?X = :blois
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :orleans :path :tours .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :paris :path :lemans .
-# It holds because the following instance of the rule body is provable:
-#   :path a owl:TransitiveProperty .
-#   :paris :path :chartres .
-#   :chartres :path :lemans .
-# via the schematic forward rule:
-#   {
-#     ?P a owl:TransitiveProperty .
-#     ?S ?P ?X .
-#     ?X ?P ?O .
-#   } => {
-#     ?S ?P ?O .
-#   } .
-# with substitution (on rule variables):
-#   ?O = :lemans
-#   ?P = :path
-#   ?S = :paris
-#   ?X = :chartres
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :paris :path :lemans .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :paris :path :blois .
-# It holds because the following instance of the rule body is provable:
-#   :path a owl:TransitiveProperty .
-#   :paris :path :orleans .
-#   :orleans :path :blois .
-# via the schematic forward rule:
-#   {
-#     ?P a owl:TransitiveProperty .
-#     ?S ?P ?X .
-#     ?X ?P ?O .
-#   } => {
-#     ?S ?P ?O .
-#   } .
-# with substitution (on rule variables):
-#   ?O = :blois
-#   ?P = :path
-#   ?S = :paris
-#   ?X = :orleans
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :paris :path :blois .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :paris :path :bourges .
-# It holds because the following instance of the rule body is provable:
-#   :path a owl:TransitiveProperty .
-#   :paris :path :orleans .
-#   :orleans :path :bourges .
-# via the schematic forward rule:
-#   {
-#     ?P a owl:TransitiveProperty .
-#     ?S ?P ?X .
-#     ?X ?P ?O .
-#   } => {
-#     ?S ?P ?O .
-#   } .
-# with substitution (on rule variables):
-#   ?O = :bourges
-#   ?P = :path
-#   ?S = :paris
-#   ?X = :orleans
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :paris :path :bourges .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :paris :path :tours .
-# It holds because the following instance of the rule body is provable:
-#   :path a owl:TransitiveProperty .
-#   :paris :path :blois .
-#   :blois :path :tours .
-# via the schematic forward rule:
-#   {
-#     ?P a owl:TransitiveProperty .
-#     ?S ?P ?X .
-#     ?X ?P ?O .
-#   } => {
-#     ?S ?P ?O .
-#   } .
-# with substitution (on rule variables):
-#   ?O = :tours
-#   ?P = :path
-#   ?S = :paris
-#   ?X = :blois
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :paris :path :tours .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :paris :path :angers .
-# It holds because the following instance of the rule body is provable:
-#   :path a owl:TransitiveProperty .
-#   :paris :path :lemans .
-#   :lemans :path :angers .
-# via the schematic forward rule:
-#   {
-#     ?P a owl:TransitiveProperty .
-#     ?S ?P ?X .
-#     ?X ?P ?O .
-#   } => {
-#     ?S ?P ?O .
-#   } .
-# with substitution (on rule variables):
-#   ?O = :angers
-#   ?P = :path
-#   ?S = :paris
-#   ?X = :lemans
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :paris :path :angers .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :paris :path :nantes .
-# It holds because the following instance of the rule body is provable:
-#   :path a owl:TransitiveProperty .
-#   :paris :path :lemans .
-#   :lemans :path :nantes .
-# via the schematic forward rule:
-#   {
-#     ?P a owl:TransitiveProperty .
-#     ?S ?P ?X .
-#     ?X ?P ?O .
-#   } => {
-#     ?S ?P ?O .
-#   } .
-# with substitution (on rule variables):
-#   ?O = :nantes
-#   ?P = :path
-#   ?S = :paris
-#   ?X = :lemans
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :paris :path :nantes .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :chartres :path :nantes .
-# It holds because the following instance of the rule body is provable:
-#   :path a owl:TransitiveProperty .
-#   :chartres :path :angers .
-#   :angers :path :nantes .
-# via the schematic forward rule:
-#   {
-#     ?P a owl:TransitiveProperty .
-#     ?S ?P ?X .
-#     ?X ?P ?O .
-#   } => {
-#     ?S ?P ?O .
-#   } .
-# with substitution (on rule variables):
-#   ?O = :nantes
-#   ?P = :path
-#   ?S = :chartres
-#   ?X = :angers
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :chartres :path :nantes .
-

package/examples/output/good-cobbler.n3

@@ -1,27 +1,5 @@
 @prefix : <https://eyereasoner.github.io/ns#> .
 
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :test :is {
-#       :joe :is (:good :Cobbler) .
-#   } .
-# It holds because the following instance of the rule body is provable:
-#   :joe :is (:good :Cobbler) .
-# via the schematic forward rule:
-#   {
-#     ?X :is (:good ?Y) .
-#   } => {
-#     :test :is {
-#         ?X :is (:good ?Y) .
-#     } .
-#   } .
-# with substitution (on rule variables):
-#   ?X = :joe
-#   ?Y = :Cobbler
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :test :is {
     :joe :is (:good :Cobbler) .
 } .
-

package/examples/output/gps.n3

@@ -2,67 +2,5 @@
 @prefix gps: <https://eyereasoner.github.io/eye/reasoning/gps/gps-schema#> .
 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
 
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :i1 gps:path ((:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende) "4100"^^xsd:decimal "0.018"^^xsd:decimal "0.903168"^^xsd:decimal "0.9801"^^xsd:decimal) .
-# It holds because the following instance of the rule body is provable:
-#   :i1 :location :Gent .
-#   ({
-#       :i1 :location :Gent .
-#   } {
-#       :i1 :location :Oostende .
-#   } (:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende) "4100"^^xsd:decimal "0.018"^^xsd:decimal "0.903168"^^xsd:decimal "0.9801"^^xsd:decimal) :path true .
-# via the schematic forward rule:
-#   {
-#     :i1 :location :Gent .
-#     ({
-#         :i1 :location :Gent .
-#     } {
-#         :i1 :location :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"^^xsd:decimal
-#   ?Comf = "0.9801"^^xsd:decimal
-#   ?Cost = "0.018"^^xsd:decimal
-#   ?Dur = "4100"^^xsd:decimal
-# 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"^^xsd:decimal "0.018"^^xsd:decimal "0.903168"^^xsd:decimal "0.9801"^^xsd:decimal) .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :i1 gps:path ((:drive_gent_brugge :drive_brugge_oostende) "2400"^^xsd:decimal "0.01"^^xsd:decimal "0.9408"^^xsd:decimal "0.99"^^xsd:decimal) .
-# It holds because the following instance of the rule body is provable:
-#   :i1 :location :Gent .
-#   ({
-#       :i1 :location :Gent .
-#   } {
-#       :i1 :location :Oostende .
-#   } (:drive_gent_brugge :drive_brugge_oostende) "2400"^^xsd:decimal "0.01"^^xsd:decimal "0.9408"^^xsd:decimal "0.99"^^xsd:decimal) :path true .
-# via the schematic forward rule:
-#   {
-#     :i1 :location :Gent .
-#     ({
-#         :i1 :location :Gent .
-#     } {
-#         :i1 :location :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"^^xsd:decimal
-#   ?Comf = "0.99"^^xsd:decimal
-#   ?Cost = "0.01"^^xsd:decimal
-#   ?Dur = "2400"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :i1 gps:path ((:drive_gent_brugge :drive_brugge_oostende) "2400"^^xsd:decimal "0.01"^^xsd:decimal "0.9408"^^xsd:decimal "0.99"^^xsd:decimal) .
-

package/examples/output/gray-code-counter.n3

@@ -1,20 +1,3 @@
 @prefix : <https://eyereasoner.github.io/eye/reasoning#> .
 
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   ((1 1 1 1 1 1 1 1 1) (0 0 0)) :isgcc ((0 0 1) (0 1 1) (0 1 0) (1 1 0) (1 1 1) (1 0 1) (1 0 0) (0 0 0) (0 0 1)) .
-# It holds because the following instance of the rule body is provable:
-#   ((1 1 1 1 1 1 1 1 1) (0 0 0)) :testgcc ((0 0 1) (0 1 1) (0 1 0) (1 1 0) (1 1 1) (1 0 1) (1 0 0) (0 0 0) (0 0 1)) .
-# via the schematic forward rule:
-#   {
-#     ((1 1 1 1 1 1 1 1 1) (0 0 0)) :testgcc ?Q .
-#   } => {
-#     ((1 1 1 1 1 1 1 1 1) (0 0 0)) :isgcc ?Q .
-#   } .
-# with substitution (on rule variables):
-#   ?Q = ((0 0 1) (0 1 1) (0 1 0) (1 1 0) (1 1 1) (1 0 1) (1 0 0) (0 0 0) (0 0 1))
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 ((1 1 1 1 1 1 1 1 1) (0 0 0)) :isgcc ((0 0 1) (0 1 1) (0 1 0) (1 1 0) (1 1 1) (1 0 1) (1 0 0) (0 0 0) (0 0 1)) .
-

package/examples/output/hanoi.n3

@@ -1,20 +1,3 @@
 @prefix : <https://eyereasoner.github.io/eye/reasoning#> .
 
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   3 :answer ((:left :right) (:left :center) (:right :center) (:left :right) (:center :left) (:center :right) (:left :right)) .
-# It holds because the following instance of the rule body is provable:
-#   (3 :left :right :center) :moves ((:left :right) (:left :center) (:right :center) (:left :right) (:center :left) (:center :right) (:left :right)) .
-# via the schematic forward rule:
-#   {
-#     (3 :left :right :center) :moves ?M .
-#   } => {
-#     3 :answer ?M .
-#   } .
-# with substitution (on rule variables):
-#   ?M = ((:left :right) (:left :center) (:right :center) (:left :right) (:center :left) (:center :right) (:left :right))
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 3 :answer ((:left :right) (:left :center) (:right :center) (:left :right) (:center :left) (:center :right) (:left :right)) .
-