Re: handling rdf:value

• From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
• Date: Mon, 9 Dec 2002 09:57:03 +0100
• To: "pat hayes <phayes" <phayes@ai.uwf.edu>
• Cc: w3c-rdfcore-wg@w3.org
• Message-ID: <OFEC41F89A.64197DDF-ONC1256C8A.00301228-C1256C8A.00312CF2@agfa.be>

[...]

> If people like this idea than it could be captured formally as a RDF
> semantic condition corresponding to the inference rule:
>
> aaa ppp bbb .
> bbb rdf:value ccc .
> -->
> aaa ppp ccc .
>
> for any property ppp.


if we would have that

  ppp rdf:type owl:FunctionalProperty .

then we could derive that

  bbb owl:sameAs ccc .

which seems nonsense
also the fact that it is contextual is not very appealing

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Monday, 9 December 2002 03:57:43 UTC