s4inma:WorkCenter is subclassof s4inma:ProductionEquipment ?
Also, the definition of s4inma:WorkCenter states that it is a subclass of s4inma:ProductionEquipment and therefore also of s4bldg:PhysicalObject, however this is neither asserted nor can be inferred. It may be appropriate to explicit that saref:Device is a subclass of s4bldg:PhysicalObject, or saref:PhysicalObject if this entity gets promoted to SAREF Core. See saref-portal#52 (closed)