RE: a question about reasoner

> From: Ian Horrocks [mailto:horrocks@cs.man.ac.uk] 
> On September 4, Peter Crowther writes:
[...]

> > If you are restricted to a rule-based
> > reasoner, OWL-Lite is designed to provide a good framework that is
> > (supposedly) implementable using rules.
> 
> I would be interested to know the basis on which you make this last
> statement - pointers to relevant literature would be particularly
> welcome.

My apologies, Ian - loose wording on my part.  I retract the statement.

		- Peter