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@[10.0.100.86]>
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 
option.

Pat


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