|
|
pl:miw:miw08_xtt_rif:przyklad3b [2019/06/27 15:50] |
pl:miw:miw08_xtt_rif:przyklad3b [2019/06/27 15:50] (aktualna) |
| ====== Przykład 3b ====== |
| <code>a. Warunek |
| Compact URI prefixes: |
| |
| bks expands into http://example.com/books# |
| auth expands into http://example.com/authors# |
| cpt expands into http://example.com/concepts# |
| curr expands into http://example.com/currencies# |
| |
| RIF condition: |
| |
| And (Exists ?Buyer ?P ( |
| ?P#"cpt:purchase"^^rif:iri["cpt:buyer"^^rif:iri->?Buyer |
| "cpt:seller"^^rif:iri->?Seller |
| "cpt:item"^^rif:iri->"cpt:book"^^rif:iri(cpt:author->?Author |
| cpt:title->"bks:LeRif"^^rif:iri) |
| "cpt:price"^^rif:iri->"49"^^xsd:integer |
| "cpt:currency"^^rif:iri->"curr:USD"^^rif:iri]) |
| ?Seller=?Author) |
| </code><code xml> |
| b. Serializacja XML |
| |
| <And> |
| <formula> |
| <Exists> |
| <declare><Var>Buyer</Var></declare> |
| <declare><Var>P</Var></declare> |
| <formula> |
| <Frame> |
| <object> |
| <Member> |
| <lower><Var>P</Var></lower> |
| <upper><Const type="rif:iri">cpt:purchase</Const></upper> |
| </Member> |
| </object> |
| <slot> |
| <Prop> |
| <key><Const type="rif:iri">cpt:buyer</Const></key> |
| <val><Var>Buyer</Var></val> |
| </Prop> |
| </slot> |
| <slot> |
| <Prop> |
| <key><Const type="rif:iri">cpt:seller</Const></key> |
| <val><Var>Seller</Var></val> |
| </Prop> |
| </slot> |
| <slot> |
| <Prop> |
| <key><Const type="rif:iri">cpt:item</Const></key> |
| <val> |
| <Expr> |
| <op><Const type="rif:iri">cpt:book</Const></op> |
| <slot> |
| <Prop> |
| <key><Name>cpt:author</Name></key> |
| <val><Var>Author</Var></val> |
| </Prop> |
| </slot> |
| <slot> |
| <Prop> |
| <key><Name>cpt:title</Name></key> |
| <val><Const type="rif:iri">bks:LeRif</Const></val> |
| </Prop> |
| </slot> |
| </Expr> |
| </val> |
| </Prop> |
| </slot> |
| <slot> |
| <Prop> |
| <key><Const type="rif:iri">cpt:price</Const></key> |
| <val><Const type="xsd:integer">49</Const></val> |
| </Prop> |
| </slot> |
| <slot> |
| <Prop> |
| <key><Const type="rif:iri">cpt:currency</Const></key> |
| <val><Const type="rif:iri">curr:USD</Const></val> |
| </Prop> |
| </slot> |
| </Frame> |
| </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]] |