W3C home > Mailing lists > Public > www-rdf-interest@w3.org > November 2001

RE: property inference rule

From: Peter Crowther <peter.crowther@networkinference.com>
Date: Tue, 6 Nov 2001 15:21:00 -0000
Message-ID: <B6F03FDBA149CA41B6E9EB8A329EB12D1ABBE8@vault.melandra.net>
To: "'Nikita Ogievetsky'" <nogievet@cogx.com>, www-rdf-interest@w3.org
> 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
Received on Tuesday, 6 November 2001 10:21:59 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:52 GMT