SubClassOf(<http://www.semanticweb.org/ontology#X0> <http://www.semanticweb.org/owlapi/test#C>)
SubClassOf(<http://www.semanticweb.org/ontology#X1> <http://www.semanticweb.org/owlapi/test#iri>)
SubClassOf(owl:Thing <http://www.semanticweb.org/owlapi/test#C>)
SubClassOf(owl:Thing ObjectComplementOf(<http://www.semanticweb.org/owlapi/test#C>))
SubClassOf(owl:Thing ObjectComplementOf(<http://www.semanticweb.org/owlapi/test#iri>))
SubClassOf(owl:Thing ObjectUnionOf(<http://www.semanticweb.org/ontology#X0> <http://www.semanticweb.org/ontology#X1>))