Comparing and Merging Ontologies: A Concept Type Hierarchy Approach

  • Dan Corbett
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2871)

Abstract

In this paper we explore the issue of using some aspects of the Conceptual Graph Theory formalism to define functions on ontologies. We exploit the formal definitions of type hierarchy and projection to define operations on an ontology. We discuss the definition of an ontology, and demonstrate that projection as defined in Conceptual Graph Theory can then be used for comparing and merging ontologies. We then explore how these formal definitions can be used to implement merging and comparison of ontologies.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aït-Kaci, H., Nasr, R.: LOGIN: A Logic Programming Language with Built-in Inheritance. Journal of Logic Programming 3 (1986) Google Scholar
  2. Buccafurri, F., Lax, G., Rosaci, D., Ursino, D.: A User Behavior-Based Agent for Improving Web Usage. In: Proc. International Conference on Ontologies, Databases and Applications of Semantics, Irvine, California, USA. Springer, Heidelberg (2002)Google Scholar
  3. Corbett, D.R.: Conceptual Graphs with Constrained Reasoning. Revue d’Intelligence Artificielle 15(1), 87–116 (2001a)Google Scholar
  4. Corbett, D.R.: Reasoning with Conceptual Graphs. In: Proc. Fourteenth Australian Joint Conference on Artificial Intelligence, Adelaide, South Australia. Springer, Heidelberg (2001)Google Scholar
  5. Corbett, D.R.: Reasoning and Unification over Conceptual Graphs. Kluwer Academic Publishers, New York (2003)MATHGoogle Scholar
  6. Corbett, D.R., Woodbury, R.F.: Unification over Constraints in Conceptual Graphs. In: Proc. Seventh International Conference on Conceptual Structures, Blacksburg, Virginia, USA. Springer, Heidelberg (1999)Google Scholar
  7. Jasper, R., Uschold, M.: A Framework for Understanding and Classifying Ontology Applications. In: Proc. Twelfth Workshop on Knowledge Acquisition, Modeling and Management, Banff, Alberta, Canada (1999)Google Scholar
  8. Knight, K.: Unification: A Multidisciplinary Survey. ACM Computing Surveys 21(1), 93–124 (1989)MATHCrossRefMathSciNetGoogle Scholar
  9. Mineau, G.: A First Step Toward the Knowledge Web: Interoperability Issues Among Conceptual Graph Based Software Agents, Part I. In: Proc. International Conference on Conceptual Structures, Borovets, Bulgaria. Springer, Heidelberg (2002)Google Scholar
  10. Mugnier, M.-L., Chein, M.: Représenter des Connaissances et Raisonner avec des Graphes. Revue d’Intelligence Artificielle 10(6), 7–56 (1996)MATHGoogle Scholar
  11. Pinto, H.S., Gomez-Pérez, A.: Some Issues on Ontology Integration. In: Proc. International Joint Conference on Artificial Intelligence Workshop on Ontologies and Problem-Solving Methods, Stockholm, Sweden (August 1999)Google Scholar
  12. Ribière, M., Dieng-Kuntz, R.: A Viewpoint Model for Cooperative Building of an Ontology. In: Proc. Tenth International Conference on Conceptual Structures, Borovets, Bulgaria, July, 2002. Springer, Heidelberg (2002)Google Scholar
  13. Tepfenhart, W.M.: Ontologies and Conceptual Structures. In: Proc. Sixth International Conference on Conceptual Structures, Montpellier, France, August, 1998. Springer, Heidelberg (1998)Google Scholar
  14. van Zyl, J.D., Corbett, D.R.: A Framework for Comparing Methods for Using or Reusing Multiple Ontologies in an Application. In: Proc. Eighth International Conference on Conceptual Structures, Darmstadt, Germany, August 2000, Shaker Verlag, Aachen (2000)Google Scholar
  15. Yang, G., Kifer, M.: Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases. In: Proc. International Conference on Ontologies, Databases and Applications of Semantics, Irvine, California, USA. Springer, Heidelberg (2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Dan Corbett
    • 1
  1. 1.Advanced Computing Research Centre, School of Computer and Information ScienceUniversity of South AustraliaAdelaideSouth Australia

Personalised recommendations