W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > September 2001

Re: model theory publication draft

From: <jos.deroo.jd@belgium.agfa.com>
Date: Thu, 20 Sep 2001 22:53:09 +0100
To: phayes@ai.uwf.edu
Cc: w3c-rdfcore-wg@w3.org
Message-Id: <OF3719C999.9229B165-ON41256ACD.00770837@bayer-ag.com>

Pat,

I've been testing the 12 rules in
http://www.coginst.uwf.edu/~phayes/RDF%20MT-currentdraft.html#rdfsentail
(we actually have 14 rules because of the 2 rules with 2 statements in
their conclusions) and I think it all goes very well except for rule 1.
I currently don't see how to implement that with a back-chaining reasoner.
Any hint?

--
Jos
Received on Thursday, 20 September 2001 16:53:31 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:39:48 EDT