W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > December 2002

Re: handling rdf:value

From: pat hayes <phayes@ai.uwf.edu>
Date: Mon, 9 Dec 2002 10:36:02 -0600
Message-Id: <p05111b16ba1a73442287@[]>
To: "Jos De_Roo" <jos.deroo.jd@belgium.agfa.com>
Cc: w3c-rdfcore-wg@w3.org

>>  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

No, that seems right to me. If ppp really is a functional property 
then you *can't* use it in this way, because this usage forces it to 
have two values for some arguments, eg an address is both a complex 
thingie and a zip code. So if you do, then you can conclude some odd 
identities. See Patrick's message for uses of rdf:value to 
essentially mean equality.

>also the fact that it is contextual is not very appealing

Well, yes, but rdf:value *is* contextual, but at least this keeps it 
in bounds. I'd prefer to abandon it, but that's apparently not an 


IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola              			(850)202 4440   fax
FL 32501           				(850)291 0667    cell
phayes@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
s.pam@ai.uwf.edu   for spam
Received on Monday, 9 December 2002 11:36:24 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:54:50 EDT