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

Re: [DTB] Most editor's notes addressed

From: Axel Polleres <axel.polleres@deri.org>
Date: Wed, 12 Nov 2008 18:45:24 +0000
Message-ID: <491B2444.4070200@deri.org>
To: Dave Reynolds <der@hplb.hpl.hp.com>
CC: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>

Dave Reynolds wrote:
> Hi Axel,
> 
>> 4)
>> Section
>> "== Cast Functions and Conversion Predicates for Datatypes and 
>> <tt>rif:iri</tt> =="
>>
>> renamed to:
>>
>> "== Datatype Conversion and Datatype Checking =="
>>
>> in order to resolve:
>> "Editor's Note: It was noted in discussions of the working group, that 
>> except guard predicates, also an analogous built-in function or 
>> predicate to SPARQL's datatype function is needed. This however has 
>> some technical implications, see 
>> http://lists.w3.org/Archives/Public/public-rif-wg/2008Jul/0096.html."
>>
>> I added a new pred:hasDatatype predicate here, please check, 
>> especially Dave (since I didn't find your mail on that, I am not sure 
>> whether this was how you intedned it, but this is how it makes sense 
>> to me)!
> 
> That seems fine as far as it goes though it only addresses one of the 
> four requested predicates.
> 
> The original email was [1] section 3.
> 
> Basically your pred:hasDatatype equates to my pred:isType (and I'm fine 
> with your name).  I'd also like a negative version (isNotType, not sure 
> hasNotDatatype reads so well but I don't care what you call it).
> 
> But it would also be very helpful to have the overloaded versions of the 
> literal equality and inequality predicates.

hmmm, I am a bit worried about, what

hasNotDatatye(const,?X)

should return.... somehow that looks suspicious to me.

Axel

> Dave
> 
> [1] http://lists.w3.org/Archives/Public/public-rif-wg/2008Sep/0142.html


-- 
Dr. Axel Polleres
Digital Enterprise Research Institute, National University of Ireland, 
Galway
email: axel.polleres@deri.org  url: http://www.polleres.net/
Received on Wednesday, 12 November 2008 18:46:05 GMT

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