W3C home > Mailing lists > Public > www-rdf-logic@w3.org > June 2003

Re: OWL off-the-shelf?

From: Graham Klyne <GK@ninebynine.org>
Date: Tue, 10 Jun 2003 10:20:28 +0100
Message-Id: <5.1.0.14.2.20030610101903.02ebfe98@127.0.0.1>
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 GMT

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