At 18:50 06/11/2002 -0600, pat hayes wrote:
[...]
>Add some datatypes:
>
>If sss is a legal lexical form for ddd then
>
>aaa ppp "sss"^^ddd .
>ddd a rdfs:Datatype .
>-->
>aaa ppp -:xxx .
>_:xxx a ddd .
Are there technical reasons why sss has to be legal for this
entailment. Would it make sense that just be using ddd in that position in
a literal, one is asserting that its a datatype. Of course one, might be
wrong; but that's not RDF's business.
Brian