To jest stara wersja strony!
<Ruleset>
<rule>
<declare><Var>day</Var></declare>
<declare><Var>dayofweek</Var></declare>
<formula>
<Implies>
<if>
<And>
<formula>
<Uniterm>
<op><Const type="rif:iri">fn:get-day-of-week</Const></op>
<arg><Var>day</Var></arg>
<arg><Var>dayofweek</Var></arg>
</Uniterm>
</formula>
<Or>
<formula>
<Equal>
<arg><Var>dayofweek</Var></arg>
<arg><Const type="xsd:string">Monday</Const></arg>
</Equal>
</formula>
<formula>
<Equal>
<arg><Var>dayofweek</Var></arg>
<arg><Const type="xsd:string">Tuesday</Const></arg>
</Equal>
</formula>
<formula>
<Equal>
<arg><Var>dayofweek</Var></arg>
<arg><Const type="xsd:string">Wednesday</Const></arg>
</Equal>
</formula>
<formula>
<Equal>
<arg><Var>dayofweek</Var></arg>
<arg><Const type="xsd:string">Thursday</Const></arg>
</Equal>
</formula>
<formula>
<Equal>
<arg><Var>dayofweek</Var></arg>
<arg><Const type="xsd:string">Friday</Const></arg>
</Equal>
</formula>
</Or>
</And>
</if>
<then>
<Uniterm>
<op><Const type="rif:local">is-workday</Const></op>
<arg><Var>dayofweek</Var></arg>
</Uniterm>
</then>
</Implies>
</formula>
</rule>
<rule>
<declare><Var>day</Var></declare>
<declare><Var>dayofweek</Var></declare>
<formula>
<Implies>
<if>
<And>
<formula>
<Uniterm>
<op><Const type="rif:iri">fn:get-day-of-week</Const></op>
<arg><Var>day</Var></arg>
<arg><Var>dayofweek</Var></arg>
</Uniterm>
</formula>
<Or>
<formula>
<Equal>
<arg><Var>dayofweek</Var></arg>
<arg><Const type="xsd:string">Saturday</Const></arg>
</Equal>
</formula>
<formula>
<Equal>
<arg><Var>dayofweek</Var></arg>
<arg><Const type="xsd:string">Sunday</Const></arg>
</Equal>
</formula>
</Or>
</And>
</if>
<then>
<Uniterm>
<op><Const type="rif:local">is-weekend</Const></op>
<arg><Var>dayofweek</Var></arg>
</Uniterm>
</then>
</Implies>
</formula>
</rule>
<rule>
<declare><Var>today</Var></declare>
<declare><Var>hour</Var></declare>
<formula>
<Implies>
<if>
<And>
<formula>
<Uniterm>
<op><Const type="rif:local">is-weekend</Const></op>
<arg><Var>today</Var></arg>
</Uniterm>
</formula>
<formula>
<Uniterm>
<op><Const type="rif:local">fn:get-hour-from-Date</Const></op>
<arg><Var>today</Var></arg>
<arg><Var>hour</Var></arg>
</formula>
<formula>
<Uniterm>
<op><Const type="rif:iri">op:numeric-between</op>
<arg><Var>hour</Var>
<arg><Const type="xsd:dateTime">9am</Const></arg>
<arg><Const type="xsd:dateTime">5pm</Const></arg>
</Uniterm>
</formula>
</And>
</if>
<then>
<formula>
<Uniterm>
<op><Const type="rif:local">is-during-business-hours</Const></op>
<arg><Var>today</Var></arg>
</Uniterm>
</formula>
</then>
</Implies>
</formula>
</rule>
<rule>
<declare><Var>today</Var></declare>
<formula>
<Implies>
<if>
<And>
<formula>
<Uniterm>
<op><Const type="rif:local">is-workday</Const></op>
<arg><Var>today</Var></arg>
</Uniterm>
</formula>
<formula>
<Uniterm>
<op><Const type="rif:local">fn:get-hour-from-Date</Const></op>
<arg><Var>today</Var></arg>
<arg><Var>hour</Var></arg>
</formula>
<formula>
<Uniterm>
<op><Const type="rif:iri">op:numeric-lesser-than</op>
<arg><Var>hour</Var>
<arg><Const type="xsd:dateTime">9am</Const></arg>
</Uniterm>
</formula>
</And>
</if>
<then>
<formula>
<Uniterm>
<op><Const type="rif:local">is-not-during-business-hours</Const></op>
<arg><Var>today</Var></arg>
</Uniterm>
</formula>
</then>
</Implies>
</formula>
</rule>
<rule>
<declare><Var>today</Var></declare>
<declare><Var>hour</Var></declare>
<formula>
<Implies>
<if>
<And>
<formula>
<Uniterm>
<op><Const type="rif:local">is-workday</Const></op>
<arg><Var>today</Var></arg>
</Uniterm>
</formula>
<formula>
<Uniterm>
<op><Const type="rif:local">fn:get-hour-from-Date</Const></op>
<arg><Var>today</Var></arg>
<arg><Var>hour</Var></arg>
</formula>
<formula>
<Uniterm>
<op><Const type="rif:iri">op:numeric-greater-than</op>
<arg><Var>hour</Var>
<arg><Const type="xsd:dateTime">5pm</Const></arg>
</Uniterm>
</formula>
</And>
</if>
<then>
<formula>
<Uniterm>
<op><Const type="rif:local">is-not-during-business-hours</Const></op>
<arg><Var>today</Var></arg>
</Uniterm>
</formula>
</then>
</Implies>
</formula>
</rule>
<rule>
<declare><Var>today</Var></declare>
<formula>
<Implies>
<if>
<formula>
<Uniterm>
<op><Const type="rif:local">is-weekend</Const></op>
<arg><Var>today</Var></arg>
</Uniterm>
</formula>
</if>
<then>
<formula>
<Uniterm>
<op><Const type="rif:local">is-not-during-business-hours</Const></op>
<arg><Var>today</Var></arg>
</Uniterm>
</formula>
</then>
</Implies>
</formula>
</rule>
<rule>
<declare><Var>month</Var></declare>
<formula>
<Implies>
<if>
<Or>
<formula>
<Equal>
<arg><Var>month</Var></arg>
<arg><Const type="rds:string">January</Const></arg>
</Equal>
</formula>
<formula>
<Equal>
<arg><Var>month</Var></arg>
<arg><Const type="rds:string">February</Const></arg>
</Equal>
</formula>
<formula>
<Equal>
<arg><Var>month</Var></arg>
<arg><Const type="rds:string">December</Const></arg>
</Equal>
</formula>
</Or>
</if>
<then>
<formula>
<Uniterm>
<op><Const type="rif:local">is-summer</Const></op>
<arg><Var>month</Var></arg>
</Uniterm>
</formula>
</then>
</Implies>
</formula>
</rule>
<rule>
<declare><Var>month</Var></declare>
<formula>
<Implies>
<if>
<Or>
<formula>
<Equal>
<arg><Var>month</Var></arg>
<arg><Const type="rds:string">March</Const></arg>
</Equal>
</formula>
<formula>
<Equal>
<arg><Var>month</Var></arg>
<arg><Const type="rds:string">April</Const></arg>
</Equal>
</formula>
<formula>
<Equal>
<arg><Var>month</Var></arg>
<arg><Const type="rds:string">May</Const></arg>
</Equal>
</formula>
</Or>
</if>
<then>
<formula>
<Uniterm>
<op><Const type="rif:local">is-atumn</Const></op>
<arg><Var>month</Var></arg>
</Uniterm>
</formula>
</then>
</Implies>
</formula>
</rule>
<rule>
<declare><Var>month</Var></declare>
<formula>
<Implies>
<if>
<Or>
<formula>
<Equal>
<arg><Var>month</Var></arg>
<arg><Const type="rds:string">June</Const></arg>
</Equal>
</formula>
<formula>
<Equal>
<arg><Var>month</Var></arg>
<arg><Const type="rds:string">July</Const></arg>
</Equal>
</formula>
<formula>
<Equal>
<arg><Var>month</Var></arg>
<arg><Const type="rds:string">August</Const></arg>
</Equal>
</formula>
</Or>
</if>
<then>
<formula>
<Uniterm>
<op><Const type="rif:local">is-winter</Const></op>
<arg><Var>month</Var></arg>
</Uniterm>
</formula>
</then>
</Implies>
</formula>
</rule>
<rule>
<declare><Var>month</Var></declare>
<formula>
<Implies>
<if>
<Or>
<formula>
<Equal>
<arg><Var>month</Var></arg>
<arg><Const type="rds:string">September</Const></arg>
</Equal>
</formula>
<formula>
<Equal>
<arg><Var>month</Var></arg>
<arg><Const type="rds:string">October</Const></arg>
</Equal>
</formula>
<formula>
<Equal>
<arg><Var>month</Var></arg>
<arg><Const type="rds:string">November</Const></arg>
</Equal>
</formula>
</Or>
</if>
<then>
<formula>
<Uniterm>
<op><Const type="rif:local">is-spring</Const></op>
<arg><Var>month</Var></arg>
</Uniterm>
</formula>
</then>
</Implies>
</formula>
</rule>
<rule>
<declare><Var>date</Var></declare>
<declare><Var>month</Var></declare>
<formula>
<Implies>
<if>
<And>
<formula>
<Uniterm>
<op><Const type="rif:iri">op:get-month-from-date</Const></op>
<arg><Var>date</Var></arg>
<arg><Var>month></Var></arg>
</Uniterm>
</formula>
<formula>
<Uniterm>
<op><Const type="rif:local">is-spring</Const></op>
<arg><Var>month></Var></arg>
</Uniterm>
</formula>
<formula>
<Uniterm>
<op><Const type="rif:local">is-during-buisness-hours</Const></op>
<arg><Var>date</Var></arg>
</Uniterm>
</formula>
</And>
</if>
<then>
<formula>
<Uniterm>
<op><Const type="rif:local">thermostat-setting</Const></op>
<arg><Const type="rds:long">20</Const></arg>
</Uniterm>
</formula>
</then>
</Implies>
</formula>
</rule>
<rule>
<declare><Var>date</Var></declare>
<formula>
<Implies>
<if>
<And>
<formula>
<Uniterm>
<op><Const type="rif:iri">op:get-month-from-date</Const></op>
<arg><Var>date</Var></arg>
<arg><Var>month></Var></arg>
</Uniterm>
</formula>
<formula>
<Uniterm>
<op><Const type="rif:local">is-spring</Const></op>
<arg><Var>month></Var></arg>
</Uniterm>
</formula>
<formula>
<Uniterm>
<op><Const type="rif:local">is-not-during-buisness-hours</Const></op>
<arg><Var>date</Var></arg>
</Uniterm>
</formula>
</And>
</if>
<then>
<formula>
<Uniterm>
<op><Const type="rif:local">thermostat-setting</Const></op>
<arg><Const type="rds:long">15</Const></arg>
</Uniterm>
</formula>
</then>
</Implies>
</formula>
</rule>
<rule>
<declare><Var>date</Var></declare>
<declare><Var>month</Var></declare>
<formula>
<Implies>
<if>
<And>
<formula>
<Uniterm>
<op><Const type="rif:iri">op:get-month-from-date</Const></op>
<arg><Var>date</Var></arg>
<arg><Var>month></Var></arg>
</Uniterm>
</formula>
<formula>
<Uniterm>
<op><Const type="rif:local">is-summer</Const></op>
<arg><Var>month></Var></arg>
</Uniterm>
</formula>
<formula>
<Uniterm>
<op><Const type="rif:local">is-during-buisness-hours</Const></op>
<arg><Var>date</Var></arg>
</Uniterm>
</formula>
</And>
</if>
<then>
<formula>
<Uniterm>
<op><Const type="rif:local">thermostat-setting</Const></op>
<arg><Const type="rds:long">24</Const></arg>
</Uniterm>
</formula>
</then>
</Implies>
</formula>
</rule>
<rule>
<declare><Var>date</Var></declare>
<declare><Var>month</Var></declare>
<formula>
<Implies>
<if>
<And>
<formula>
<Uniterm>
<op><Const type="rif:iri">op:get-month-from-date</Const></op>
<arg><Var>date</Var></arg>
<arg><Var>month></Var></arg>
</Uniterm>
</formula>
<formula>
<Uniterm>
<op><Const type="rif:local">is-summer</Const></op>
<arg><Var>month></Var></arg>
</Uniterm>
</formula>
<formula>
<Uniterm>
<op><Const type="rif:local">is-not-during-buisness-hours</Const></op>
<arg><Var>date</Var></arg>
</Uniterm>
</formula>
</And>
</if>
<then>
<formula>
<Uniterm>
<op><Const type="rif:local">thermostat-setting</Const></op>
<arg><Const type="rds:long">27</Const></arg>
</Uniterm>
</formula>
</then>
</Implies>
</formula>
</rule>
<rule>
<declare><Var>date</Var></declare>
<declare><Var>month</Var></declare>
<formula>
<Implies>
<if>
<And>
<formula>
<Uniterm>
<op><Const type="rif:iri">op:get-month-from-date</Const></op>
<arg><Var>date</Var></arg>
<arg><Var>month></Var></arg>
</Uniterm>
</formula>
<formula>
<Uniterm>
<op><Const type="rif:local">is-atumn</Const></op>
<arg><Var>month></Var></arg>
</Uniterm>
</formula>
<formula>
<Uniterm>
<op><Const type="rif:local">is-during-buisness-hours</Const></op>
<arg><Var>date</Var></arg>
</Uniterm>
</formula>
</And>
</if>
<then>
<formula>
<Uniterm>
<op><Const type="rif:local">thermostat-setting</Const></op>
<arg><Const type="rds:long">20</Const></arg>
</Uniterm>
</formula>
</then>
</Implies>
</formula>
</rule>
<rule>
<declare><Var>date</Var></declare>
<declare><Var>month</Var></declare>
<formula>
<Implies>
<if>
<And>
<formula>
<Uniterm>
<op><Const type="rif:iri">op:get-month-from-date</Const></op>
<arg><Var>date</Var></arg>
<arg><Var>month></Var></arg>
</Uniterm>
</formula>
<formula>
<Uniterm>
<op><Const type="rif:local">is-atumn</Const></op>
<arg><Var>month></Var></arg>
</Uniterm>
</formula>
<formula>
<Uniterm>
<op><Const type="rif:local">is-not-during-buisness-hours</Const></op>
<arg><Var>date</Var></arg>
</Uniterm>
</formula>
</And>
</if>
<then>
<formula>
<Uniterm>
<op><Const type="rif:local">thermostat-setting</Const></op>
<arg><Const type="rds:long">16</Const></arg>
</Uniterm>
</formula>
</then>
</Implies>
</formula>
</rule>
<rule>
<declare><Var>date</Var></declare>
<declare><Var>month</Var></declare>
<formula>
<Implies>
<if>
<And>
<formula>
<Uniterm>
<op><Const type="rif:iri">op:get-month-from-date</Const></op>
<arg><Var>date</Var></arg>
<arg><Var>month></Var></arg>
</Uniterm>
</formula>
<formula>
<Uniterm>
<op><Const type="rif:local">is-winter</Const></op>
<arg><Var>month></Var></arg>
</Uniterm>
</formula>
<formula>
<Uniterm>
<op><Const type="rif:local">is-during-buisness-hours</Const></op>
<arg><Var>date</Var></arg>
</Uniterm>
</formula>
</And>
</if>
<then>
<formula>
<Uniterm>
<op><Const type="rif:local">thermostat-setting</Const></op>
<arg><Const type="rds:long">18</Const></arg>
</Uniterm>
</formula>
</then>
</Implies>
</formula>
</rule>
<rule>
<declare><Var>date</Var></declare>
<declare><Var>month</Var></declare>
<formula>
<Implies>
<if>
<And>
<formula>
<Uniterm>
<op><Const type="rif:iri">op:get-month-from-date</Const></op>
<arg><Var>date</Var></arg>
<arg><Var>month></Var></arg>
</Uniterm>
</formula>
<formula>
<Uniterm>
<op><Const type="rif:local">is-winter</Const></op>
<arg><Var>month></Var></arg>
</Uniterm>
</formula>
<formula>
<Uniterm>
<op><Const type="rif:local">is-not-during-buisness-hours</Const></op>
<arg><Var>date</Var></arg>
</Uniterm>
</formula>
</And>
</if>
<then>
<formula>
<Uniterm>
<op><Const type="rif:local">thermostat-setting</Const></op>
<arg><Const type="rds:long">14</Const></arg>
</Uniterm>
</formula>
</then>
</Implies>
</formula>
</rule>
</Ruleset>
Powrót do dokumentu