Argument names in uniterms 4

From RIF
Revision as of 23:17, 2 February 2010 by StellaMitchell (Talk | contribs)

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



Test TypePositiveSyntaxTest
ContributorStella Mitchell
StatusRejected
RecordF2F13
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 valid. It is also an IRI, but it is not a constant in the http://www.w3.org/2007/rif#iri symbol space since it isn't of the form "literal"^^rif:iri, or one of the shortcuts for that form.
SeeAlsoArgument_names_in_uniterms_1

Argument_names_in_uniterms_2

Argument_names_in_uniterms_3
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(http://example.org/example#color->"green") ) )
XMLview RIF/XML