AIwiki

Opis podpisów (ang. signatures) został umieszczony tutaj. Podpisy nie są częścią składni RIFa.

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

• xsd:string
• xsd:decimal
• xsd:time
• xsd:date
• xsd:dateTime
• rdf:XMLLiteral
• rif:text (dla ciągów znaków z dołączonymi tagami językowymi)
• rif:iri (dla internationalized resource identifiers czyli IRIs)
• rif:local (dla stałych symboli, nie widocznych poza poszczególymi zestawami formuł RIF)

• warunek RIF-BLD
• reguła RIF-BLD