Datatyped literals, another "test case"

Should there be an entailment of the form:

   ex:subj ex:prop xsd:integer"10" .

entails

   ex:subj ex:prop _:x .
   _:x xsd:integer "10" .

?

I think so.  Is it explicit in the current agreement specifications?

#g


-------------------
Graham Klyne
<GK@NineByNine.org>

Received on Monday, 30 September 2002 11:02:18 UTC