Warning:
This wiki has been archived and is now read-only.
Argument names in uniterms 2
From RIF
(Redirected from Argument names in named-argument uniterms 2)
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/2001/XMLSchema#integer symbol space (because 2 is equivalent to "2"^^<http://www.w3.org/2001/XMLSchema#integer> in the Presentation Syntax), and so it is not a valid argument name. | ||||
SeeAlso | Argument_names_in_uniterms_1 Argument_names_in_uniterms_4 | ||||
SpecRef | http://www.w3.org/2005/rules/wiki/BLD#Alphabet_of_RIF-BLD http://www.w3.org/2005/rules/wiki/DTB#Constants_and_Symbol_Spaces | ||||
Input |
|