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”.
pl/miw/miw08_hml_rules/hekate_case_thermostat.txt · ostatnio zmienione: 2017/07/17 08:08 (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