Both sides previous revision
Poprzednia wersja
|
|
pl:miw:miw08_hml_rules:hekate_case_thermostat [2008/04/02 13:27] miw |
pl:miw:miw08_hml_rules:hekate_case_thermostat [2019/06/27 15:50] (aktualna) |
| **Rule: 1** |
| |
| if the day is Monday |
| or the day is Tuesday or the day is Wednesday |
| or the day is Thursday or the day is Friday |
| then today is a workday |
| Rule in non-RDF form: |
| |
| @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . |
| @prefix rul: <http://id.ninebynine.org/RDFRules/1.0/> . |
| @prefix ex: <http://example.org/#> . |
| |
| ex : monday (?day)-> |
| ex : workday (?day). |
| ex : tuesday(?day)-> |
| ex : workday (?day). |
| ex : wednesday (?day)-> |
| ex : workday (?day). |
| ex : thursday (?day)-> |
| ex : workday (?day). |
| ex : friday (?day)-> |
| ex : workday (?day). |
| |
| Rule represented in RDF/N3 |
| |
| [rdf:type rul:Rule; |
| rul:from _:genid1; |
| rul:infer _:genid2]. |
| |
| _:genid1 rdf:type rul:Fact; |
| rul:pred ex:monday; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid3; |
| rdf:rest rdf:nil]. |
| |
| _:genid3 rdf:type rul:Var; |
| rdfs:label “?day”. |
| |
| [analogicznie dla pozostałych dni pracujacych] |
| |
| **Rule: 2** |
| |
| if the day is Saturday |
| or the day is Sunday |
| then today is the weekend |
| |
| Rule in non-RDF form: |
| |
| ex : saturday (?day)-> |
| ex : weekend (?day). |
| ex : sunday (?day)-> |
| ex : weekend (?day). |
| |
| [rdf:type rul:Rule; |
| rul:from _:genid1; |
| rul:infer _:genid2]. |
| |
| _:genid1 rdf:type rul:Fact; |
| rul:pred ex:saturday; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid3; |
| rdf:rest rdf:nil]. |
| |
| _:genid3 rdf:type rul:Var; |
| rdfs:label “?day”. |
| |
| [analogicznie dla „Sunday”] |
| |
| **Rule: 3** |
| |
| if today is workday |
| and the time is 'between 9 am and 5 pm' |
| then operation is 'during business hours' |
| |
| Rule in non-RDF form: |
| |
| ex : workday (?day)& |
| ex : time_between (?time1, ?time2) -> |
| ex : during_buisness_hours (?day, ?time1, ?time2). |
| |
| Rule represented in RDF/N3 |
| |
| [rdf:type rul:Rule; |
| rul:from _:genid1; |
| rul:from _:genid2; |
| rul:infer _:genid3]. |
| |
| _:genid1 rdf:type rul:Fact; |
| rul:pred ex:workday; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid4; |
| rdf:rest rdf:nil]. |
| |
| _:genid2 rdf:type rul:Fact; |
| rul:pred ex:time_between; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid5; |
| rdf:rest [rdf:type rdf:List; |
| rdf:first _:genid6; |
| rdf:rest rdf:nil]. |
| |
| _:genid3 rdf:type rul:Fact; |
| rul:pred ex: during_buisness_hours; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid4; |
| rdf:rest [rdf:type rdf:List; |
| rdf:first _:genid5; |
| rdf rest [rdf:type rdf:List; |
| rdf:first _:genid6; |
| rdf:rest rdf:nil]. |
| |
| _:genid4 rdf:type rul:Var; |
| rdfs:label “?day”. |
| |
| _:genid5 rdf:type rul:Var; |
| rdfs:label “?time1”. |
| |
| _:genid6 rdf:type rul:Var; |
| rdfs:label “?time2”. |
| |
| **Rule: 4 ** |
| |
| if today is workday |
| and the time is 'before 9 am' |
| then operation is 'not during business hours' |
| |
| Rule in non-RDF form: |
| |
| ex : workday (?day)& |
| ex : time_before (?time) -> |
| ex : not_during_buisness_hours (?day, ?time). |
| |
| Rule represented in RDF/N3 |
| |
| [rdf:type rul:Rule; |
| rul:from _:genid1; |
| rul:from _:genid2; |
| rul:infer _:genid3]. |
| |
| _:genid1 rdf:type rul:Fact; |
| rul:pred ex:workday; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid4; |
| rdf:rest rdf:nil]. |
| |
| _:genid2 rdf:type rul:Fact; |
| rul:pred ex:time_before; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid5; |
| rdf:rest rdf:nil]. |
| |
| _:genid3 rdf:type rul:Fact; |
| rul:pred ex: not_during_buisness_hours; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid4; |
| rdf:rest [rdf:type rdf:List; |
| rdf:first _:genid5; |
| rdf rest [rdf:type rdf:List; |
| rdf:first _:genid6; |
| rdf:rest rdf:nil]. |
| |
| _:genid4 rdf:type rul:Var; |
| rdfs:label “?day”. |
| |
| _:genid5 rdf:type rul:Var; |
| rdfs:label “?time”. |
| **Rule: 5** |
| |
| if today is workday |
| and the time is 'after 5 pm' |
| then operation is 'not during business hours' |
| |
| Rule in non-RDF form: |
| |
| ex : workday (?day)& |
| ex : time_after_5pm (?time) -> |
| ex : not_during_buisness_hours (?day, ?time). |
| |
| Rule represented in RDF/N3 |
| |
| [rdf:type rul:Rule; |
| rul:from _:genid1; |
| rul:from _:genid2; |
| rul:infer _:genid3]. |
| |
| _:genid1 rdf:type rul:Fact; |
| rul:pred ex:workday; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid3; |
| rdf:rest rdf:nil]. |
| |
| |
| _:genid2 rdf:type rul:Fact; |
| rul:pred ex: time_after_5pm; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid4; |
| rdf:rest rdf:nil]. |
| |
| _:genid3 rdf:type rul:Var; |
| rdfs:label “?day”. |
| |
| _:genid4 rdf:type rul:Var; |
| rdfs:label “?time”. |
| |
| **Rule: 6 ** |
| |
| if today is weekend |
| then operation is 'not during business hours' |
| |
| Rule in non-RDF form: |
| |
| ex : weekend (?day)-> |
| ex : not_during_buisness_hours (?day). |
| |
| Rule represented in RDF/N3 |
| |
| [rdf:type rul:Rule; |
| rul:from _:genid1; |
| rul:infer _:genid2]. |
| |
| _:genid1 rdf:type rul:Fact; |
| rul:pred ex: weekend; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid3; |
| rdf:rest rdf:nil]. |
| |
| |
| _:genid2 rdf:type rul:Fact; |
| rul:pred ex: not_during_buisness_hours; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid3; |
| rdf:rest rdf:nil]. |
| |
| |
| _:genid3 rdf:type rul:Var; |
| rdfs:label “?day”. |
| |
| |
| **Rule: 7** |
| |
| if the month is January |
| or the month is February or the month is December |
| then the season is summer |
| |
| Rule in non-RDF form: |
| |
| ex : January (?month)-> |
| ex : summer (?month). |
| ex : February (?month)-> |
| ex : summer (?month). |
| ex : December (?month)-> |
| ex : summer (?month). |
| |
| Rule represented in RDF/N3 |
| |
| [rdf:type rul:Rule; |
| rul:from _:genid1; |
| rul:infer _:genid2]. |
| |
| _:genid1 rdf:type rul:Fact; |
| rul:pred ex:January; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid3; |
| rdf:rest rdf:nil]. |
| |
| _:genid3 rdf:type rul:Var; |
| rdfs:label “?month”. |
| |
| [analogicznie dla „February” i „December”] |
| |
| **Rule: 8 ** |
| |
| if the month is March |
| or the month is April or the month is May |
| then the season is autumn |
| |
| Rule in non-RDF form: |
| |
| ex : March (?month)-> |
| ex : autumn (?month). |
| ex : April (?month)-> |
| ex : autumn (?month). |
| ex : May (?month)-> |
| ex : autumn (?month). |
| |
| Rule represented in RDF/N3 |
| |
| [rdf:type rul:Rule; |
| rul:from _:genid1; |
| rul:infer _:genid2]. |
| |
| _:genid1 rdf:type rul:Fact; |
| rul:pred ex:March; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid3; |
| rdf:rest rdf:nil]. |
| |
| _:genid3 rdf:type rul:Var; |
| rdfs:label “?month”. |
| |
| [analogicznie dla „April” i „May”] |
| |
| **Rule: 9** |
| |
| if the month is June |
| or the month is July or the month is August |
| then the season is winter |
| |
| Rule in non-RDF form: |
| |
| ex : June (?month)-> |
| ex : winter (?month). |
| ex : July (?month)-> |
| ex : winter (?month). |
| ex : August (?month)-> |
| ex : winter (?month). |
| |
| Rule represented in RDF/N3 |
| |
| [rdf:type rul:Rule; |
| rul:from _:genid1; |
| rul:infer _:genid2]. |
| |
| _:genid1 rdf:type rul:Fact; |
| rul:pred ex:June; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid3; |
| rdf:rest rdf:nil]. |
| |
| _:genid3 rdf:type rul:Var; |
| rdfs:label “?month”. |
| |
| [analogicznie dla „July” i „August”] |
| |
| **Rule: 10** |
| |
| if the month is September |
| or the month is October or the month is November |
| then the season is spring |
| |
| Rule in non-RDF form: |
| |
| ex : September (?month)-> |
| ex : spring (?month). |
| ex : October (?month)-> |
| ex : spring (?month). |
| ex : November (?month)-> |
| ex : spring (?month). |
| |
| Rule represented in RDF/N3 |
| |
| [rdf:type rul:Rule; |
| rul:from _:genid1; |
| rul:infer _:genid2]. |
| |
| _:genid1 rdf:type rul:Fact; |
| rul:pred ex:September; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid3; |
| rdf:rest rdf:nil]. |
| |
| _:genid3 rdf:type rul:Var; |
| rdfs:label “?month”. |
| |
| [analogicznie dla „October” i „November”] |
| |
| **Rule: 11** |
| |
| if the season is spring |
| and operation is 'during business hours' |
| then thermostat_setting is '20 degrees' |
| |
| Rule in non-RDF form: |
| |
| ex : spring (?season)& |
| ex : during_business_hours (?operation) -> |
| ex : 20_degrees (?season, ?operation). |
| |
| Rule represented in RDF/N3 |
| |
| [rdf:type rul:Rule; |
| rul:from _:genid1; |
| rul:from _:genid2; |
| rul:infer _:genid3]. |
| |
| _:genid1 rdf:type rul:Fact; |
| rul:pred ex: spring; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid4; |
| rdf:rest rdf:nil]. |
| |
| |
| _:genid2 rdf:type rul:Fact; |
| rul:pred ex: during_business_hours; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid5; |
| rdf:rest rdf:nil]. |
| |
| _:genid3 rdf:type rul:Fact; |
| rul:pred ex: 20_degrees; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid4; |
| rdf:rest [rdf:type rdf:List; |
| rdf:first _:genid5; |
| rdf:rest rdf:nil]. |
| |
| _:genid4 rdf:type rul:Var; |
| rdfs:label “?season”. |
| |
| _:genid5 rdf:type rul:Var; |
| rdfs:label “?operation”. |
| |
| **Rule: 12 ** |
| |
| if the season is spring |
| and operation is 'not during business hours' |
| then thermostat_setting is '15 degrees' |
| |
| Rule in non-RDF form: |
| |
| ex : spring (?season)& |
| ex : not_during_business_hours (?operation) -> |
| ex : 15_degrees (?season, ?operation). |
| |
| Rule represented in RDF/N3 |
| |
| [rdf:type rul:Rule; |
| rul:from _:genid1; |
| rul:from _:genid2; |
| rul:infer _:genid3]. |
| |
| _:genid1 rdf:type rul:Fact; |
| rul:pred ex: spring; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid4; |
| rdf:rest rdf:nil]. |
| |
| _:genid2 rdf:type rul:Fact; |
| rul:pred ex: not_during_business_hours; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid5; |
| rdf:rest rdf:nil]. |
| |
| _:genid3 rdf:type rul:Fact; |
| rul:pred ex: 15_degrees; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid4; |
| rdf:rest [rdf:type rdf:List; |
| rdf:first _:genid5; |
| rdf:rest rdf:nil]. |
| |
| _:genid4 rdf:type rul:Var; |
| rdfs:label “?season”. |
| |
| _:genid5 rdf:type rul:Var; |
| rdfs:label “?operation”. |
| |
| **Rule: 13** |
| |
| if the season is summer |
| and operation is 'during business hours' |
| then thermostat_setting is '24 degrees' |
| |
| Rule in non-RDF form: |
| |
| ex : summer (?season)& |
| ex : during_business_hours (?operation) -> |
| ex : 24_degrees (?season, ?operation). |
| |
| Rule represented in RDF/N3 |
| |
| [rdf:type rul:Rule; |
| rul:from _:genid1; |
| rul:from _:genid2; |
| rul:infer _:genid3]. |
| |
| _:genid1 rdf:type rul:Fact; |
| rul:pred ex: summer; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid4; |
| rdf:rest rdf:nil]. |
| |
| _:genid2 rdf:type rul:Fact; |
| rul:pred ex: during_business_hours; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid5; |
| rdf:rest rdf:nil]. |
| |
| _:genid3 rdf:type rul:Fact; |
| rul:pred ex: 24_degrees; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid4; |
| rdf:rest [rdf:type rdf:List; |
| rdf:first _:genid5; |
| rdf:rest rdf:nil]. |
| |
| _:genid4 rdf:type rul:Var; |
| rdfs:label “?season”. |
| |
| _:genid5 rdf:type rul:Var; |
| rdfs:label “?operation”. |
| |
| **Rule: 14** |
| |
| if the season is summer |
| and operation is 'not during business hours' |
| then thermostat_setting is '27 degrees' |
| |
| Rule in non-RDF form: |
| |
| ex : summer (?season)& |
| ex : not_during_business_hours (?operation) -> |
| ex : 27_degrees (?season, ?operation). |
| |
| Rule represented in RDF/N3 |
| |
| [rdf:type rul:Rule; |
| rul:from _:genid1; |
| rul:from _:genid2; |
| rul:infer _:genid3]. |
| |
| _:genid1 rdf:type rul:Fact; |
| rul:pred ex: summer; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid4; |
| rdf:rest rdf:nil]. |
| |
| _:genid2 rdf:type rul:Fact; |
| rul:pred ex: not_during_business_hours; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid5; |
| rdf:rest rdf:nil]. |
| |
| _:genid3 rdf:type rul:Fact; |
| rul:pred ex: 27_degrees; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid4; |
| rdf:rest [rdf:type rdf:List; |
| rdf:first _:genid5; |
| rdf:rest rdf:nil]. |
| |
| _:genid4 rdf:type rul:Var; |
| rdfs:label “?season”. |
| |
| _:genid5 rdf:type rul:Var; |
| rdfs:label “?operation”. |
| |
| **Rule: 15** |
| |
| if the season is autumn |
| and operation is 'during business hours' |
| then thermostat_setting is '20 degrees' |
| |
| Rule in non-RDF form: |
| |
| ex : autumn (?season)& |
| ex : during_business_hours (?operation) -> |
| ex : 20_degrees (?season, ?operation). |
| |
| Rule represented in RDF/N3 |
| |
| [rdf:type rul:Rule; |
| rul:from _:genid1; |
| rul:from _:genid2; |
| rul:infer _:genid3]. |
| |
| _:genid1 rdf:type rul:Fact; |
| rul:pred ex: autumn; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid4; |
| rdf:rest rdf:nil]. |
| |
| _:genid2 rdf:type rul:Fact; |
| rul:pred ex: during_business_hours; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid5; |
| rdf:rest rdf:nil]. |
| |
| _:genid3 rdf:type rul:Fact; |
| rul:pred ex: 20_degrees; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid4; |
| rdf:rest [rdf:type rdf:List; |
| rdf:first _:genid5; |
| rdf:rest rdf:nil]. |
| |
| _:genid4 rdf:type rul:Var; |
| rdfs:label “?season”. |
| |
| _:genid5 rdf:type rul:Var; |
| rdfs:label “?operation”. |
| |
| **Rule: 16** |
| |
| if the season is autumn |
| and operation is 'not during business hours' |
| then thermostat_setting is '16 degrees' |
| |
| Rule in non-RDF form: |
| |
| ex : autumn (?season)& |
| ex : not_during_business_hours (?operation) -> |
| ex : 16_degrees (?season, ?operation). |
| |
| Rule represented in RDF/N3 |
| |
| [rdf:type rul:Rule; |
| rul:from _:genid1; |
| rul:from _:genid2; |
| rul:infer _:genid3]. |
| |
| _:genid1 rdf:type rul:Fact; |
| rul:pred ex: autumn; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid4; |
| rdf:rest rdf:nil]. |
| |
| _:genid2 rdf:type rul:Fact; |
| rul:pred ex: not_during_business_hours; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid5; |
| rdf:rest rdf:nil]. |
| |
| _:genid3 rdf:type rul:Fact; |
| rul:pred ex: 16_degrees; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid4; |
| rdf:rest [rdf:type rdf:List; |
| rdf:first _:genid5; |
| rdf:rest rdf:nil]. |
| |
| _:genid4 rdf:type rul:Var; |
| rdfs:label “?season”. |
| |
| _:genid5 rdf:type rul:Var; |
| rdfs:label “?operation”. |
| |
| |
| **Rule: 17** |
| |
| if the season is winter |
| and operation is 'during business hours' |
| then thermostat_setting is '18 degrees' |
| |
| Rule in non-RDF form: |
| |
| ex : winter (?season)& |
| ex : during_business_hours (?operation) -> |
| ex : 18_degrees (?season, ?operation). |
| |
| Rule represented in RDF/N3 |
| |
| [rdf:type rul:Rule; |
| rul:from _:genid1; |
| rul:from _:genid2; |
| rul:infer _:genid3]. |
| |
| _:genid1 rdf:type rul:Fact; |
| rul:pred ex: winter; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid4; |
| rdf:rest rdf:nil]. |
| |
| _:genid2 rdf:type rul:Fact; |
| rul:pred ex: during_business_hours; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid5; |
| rdf:rest rdf:nil]. |
| |
| _:genid3 rdf:type rul:Fact; |
| rul:pred ex: 18_degrees; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid4; |
| rdf:rest [rdf:type rdf:List; |
| rdf:first _:genid5; |
| rdf:rest rdf:nil]. |
| |
| _:genid4 rdf:type rul:Var; |
| rdfs:label “?season”. |
| |
| _:genid5 rdf:type rul:Var; |
| rdfs:label “?operation”. |
| |
| **Rule: 18** |
| |
| if the season is winter |
| and operation is 'not during business hours' |
| then thermostat_setting is '14 degrees' |
| |
| Rule in non-RDF form: |
| |
| ex : winter (?season)& |
| ex : not_during_business_hours (?operation) -> |
| ex : 14_degrees (?season, ?operation). |
| |
| Rule represented in RDF/N3 |
| |
| [rdf:type rul:Rule; |
| rul:from _:genid1; |
| rul:from _:genid2; |
| rul:infer _:genid3]. |
| |
| _:genid1 rdf:type rul:Fact; |
| rul:pred ex: winter; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid4; |
| rdf:rest rdf:nil]. |
| |
| _:genid2 rdf:type rul:Fact; |
| rul:pred ex: not_during_business_hours; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid5; |
| rdf:rest rdf:nil]. |
| |
| _:genid3 rdf:type rul:Fact; |
| rul:pred ex: 14_degrees; |
| rul:args [rdf:type rdf:List; |
| rdf:first _:genid4; |
| rdf:rest [rdf:type rdf:List; |
| rdf:first _:genid5; |
| rdf:rest rdf:nil]. |
| |
| _:genid4 rdf:type rul:Var; |
| rdfs:label “?season”. |
| |
| _:genid5 rdf:type rul:Var; |
| rdfs:label “?operation”. |
| |
| |