- From: Axel Polleres <axel.polleres@deri.org>
- Date: Wed, 12 Nov 2008 18:45:24 +0000
- 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 UTC