Re: datatypes and MT

>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