- From: Seaborne, Andy <andy.seaborne@hp.com>
- Date: Tue, 15 Aug 2006 14:57:06 +0100
- To: Eric Prud'hommeaux <eric@w3.org>
- CC: dawg mailing list <public-rdf-dawg@w3.org>
The value testing was written up in http://lists.w3.org/Archives/Public/public-rdf-dawg/2006JulSep/0086.html which gives a different truth table from the minutes below. Andy Eric Prud'hommeaux wrote: > ---------- http://www.w3.org/2006/08/08-dawg-minutes ---------- > > I think that "'II'^^roman:numeral = 2" has the same behavoir if backed > by either "sop:value-compare(A,B) == -1" or "op:numeric-less-than(A, > B)" > > <AndyS> "'II'^^roman:numeral = 2" is error if Roman numerals are > unknown > > A = B RDF termRDF termRDFterm-equal(A, B) > > A = B RDF term RDF term RDFterm-equal(A, B) > > <kendallclark> Does anyone have a proposal for leading us out of this? > It's starting to seem a bit like a morass... > > <patH> if I followed it, this seems to work > > <AndyS> I believe sop:value-comapre does it - I'm willing to flesh it > out. > > <AndyS> It obeys the "every problem needs an extra level of > indirection" maxim > > <kendallclark> :) > > <patH> whoops, that was a reference to andys mesage of a few days ago. > > number = number > > date = date > > string = string > > -------------------- > > IRI = IRI > > bNode = bNode > > <fred> literal = literal: true or error > > <fred> iri = iri: true or false > > <fred> bnode = bnode: true or false > > <fred> allother cells always false > > 2=3 > > <AndyS> Yes, Fred - that's the table I was thing of. > > <AndyS> bNode = literal (not bNode in query) may be valid > > <AndyS> Separate sameLiteral operator. > > <AndyS> if we want a syntactic comparision > > <AndyS> "(x,y)"^^:geo > > <AndyS> If you want help with this, do ask - I'm the one keen to have > this extensibility so I feel responsible here. > > <kendallclark> ACTION: EricP to redraft section 11 to support > extensible datatypes [recorded in > [18]http://www.w3.org/2006/08/08-dawg-minutes.html#action08] > > <AndyS> sop:vaue-compare should return symbols for LE, GT, EQ and NE > (or error) >
Received on Tuesday, 15 August 2006 13:57:39 UTC