APPROVED Jeremy J. Carroll The informal semantics indicated by comments concerning user defined classes are not respected by the formal machinery of OWL.