W3C home > Mailing lists > Public > public-rif-comments@w3.org > June 2008

re: RIF notation for use of URI/IRI as symbol?

From: Jos de Bruijn <debruijn@inf.unibz.it>
Date: Mon, 02 Jun 2008 14:29:35 +0200
Message-ID: <4843E7AF.6020504@inf.unibz.it>
To: Dan Connolly <connolly@w3.org>
CC: public-rif-comments@w3.org

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 <http://www.w3.org/2007/rif> Absolute IRI
> "http://www.w3.org/2007/rif"^^rif:iri
>  -- http://www.w3.org/TR/2008/WD-rif-rdf-owl-20080415/
> The notation <http://www.w3.org/2007/rif> in turtle, N3,
> and SPARQL is *use* of a symbol, where
> "http://www.w3.org/2007/rif"^^rif:iri is *mention*
> of a symbol.
> RIF seems to be using "http://www.w3.org/2007/rif"^^rif:iri
> for use of a symbol.
> Am I reading that right?

Both <http://www.w3.org/2007/rif> and
"http://www.w3.org/2007/rif"^^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

Finally, it has been decided that we will use
<http://www.w3.org/2007/rif> as a shortcut for
"http://www.w3.org/2007/rif"^^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


Jos de Bruijn            debruijn@inf.unibz.it
+390471016224         http://www.debruijn.net/
An expert is a person who has made all the
mistakes that can be made in a very narrow
   - Niels Bohr
Received on Monday, 2 June 2008 12:37:28 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:06:57 UTC