- From: pat hayes <phayes@ai.uwf.edu>
- Date: Mon, 9 Dec 2002 10:36:02 -0600
- 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 UTC