Argument names in uniterms 4
From RIF
| Test Type | PositiveSyntaxTest | ||||
|---|---|---|---|---|---|
| Contributor | Stella Mitchell | ||||
| Status | Rejected | ||||
| Record | F2F13 | ||||
| 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 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. | ||||
| SeeAlso | Argument_names_in_uniterms_1 Argument_names_in_uniterms_3 | ||||
| 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 |
|
