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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Aït-Kaci, H., Nasr, R.: LOGIN: A Logic Programming Language with Built-in Inheritance. Journal of Logic Programming 3 (1986)
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)
Corbett, D.R.: Conceptual Graphs with Constrained Reasoning. Revue d’Intelligence Artificielle 15(1), 87–116 (2001a)
Corbett, D.R.: Reasoning with Conceptual Graphs. In: Proc. Fourteenth Australian Joint Conference on Artificial Intelligence, Adelaide, South Australia. Springer, Heidelberg (2001)
Corbett, D.R.: Reasoning and Unification over Conceptual Graphs. Kluwer Academic Publishers, New York (2003)
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)
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)
Knight, K.: Unification: A Multidisciplinary Survey. ACM Computing Surveys 21(1), 93–124 (1989)
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)
Mugnier, M.-L., Chein, M.: Représenter des Connaissances et Raisonner avec des Graphes. Revue d’Intelligence Artificielle 10(6), 7–56 (1996)
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)
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)
Tepfenhart, W.M.: Ontologies and Conceptual Structures. In: Proc. Sixth International Conference on Conceptual Structures, Montpellier, France, August, 1998. Springer, Heidelberg (1998)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Corbett, D. (2003). Comparing and Merging Ontologies: A Concept Type Hierarchy Approach. In: Zhong, N., Raś, Z.W., Tsumoto, S., Suzuki, E. (eds) Foundations of Intelligent Systems. ISMIS 2003. Lecture Notes in Computer Science(), vol 2871. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39592-8_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-39592-8_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20256-1
Online ISBN: 978-3-540-39592-8
eBook Packages: Springer Book Archive