RE: [RIF] Extensible Design

> > 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