AIwiki

To jest stara wersja strony!

RIF(Rule Interchange Format) jest stworzonym przez W3C (Word Wide Web Consorcium) formatem reguł pozwalających na ich wymianę dla różnych języków reguł w sieciach semantycznych (RDF, OWL).

Aby można było użyć RIF'a do przedstawiania regół potrzebna jest wiedza jak zapisywac typowe dla nich elementy. Przykładkowo:

• wartosc logiczna: np: B

<Var> B </Var>

• stałe argumenty: np: 300

<arg><Const type="rds:long"> 300 </Const></arg>

• suma: n+1

<Uniterm>
<op><Const type="rif:iri"> op:numeric-add </Const></op>
<arg><Const type=""> 1 </Const></arg>
<arg><Var> n </Var></arg>
</Uniterm>

• różnica: n-1

<Uniterm>
<op><Const type="rif:iri"> op:numeric-subtract </Const></op>
<arg><Const type=""> 1 </Const></arg>
<arg><Var> n </Var></arg>
</Uniterm>

• równość: (wyr_1) = (wartosc)

<Equal>
<arg> wyr_1 </arg>
<arg> wartosc </arg>
</Equal>

• nierówność: n > 0

<Uniterm>
<op><Const type="rif:iri"> op:numeric-greater-than </Const></op>
<arg><Var> n </Var></arg>
<arg><Const type="xsd:decimal"> 0 </Const></arg>
</Uniterm>

• nierówność: n ⇐ 1

<Uniterm>
<op><Const type="rif:iri"> op:numeric-less-or-equal-than </Const></op>
<arg><Var> n </Var></arg>
<arg><Const type="xsd:decimal"> 0 </Const></arg>
</Uniterm>

• suma logiczna : (wyr_1) and (wyr_2)

<And>
<formula>
(wyr_1)
</formula> 
<formula>
(wyr_2)
</formula>
</And>

• warunek if : (conclusion) if (conditions)

<Implies>
<if>
(conditions)
</if>
<then>
(conclusion)
</then>
</Implies>

Powrót