Response to DC

From RIF
Jump to: navigation, search

Dear Dan,

This is a response to your comment [1] on RIF.

> This surprises me;
> Table 1. Correspondence between RDF and RIF symbols.
>  RDF Symbol Example RIF Symbol Example
>  Absolute IRI <> Absolute IRI
> ""^^rif:iri
>  --
> The notation <> in turtle, N3,
> and SPARQL is *use* of a symbol, where
> ""^^rif:iri is *mention*
> of a symbol.
> RIF seems to be using ""^^rif:iri
> for use of a symbol.
> Am I reading that right?

Both <> and ""^^rif:iri are ways of writing IRIs in the syntax. And, like in RDF, IRIs are uninterpreted symbols in RIF, i.e., the same IRI can be interpreted differently in different interpretations. Perhaps it is helpful at this point to clarify that rif:iri is a symbol space (i.e., a set of symbols), but not a datatype. A symbol space is like a datatype, but the value space and lexical-to-value mapping are optional (and not present in the case of rif:iri).

Finally, it has been decided that we will use <> as a shortcut for ""^^rif:iri in the syntax, and that further explanatory text will be included in the RDF and OWL compatibility document (see [2]).

does this address your concern?

Best, Jos on behalf of the RIF working group

[1] [2]

> -- 
> Dan Connolly, W3C
> gpg D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E