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:obsolate [2008/04/13 16:23] miw |
pl:miw:miw08_xtt_rif:obsolate [2008/05/29 19:31] miw |
==== Przypisywanie podpisu do stałych symboli ==== | |
Opis podpisów (ang. signatures) został umieszczony [[pl:miw:miw08_xtt_rif:signatures|tutaj]]. Podpisy nie są częścią składni RIFa. | |
==== Obsługiwane typy termów ==== | |
RIF-BLD wspiera powyższe typy termów: | |
* stałe | |
* zmienne | |
* pozycjonowane | |
* z nazwanymi argumentami | |
* równościowe | |
* ramy | |
* należące do klasy | |
* należące do podklas | |
==== Wspierane przestrzenie symboli ==== | |
* [[http://www.w3.org/2001/XMLSchema#string|xsd:string]] | |
* [[http://www.w3.org/2001/XMLSchema#decimal|xsd:decimal]] | |
* [[http://www.w3.org/2001/XMLSchema#time|xsd:time]] | |
* [[http://www.w3.org/2001/XMLSchema#dateTime|xsd:date]] | |
* [[http://www.w3.org/2001/XMLSchema#dateTime|xsd:dateTime]] | |
* [[http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral|rdf:XMLLiteral]] | |
* rif:text (dla ciągów znaków z dołączonymi tagami językowymi) | |
* rif:iri (dla **internationalized resource identifiers** czyli **IRI**s) | |
* rif:local (dla stałych symboli, nie widocznych poza poszczególymi zestawami formuł RIF) | |
| |
| |