Argument names in uniterms 2

From RIF
Revision as of 14:45, 18 April 2009 by StellaMitchell (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search



Test TypeNegativeSyntaxTest
ContributorStella Mitchell
StatusRejected
RecordF2F13
January 27, 2009 telecon
DialectBLD
PurposeTest syntax for argument names in named-argument uniterms
DescriptionAn 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.
SeeAlsoArgument_names_in_uniterms_1

Argument_names_in_uniterms_3

Argument_names_in_uniterms_4
SpecRefhttp://www.w3.org/2005/rules/wiki/BLD#Alphabet_of_RIF-BLD
http://www.w3.org/2005/rules/wiki/DTB#Constants_and_Symbol_Spaces
Input
Presentation SyntaxDocument( Group ( _p(2->"green") ) )
XMLview RIF/XML