Warning:
This wiki has been archived and is now read-only.
Argument names in uniterms 1
From RIF
| Test Type | NegativeSyntaxTest | ||||
|---|---|---|---|---|---|
| Contributor | Stella Mitchell | ||||
| Status | Rejected | ||||
| Record | F2F13 January 27, 2009 telecon | ||||
| Dialect | BLD | ||||
| Purpose | Test syntax for argument names in named-argument uniterms | ||||
| Description | An argument name in a named-argument uniterm can be any unicode string except for one that is, as determined by its syntax, a RIF constant symbol or a RIF variable symbol (i.e. the set ArgNames is disjoint from the sets Const and Var). The argument name in the fact shown below is a constant in the http://www.w3.org/2007/rif#iri symbol space because of its format ("..."^^rif:iri), and so it is not a valid argument name. | ||||
| SeeAlso | Argument_names_in_uniterms_2 Argument_names_in_uniterms_4 | ||||
| SpecRef | http://www.w3.org/2005/rules/wiki/BLD#Alphabet_of_RIF-BLD | ||||
| Input |
|