- From: Dave Reynolds <der@hplb.hpl.hp.com>
- Date: Tue, 05 May 2009 08:44:39 +0100
- To: Sandro Hawke <sandro@w3.org>
- CC: Jos de Bruijn <debruijn@inf.unibz.it>, public-rif-wg@w3.org
Sandro Hawke wrote: >> I assumed you were talking only about list operators, so I mean indeed 1b. >> >>> When you say users "have to define the funtions themselves", you mean >>> using rules to re-implement member, index-of, etc? >> Yes. > > Other opinions? index-of, member, union, etc should just do RIF > equality comparison, where the same date expressed in two different time > zones wont match, and the same number in two disjoint formats > (decimal/float/double) wont match? I agree. This seems the simplest to specify and implement starting from where we are now. It is good enough. [In retrospect we probably should have had a defined notion of equality, in the XSD sense, for all datatypes as separate from the value space identity notion that RIF "=" supports. Then the operators like member could have used datatype equality rather than RIF equality. Since we don't have that then using anything other than identity for the list operators is going to look ad hoc. ] Dave
Received on Tuesday, 5 May 2009 07:45:28 UTC