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