Różnice

Różnice między wybraną wersją a wersją aktualną.

Odnośnik do tego porównania

Both sides previous revision Poprzednia wersja
Nowa wersja
Poprzednia wersja
pl:miw:miw08_hml_rules:hekate_case_thermostat [2008/04/02 13:17]
miw
pl:miw:miw08_hml_rules:hekate_case_thermostat [2019/06/27 15:50] (aktualna)
Linia 491: Linia 491:
                  ​rul:​args [rdf:type rdf:List;                  ​rul:​args [rdf:type rdf:List;
                            ​rdf:​first _:genid4;                            ​rdf:​first _:genid4;
-            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].
Linia 536: Linia 536:
                  ​rul:​args [rdf:type rdf:List;                  ​rul:​args [rdf:type rdf:List;
                            ​rdf:​first _:genid4;                            ​rdf:​first _:genid4;
-            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; 
-                   Rdfs:​label ​   “?​season”.+                 rdfs:​label ​ “?​season”.
  
-_:​genid5 ​    ​rdf:​type rul:Var; +    ​_:​genid5 ​    ​rdf:​type rul:Var; 
-                   Rdfs:​label ​ “?​operation”.+                 rdfs:label “?​operation”.
  
- +**Rule: 15**  
-Rule: 15   ​ +   
-if    the season is autumn  +    ​if    the season is autumn  
-and   ​operation is '​during business hours'  +    and   ​operation is '​during business hours'  
-then  thermostat_setting is '20 degrees'​+    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+    ​_:genid5 ​    rdf:type rul:Var
-        ​rul:​pred ex: 20_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; +**Rule16**   
-                   ​Rdfs:​label ​   “?​season”.+
  
-_:​genid5 ​    ​rdf:type rul:Var; +    if    the season is autumn  
-                   ​Rdfs:​label ​ “?​operation”. +    and   ​operation is 'not during business hours'  
- +    then  thermostat_setting is '16 degrees'​
-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: 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+    ​_:genid5 ​    rdf:type rul:Var
-        ​rul:​pred ex: 16_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; +**Rule: 17** 
-                   ​Rdfs:​label ​ “?​operation”. +    
- +    if    the season is winter  
- +    and   ​operation is '​during business hours'  
-Rule: 17    +    then  thermostat_setting is '18 degrees'​
-if    the season is winter  +
-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”.+
  
  
pl/miw/miw08_hml_rules/hekate_case_thermostat.txt · ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0