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

Re: OWL off-the-shelf?

From: Dave Reynolds <der@hplb.hpl.hp.com>
Date: Mon, 09 Jun 2003 17:05:22 +0100
Message-ID: <3EE4B042.269FC03@hplb.hpl.hp.com>
To: danny666@virgilio.it
CC: www-rdf-logic@w3.org

Danny Ayers wrote:
> 
> Have you been approaching the rules from the LP angle? 

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. 

> I'm curious because
> I've been trying to see how far I can get with RDF/OWL in Prolog
> (implemented in Java) - I was hit by loops almost immediately ;-)

Quite. One way round such loops is to use a tabled (aka memoized) engine. If you
haven't already done so, then you might want to take a look at XSB which
supports tabling of predicates.

Cheers,
Dave
Received on Monday, 9 June 2003 12:05:46 GMT

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