W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > October to December 2005

Re: "2"^^xsd:integer = "II"^^roman:numeral (useMentionOp, valueTesting)

From: Dan Connolly <connolly@w3.org>
Date: Mon, 19 Dec 2005 09:02:59 -0600
To: Eric Prud'hommeaux <eric@w3.org>
Cc: public-rdf-dawg@w3.org
Message-Id: <1135004579.1358.101.camel@dirk>

Interesting proposal; persuing it seems to involve
re-opening useMentionOp, which is perhaps a good thing.
http://www.w3.org/2001/sw/DataAccess/issues#useMentionOp


On Mon, 2005-12-19 at 09:50 -0500, Eric Prud'hommeaux wrote:
> We seem to be stopped on the issue that
>   "2"^^xsd:integer != "II"^^roman:numeral
> will test true in a SPARQL implementation and false in an extended
> SPARQL implementation. This comes from the overloaded = operator:
>   numeric = numeric
>   RDF term = RDF term
> If the right side of the test is not recognized to be a numeric, the
> test is whether they are the same RDF term (clearly not). Adding
> roman:numeral support allows the right side to be numeric, and the
> value is the same left side.
> 
> PROPOSE: change
>   RDF term = RDF term
> to
>   sameTermAs(RDF term, RDF term)
> strike
>   RDF term != RDF term
> and strike
> [[
> When selecting the operator definition for a given set of parameters,
> the definition with the most specific parameters applies. For
> instance, when evaluating xsd:integer = xsd:signedInt, the definition
> for = with two numeric parameters applies, rather than the one with
> two RDF terms. The table is arranged so that upper-most viable
> candiate is the most specific.
> ]]
-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E
Received on Monday, 19 December 2005 15:03:07 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:15:25 GMT