Unite: A New Plan for Automated Ontology Evolution in Physics

We are developing a novel technique for ontology evolution, which we call ontology repair plans. Our development case studies are drawn from instances in the history of physics where experimental observation contradicted current physical theories, which then had to be evolved. In particular, it was often necessary to evolve the representation language of these theories, and not just the physical laws. To date, we have implemented one ontology repair plan for splitting a function into three and another for adding an additional argument to a function. In this paper, we describe a new ontology repair plan Unite, for equating two previously distinct functions.