Abstract
This section draws on previous work on formal definitions for knowledge representation as defined by Conceptual Graph Theory [1–3]. We first define a background universe for our ontologies to exist in, which will give substance and order to the ontologies. The canon defines all the individuals that can exist, all possible relations between the individuals, and also imposes an ordering on the types of individuals and relations.
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 subscriptionsReferences
Mugnier, M.-L., Chein, M.: Représenter des Connaissances et Raisonner avec des Graphes. Revue d’Intelligence Artificielle 10(6), 7–56 (1996)
Sowa, J.F.: Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading (1984)
Corbett, D.R.: Reasoning with Ontologies by Using Knowledge Conjunction in Conceptual Graphs. In: Proc. International Conference on Ontologies, Databases and Applications of Semantics. Published as LNCS, vol. 2419, Springer, Irvine (2002)
Knight, K.: Unification: A Multidisciplinary Survey. ACM Computing Surveys 21(1), 93–124 (1989)
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). A Formal Approach to Knowledge Base Comparison and Interoperability. In: Meersman, R., Tari, Z. (eds) On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops. OTM 2003. Lecture Notes in Computer Science, vol 2889. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39962-9_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-39962-9_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20494-7
Online ISBN: 978-3-540-39962-9
eBook Packages: Springer Book Archive