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 |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| - | ==== 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) | ||
| - | | ||
