W3C home > Mailing lists > Public > public-rif-wg@w3.org > March 2008

Re: [Fwd: Re: [DTB] Datatypes and Built-ins first run to clean up and extend the initial list]

From: Dave Reynolds <der@hplb.hpl.hp.com>
Date: Tue, 04 Mar 2008 15:06:08 +0000
Message-ID: <47CD6560.3090701@hplb.hpl.hp.com>
To: Jos de Bruijn <debruijn@inf.unibz.it>
CC: axel@polleres.net, "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>

Jos de Bruijn wrote:

> So, we really want to take into account all IRIs representing a 
> particular domain element.  Since this is a set, we would need to use a 
> built-in predicates.  For example:
> 
> "Let I be an interpretation, let u be an element in the domain of I, and
> let {i1, ..., in} be the set of IRIs that denote u, i.e. for each ij (1 
> <= j <= n) IC(ij)=u.  IR(iriToString)(u,"ij")=t for (1 <= j <= n); 
> IR(iriToString)(u,s)=f for every element s not in {"i1", ..., "in"}."
> 
> The rule set
> iriToString("b"^^rif:iri,"b"^^xsd:string)
> 
> is satisfied in every RIF interpretation.

But in any semantic web context  one couldn't determine the truth or 
falsity of:

  iriToString("foo"^^rif:iri,"bar"^^xsd:string)

Dave
-- 
Hewlett-Packard Limited
Registered Office: Cain Road, Bracknell, Berks RG12 1HN
Registered No: 690597 England
Received on Tuesday, 4 March 2008 15:06:39 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:47 GMT