eyeling 1.5.19 → 1.5.21

package/examples/output/light-eaters.n3

@@ -0,0 +1,326 @@
+@prefix : <http://example.org/light-eaters#> .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Forest :dailyLightEnergy 200 .
+# It holds because the following instance of the rule body is provable:
+#   :Today :lightHours 10.0 .
+#   :Forest :lightIntensity 20.0 .
+#   (20.0 10.0) math:product 200 .
+# via the schematic forward rule:
+#   {
+#     :Today :lightHours ?H .
+#     ?Place :lightIntensity ?I .
+#     (?I ?H) math:product ?E .
+#   } => {
+#     ?Place :dailyLightEnergy ?E .
+#   } .
+# with substitution (on rule variables):
+#   ?E = 200
+#   ?H = 10.0
+#   ?I = 20.0
+#   ?Place = :Forest
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Forest :dailyLightEnergy 200 .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Meadow :dailyLightEnergy 1000 .
+# It holds because the following instance of the rule body is provable:
+#   :Today :lightHours 10.0 .
+#   :Meadow :lightIntensity 100.0 .
+#   (100.0 10.0) math:product 1000 .
+# via the schematic forward rule:
+#   {
+#     :Today :lightHours ?H .
+#     ?Place :lightIntensity ?I .
+#     (?I ?H) math:product ?E .
+#   } => {
+#     ?Place :dailyLightEnergy ?E .
+#   } .
+# with substitution (on rule variables):
+#   ?E = 1000
+#   ?H = 10.0
+#   ?I = 100.0
+#   ?Place = :Meadow
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Meadow :dailyLightEnergy 1000 .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Fern :storedEnergy 50 .
+# It holds because the following instance of the rule body is provable:
+#   :Fern a :Plant .
+#   :Fern :location :Forest .
+#   :Forest :dailyLightEnergy 200 .
+#   :Fern :efficiency 0.25 .
+#   (200 0.25) math:product 50 .
+# via the schematic forward rule:
+#   {
+#     ?Plant a :Plant .
+#     ?Plant :location ?Place .
+#     ?Place :dailyLightEnergy ?E .
+#     ?Plant :efficiency ?Eff .
+#     (?E ?Eff) math:product ?Stored .
+#   } => {
+#     ?Plant :storedEnergy ?Stored .
+#   } .
+# with substitution (on rule variables):
+#   ?E = 200
+#   ?Eff = 0.25
+#   ?Place = :Forest
+#   ?Plant = :Fern
+#   ?Stored = 50
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Fern :storedEnergy 50 .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Sunflower :storedEnergy 250 .
+# It holds because the following instance of the rule body is provable:
+#   :Sunflower a :Plant .
+#   :Sunflower :location :Meadow .
+#   :Meadow :dailyLightEnergy 1000 .
+#   :Sunflower :efficiency 0.25 .
+#   (1000 0.25) math:product 250 .
+# via the schematic forward rule:
+#   {
+#     ?Plant a :Plant .
+#     ?Plant :location ?Place .
+#     ?Place :dailyLightEnergy ?E .
+#     ?Plant :efficiency ?Eff .
+#     (?E ?Eff) math:product ?Stored .
+#   } => {
+#     ?Plant :storedEnergy ?Stored .
+#   } .
+# with substitution (on rule variables):
+#   ?E = 1000
+#   ?Eff = 0.25
+#   ?Place = :Meadow
+#   ?Plant = :Sunflower
+#   ?Stored = 250
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Sunflower :storedEnergy 250 .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Sunflower :netEnergy 100 .
+# It holds because the following instance of the rule body is provable:
+#   :Sunflower :storedEnergy 250 .
+#   :Sunflower :maintenance 150.0 .
+#   (250 150.0) math:difference 100 .
+# via the schematic forward rule:
+#   {
+#     ?Org :storedEnergy ?Stored .
+#     ?Org :maintenance ?Maint .
+#     (?Stored ?Maint) math:difference ?Net .
+#   } => {
+#     ?Org :netEnergy ?Net .
+#   } .
+# with substitution (on rule variables):
+#   ?Maint = 150.0
+#   ?Net = 100
+#   ?Org = :Sunflower
+#   ?Stored = 250
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Sunflower :netEnergy 100 .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Fern :netEnergy -100 .
+# It holds because the following instance of the rule body is provable:
+#   :Fern :storedEnergy 50 .
+#   :Fern :maintenance 150.0 .
+#   (50 150.0) math:difference -100 .
+# via the schematic forward rule:
+#   {
+#     ?Org :storedEnergy ?Stored .
+#     ?Org :maintenance ?Maint .
+#     (?Stored ?Maint) math:difference ?Net .
+#   } => {
+#     ?Org :netEnergy ?Net .
+#   } .
+# with substitution (on rule variables):
+#   ?Maint = 150.0
+#   ?Net = -100
+#   ?Org = :Fern
+#   ?Stored = 50
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Fern :netEnergy -100 .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Fern :canPhotosynthesize true .
+# It holds because the following instance of the rule body is provable:
+#   :Fern a :Plant .
+#   :Fern :chlorophyll true .
+#   :Fern :storedEnergy 50 .
+#   (50 0.0) math:greaterThan true .
+# via the schematic forward rule:
+#   {
+#     ?Plant a :Plant .
+#     ?Plant :chlorophyll true .
+#     ?Plant :storedEnergy ?Stored .
+#     (?Stored 0.0) math:greaterThan true .
+#   } => {
+#     ?Plant :canPhotosynthesize true .
+#     ?Plant :lightEater true .
+#   } .
+# with substitution (on rule variables):
+#   ?Plant = :Fern
+#   ?Stored = 50
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Fern :canPhotosynthesize true .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Fern :lightEater true .
+# It holds because the following instance of the rule body is provable:
+#   :Fern a :Plant .
+#   :Fern :chlorophyll true .
+#   :Fern :storedEnergy 50 .
+#   (50 0.0) math:greaterThan true .
+# via the schematic forward rule:
+#   {
+#     ?Plant a :Plant .
+#     ?Plant :chlorophyll true .
+#     ?Plant :storedEnergy ?Stored .
+#     (?Stored 0.0) math:greaterThan true .
+#   } => {
+#     ?Plant :canPhotosynthesize true .
+#     ?Plant :lightEater true .
+#   } .
+# with substitution (on rule variables):
+#   ?Plant = :Fern
+#   ?Stored = 50
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Fern :lightEater true .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Sunflower :canPhotosynthesize true .
+# It holds because the following instance of the rule body is provable:
+#   :Sunflower a :Plant .
+#   :Sunflower :chlorophyll true .
+#   :Sunflower :storedEnergy 250 .
+#   (250 0.0) math:greaterThan true .
+# via the schematic forward rule:
+#   {
+#     ?Plant a :Plant .
+#     ?Plant :chlorophyll true .
+#     ?Plant :storedEnergy ?Stored .
+#     (?Stored 0.0) math:greaterThan true .
+#   } => {
+#     ?Plant :canPhotosynthesize true .
+#     ?Plant :lightEater true .
+#   } .
+# with substitution (on rule variables):
+#   ?Plant = :Sunflower
+#   ?Stored = 250
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Sunflower :canPhotosynthesize true .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Sunflower :lightEater true .
+# It holds because the following instance of the rule body is provable:
+#   :Sunflower a :Plant .
+#   :Sunflower :chlorophyll true .
+#   :Sunflower :storedEnergy 250 .
+#   (250 0.0) math:greaterThan true .
+# via the schematic forward rule:
+#   {
+#     ?Plant a :Plant .
+#     ?Plant :chlorophyll true .
+#     ?Plant :storedEnergy ?Stored .
+#     (?Stored 0.0) math:greaterThan true .
+#   } => {
+#     ?Plant :canPhotosynthesize true .
+#     ?Plant :lightEater true .
+#   } .
+# with substitution (on rule variables):
+#   ?Plant = :Sunflower
+#   ?Stored = 250
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Sunflower :lightEater true .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Mushroom :lightEater false .
+# It holds because the following instance of the rule body is provable:
+#   :Mushroom a :Fungus .
+# via the schematic forward rule:
+#   {
+#     ?X a :Fungus .
+#   } => {
+#     ?X :lightEater false .
+#   } .
+# with substitution (on rule variables):
+#   ?X = :Mushroom
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Mushroom :lightEater false .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Sunflower :thriving true .
+# It holds because the following instance of the rule body is provable:
+#   :Sunflower :netEnergy 100 .
+#   (100 0.0) math:greaterThan true .
+# via the schematic forward rule:
+#   {
+#     ?Org :netEnergy ?Net .
+#     (?Net 0.0) math:greaterThan true .
+#   } => {
+#     ?Org :thriving true .
+#   } .
+# with substitution (on rule variables):
+#   ?Net = 100
+#   ?Org = :Sunflower
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Sunflower :thriving true .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :Fern :hungry true .
+# It holds because the following instance of the rule body is provable:
+#   :Fern :netEnergy -100 .
+#   (-100 0.0) math:notGreaterThan true .
+# via the schematic forward rule:
+#   {
+#     ?Org :netEnergy ?Net .
+#     (?Net 0.0) math:notGreaterThan true .
+#   } => {
+#     ?Org :hungry true .
+#   } .
+# with substitution (on rule variables):
+#   ?Net = -100
+#   ?Org = :Fern
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:Fern :hungry true .
+

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