- From: Gerd Wagner <wagnerg@tu-cottbus.de>
- Date: Fri, 5 May 2006 11:53:52 +0200
- To: "'Dave Reynolds'" <der@hplb.hpl.hp.com>
- Cc: <public-rif-wg@w3.org>
> > 3) Data literals, object names, function symbols > > and predicate symbols may be typed. Using suitable > > predicate/atom types, this allows to represent RDF > > and OWL rules directly (and not only via a "query > > interface"). > > Could you elaborate on why typing of function and predicate > symbols is required for representation of RDF (rules)? With "RDF" I was, in fact, refering to RDF+RDFS where you have typed predicate symbols in the form of domain and range restricted properties. I see your point that on the level of pure RDF you prefer to have no typing. But as Hassan has pointed out, most rule/programming languages used in practice are typed (probably because it pays to exploit the computational benefits of typing). -Gerd
Received on Friday, 5 May 2006 09:53:59 UTC