Różnice między wybraną wersją a wersją aktualną.
|
pl:miw:miw08_xtt_rif:przyklad3 [2008/04/13 16:56] miw |
pl:miw:miw08_xtt_rif:przyklad3 [2019/06/27 15:50] |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| - | ====== Przykład 3 ====== | ||
| - | <code>a. Warunek | ||
| - | Compact URI prefixes: | ||
| - | bks expands into http://example.com/books# | ||
| - | cpt expands into http://example.com/concepts# | ||
| - | curr expands into http://example.com/currencies# | ||
| - | |||
| - | RIF condition | ||
| - | |||
| - | And (Exists ?Buyer ("cpt:purchase"^^rif:iri(?Buyer | ||
| - | ?Seller | ||
| - | "cpt:book"^^rif:iri(?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> | ||
| - | <Atom> | ||
| - | <op><Const type="rif:iri">cpt:purchase</Const></op> | ||
| - | <arg><Var>Buyer</Var></arg> | ||
| - | <arg><Var>Seller</Var></arg> | ||
| - | <arg> | ||
| - | <Expr> | ||
| - | <op><Const type="rif:iri">cpt:book</Const></op> | ||
| - | <arg><Var>Author</Var></arg> | ||
| - | <arg><Const type="rif:iri">bks:LeRif</Const></arg> | ||
| - | </Expr> | ||
| - | </arg> | ||
| - | <arg> | ||
| - | <Expr> | ||
| - | <op><Const type="rif:iri">curr:USD</Const></op> | ||
| - | <arg><Const type="xsd:integer">49</Const></arg> | ||
| - | </Expr> | ||
| - | </arg> | ||
| - | </Atom> | ||
| - | </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]] | ||
