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:25] 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) | + | |
| - | ==== Wspierane formuły ==== | + | |
| - | * warunek RIF-BLD | + | |
| - | * reguła RIF-BLD | + | |
