1 axioms in left ontology but not in right ontology: - OntologyID(OntologyIRI() VersionIRI()) 3 axioms in right ontology but not in left ontology: + AnnotationAssertion(rdfs:label "Junk") + Declaration(Class()) + OntologyID(OntologyIRI() VersionIRI())