- From: Graham Klyne <GK@ninebynine.org>
- Date: Tue, 10 Jun 2003 10:20:28 +0100
- To: Dave Reynolds <der@hplb.hpl.hp.com>
- Cc: www-rdf-logic@w3.org
At 17:05 09/06/03 +0100, Dave Reynolds wrote: >Yes and no. We have three engines at present - a pure forward chainer, a >tabled >backward chainer and a hybrid in which forward rules can create additional >backward rules. It is the later that is proving the most useful. The forward >rule components can perform immediate closure on some of the simpler schema >entailments and then translate the schema into backward rules which can be >used >for instance queries. Is this described anywhere? I've been mulling hybrid reasoning for some time, and am currently thinking about it again as part of my Haskell work. It would be interesting to understand the strategies you are using. #g ------------------- Graham Klyne <GK@NineByNine.org> PGP: 0FAA 69FF C083 000B A2E9 A131 01B9 1C7A DBCA CB5E
Received on Tuesday, 10 June 2003 06:27:54 UTC