Ontology Integration Equality and Strong Bisimulation

In this paper, we show that strong bisimulation can be used to resolve ontology integration equality. We discuss ontology integration similarity relation, and discuss the definition of ontology integration equality. Then, from the definition of strong bisimulation, we prove that strong bisimulation is an equivalence relation. We also illustrate the transition graphs of strong bisimulation by an example, examining the transitions with three cases. Finally, we discuss the relation between ontology integration equality and strong bisimulation in detail. Thus we show that strong bisimulation can be used to resolve ontology integration equality.