Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw08_hml_rules:hekate_case_thermostat [2008/03/31 23:56] miw |
pl:miw:miw08_hml_rules:hekate_case_thermostat [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 403: | Linia 403: | ||
| rdf:rest [rdf:type rdf:List; | rdf:rest [rdf:type rdf:List; | ||
| rdf:first _:genid5; | rdf:first _:genid5; | ||
| - | rdf:rest rdf:nil]. | + | rdf:rest rdf:nil]. |
| _:genid4 rdf:type rul:Var; | _:genid4 rdf:type rul:Var; | ||
| Linia 411: | Linia 411: | ||
| rdfs:label “?operation”. | rdfs:label “?operation”. | ||
| - | + | **Rule: 12 ** | |
| - | Rule: 12 | + | |
| - | if the season is spring | + | if the season is spring |
| - | and operation is 'not during business hours' | + | and operation is 'not during business hours' |
| - | then thermostat_setting is '15 degrees' | + | then thermostat_setting is '15 degrees' |
| Rule in non-RDF form: | Rule in non-RDF form: | ||
| - | ex : spring (?season)& | + | ex : spring (?season)& |
| - | ex : not_during_business_hours (?operation) -> | + | ex : not_during_business_hours (?operation) -> |
| - | ex : 15_degrees (?season, ?operation). | + | ex : 15_degrees (?season, ?operation). |
| Rule represented in RDF/N3 | Rule represented in RDF/N3 | ||
| - | [rdf:type rul:Rule; | + | [rdf:type rul:Rule; |
| - | rul:from _:genid1; | + | rul:from _:genid1; |
| - | rul:from _:genid2; | + | rul:from _:genid2; |
| - | rul:infer _:genid3]. | + | 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]. | ||
| - | _:genid1 rdf:type rul:Fact; | + | _:genid3 rdf:type rul:Fact; |
| - | rul:pred ex: spring; | + | rul:pred ex: 15_degrees; |
| - | rul:args [rdf:type rdf:List; | + | rul:args [rdf:type rdf:List; |
| - | rdf:first _:genid4; | + | rdf:first _:genid4; |
| - | rdf:rest rdf:nil]. | + | rdf:rest [rdf:type rdf:List; |
| + | rdf:first _:genid5; | ||
| + | rdf:rest rdf:nil]. | ||
| + | _:genid4 rdf:type rul:Var; | ||
| + | rdfs:label “?season”. | ||
| - | _:genid2 rdf:type rul:Fact; | + | _:genid5 rdf:type rul:Var; |
| - | rul:pred ex: not_during_business_hours; | + | rdfs:label “?operation”. |
| - | 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: 13** | ||
| + | |||
| + | if the season is summer | ||
| + | and operation is 'during business hours' | ||
| + | then thermostat_setting is '24 degrees' | ||
| Rule in non-RDF form: | Rule in non-RDF form: | ||
| - | ex : summer (?season)& | + | ex : summer (?season)& |
| - | ex : during_business_hours (?operation) -> | + | ex : during_business_hours (?operation) -> |
| - | ex : 24_degrees (?season, ?operation). | + | ex : 24_degrees (?season, ?operation). |
| Rule represented in RDF/N3 | Rule represented in RDF/N3 | ||
| - | [rdf:type rul:Rule; | + | [rdf:type rul:Rule; |
| - | rul:from _:genid1; | + | rul:from _:genid1; |
| - | rul:from _:genid2; | + | rul:from _:genid2; |
| - | rul:infer _:genid3]. | + | 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]. | ||
| - | _:genid1 rdf:type rul:Fact; | + | _:genid2 rdf:type rul:Fact; |
| - | rul:pred ex: summer; | + | rul:pred ex: during_business_hours; |
| - | rul:args [rdf:type rdf:List; | + | rul:args [rdf:type rdf:List; |
| - | rdf:first _:genid4; | + | rdf:first _:genid5; |
| - | rdf:rest rdf:nil]. | + | 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]. | ||
| - | _:genid2 rdf:type rul:Fact; | + | _:genid4 rdf:type rul:Var; |
| - | rul:pred ex: during_business_hours; | + | rdfs:label “?season”. |
| - | 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”. | + | |
| + | _:genid5 rdf:type rul:Var; | ||
| + | rdfs:label “?operation”. | ||
| - | Rule: 14 | + | **Rule: 14** |
| - | if the season is summer | + | |
| - | and operation is 'not during business hours' | + | if the season is summer |
| - | then thermostat_setting is '27 degrees' | + | and operation is 'not during business hours' |
| + | then thermostat_setting is '27 degrees' | ||
| Rule in non-RDF form: | Rule in non-RDF form: | ||
| - | ex : summer (?season)& | + | ex : summer (?season)& |
| - | ex : not_during_business_hours (?operation) -> | + | ex : not_during_business_hours (?operation) -> |
| - | ex : 27_degrees (?season, ?operation). | + | ex : 27_degrees (?season, ?operation). |
| Rule represented in RDF/N3 | Rule represented in RDF/N3 | ||
| - | [rdf:type rul:Rule; | + | [rdf:type rul:Rule; |
| - | rul:from _:genid1; | + | rul:from _:genid1; |
| - | rul:from _:genid2; | + | rul:from _:genid2; |
| - | rul:infer _:genid3]. | + | 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]. | ||
| - | _:genid1 rdf:type rul:Fact; | + | _:genid2 rdf:type rul:Fact; |
| - | rul:pred ex: summer; | + | rul:pred ex: not_during_business_hours; |
| - | rul:args [rdf:type rdf:List; | + | rul:args [rdf:type rdf:List; |
| - | rdf:first _:genid4; | + | rdf:first _:genid5; |
| - | rdf:rest rdf:nil]. | + | 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]. | ||
| - | _:genid2 rdf:type rul:Fact; | + | _:genid4 rdf:type rul:Var; |
| - | rul:pred ex: not_during_business_hours; | + | rdfs:label “?season”. |
| - | 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”. | + | |
| + | _:genid5 rdf:type rul:Var; | ||
| + | rdfs:label “?operation”. | ||
| - | Rule: 15 | + | **Rule: 15** |
| - | if the season is autumn | + | |
| - | and operation is 'during business hours' | + | if the season is autumn |
| - | then thermostat_setting is '20 degrees' | + | and operation is 'during business hours' |
| + | then thermostat_setting is '20 degrees' | ||
| Rule in non-RDF form: | Rule in non-RDF form: | ||
| - | ex : autumn (?season)& | + | ex : autumn (?season)& |
| - | ex : during_business_hours (?operation) -> | + | ex : during_business_hours (?operation) -> |
| - | ex : 20_degrees (?season, ?operation). | + | ex : 20_degrees (?season, ?operation). |
| Rule represented in RDF/N3 | Rule represented in RDF/N3 | ||
| - | [rdf:type rul:Rule; | + | [rdf:type rul:Rule; |
| - | rul:from _:genid1; | + | rul:from _:genid1; |
| - | rul:from _:genid2; | + | rul:from _:genid2; |
| - | rul:infer _:genid3]. | + | 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]. | ||
| - | _:genid1 rdf:type rul:Fact; | + | _:genid2 rdf:type rul:Fact; |
| - | rul:pred ex: autumn; | + | rul:pred ex: during_business_hours; |
| - | rul:args [rdf:type rdf:List; | + | rul:args [rdf:type rdf:List; |
| - | rdf:first _:genid4; | + | rdf:first _:genid5; |
| - | rdf:rest rdf:nil]. | + | 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]. | ||
| - | _:genid2 rdf:type rul:Fact; | + | _:genid4 rdf:type rul:Var; |
| - | rul:pred ex: during_business_hours; | + | rdfs:label “?season”. |
| - | 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; | + | _:genid5 rdf:type rul:Var; |
| - | Rdfs:label “?season”. | + | rdfs:label “?operation”. |
| - | _:genid5 rdf:type rul:Var; | + | **Rule: 16** |
| - | Rdfs:label “?operation”. | + | |
| - | Rule: 16 | + | if the season is autumn |
| - | if the season is autumn | + | and operation is 'not during business hours' |
| - | and operation is 'not during business hours' | + | then thermostat_setting is '16 degrees' |
| - | then thermostat_setting is '16 degrees' | + | |
| Rule in non-RDF form: | Rule in non-RDF form: | ||
| - | ex : autumn (?season)& | + | ex : autumn (?season)& |
| - | ex : not_during_business_hours (?operation) -> | + | ex : not_during_business_hours (?operation) -> |
| - | ex : 16_degrees (?season, ?operation). | + | ex : 16_degrees (?season, ?operation). |
| Rule represented in RDF/N3 | Rule represented in RDF/N3 | ||
| - | [rdf:type rul:Rule; | + | [rdf:type rul:Rule; |
| - | rul:from _:genid1; | + | rul:from _:genid1; |
| - | rul:from _:genid2; | + | rul:from _:genid2; |
| - | rul:infer _:genid3]. | + | 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]. | ||
| - | _:genid1 rdf:type rul:Fact; | + | _:genid2 rdf:type rul:Fact; |
| - | rul:pred ex: autumn; | + | rul:pred ex: not_during_business_hours; |
| - | rul:args [rdf:type rdf:List; | + | rul:args [rdf:type rdf:List; |
| - | rdf:first _:genid4; | + | rdf:first _:genid5; |
| - | rdf:rest rdf:nil]. | + | 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]. | ||
| - | _:genid2 rdf:type rul:Fact; | + | _:genid4 rdf:type rul:Var; |
| - | rul:pred ex: not_during_business_hours; | + | rdfs:label “?season”. |
| - | 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; | + | _:genid5 rdf:type rul:Var; |
| - | Rdfs:label “?operation”. | + | rdfs:label “?operation”. |
| - | Rule: 17 | + | **Rule: 17** |
| - | if the season is winter | + | |
| - | and operation is 'during business hours' | + | if the season is winter |
| - | then thermostat_setting is '18 degrees' | + | and operation is 'during business hours' |
| + | then thermostat_setting is '18 degrees' | ||
| Rule in non-RDF form: | Rule in non-RDF form: | ||
| - | ex : winter (?season)& | + | ex : winter (?season)& |
| - | ex : during_business_hours (?operation) -> | + | ex : during_business_hours (?operation) -> |
| - | ex : 18_degrees (?season, ?operation). | + | ex : 18_degrees (?season, ?operation). |
| Rule represented in RDF/N3 | Rule represented in RDF/N3 | ||
| - | [rdf:type rul:Rule; | + | [rdf:type rul:Rule; |
| - | rul:from _:genid1; | + | rul:from _:genid1; |
| - | rul:from _:genid2; | + | rul:from _:genid2; |
| - | rul:infer _:genid3]. | + | 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]. | ||
| - | _:genid1 rdf:type rul:Fact; | + | _:genid2 rdf:type rul:Fact; |
| - | rul:pred ex: winter; | + | rul:pred ex: during_business_hours; |
| - | rul:args [rdf:type rdf:List; | + | rul:args [rdf:type rdf:List; |
| - | rdf:first _:genid4; | + | rdf:first _:genid5; |
| - | rdf:rest rdf:nil]. | + | 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]. | ||
| - | _:genid2 rdf:type rul:Fact; | + | _:genid4 rdf:type rul:Var; |
| - | rul:pred ex: during_business_hours; | + | rdfs:label “?season”. |
| - | rul:args [rdf:type rdf:List; | + | |
| - | rdf:first _:genid5; | + | |
| - | rdf:rest rdf:nil]. | + | |
| - | _:genid3 rdf:type rul:Fact; | + | _:genid5 rdf:type rul:Var; |
| - | rul:pred ex: 18_degrees; | + | rdfs:label “?operation”. |
| - | 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; | + | **Rule: 18** |
| - | 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' | + | |
| + | if the season is winter | ||
| + | and operation is 'not during business hours' | ||
| + | then thermostat_setting is '14 degrees' | ||
| Rule in non-RDF form: | Rule in non-RDF form: | ||
| - | ex : winter (?season)& | + | ex : winter (?season)& |
| - | ex : not_during_business_hours (?operation) -> | + | ex : not_during_business_hours (?operation) -> |
| - | ex : 14_degrees (?season, ?operation). | + | ex : 14_degrees (?season, ?operation). |
| Rule represented in RDF/N3 | Rule represented in RDF/N3 | ||
| - | [rdf:type rul:Rule; | + | [rdf:type rul:Rule; |
| - | rul:from _:genid1; | + | rul:from _:genid1; |
| - | rul:from _:genid2; | + | rul:from _:genid2; |
| - | rul:infer _:genid3]. | + | 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]. | ||
| - | _:genid1 rdf:type rul:Fact; | + | _:genid2 rdf:type rul:Fact; |
| - | rul:pred ex: winter; | + | rul:pred ex: not_during_business_hours; |
| - | rul:args [rdf:type rdf:List; | + | rul:args [rdf:type rdf:List; |
| - | rdf:first _:genid4; | + | rdf:first _:genid5; |
| - | rdf:rest rdf:nil]. | + | 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]. | ||
| - | _:genid2 rdf:type rul:Fact; | + | _:genid4 rdf:type rul:Var; |
| - | rul:pred ex: not_during_business_hours; | + | rdfs:label “?season”. |
| - | rul:args [rdf:type rdf:List; | + | |
| - | rdf:first _:genid5; | + | |
| - | rdf:rest rdf:nil]. | + | |
| - | _:genid3 rdf:type rul:Fact; | + | _:genid5 rdf:type rul:Var; |
| - | rul:pred ex: 14_degrees; | + | rdfs:label “?operation”. |
| - | 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”. | + | |
