RE: property inference rule

> From: Nikita Ogievetsky [mailto:nogievet@cogx.com]
[...]
> RuleML, Jess and SWI-Prolog seam to introduce their own semantics on the
top of RDF.

Not surprising; RDF merely allows one to assert a set of triples.  Rules are
not a part of RDF.

> I was seeking for ways  to express this rather basic fact using bare
RDF(S)/DAML syntax.

There's no way of expressing this in RDF, in RDFS or in DAML; it requires
the ability to use variables.  Variables are not part of any of the three
representations.
  
		- Peter