On 08.07.2010 19:06, Pat Hayes wrote: >> With literals, typing has come up but it hasn't been fully integrated >> with the rest of the RDF grammar; you can still say things like >> 'ten(integer) much-likes "Sampo"@fi' without any usual type system >> catching the error. > > LIteral types don't check 'errors' in RDF. (Though this one ought to be > caught by any RDF parser, in fact.) This is a complicated issue in the > design of RDF, one which absorbed a great deal of the WG's time. Its > probably not relevant to go into this here; it has to do with keeping > RDF monotonic. I can wax lyrical on this if you really want me to.
I would like to hear it if you don't mind. Best regards, Jakub
