Is there any problem with having a class in OWL which is a subclass of two different classes?
That is exactly the definition of the formal semantics of OWL. For example, A SubClassOf B and A SubClassOf C is equivalent to the axiom A SubClassOf (B and C)