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

AltStyle によって変換されたページ (->オリジナル) /