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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ji Shu-bin, Zhang Yin-fa
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Algebra Command and control systems equality examining Gold Information systems Ontologies ontology integration Semantics similarity Spatial databases strong bisimulation transition graphs
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	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.
DOI:	10.1109/WISM.2010.160