Argument names in uniterms 1

From RIF
Revision as of 23:16, 2 February 2010 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/2007/rif#iri symbol space because of its format ("..."^^rif:iri), and so it is not a valid argument name.
SeeAlsoArgument_names_in_uniterms_2

Argument_names_in_uniterms_3

Argument_names_in_uniterms_4
SpecRefhttp://www.w3.org/2005/rules/wiki/BLD#Alphabet_of_RIF-BLD
Input
Presentation SyntaxDocument( Prefix(rif <http://www.w3.org/2007/rif#>) Group ( _p("http://example.org/example#color"^^rif:iri->"green") ) )
XMLview RIF/XML