Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:miw:miw08_xtt_rif:thermostat [2008/03/31 15:57] miw poprawki skladni |
pl:miw:miw08_xtt_rif:thermostat [2019/06/27 15:50] (aktualna) |
<code xml> | <code xml> |
<?xml version="1.0" encoding="UTF-8"?> | <?xml version="1.0" encoding="UTF-8"?> |
<?xml-stylesheet type="text/xsl" href="RIFverb.xsl"?> | |
| |
<Ruleset> | <Group xmlns="http://www.w3.org/2007/rif#"> |
<rule> | <sentence> |
<declare><Var>dayofweek</Var></declare> | <Implies> |
<formula> | <if> |
<Implies> | <Or> |
<if> | <formula> |
<Or> | <Equal> |
<formula> | <side><Var>dayofweek</Var></side> |
<Equal> | <side><Const type="xsd:string">Monday</Const></side> |
<arg><Var>dayofweek</Var></arg> | </Equal> |
<arg><Const type="xsd:string">Monday</Const></arg> | </formula> |
</Equal> | <formula> |
</formula> | <Equal> |
<formula> | <side><Var>dayofweek</Var></side> |
<Equal> | <side><Const type="xsd:string">Tuesday</Const></side> |
<arg><Var>dayofweek</Var></arg> | </Equal> |
<arg><Const type="xsd:string">Tuesday</Const></arg> | </formula> |
</Equal> | <formula> |
</formula> | <Equal> |
<formula> | <side><Var>dayofweek</Var></side> |
<Equal> | <side><Const type="xsd:string">Wednesday</Const></side> |
<arg><Var>dayofweek</Var></arg> | </Equal> |
<arg><Const type="xsd:string">Wednesday</Const></arg> | </formula> |
</Equal> | <formula> |
</formula> | <Equal> |
<formula> | <side><Var>dayofweek</Var></side> |
<Equal> | <side><Const type="xsd:string">Thursday</Const></side> |
<arg><Var>dayofweek</Var></arg> | </Equal> |
<arg><Const type="xsd:string">Thursday</Const></arg> | </formula> |
</Equal> | <formula> |
</formula> | <Equal> |
<formula> | <side><Var>dayofweek</Var></side> |
<Equal> | <side><Const type="xsd:string">Friday</Const></side> |
<arg><Var>dayofweek</Var></arg> | </Equal> |
<arg><Const type="xsd:string">Friday</Const></arg> | </formula> |
</Equal> | </Or> |
</formula> | </if> |
</Or> | <then> |
</if> | <Atom> |
<then> | <op><Const type="rif:iri">thrm:is-workday</Const></op> |
<Uniterm> | <arg><Var>dayofweek</Var></arg> |
<op><Const type="rif:local">is-workday</Const></op> | </Atom> |
<arg><Var>dayofweek</Var></arg> | </then> |
</Uniterm> | </Implies> |
</then> | </sentence> |
</Implies> | |
</formula> | <sentence> |
</rule> | <Implies> |
| <if> |
| <Or> |
<rule> | <formula> |
<declare><Var>dayofweek</Var></declare> | <Equal> |
<formula> | <side><Var>dayofweek</Var></side> |
<Implies> | <side><Const type="xsd:string">Saturday</Const></side> |
<if> | </Equal> |
<Or> | </formula> |
<formula> | <formula> |
<Equal> | <Equal> |
<arg><Var>dayofweek</Var></arg> | <side><Var>dayofweek</Var></side> |
<arg><Const type="xsd:string">Saturday</Const></arg> | <side><Const type="xsd:string">Sunday</Const></side> |
</Equal> | </Equal> |
</formula> | </formula> |
<formula> | </Or> |
<Equal> | </if> |
<arg><Var>dayofweek</Var></arg> | <then> |
<arg><Const type="xsd:string">Sunday</Const></arg> | <Atom> |
</Equal> | <op><Const type="rif:iri">thrm:is-weekend</Const></op> |
</formula> | <arg><Var>dayofweek</Var></arg> |
</Or> | </Atom> |
</if> | </then> |
<then> | </Implies> |
<Uniterm> | </sentence> |
<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> | |
</Uniterm> | |
</formula> | |
<formula> | |
<Uniterm> | |
<op><Const type="rif:iri">op:numeric-between</Const></op> | |
<arg><Var>hour</Var></arg> | |
<arg><Const type="xsd:dateTime">9am</Const></arg> | |
<arg><Const type="xsd:dateTime">5pm</Const></arg> | |
</Uniterm> | |
</formula> | |
</And> | |
</if> | |
<then> | |
<Uniterm> | |
<op><Const type="rif:local">is-during-business-hours</Const></op> | |
<arg><Var>today</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-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> | |
</Uniterm> | |
</formula> | |
<formula> | |
<Uniterm> | |
<op><Const type="rif:iri">op:numeric-lesser-than</Const></op> | |
<arg><Var>A</Var></arg> | |
<arg></arg> | |
</Uniterm> | |
</formula> | |
</And> | |
</if> | |
<then> | |
<Uniterm> | |
<op><Const type="rif:local">is-not-during-business-hours</Const></op> | |
<arg><Var>today</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-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> | |
</Uniterm> | |
</formula> | |
<formula> | |
<Uniterm> | |
<op><Const type="rif:iri">op:numeric-greater-than</Const></op> | |
<arg><Var>hour</Var></arg> | |
<arg><Const type="xsd:dateTime">5pm</Const></arg> | |
</Uniterm> | |
</formula> | |
</And> | |
</if> | |
<then> | |
<Uniterm> | |
<op><Const type="rif:local">is-not-during-business-hours</Const></op> | |
<arg><Var>today</Var></arg> | |
</Uniterm> | |
</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> | |
<Uniterm> | |
<op><Const type="rif:local">is-not-during-business-hours</Const></op> | |
<arg><Var>today</Var></arg> | |
</Uniterm> | |
</then> | |
</Implies> | |
</formula> | |
</rule> | |
| |
| <sentence> |
| <Implies> |
| <if> |
| <And> |
| <formula> |
| <Atom> |
| <op><Const type="rif:iri">thrm:is-weekend</Const></op> |
| <arg> |
| <External> |
| <content> |
| <Expr> |
| <op><Const type="rif:iri">fn:get-dayOfWeek-from-DateTime</Const></op> |
| <arg><Var>today</Var></arg> |
| </Expr> |
| </content> |
| </External> |
| </arg> |
| </Atom> |
| </formula> |
| <formula> |
| <External> |
| <content> |
| <Atom> |
| <op><Const type="rif:iri">op:numeric-between</Const></op> |
| <arg> |
| <External> |
| <content> |
| <Expr> |
| <op><Const type="rif:iri">fn:hours-from-dateTime</Const></op> |
| <arg><Var>today</Var></arg> |
| </Expr> |
| </content> |
| </External> |
| </arg> |
| <arg><Const type="xsd:DateTime">9am</Const></arg> |
| <arg><Const type="xsd:DateTime">5pm</Const></arg> |
| </Atom> |
| </content> |
| </External> |
| </formula> |
| </And> |
| </if> |
| <then> |
| <Atom> |
| <op><Const type="rif:iri">thrm:is-during-business-hours</Const></op> |
| <arg><Var>today</Var></arg> |
| </Atom> |
| </then> |
| </Implies> |
| </sentence> |
| |
| <sentence> |
| <Implies> |
| <if> |
| <And> |
| <formula> |
| <Atom> |
| <op><Const type="rif:iri">thrm:is-workday</Const></op> |
| <arg> |
| <External> |
| <content> |
| <Expr> |
| <op><Const type="rif:iri">fn:get-dayOfWeek-from-DateTime</Const></op> |
| <arg><Var>today</Var></arg> |
| </Expr> |
| </content> |
| </External> |
| </arg> |
| </Atom> |
| </formula> |
| <formula> |
| <External> |
| <content> |
| <Atom> |
| <op><Const type="rif:iri">op:numeric-less-than</Const></op> |
| <arg> |
| <External> |
| <content> |
| <Expr> |
| <op><Const type="rif:iri">fn:hours-from-dateTime</Const></op> |
| <arg><Var>today</Var></arg> |
| </Expr> |
| </content> |
| </External> |
| </arg> |
| <arg><Const type="xsd:DateTime">9am</Const></arg> |
| </Atom> |
| </content> |
| </External> |
| </formula> |
| </And> |
| </if> |
| <then> |
| <Atom> |
| <op><Const type="rif:iri">thrm:is-not-during-business-hours</Const></op> |
| <arg><Var>today</Var></arg> |
| </Atom> |
| </then> |
| </Implies> |
| </sentence> |
| |
| <sentence> |
| <Implies> |
| <if> |
| <And> |
| <formula> |
| <Atom> |
| <op><Const type="rif:iri">thrm:is-workday</Const></op> |
| <arg> |
| <External> |
| <content> |
| <Expr> |
| <op><Const type="rif:iri">fn:get-dayOfWeek-from-DateTime</Const></op> |
| <arg><Var>today</Var></arg> |
| </Expr> |
| </content> |
| </External> |
| </arg> |
| </Atom> |
| </formula> |
| <formula> |
| <External> |
| <content> |
| <Atom> |
| <op><Const type="rif:iri">op:numeric-greater-than</Const></op> |
| <arg> |
| <External> |
| <content> |
| <Expr> |
| <op><Const type="rif:iri">fn:hours-from-dateTime</Const></op> |
| <arg><Var>today</Var></arg> |
| </Expr> |
| </content> |
| </External> |
| </arg> |
| <arg><Const type="xsd:DateTime">5pm</Const></arg> |
| </Atom> |
| </content> |
| </External> |
| </formula> |
| </And> |
| </if> |
| <then> |
| <Atom> |
| <op><Const type="rif:iri">thrm:is-not-during-business-hours</Const></op> |
| <arg><Var>today</Var></arg> |
| </Atom> |
| </then> |
| </Implies> |
| </sentence> |
| |
| <sentence> |
| <Implies> |
| <if> |
| <Atom> |
| <op><Const type="rif:iri">thrm:is-weekend</Const></op> |
| <arg> |
| <External> |
| <content> |
| <Expr> |
| <op><Const type="rif:iri">fn:get-dayOfWeek-from-DateTime</Const></op> |
| <arg><Var>today</Var></arg> |
| </Expr> |
| </content> |
| </External> |
| </arg> |
| </Atom> |
| </if> |
| <then> |
| <Atom> |
| <op><Const type="rif:iri">thrm:is-not-during-business-hours</Const></op> |
| <arg><Var>today</Var></arg> |
| </Atom> |
| </then> |
| </Implies> |
| </sentence> |
| |
<rule> | <sentence> |
<declare><Var>month</Var></declare> | <Implies> |
<formula> | <if> |
<Implies> | <Or> |
<if> | <formula> |
<Or> | <Equal> |
<formula> | <side><Var>month</Var></side> |
<Equal> | <side><Const type="rds:string">January</Const></side> |
<arg><Var>month</Var></arg> | </Equal> |
<arg><Const type="rds:string">January</Const></arg> | </formula> |
</Equal> | <formula> |
</formula> | <Equal> |
<formula> | <side><Var>month</Var></side> |
<Equal> | <side><Const type="rds:string">February</Const></side> |
<arg><Var>month</Var></arg> | </Equal> |
<arg><Const type="rds:string">February</Const></arg> | </formula> |
</Equal> | <formula> |
</formula> | <Equal> |
<formula> | <side><Var>month</Var></side> |
<Equal> | <side><Const type="rds:string">December</Const></side> |
<arg><Var>month</Var></arg> | </Equal> |
<arg><Const type="rds:string">December</Const></arg> | </formula> |
</Equal> | </Or> |
</formula> | </if> |
</Or> | <then> |
</if> | <Atom> |
<then> | <op><Const type="rif:iri">thrm:is-summer</Const></op> |
<Uniterm> | <arg><Var>month</Var></arg> |
<op><Const type="rif:local">is-summer</Const></op> | </Atom> |
<arg><Var>month</Var></arg> | </then> |
</Uniterm> | </Implies> |
| </sentence> |
| |
| <sentence> |
| <Implies> |
| <if> |
| <Or> |
| <formula> |
| <Equal> |
| <side><Var>month</Var></side> |
| <side><Const type="rds:string">March</Const></side> |
| </Equal> |
| </formula> |
| <formula> |
| <Equal> |
| <side><Var>month</Var></side> |
| <side><Const type="rds:string">April</Const></side> |
| </Equal> |
| </formula> |
| <formula> |
| <Equal> |
| <side><Var>month</Var></side> |
| <side><Const type="rds:string">May</Const></side> |
| </Equal> |
| </formula> |
| </Or> |
| </if> |
| <then> |
| <Atom> |
| <op><Const type="rif:iri">thrm:is-atumn</Const></op> |
| <arg><Var>month</Var></arg> |
| </Atom> |
</then> | </then> |
</Implies> | </Implies> |
</formula> | </sentence> |
</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> | |
<Uniterm> | |
<op><Const type="rif:local">is-atumn</Const></op> | |
<arg><Var>month</Var></arg> | |
</Uniterm> | |
</then> | |
</Implies> | |
</formula> | |
</rule> | |
| |
| |
<rule> | <sentence> |
<declare><Var>month</Var></declare> | <Implies> |
<formula> | <if> |
<Implies> | <Or> |
<if> | <formula> |
<Or> | <Equal> |
<formula> | <side><Var>month</Var></side> |
<Equal> | <side><Const type="rds:string">June</Const></side> |
<arg><Var>month</Var></arg> | </Equal> |
<arg><Const type="rds:string">June</Const></arg> | </formula> |
</Equal> | <formula> |
</formula> | <Equal> |
<formula> | <side><Var>month</Var></side> |
<Equal> | <side><Const type="rds:string">July</Const></side> |
<arg><Var>month</Var></arg> | </Equal> |
<arg><Const type="rds:string">July</Const></arg> | </formula> |
</Equal> | <formula> |
</formula> | <Equal> |
<formula> | <side><Var>month</Var></side> |
<Equal> | <side><Const type="rds:string">August</Const></side> |
<arg><Var>month</Var></arg> | </Equal> |
<arg><Const type="rds:string">August</Const></arg> | </formula> |
</Equal> | </Or> |
</formula> | </if> |
</Or> | <then> |
</if> | <Atom> |
<then> | <op><Const type="rif:iri">thrm:is-winter</Const></op> |
<Uniterm> | <arg><Var>month</Var></arg> |
<op><Const type="rif:local">is-winter</Const></op> | </Atom> |
<arg><Var>month</Var></arg> | </then> |
</Uniterm> | </Implies> |
</then> | </sentence> |
</Implies> | |
</formula> | |
</rule> | |
| |
| |
<rule> | <sentence> |
<declare><Var>month</Var></declare> | <Implies> |
<formula> | <if> |
<Implies> | <Or> |
<if> | <formula> |
<Or> | <Equal> |
<formula> | <side><Var>month</Var></side> |
<Equal> | <side><Const type="rds:string">September</Const></side> |
<arg><Var>month</Var></arg> | </Equal> |
<arg><Const type="rds:string">September</Const></arg> | </formula> |
</Equal> | <formula> |
</formula> | <Equal> |
<formula> | <side><Var>month</Var></side> |
<Equal> | <side><Const type="rds:string">October</Const></side> |
<arg><Var>month</Var></arg> | </Equal> |
<arg><Const type="rds:string">October</Const></arg> | </formula> |
</Equal> | <formula> |
</formula> | <Equal> |
<formula> | <side><Var>month</Var></side> |
<Equal> | <side><Const type="rds:string">November</Const></side> |
<arg><Var>month</Var></arg> | </Equal> |
<arg><Const type="rds:string">November</Const></arg> | </formula> |
</Equal> | </Or> |
</formula> | </if> |
</Or> | <then> |
</if> | <Atom> |
<then> | <op><Const type="rif:iri">thrm:is-spring</Const></op> |
<Uniterm> | <arg><Var>month</Var></arg> |
<op><Const type="rif:local">is-spring</Const></op> | </Atom> |
<arg><Var>month</Var></arg> | </then> |
</Uniterm> | </Implies> |
</then> | </sentence> |
</Implies> | |
</formula> | |
</rule> | |
| |
| |
<rule> | <sentence> |
<declare><Var>date</Var></declare> | <Implies> |
<declare><Var>month</Var></declare> | <if> |
<formula> | <And> |
<Implies> | <formula> |
<if> | <Atom> |
<And> | <op><Const type="rif:iri">thrm:is-spring</Const></op> |
<formula> | <arg> |
<Uniterm> | <External> |
<op><Const type="rif:iri">op:get-month-from-date</Const></op> | <content> |
<arg><Var>date</Var></arg> | <Expr> |
<arg><Var>month</Var></arg> | <op><Const type="rif:iri">fn:month-from-dateTime</Const></op> |
</Uniterm> | <arg><Var>date</Var></arg> |
</formula> | </Expr> |
<formula> | </content> |
<Uniterm> | </External> |
<op><Const type="rif:local">is-spring</Const></op> | </arg> |
<arg><Var>month</Var></arg> | </Atom> |
</Uniterm> | </formula> |
</formula> | <formula> |
<formula> | <Atom> |
<Uniterm> | <op><Const type="rif:iri">thrm:is-during-buisness-hours</Const></op> |
<op><Const type="rif:local">is-during-buisness-hours</Const></op> | <arg><Var>date</Var></arg> |
<arg><Var>date</Var></arg> | </Atom> |
</Uniterm> | </formula> |
</formula> | </And> |
</And> | </if> |
</if> | <then> |
<then> | <Atom> |
<Uniterm> | <op><Const type="rif:iri">thrm:thermostat-setting</Const></op> |
<op><Const type="rif:local">thermostat-setting</Const></op> | <arg><Const type="rds:long">20</Const></arg> |
<arg><Const type="rds:long">20</Const></arg> | </Atom> |
</Uniterm> | </then> |
</then> | </Implies> |
</Implies> | </sentence> |
</formula> | |
</rule> | |
| |
| <sentence> |
<rule> | <Implies> |
<declare><Var>date</Var></declare> | <if> |
<declare><Var>month</Var></declare> | <And> |
<formula> | <formula> |
<Implies> | <Atom> |
<if> | <op><Const type="rif:iri">thrm:is-spring</Const></op> |
<And> | <arg> |
<formula> | <External> |
<Uniterm> | <content> |
<op><Const type="rif:iri">op:get-month-from-date</Const></op> | <Expr> |
<arg><Var>date</Var></arg> | <op><Const type="rif:iri">fn:month-from-dateTime</Const></op> |
<arg><Var>month</Var></arg> | <arg><Var>date</Var></arg> |
</Uniterm> | </Expr> |
</formula> | </content> |
<formula> | </External> |
<Uniterm> | </arg> |
<op><Const type="rif:local">is-spring</Const></op> | </Atom> |
<arg><Var>month</Var></arg> | </formula> |
</Uniterm> | <formula> |
</formula> | <Atom> |
<formula> | <op><Const type="rif:iri">thrm:is-not-during-buisness-hours</Const></op> |
<Uniterm> | <arg><Var>date</Var></arg> |
<op><Const type="rif:local">is-not-during-buisness-hours</Const></op> | </Atom> |
<arg><Var>date</Var></arg> | </formula> |
</Uniterm> | </And> |
</formula> | </if> |
</And> | <then> |
</if> | <Atom> |
<then> | <op><Const type="rif:iri">thrm:thermostat-setting</Const></op> |
<Uniterm> | <arg><Const type="rds:long">15</Const></arg> |
<op><Const type="rif:local">thermostat-setting</Const></op> | </Atom> |
<arg><Const type="rds:long">15</Const></arg> | </then> |
</Uniterm> | </Implies> |
</then> | </sentence> |
</Implies> | |
</formula> | |
</rule> | |
| |
| <sentence> |
| <Implies> |
| <if> |
| <And> |
| <formula> |
| <Atom> |
| <op><Const type="rif:iri">thrm:is-summer</Const></op> |
| <arg> |
| <External> |
| <content> |
| <Expr> |
| <op><Const type="rif:iri">fn:month-from-dateTime</Const></op> |
| <arg><Var>date</Var></arg> |
| </Expr> |
| </content> |
| </External> |
| </arg> |
| </Atom> |
| </formula> |
| <formula> |
| <Atom> |
| <op><Const type="rif:iri">thrm:is-during-buisness-hours</Const></op> |
| <arg><Var>date</Var></arg> |
| </Atom> |
| </formula> |
| </And> |
| </if> |
| <then> |
| <Atom> |
| <op><Const type="rif:iri">thrm:thermostat-setting</Const></op> |
| <arg><Const type="rds:long">24</Const></arg> |
| </Atom> |
| </then> |
| </Implies> |
| </sentence> |
| |
<rule> | <sentence> |
<declare><Var>date</Var></declare> | <Implies> |
<declare><Var>month</Var></declare> | <if> |
<formula> | <And> |
<Implies> | <formula> |
<if> | <Atom> |
<And> | <op><Const type="rif:iri">thrm:is-summer</Const></op> |
<formula> | <arg> |
<Uniterm> | <External> |
<op><Const type="rif:iri">op:get-month-from-date</Const></op> | <content> |
<arg><Var>date</Var></arg> | <Expr> |
<arg><Var>month</Var></arg> | <op><Const type="rif:iri">fn:month-from-dateTime</Const></op> |
</Uniterm> | <arg><Var>date</Var></arg> |
</formula> | </Expr> |
<formula> | </content> |
<Uniterm> | </External> |
<op><Const type="rif:local">is-summer</Const></op> | </arg> |
<arg><Var>month</Var></arg> | </Atom> |
</Uniterm> | </formula> |
</formula> | <formula> |
<formula> | <Atom> |
<Uniterm> | <op><Const type="rif:iri">thrm:is-not-during-buisness-hours</Const></op> |
<op><Const type="rif:local">is-during-buisness-hours</Const></op> | <arg><Var>date</Var></arg> |
<arg><Var>date</Var></arg> | </Atom> |
</Uniterm> | </formula> |
</formula> | </And> |
</And> | </if> |
</if> | <then> |
<then> | <Atom> |
<Uniterm> | <op><Const type="rif:iri">thrm:thermostat-setting</Const></op> |
<op><Const type="rif:local">thermostat-setting</Const></op> | <arg><Const type="rds:long">27</Const></arg> |
<arg><Const type="rds:long">24</Const></arg> | </Atom> |
</Uniterm> | </then> |
</then> | </Implies> |
</Implies> | </sentence> |
</formula> | |
</rule> | |
| |
| <sentence> |
| <Implies> |
| <if> |
| <And> |
| <formula> |
| <Atom> |
| <op><Const type="rif:iri">thrm:is-atumn</Const></op> |
| <arg> |
| <External> |
| <content> |
| <Expr> |
| <op><Const type="rif:iri">fn:month-from-dateTime</Const></op> |
| <arg><Var>date</Var></arg> |
| </Expr> |
| </content> |
| </External> |
| </arg> |
| </Atom> |
| </formula> |
| <formula> |
| <Atom> |
| <op><Const type="rif:iri">thrm:is-during-buisness-hours</Const></op> |
| <arg><Var>date</Var></arg> |
| </Atom> |
| </formula> |
| </And> |
| </if> |
| <then> |
| <Atom> |
| <op><Const type="rif:iri">thrm:thermostat-setting</Const></op> |
| <arg><Const type="rds:long">20</Const></arg> |
| </Atom> |
| </then> |
| </Implies> |
| </sentence> |
| |
<rule> | <sentence> |
<declare><Var>date</Var></declare> | <Implies> |
<declare><Var>month</Var></declare> | <if> |
<formula> | <And> |
<Implies> | <formula> |
<if> | <Atom> |
<And> | <op><Const type="rif:iri">thrm:is-atumn</Const></op> |
<formula> | <arg> |
<Uniterm> | <External> |
<op><Const type="rif:iri">op:get-month-from-date</Const></op> | <content> |
<arg><Var>date</Var></arg> | <Expr> |
<arg><Var>month</Var></arg> | <op><Const type="rif:iri">fn:month-from-dateTime</Const></op> |
</Uniterm> | <arg><Var>date</Var></arg> |
</formula> | </Expr> |
<formula> | </content> |
<Uniterm> | </External> |
<op><Const type="rif:local">is-summer</Const></op> | </arg> |
<arg><Var>month</Var></arg> | </Atom> |
</Uniterm> | </formula> |
</formula> | <formula> |
<formula> | <Atom> |
<Uniterm> | <op><Const type="rif:iri">thrm:is-not-during-buisness-hours</Const></op> |
<op><Const type="rif:local">is-not-during-buisness-hours</Const></op> | <arg><Var>date</Var></arg> |
<arg><Var>date</Var></arg> | </Atom> |
</Uniterm> | </formula> |
</formula> | </And> |
</And> | </if> |
</if> | <then> |
<then> | <Atom> |
<Uniterm> | <op><Const type="rif:iri">thrm:thermostat-setting</Const></op> |
<op><Const type="rif:local">thermostat-setting</Const></op> | <arg><Const type="rds:long">16</Const></arg> |
<arg><Const type="rds:long">27</Const></arg> | </Atom> |
</Uniterm> | </then> |
</then> | </Implies> |
</Implies> | </sentence> |
</formula> | |
</rule> | |
| |
| <sentence> |
| <Implies> |
| <if> |
| <And> |
| <formula> |
| <Atom> |
| <op><Const type="rif:iri">thrm:is-winter</Const></op> |
| <arg> |
| <External> |
| <content> |
| <Expr> |
| <op><Const type="rif:iri">fn:month-from-dateTime</Const></op> |
| <arg><Var>date</Var></arg> |
| </Expr> |
| </content> |
| </External> |
| </arg> |
| </Atom> |
| </formula> |
| <formula> |
| <Atom> |
| <op><Const type="rif:iri">thrm:is-during-buisness-hours</Const></op> |
| <arg><Var>date</Var></arg> |
| </Atom> |
| </formula> |
| </And> |
| </if> |
| <then> |
| <Atom> |
| <op><Const type="rif:iri">thrm:thermostat-setting</Const></op> |
| <arg><Const type="rds:long">18</Const></arg> |
| </Atom> |
| </then> |
| </Implies> |
| </sentence> |
| |
<rule> | <sentence> |
<declare><Var>date</Var></declare> | <Implies> |
<declare><Var>month</Var></declare> | <if> |
<formula> | <And> |
<Implies> | <formula> |
<if> | <Atom> |
<And> | <op><Const type="rif:iri">thrm:is-winter</Const></op> |
<formula> | <arg> |
<Uniterm> | <External> |
<op><Const type="rif:iri">op:get-month-from-date</Const></op> | <content> |
<arg><Var>date</Var></arg> | <Expr> |
<arg><Var>month</Var></arg> | <op><Const type="rif:iri">fn:month-from-dateTime</Const></op> |
</Uniterm> | <arg><Var>date</Var></arg> |
</formula> | </Expr> |
<formula> | </content> |
<Uniterm> | </External> |
<op><Const type="rif:local">is-atumn</Const></op> | </arg> |
<arg><Var>month</Var></arg> | </Atom> |
</Uniterm> | </formula> |
</formula> | <formula> |
<formula> | <Atom> |
<Uniterm> | <op><Const type="rif:iri">thrm:is-not-during-buisness-hours</Const></op> |
<op><Const type="rif:local">is-during-buisness-hours</Const></op> | <arg><Var>date</Var></arg> |
<arg><Var>date</Var></arg> | </Atom> |
</Uniterm> | </formula> |
</formula> | </And> |
</And> | </if> |
</if> | <then> |
<then> | <Atom> |
<Uniterm> | <op><Const type="rif:iri">thrm:thermostat-setting</Const></op> |
<op><Const type="rif:local">thermostat-setting</Const></op> | <arg><Const type="rds:long">14</Const></arg> |
<arg><Const type="rds:long">20</Const></arg> | </Atom> |
</Uniterm> | </then> |
</then> | </Implies> |
</Implies> | </sentence> |
</formula> | |
</rule> | </Group> |
| |
| |
<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> | |
<Uniterm> | |
<op><Const type="rif:local">thermostat-setting</Const></op> | |
<arg><Const type="rds:long">16</Const></arg> | |
</Uniterm> | |
</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> | |
<Uniterm> | |
<op><Const type="rif:local">thermostat-setting</Const></op> | |
<arg><Const type="rds:long">18</Const></arg> | |
</Uniterm> | |
</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> | |
<Uniterm> | |
<op><Const type="rif:local">thermostat-setting</Const></op> | |
<arg><Const type="rds:long">14</Const></arg> | |
</Uniterm> | |
</then> | |
</Implies> | |
</formula> | |
</rule> | |
</Ruleset> | |
</code> | </code> |
[[pl:miw:miw08_xtt_rif|Powrót do dokumentu]] | [[pl:miw:miw08_xtt_rif|Powrót do dokumentu]] |