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

Re: [DTB] Most editor's notes addressed

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

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.


[1] http://lists.w3.org/Archives/Public/public-rif-wg/2008Sep/0142.html
Hewlett-Packard Limited
Registered Office: Cain Road, Bracknell, Berks RG12 1HN
Registered No: 690597 England
Received on Wednesday, 12 November 2008 17:43:01 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:53 UTC