Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja Nowa wersja Both sides next revision | ||
|
pl:miw:miw08_xtt_rif:obsolate [2008/04/13 17:14] miw |
pl:miw:miw08_xtt_rif:obsolate [2008/05/16 20:33] miw |
||
|---|---|---|---|
| Linia 24: | Linia 24: | ||
| * warunek RIF-BLD | * warunek RIF-BLD | ||
| * reguła RIF-BLD | * reguła RIF-BLD | ||
| + | |||
| ==== Serializacja XML dla przenoszalności RIF ==== | ==== Serializacja XML dla przenoszalności RIF ==== | ||
| Linia 69: | Linia 70: | ||
| Przykład przedstawia warunek z //przykładu 2a// zapisany za pomocą XML'a: | Przykład przedstawia warunek z //przykładu 2a// zapisany za pomocą XML'a: | ||
| + | ===== Przemyślenia dotyczące reguł zawierających przypisanie ===== | ||
| + | Przeglądając dokumentacje RIF'a nie znalazłem wzmianki o operacji przypisania. Jedną z metod, byłoby zaproponowanie zaimplementowanie predykatu fn:assign(A,B) przypisującego elementowi A wartość elementu B. Wydaje mi się, że ze względu na trwające ciągle prace nad formatem kwestia ta pozostaje otwarta i można przyjąć, że taki warunek jest formułowalny w RIF'ie.\\ | ||
| + | Proponowany przeze mnie zapis wyglądał by tak: | ||
| + | <code xml> | ||
| + | <Ruleset> | ||
| + | <rule> | ||
| + | <declare><Var>A</Var></declare> | ||
| + | <declare><Var>B</Var></declare> | ||
| + | <declare><Var>C</Var></declare> | ||
| + | <formula> | ||
| + | <Implies> | ||
| + | <if> | ||
| + | <formula> | ||
| + | <Uniterm> | ||
| + | <op><Const type="rif:iri">op:numeric-lesser-than</Const></op> | ||
| + | <arg><Var>A</Var></arg> | ||
| + | <arg> | ||
| + | <Uniterm> | ||
| + | <op><Const type="rif:iri">op:numeric-add</Const></op> | ||
| + | <arg><Const type="">3</Const></arg> | ||
| + | <arg><Var>B</Var></arg> | ||
| + | </Uniterm> | ||
| + | </arg> | ||
| + | </Uniterm> | ||
| + | </formula> | ||
| + | </if> | ||
| + | <then> | ||
| + | <Uniterm> | ||
| + | <op><Const type="rif:iri">fn:assign</Const></op> | ||
| + | <arg><Var>C</Var></arg> | ||
| + | <arg><Var>B</Var></arg> | ||
| + | </Uniterm> | ||
| + | </then> | ||
| + | </Implies> | ||
| + | </formula> | ||
| + | </rule> | ||
| + | </Ruleset> | ||
| + | </code> | ||
| - | + | Poniższe propozycje zapisu XTT za pomocą RIFa są oparte na proponowanym XTTMLu i są z nim zestawione. Jest to wstępna wersja, która zostanie dopracowana. | |
| - | + | ^XTTML ^RIF ^ | |
| + | |<code xml><xtt_table id="xtt_1"> | ||
| + | ... | ||
| + | </xtt_table></code>|<code xml><Group id="xtt_1"> | ||
| + | ... | ||
| + | </Group></code>| | ||
| + | |<code xml><rule id="rul_1"> | ||
| + | ... | ||
| + | </rule></code>|<code xml><sentence id="rul_1"> | ||
| + | ... | ||
| + | </sentence></code>| | ||
| + | |<code xml><schema> | ||
| + | <independent> | ||
| + | <attref ref="att_0"/> | ||
| + | </independent> | ||
| + | <dependent> | ||
| + | <attref ref="att_1"/> | ||
| + | </dependent> | ||
| + | </schema> | ||
| + | ...</code>|<code xml><Forall> | ||
| + | <declare><Var>att_0</Var></declare> | ||
| + | <declare><Var>att_1</Var></declare> | ||
| + | ... | ||
| + | </Forall></code>| | ||
| + | |<code xml><condition> | ||
| + | ... | ||
| + | </condition></code>|<code xml><formula> | ||
| + | <Implies> | ||
| + | <if> | ||
| + | ... | ||
| + | </if> | ||
| + | ... | ||
| + | </Implies></code>| | ||
| + | |<code xml><decision> | ||
| + | ... | ||
| + | </decision> | ||
| + | <link xtt="xtt_1"/></code>|<code xml><then> | ||
| + | <Atom> | ||
| + | <op><Const type="rif:iri">run</Const></op> | ||
| + | <arg> | ||
| + | <Atom> | ||
| + | <op><Const type="rif:iri">xtt_link</Const></op> | ||
| + | <arg><Const type="xsd:string">xtt_1</Const></arg> | ||
| + | </Atom> | ||
| + | </arg> | ||
| + | ... | ||
| + | </Atom> | ||
| + | </then></code>| | ||
