Larry --
On the other hand... There are really simple problems that cannot be computed in *any* version of OWL.
I believe that "transitive over" [1] is one such. HTH, -- Adrian [1] http://www.reengineeringllc.com/demo_agents/TransitiveOver1.agent -- Internet Business Logic (R) Executable open vocabulary English Online at www.reengineeringllc.com Shared use is free Reengineering, PO Box 1412, Bristol, CT 06011-1412, USA Phone 860 583 9677 Mobile 860 830 2085 Fax 860 314 1029