Re: ISSUE-61 (IRI-Casts): Casting to/from rif:iri [DTB]

[1] http://lists.w3.org/Archives/Public/public-rif-wg/2008Mar/0023.html

Jos de Bruijn wrote:
> See [1] and preceding the messages in the thread for a description of 
> the semantic problems.  In [1] I also proposed a casting predicate that 
> seems to work.
> 
> In summary, the biggest semantic challenge in casting IRIs to strings is 
> that several different IRIs may be mapped to the same string.  The 
> following was my proposal:
> 
> "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.
> 
> I think this predicates should be sufficient for most of the use cases.
> 
> 
> Best, Jos
> 
> Rule Interchange Format Working Group Issue Tracker wrote:
>>
>> ISSUE-61 (IRI-Casts): Casting to/from rif:iri [DTB]
>>
>> http://www.w3.org/2005/rules/wg/track/issues/
>>
>> Raised by: Christopher Welty
>> On product: DTB
>>
>> It is clear users of RIF dialects such as BLD will want to be able to 
>> convert (cast) instances of rif:iri to/from other datatypes, in 
>> particular strings and possibly rif:text.
>>
>> In general, a casting mechanism is not present in DTB and should be 
>> added.
>>
>>
>>
> 

-- 
Jos de Bruijn            debruijn@inf.unibz.it
+390471016224         http://www.debruijn.net/
----------------------------------------------
Public speaking is the art of diluting a two-
minute idea with a two-hour vocabulary.
   - Evan Esar

Received on Tuesday, 10 June 2008 14:40:11 UTC