Różnice
Różnice między wybraną wersją a wersją aktualną.
Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:miw:miw08_xtt_rif:przyklad3 [2008/03/14 09:39] miw |
pl:miw:miw08_xtt_rif:przyklad3 [2008/04/13 17:00] miw |
====== Przykład 3 ====== | |
<code>Używamy prefix'u bks jako skrótu dla http://example.com/books# | |
oraz curr dla http://example.com/currencies# | |
| |
a. Warunek RIF | |
| |
And ( Exists ?Buyer ( purchase^^rif:local ( ?Buyer | |
?Seller | |
book^^rif:local ( ?Author bks:LeRif^^rif:iri ) | |
curr:USD^^rif:iri ( 49^^xsd:integer ) ) | |
?Seller=?Author ) | |
</code><code xml> | |
b. Serializacja XML | |
| |
<And> | |
<formula> | |
<Exists> | |
<declare><Var>Buyer</Var></declare> | |
<formula> | |
<Uniterm> | |
<op><Const type="rif:local">purchase</Const></op> | |
<arg><Var>Buyer</Var></arg> | |
<arg><Var>Seller</Var></arg> | |
<arg> | |
<Uniterm> | |
<op><Const type="rif:local">book</Const></op> | |
<arg><Var>Author</Var></arg> | |
<arg><Const type="rif:iri">bks:LeRif</Const></arg> | |
</Uniterm> | |
</arg> | |
<arg> | |
<Uniterm> | |
<op><Const type="rif:iri">curr:USD</Const></op> | |
<arg><Const type="xsd:integer">49</Const></arg> | |
</Uniterm> | |
</arg> | |
</Uniterm> | |
</formula> | |
</Exists> | |
</formula> | |
<formula> | |
<Equal> | |
<side><Var>Seller</Var></side> | |
<side><Var>Author</Var></side> | |
</Equal> | |
</formula> | |
</And></code> | |
[[pl:miw:miw08_xtt_rif|Powrót do dokumentu]] | |