Ontological Reasoning as Rules

Dear All,

I'm trying to reduce an ontology to a set of rules, i order to compare 
it with other approaches.

I know that there are problems with this and OWL-DL reasoning. However, 
I am only concerned with reasoning over ground instances. In this case, 
I would have thought that many of the difficulties would disappear.

Would people agree?
Can you point me to any references about people who have done something 
similar?

Thanks,

Matt
-- 
http://acl.icnet.uk/~mw
http://adhominem.blogsome.com/
+44 (0)7834 899570

Received on Monday, 19 February 2007 21:38:19 UTC