3.2 Formalizing Changes Events The OC (OntologyChange) formalism, which we have developed proposes a set of statements for the change events formalization:
oc:Add, oc:Delete, oc:Modify, oc:Move, oc:Merge, oc:Split (Class, Property, Instance), etcetera, statements for specifying change operations. All these statements are the low-level classes of a taxonomy describing the possible changes in OWL-DL ontologies (REFERENCE research note????).