Re: Detecting cycles in OWL

Just an idea regarding this entire discussion: could be useful to have a 
library of common reasoning cases with descriptions how to solve them 
and with what technology. For example this detecting of cycles as one 
case. Im sure there is lot's of time spent on pondering same issues over 
and over.