- From: <Patrick.Stickler@nokia.com>
- Date: Wed, 5 Mar 2003 18:13:40 +0200
- To: <jonathan@openhealth.org>, <tbray@textuality.com>, <sandro@w3.org>
- Cc: <www-tag@w3.org>
> ... a point of RDF datatyping is that a property's > _datatype_ is a function of the property, so that we might have: Err... no. Unfortunately, it's not. There is no way to do RDF datatyping in terms of property-specific knowledge. RDF Datatype provides no machinery whatsoever for global datatyping, such that a specific datatype can be associated with a property and that datatype is used to interpret non-explicitly datatyped literal values. There was heavy debate for well over a year about this, and there are outstanding objections to the fact that one cannot say "all values of foo:date are of type xsd:date". The following is semantically invalid foo:date rdfs:range xsd:date . #bar foo:date "2003-03-03" . because the interpretation of the literal "2003-03-03" is the literal string "2003-03-03" and *not* the date March 3, 2003, and there is *no* way to change the meaning of that value based on any knowledge about the property in question. Sucks, doesn't it? ;-) > site:creation-date > site:last-modification-date > site:backup-date > > etc. each of which are dates. Only if each and every value of those properties are explicitly typed as dates. No statements about the properties themselves will affect the datatyping of their values in any way. > Now suppose we restrict the > _domain_ of the > property to apply to sites i.e. > > site:last-modification-date rdfs:domain :site . > > well then it becomes quite simple, anytime we see: > > <> site:last-modification-date "2003-03-05" . > > we _can infer_ that <> is a :site! True, but you won't be able to infer that the value "2003-03-05" is a date value. It's not. And any interpretation of that value as anything but the string "2003-03-05" is in direct conflict to the meaning expressed by the RDF, and for a SW application, a no no. If you *want* a date, you have to say <> site:last-modification-date "2003-03-05"^^xsd:date . and you have to specify the datatype for *every* instance of *every* value. Patrick -- Patrick Stickler, Nokia/Finland, (+358 40) 801 9690, patrick.stickler@nokia.com
Received on Wednesday, 5 March 2003 11:13:45 UTC