**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”.