Added test case for serialization of OWLComplementOf