3 axioms in left ontology but not in right ontology: - OntologyID(Anonymous-2) - SubClassOf( ) - SubClassOf( ) 9 axioms in right ontology but not in left ontology: + OntologyID(Anonymous-5) + SubClassOf( ) + SubClassOf( ) + SubClassOf( ) + SubClassOf( ) + SubClassOf( ) + SubClassOf( ) + SubClassOf( ) + SubClassOf( )