Re: Tentative contribution to the "URI issue"

Dave Reynolds wrote:
>
> Distinguishing symbolic constants identified by a URI from literal
> constants such as strings and integers still seems like a syntax issue
> addressable at that level in the way proposed earlier.
>
> The conceptual proposal is that we *only* have symbolic constants
> identified by a URI and literal constants (strings, integers etc) and
> only the former are allowed to have boolean and arrow sorts.
>
What are "symbolic constants"? How do they differ from "litewral
constants"? I thought the URI issue was referring to all kinds of
symbols used in RIF CORE, especially "constants", "function symbols",
"relation (or predicate) sym,bols", etc...

Francois