OWL reasoning with rules

Dear All,

I have noticed that many of the attempts at OWL reasoning using rules 
run into problems on dealing with OWL-DL.

As I understand it, this is because OWL reasoning gets complex when we 
include things like nominals and some cardinality.

Does anyone have any references/pointers that explain this in more depth?

Thanks,

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

Received on Tuesday, 3 October 2006 19:03:56 UTC