[[
✎ pl:miw:miw08_xtt_rif:obsolate
]]
aiWiki
Pokaż stronę
Ostatnie zmiany
Indeks
Zaloguj
Ta strona jest tylko do odczytu. Możesz wyświetlić źródła tej strony ale nie możesz ich zmienić.
==== 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)
pl/miw/miw08_xtt_rif/obsolate.1208096617.txt.gz
· ostatnio zmienione: 2019/06/27 15:59 (edycja zewnętrzna)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry