Re: OWL reasoning in rules

Dear Ian, Ulrike & Bijan,

Thank you so much for your speedy & comprehensive replies. To clarify, I 
was indeed talking about using a rules engine to do OWL reasoning; 
Bijan, you're right about the imprecision of what a "rule" is (and I'm 
not clear, either. The work I'm doing at the moment uses very simple 
horn-clause rules with variables that are unified with terms from the 
ABox). Also, the distinction between data-heavy and axiom heavy reasoning.

The reason it came up was a) because it seems to be a perennial problem 
and b) there seem to be some existing techniques (like backward 
chaining) that I can't immediately see how one would implement when your 
data is the ABox of an ontology.

Thanks a lot,

Matt