Abstract
When combining data from distinct sources, there is a need to share meta-data and other knowledge about various source domains. Due to semantic inconsistencies, problems arise when combining know edge across domains and the knowledge is simply merged. Also, knowledge that is irrelevant to the task of interoperation will be included, making the result unnecessarily complex. An algebra over ontologies has been proposed to support disciplined manipulation of domain knowledge re sources. However, if one tries to interoperate directly with the knowledge bases, semantic problems arise due to heterogeneity of representations. This heterogeneity problem can be eliminated by using an intermediate model that controls the knowledge translation from a source knowledge base. The intermediate model we have developed is based on the concept of abstract knowledge representation and has two components: a modeling behavior which separates the knowledge from its implementation, and a performative behavior which establishes context abstraction rules over the knowledge.
Preview
Unable to display preview. Download preview PDF.
References
M. Aben, “KADS-II CommonKADS Inferences”; Technical Report M2-UVA-041-1.0, University of Amsterdam, 1993.
A. Borgida, “From type systems to knowledge representation: natural semantics specification for describing logics”; Intelligent and Cooperative Information Systems, 1(1):93–126, 1992.
A. Borgida, R. Brachman, D. McGuinness, L. Resnick, “CLASSIC: A Structural Data Model for Objects”; SIGMOD Conference pages 58–67, 1989.
R. Brachman and J. Schmolze, “An Overview of the KL-ONE knowledge Representasion System”; Cognitive Science, 9(2):171–216, 1985.
S. Buvac and R. Fikes, “A Declarative Formalization of Knowledge Translation”; Knowledge Systems Laboratory, KSL-94-59, August 1994.
C. Collet, M. Huhns and W. Shen, “Resource Integration Using a Large Knowledge Base in Carnot”; IEEE Computer, 12(24), Dec. 1991.
K. Chang, H. Garca-Molina and A. Paepcke, “Boolean Query Mapping Across Heterogeneous Information Sources”; IEEE Transactions on Knowledge and Data Engineering, 8(4):515–521, Aug, 1996.
R. El-Masri and G. Wiederhold: “Data Model Integration Using the Structural Model”; Proceedings 1979 ACM SIGMOD Conference, pages 191–202.
J. L. Garfield (editor): “Modularity in Knowledge Representation and Natural Language Understanding”; MIT Press, 1987.
M. Genesereth and N. Nilsson, “Logical Foundations of Artificial Intelligence”; Morgan Kaufmann Publishers, Inc., Los Altos, CA, 1987.
M. Genesereth, “Knowledge Interchange Format”; Technical Report Logic-92-1, Stanford University, 1992.
M. Genesereth, N. Singh and M. Syed, “A Distributed and Anonymous Knowledge Sharing Approach to Software Interoperation”; Third International Conference on Information and Knowledge Management, 1994.
M. Gogolla, R. Herzig, S. Conrad, “Integrating the ER approach in an OO environment”; In Entity-relationship approach: Lecture notes in computer science. Springer-Verlag, Berlin; New York, 1994.
T. R. Gruber, “Ontolingua: A mechanism to support portable ontologies”; Technical Report, KSL-91-66, Knowledge System Laboratory, Stanford University, Stanford, CA.
R. V. Guha. “Context: A Formalization and Some applications”; Doctoral Dissertation, Stanford University, 1991.
B. L. Humphreys and D.A.B. Lindberg, “The Unified Medical Language Project: A Distributed Experiment in Improving Access to Biomedical Information”; MED-INFO 92, North-Holland, 1992, pages 1496–1500.
D. Lenat and R. Guha, “The Evolution of CycL, The Cyc Representation language”; Special Issue on Implemented Knowledge Representation System, Sigart, ACM, 2(3), pages 84–87, June 1991.
J. McCarthy, “Notes on Formalizing Context”; In proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, 1993.
R. MacGregor and R. Bates, “The LOOM Knowledge Representation Language”; in Proceedings of the Knowledge-Based Systems Workshop, April 1987.
N. Singh, and M. Gisi, “Coordinating Distributed Objects with Declarative Interfaces”; in Coordination Languages and Models, Lecture Notes in Computer Science, 1061, Springer, 1996, pages 368–385.
R. Neches, R. Fikes, T. Finin, T. Gruber, R. Patill, T. Senator, and W. R. Swartout, “Enabling technology for knowledge sharing”; AI Magazine, 12(3):36–55, 1991.
G. Riley, “CLIPS: An Expert System Building Tool/rd; Proceedings of the Technology 2001 Conference, San Jose, CA, December 1991.
Sciore, Edward, Siegel, Michael, Rosenthal, Arnon, “Using semantic values to facilitate interoperability among heterogeneous information systems”; ACM Transactions on Database Systems, Vo1.19, No. 2 pages 254–290, 1994.
J. Smart and R. Rae, “Hardy”; Technical Report Hardy User Guide, Artificial Intelligence Applications Institute, University of Edinburgh, 1995.
G. Wiederhold, T. Barsalou, B. S. Lee, N. Siambela and W. Sujansky, “Use of Relational Storage and a Semantic Model to Generate Objects: The PENGUIN Project”; Database `91: Merging Policy, Standards and Technology, The Armed Forces Communications and Electronics Association, Fairfax VA, June 1991, pages 503–515.
G. Wiederhold, “An Algebra for Ontology Composition”; Proceedings of 1994 Monterey Workshop on Formal Methods, U.S. Naval Postgraduate School, Monterey CA, pages 56–61, 1994.
G. Wiederhold, “Interoperation, Mediation, and Ontologies”; International Symposium on Fifth Generation Computer Systems (FGCSOB94), Workshop on Heterogeneous Cooperative Knowledge-Bases, Vol 3, pages 33–48, ICOT, Tokyo, Japan, 1994.
G. Wiederhold X. Qian, “Modeling Asynchrony in Distributed Databasesd”; Third IEEE Computer Society Data Engineering Conference, Los Angeles, Feb. 1987.
B. Wielinga, Walter, G.Schreiber, and H. Akkermans, “KADS-II expertise model definition document.”; Technical Report M2-UVA-026-1.1, University of Amsterdam, 1993.
Y. Papalconstantinou, H. Garcia-Molina and J. Widom, “Object Exchange Across Heterogeneous Information Sources”; International Conference on Data Engineering, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Maluf, D.A., Wiederhold, G. (1997). Abstraction of representation for interoperation. In: Raś, Z.W., Skowron, A. (eds) Foundations of Intelligent Systems. ISMIS 1997. Lecture Notes in Computer Science, vol 1325. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63614-5_43
Download citation
DOI: https://doi.org/10.1007/3-540-63614-5_43
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63614-4
Online ISBN: 978-3-540-69612-4
eBook Packages: Springer Book Archive