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

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!