- From: Pat Hayes <phayes@ai.uwf.edu>
- Date: Tue, 13 Nov 2001 11:30:51 -0600
- To: jos.deroo.jd@belgium.agfa.com
- Cc: w3c-rdfcore-wg@w3.org
>understood >actually we started with > :s eg:shoeSize _:x. > _:x rdfs:label "10". >and, although this is trible bloat, we saw it >as a way to express your _:x"10" in N-Triples >I now see that this idea is not working >in our current implementation i.e. >if we try to entail > :s eg:shoeSize _:x. > _:x rdfs:label "10". >given > :s eg:shoeSize "10". >we still find > :s eg:shoeSize "10". >but then > "10" rdfs:label "10". >is nonsense Well, it might not be. If you read rdfs:label not as the relation between a thing and its label, but between a thing and what its label denotes - ie if you apply the P-style MT to the S-style bNode construction - then rdfs:label simply means equality. And indeed that is the only sensible way to interpret it *in the P-style MT extension*. That means it has a very bad name, of course - it would be better called rdfs:sameAs or some such - but the MT doesn't give a rat's ass what the names are. And with this interpretation of course, "10" rdfs:label "10" . (both literals) makes sense and indeed is a tautology, and "10" rdfs:label _:x . means the same as _:x rdfs:label "10" . Pat -- --------------------------------------------------------------------- IHMC (850)434 8903 home 40 South Alcaniz St. (850)202 4416 office Pensacola, FL 32501 (850)202 4440 fax phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes
Received on Tuesday, 13 November 2001 12:30:33 UTC