Różnice

Różnice między wybraną wersją a wersją aktualną.

Odnośnik do tego porównania

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
Linia 1: Linia 1:
-====== 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]] 
pl/miw/miw08_xtt_rif/przyklad3.txt · ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0