Różnice między wybraną wersją a wersją aktualną.
| Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw08_xtt_rif:thermostat [2008/03/14 09:47] miw utworzono |
pl:miw:miw08_xtt_rif:thermostat [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| ====== Zapisanie reguł thermostatu za pomocą formatu RIF ====== | ====== Zapisanie reguł thermostatu za pomocą formatu RIF ====== | ||
| <code xml> | <code xml> | ||
| - | <Ruleset> | + | <?xml version="1.0" encoding="UTF-8"?> |
| - | <rule> | + | |
| - | <declare><Var>day</Var></declare> | + | <Group xmlns="http://www.w3.org/2007/rif#"> |
| - | <declare><Var>dayofweek</Var></declare> | + | <sentence> |
| - | <formula> | + | <Implies> |
| - | <Implies> | + | <if> |
| - | <if> | + | <Or> |
| - | <And> | + | <formula> |
| - | <formula> | + | <Equal> |
| - | <Uniterm> | + | <side><Var>dayofweek</Var></side> |
| - | <op><Const type="rif:iri">fn:get-day-of-week</Const></op> | + | <side><Const type="xsd:string">Monday</Const></side> |
| - | <arg><Var>day</Var></arg> | + | </Equal> |
| - | <arg><Var>dayofweek</Var></arg> | + | </formula> |
| - | </Uniterm> | + | <formula> |
| - | </formula> | + | <Equal> |
| - | <Or> | + | <side><Var>dayofweek</Var></side> |
| - | <formula> | + | <side><Const type="xsd:string">Tuesday</Const></side> |
| - | <Equal> | + | </Equal> |
| - | <arg><Var>dayofweek</Var></arg> | + | </formula> |
| - | <arg><Const type="xsd:string">Monday</Const></arg> | + | <formula> |
| - | </Equal> | + | <Equal> |
| - | </formula> | + | <side><Var>dayofweek</Var></side> |
| - | <formula> | + | <side><Const type="xsd:string">Wednesday</Const></side> |
| - | <Equal> | + | </Equal> |
| - | <arg><Var>dayofweek</Var></arg> | + | </formula> |
| - | <arg><Const type="xsd:string">Tuesday</Const></arg> | + | <formula> |
| - | </Equal> | + | <Equal> |
| - | </formula> | + | <side><Var>dayofweek</Var></side> |
| - | <formula> | + | <side><Const type="xsd:string">Thursday</Const></side> |
| - | <Equal> | + | </Equal> |
| - | <arg><Var>dayofweek</Var></arg> | + | </formula> |
| - | <arg><Const type="xsd:string">Wednesday</Const></arg> | + | <formula> |
| - | </Equal> | + | <Equal> |
| - | </formula> | + | <side><Var>dayofweek</Var></side> |
| - | <formula> | + | <side><Const type="xsd:string">Friday</Const></side> |
| - | <Equal> | + | </Equal> |
| - | <arg><Var>dayofweek</Var></arg> | + | </formula> |
| - | <arg><Const type="xsd:string">Thursday</Const></arg> | + | </Or> |
| - | </Equal> | + | </if> |
| - | </formula> | + | <then> |
| - | <formula> | + | <Atom> |
| - | <Equal> | + | <op><Const type="rif:iri">thrm:is-workday</Const></op> |
| - | <arg><Var>dayofweek</Var></arg> | + | <arg><Var>dayofweek</Var></arg> |
| - | <arg><Const type="xsd:string">Friday</Const></arg> | + | </Atom> |
| - | </Equal> | + | </then> |
| - | </formula> | + | </Implies> |
| - | </Or> | + | </sentence> |
| - | </And> | + | |
| - | </if> | + | <sentence> |
| - | <then> | + | <Implies> |
| - | <Uniterm> | + | <if> |
| - | <op><Const type="rif:local">is-workday</Const></op> | + | <Or> |
| - | <arg><Var>dayofweek</Var></arg> | + | <formula> |
| - | </Uniterm> | + | <Equal> |
| - | </then> | + | <side><Var>dayofweek</Var></side> |
| - | </Implies> | + | <side><Const type="xsd:string">Saturday</Const></side> |
| - | </formula> | + | </Equal> |
| - | </rule> | + | </formula> |
| - | <rule> | + | <formula> |
| - | <declare><Var>day</Var></declare> | + | <Equal> |
| - | <declare><Var>dayofweek</Var></declare> | + | <side><Var>dayofweek</Var></side> |
| - | <formula> | + | <side><Const type="xsd:string">Sunday</Const></side> |
| - | <Implies> | + | </Equal> |
| - | <if> | + | </formula> |
| - | <And> | + | </Or> |
| - | <formula> | + | </if> |
| - | <Uniterm> | + | <then> |
| - | <op><Const type="rif:iri">fn:get-day-of-week</Const></op> | + | <Atom> |
| - | <arg><Var>day</Var></arg> | + | <op><Const type="rif:iri">thrm:is-weekend</Const></op> |
| - | <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> | <arg><Var>dayofweek</Var></arg> | ||
| - | </Uniterm> | + | </Atom> |
| - | </then> | + | </then> |
| - | </Implies> | + | </Implies> |
| - | </formula> | + | </sentence> |
| - | </rule> | + | |
| - | <rule> | + | <sentence> |
| - | <declare><Var>today</Var></declare> | + | <Implies> |
| - | <declare><Var>hour</Var></declare> | + | <if> |
| - | <formula> | + | <And> |
| - | <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> | <formula> | ||
| - | <Uniterm> | + | <Atom> |
| - | <op><Const type="rif:local">is-during-business-hours</Const></op> | + | <op><Const type="rif:iri">thrm:is-weekend</Const></op> |
| - | <arg><Var>today</Var></arg> | + | <arg> |
| - | </Uniterm> | + | <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> | ||
| - | </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> | <formula> | ||
| - | <Uniterm> | + | <External> |
| - | <op><Const type="rif:local">is-not-during-business-hours</Const></op> | + | <content> |
| - | <arg><Var>today</Var></arg> | + | <Atom> |
| - | </Uniterm> | + | <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> | </formula> | ||
| - | </then> | + | </And> |
| - | </Implies> | + | </if> |
| - | </formula> | + | <then> |
| - | </rule> | + | <Atom> |
| - | <rule> | + | <op><Const type="rif:iri">thrm:is-during-business-hours</Const></op> |
| - | <declare><Var>today</Var></declare> | + | <arg><Var>today</Var></arg> |
| - | <declare><Var>hour</Var></declare> | + | </Atom> |
| - | <formula> | + | </then> |
| - | <Implies> | + | </Implies> |
| - | <if> | + | </sentence> |
| - | <And> | + | |
| - | <formula> | + | <sentence> |
| - | <Uniterm> | + | <Implies> |
| - | <op><Const type="rif:local">is-workday</Const></op> | + | <if> |
| - | <arg><Var>today</Var></arg> | + | <And> |
| - | </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> | <formula> | ||
| - | <Uniterm> | + | <Atom> |
| - | <op><Const type="rif:local">is-not-during-business-hours</Const></op> | + | <op><Const type="rif:iri">thrm:is-workday</Const></op> |
| - | <arg><Var>today</Var></arg> | + | <arg> |
| - | </Uniterm> | + | <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> | ||
| - | </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> | <formula> | ||
| - | <Uniterm> | + | <External> |
| - | <op><Const type="rif:local">is-not-during-business-hours</Const></op> | + | <content> |
| - | <arg><Var>today</Var></arg> | + | <Atom> |
| - | </Uniterm> | + | <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> | </formula> | ||
| - | </then> | + | </And> |
| - | </Implies> | + | </if> |
| - | </formula> | + | <then> |
| - | </rule> | + | <Atom> |
| - | <rule> | + | <op><Const type="rif:iri">thrm:is-not-during-business-hours</Const></op> |
| - | <declare><Var>month</Var></declare> | + | <arg><Var>today</Var></arg> |
| - | <formula> | + | </Atom> |
| - | <Implies> | + | </then> |
| - | <if> | + | </Implies> |
| - | <Or> | + | </sentence> |
| - | <formula> | + | |
| - | <Equal> | + | <sentence> |
| - | <arg><Var>month</Var></arg> | + | <Implies> |
| - | <arg><Const type="rds:string">January</Const></arg> | + | <if> |
| - | </Equal> | + | <And> |
| - | </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> | <formula> | ||
| - | <Uniterm> | + | <Atom> |
| - | <op><Const type="rif:local">is-summer</Const></op> | + | <op><Const type="rif:iri">thrm:is-workday</Const></op> |
| - | <arg><Var>month</Var></arg> | + | <arg> |
| - | </Uniterm> | + | <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> | ||
| - | </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> | <formula> | ||
| - | <Uniterm> | + | <External> |
| - | <op><Const type="rif:local">is-atumn</Const></op> | + | <content> |
| - | <arg><Var>month</Var></arg> | + | <Atom> |
| - | </Uniterm> | + | <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> | </formula> | ||
| - | </then> | + | </And> |
| - | </Implies> | + | </if> |
| - | </formula> | + | <then> |
| - | </rule> | + | <Atom> |
| - | <rule> | + | <op><Const type="rif:iri">thrm:is-not-during-business-hours</Const></op> |
| - | <declare><Var>month</Var></declare> | + | <arg><Var>today</Var></arg> |
| - | <formula> | + | </Atom> |
| - | <Implies> | + | </then> |
| - | <if> | + | </Implies> |
| - | <Or> | + | </sentence> |
| - | <formula> | + | |
| - | <Equal> | + | <sentence> |
| - | <arg><Var>month</Var></arg> | + | <Implies> |
| - | <arg><Const type="rds:string">June</Const></arg> | + | <if> |
| - | </Equal> | + | <Atom> |
| - | </formula> | + | <op><Const type="rif:iri">thrm:is-weekend</Const></op> |
| - | <formula> | + | <arg> |
| - | <Equal> | + | <External> |
| - | <arg><Var>month</Var></arg> | + | <content> |
| - | <arg><Const type="rds:string">July</Const></arg> | + | <Expr> |
| - | </Equal> | + | <op><Const type="rif:iri">fn:get-dayOfWeek-from-DateTime</Const></op> |
| - | </formula> | + | <arg><Var>today</Var></arg> |
| - | <formula> | + | </Expr> |
| - | <Equal> | + | </content> |
| - | <arg><Var>month</Var></arg> | + | </External> |
| - | <arg><Const type="rds:string">August</Const></arg> | + | </arg> |
| - | </Equal> | + | </Atom> |
| - | </formula> | + | </if> |
| - | </Or> | + | <then> |
| - | </if> | + | <Atom> |
| - | <then> | + | <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> | ||
| + | <Or> | ||
| <formula> | <formula> | ||
| - | <Uniterm> | + | <Equal> |
| - | <op><Const type="rif:local">is-winter</Const></op> | + | <side><Var>month</Var></side> |
| - | <arg><Var>month</Var></arg> | + | <side><Const type="rds:string">January</Const></side> |
| - | </Uniterm> | + | </Equal> |
| </formula> | </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> | <formula> | ||
| - | <Uniterm> | + | <Equal> |
| - | <op><Const type="rif:local">is-spring</Const></op> | + | <side><Var>month</Var></side> |
| - | <arg><Var>month</Var></arg> | + | <side><Const type="rds:string">February</Const></side> |
| - | </Uniterm> | + | </Equal> |
| </formula> | </formula> | ||
| + | <formula> | ||
| + | <Equal> | ||
| + | <side><Var>month</Var></side> | ||
| + | <side><Const type="rds:string">December</Const></side> | ||
| + | </Equal> | ||
| + | </formula> | ||
| + | </Or> | ||
| + | </if> | ||
| + | <then> | ||
| + | <Atom> | ||
| + | <op><Const type="rif:iri">thrm:is-summer</Const></op> | ||
| + | <arg><Var>month</Var></arg> | ||
| + | </Atom> | ||
| + | </then> | ||
| + | </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>date</Var></declare> | + | <sentence> |
| - | <declare><Var>month</Var></declare> | + | <Implies> |
| - | <formula> | + | <if> |
| - | <Implies> | + | <Or> |
| - | <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> | <formula> | ||
| - | <Uniterm> | + | <Equal> |
| - | <op><Const type="rif:local">thermostat-setting</Const></op> | + | <side><Var>month</Var></side> |
| - | <arg><Const type="rds:long">20</Const></arg> | + | <side><Const type="rds:string">June</Const></side> |
| - | </Uniterm> | + | </Equal> |
| </formula> | </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> | <formula> | ||
| - | <Uniterm> | + | <Equal> |
| - | <op><Const type="rif:local">thermostat-setting</Const></op> | + | <side><Var>month</Var></side> |
| - | <arg><Const type="rds:long">15</Const></arg> | + | <side><Const type="rds:string">July</Const></side> |
| - | </Uniterm> | + | </Equal> |
| </formula> | </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> | <formula> | ||
| - | <Uniterm> | + | <Equal> |
| - | <op><Const type="rif:local">thermostat-setting</Const></op> | + | <side><Var>month</Var></side> |
| - | <arg><Const type="rds:long">24</Const></arg> | + | <side><Const type="rds:string">August</Const></side> |
| - | </Uniterm> | + | </Equal> |
| </formula> | </formula> | ||
| - | </then> | + | </Or> |
| - | </Implies> | + | </if> |
| - | </formula> | + | <then> |
| - | </rule> | + | <Atom> |
| - | <rule> | + | <op><Const type="rif:iri">thrm:is-winter</Const></op> |
| - | <declare><Var>date</Var></declare> | + | <arg><Var>month</Var></arg> |
| - | <declare><Var>month</Var></declare> | + | </Atom> |
| - | <formula> | + | </then> |
| - | <Implies> | + | </Implies> |
| - | <if> | + | </sentence> |
| - | <And> | + | |
| - | <formula> | + | |
| - | <Uniterm> | + | <sentence> |
| - | <op><Const type="rif:iri">op:get-month-from-date</Const></op> | + | <Implies> |
| - | <arg><Var>date</Var></arg> | + | <if> |
| - | <arg><Var>month></Var></arg> | + | <Or> |
| - | </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> | <formula> | ||
| - | <Uniterm> | + | <Equal> |
| - | <op><Const type="rif:local">thermostat-setting</Const></op> | + | <side><Var>month</Var></side> |
| - | <arg><Const type="rds:long">27</Const></arg> | + | <side><Const type="rds:string">September</Const></side> |
| - | </Uniterm> | + | </Equal> |
| </formula> | </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> | <formula> | ||
| - | <Uniterm> | + | <Equal> |
| - | <op><Const type="rif:local">thermostat-setting</Const></op> | + | <side><Var>month</Var></side> |
| - | <arg><Const type="rds:long">20</Const></arg> | + | <side><Const type="rds:string">October</Const></side> |
| - | </Uniterm> | + | </Equal> |
| </formula> | </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> | <formula> | ||
| - | <Uniterm> | + | <Equal> |
| - | <op><Const type="rif:local">thermostat-setting</Const></op> | + | <side><Var>month</Var></side> |
| - | <arg><Const type="rds:long">16</Const></arg> | + | <side><Const type="rds:string">November</Const></side> |
| - | </Uniterm> | + | </Equal> |
| </formula> | </formula> | ||
| - | </then> | + | </Or> |
| - | </Implies> | + | </if> |
| - | </formula> | + | <then> |
| - | </rule> | + | <Atom> |
| - | <rule> | + | <op><Const type="rif:iri">thrm:is-spring</Const></op> |
| - | <declare><Var>date</Var></declare> | + | <arg><Var>month</Var></arg> |
| - | <declare><Var>month</Var></declare> | + | </Atom> |
| - | <formula> | + | </then> |
| - | <Implies> | + | </Implies> |
| - | <if> | + | </sentence> |
| - | <And> | + | |
| - | <formula> | + | |
| - | <Uniterm> | + | <sentence> |
| - | <op><Const type="rif:iri">op:get-month-from-date</Const></op> | + | <Implies> |
| - | <arg><Var>date</Var></arg> | + | <if> |
| - | <arg><Var>month></Var></arg> | + | <And> |
| - | </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> | <formula> | ||
| - | <Uniterm> | + | <Atom> |
| - | <op><Const type="rif:local">thermostat-setting</Const></op> | + | <op><Const type="rif:iri">thrm:is-spring</Const></op> |
| - | <arg><Const type="rds:long">18</Const></arg> | + | <arg> |
| - | </Uniterm> | + | <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> | ||
| - | </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> | <formula> | ||
| - | <Uniterm> | + | <Atom> |
| - | <op><Const type="rif:local">thermostat-setting</Const></op> | + | <op><Const type="rif:iri">thrm:is-during-buisness-hours</Const></op> |
| - | <arg><Const type="rds:long">14</Const></arg> | + | <arg><Var>date</Var></arg> |
| - | </Uniterm> | + | </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> | ||
| + | |||
| + | <sentence> | ||
| + | <Implies> | ||
| + | <if> | ||
| + | <And> | ||
| + | <formula> | ||
| + | <Atom> | ||
| + | <op><Const type="rif:iri">thrm:is-spring</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> | ||
| - | </then> | + | <formula> |
| - | </Implies> | + | <Atom> |
| - | </formula> | + | <op><Const type="rif:iri">thrm:is-not-during-buisness-hours</Const></op> |
| - | </rule> | + | <arg><Var>date</Var></arg> |
| - | </Ruleset> | + | </Atom> |
| + | </formula> | ||
| + | </And> | ||
| + | </if> | ||
| + | <then> | ||
| + | <Atom> | ||
| + | <op><Const type="rif:iri">thrm:thermostat-setting</Const></op> | ||
| + | <arg><Const type="rds:long">15</Const></arg> | ||
| + | </Atom> | ||
| + | </then> | ||
| + | </Implies> | ||
| + | </sentence> | ||
| + | |||
| + | <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> | ||
| + | |||
| + | <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-not-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">27</Const></arg> | ||
| + | </Atom> | ||
| + | </then> | ||
| + | </Implies> | ||
| + | </sentence> | ||
| + | |||
| + | <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> | ||
| + | |||
| + | <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-not-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">16</Const></arg> | ||
| + | </Atom> | ||
| + | </then> | ||
| + | </Implies> | ||
| + | </sentence> | ||
| + | |||
| + | <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> | ||
| + | |||
| + | <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-not-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">14</Const></arg> | ||
| + | </Atom> | ||
| + | </then> | ||
| + | </Implies> | ||
| + | </sentence> | ||
| + | |||
| + | </Group> | ||
| </code> | </code> | ||
| [[pl:miw:miw08_xtt_rif|Powrót do dokumentu]] | [[pl:miw:miw08_xtt_rif|Powrót do dokumentu]] | ||
