Unification of sorts among local ontologies for semantic web applications

  • Authors:

  • Nwe Ni Tun;Satoshi Tojo

  • Affiliations:

  • School of Information Science, Japan Advanced Institute of Science and Technology, Asahidai, Tatsunokuchi, Ishikawa, Japan;School of Information Science, Japan Advanced Institute of Science and Technology, Asahidai, Tatsunokuchi, Ishikawa, Japan

  • Venue:
  • AIKED'05 Proceedings of the 4th WSEAS International Conference on Artificial Intelligence, Knowledge Engineering Data Bases
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

Even a single domain can contain a tremendous number of local ontologies with semantic heterogeneity, thus one of the basic problems in the development of techniques for the semantic web is the integration of ontologies. This paper deals with the problem of unification among sorts for the sake of ontology integration and coherent information retrieval in semantic web applications. In this context, a knowledge representation formalism, in order to unify two arbitrary sorts into one, is important. We provide a sorted signature for ontology specification regarding subsumption consistency in a sort hierarchy. In our approach, taxonomies are structured by the set-theoretical inclusion of identity conditions through inheritance. An identity condition (IC) can judge whether two individuals of a sort are identical or not. First, we address some fundamental semantic relations based on the IC sets of sorts. Next, we introduce the own IC of a sort, that is, an IC originated by that sort, for our sort unification framework. We deal with the equality of sorts by using sameness and mutual substitution between their own ICs, concerning the views of terminology and subsumption level between local ontologies. We also illustrate a semantic integration model among independent worlds.