eyeling 1.6.13 → 1.6.15

package/examples/output/minimal-skos-alignment.n3

@@ -2,44 +2,5 @@
 @prefix ex: <http://example.org/> .
 @prefix ref: <http://example.org/ref/> .
 
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   anpr:VehicleWithPlate ex:treatedAs ref:Car .
-# It holds because the following instance of the rule body is provable:
-#   anpr:VehicleWithPlate skos:broadMatch ref:Car .
-# via the schematic forward rule:
-#   {
-#     ?a skos:broadMatch ?b .
-#   } => {
-#     ?a ex:treatedAs ?b .
-#   } .
-# with substitution (on rule variables):
-#   ?a = anpr:VehicleWithPlate
-#   ?b = ref:Car
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 anpr:VehicleWithPlate ex:treatedAs ref:Car .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   anpr:PassengerCar ex:treatedAs ref:Car .
-# It holds because the following instance of the rule body is provable:
-#   anpr:PassengerCar skos:broader anpr:VehicleWithPlate .
-#   anpr:VehicleWithPlate ex:treatedAs ref:Car .
-# via the schematic forward rule:
-#   {
-#     ?x skos:broader ?y .
-#     ?y ex:treatedAs ?z .
-#   } => {
-#     ?x ex:treatedAs ?z .
-#   } .
-# with substitution (on rule variables):
-#   ?x = anpr:PassengerCar
-#   ?y = anpr:VehicleWithPlate
-#   ?z = ref:Car
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 anpr:PassengerCar ex:treatedAs ref:Car .
-

package/examples/output/monkey.n3

@@ -1,40 +1,4 @@
 @prefix : <https://eyereasoner.github.io/ns#> .
 
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   _:b1 a :Animal .
-# It holds because the following instance of the rule body is provable:
-#   _:b1 a :Monkey .
-# via the schematic forward rule:
-#   {
-#     ?X a :Monkey .
-#   } => {
-#     ?X a :Animal .
-#   } .
-# with substitution (on rule variables):
-#   ?X = _:b1
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 _:b1 a :Animal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :test :is true .
-# It holds because the following instance of the rule body is provable:
-#   _:b1 a :Monkey .
-#   _:b1 a :Animal .
-# via the schematic forward rule:
-#   {
-#     ?X a :Monkey .
-#     ?X a :Animal .
-#   } => {
-#     :test :is true .
-#   } .
-# with substitution (on rule variables):
-#   ?X = _:b1
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :test :is true .
-

package/examples/output/odrl-trust.n3

@@ -1,51 +1,5 @@
 @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 .
-