Skip to main content

Abstraction of representation for interoperation

  • Communications Session 6A Intelligent Information Systems
  • Conference paper
  • First Online:
Foundations of Intelligent Systems (ISMIS 1997)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1325))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Aben, “KADS-II CommonKADS Inferences”; Technical Report M2-UVA-041-1.0, University of Amsterdam, 1993.

    Google Scholar 

  2. A. Borgida, “From type systems to knowledge representation: natural semantics specification for describing logics”; Intelligent and Cooperative Information Systems, 1(1):93–126, 1992.

    Google Scholar 

  3. A. Borgida, R. Brachman, D. McGuinness, L. Resnick, “CLASSIC: A Structural Data Model for Objects”; SIGMOD Conference pages 58–67, 1989.

    Google Scholar 

  4. R. Brachman and J. Schmolze, “An Overview of the KL-ONE knowledge Representasion System”; Cognitive Science, 9(2):171–216, 1985.

    Google Scholar 

  5. S. Buvac and R. Fikes, “A Declarative Formalization of Knowledge Translation”; Knowledge Systems Laboratory, KSL-94-59, August 1994.

    Google Scholar 

  6. C. Collet, M. Huhns and W. Shen, “Resource Integration Using a Large Knowledge Base in Carnot”; IEEE Computer, 12(24), Dec. 1991.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. R. El-Masri and G. Wiederhold: “Data Model Integration Using the Structural Model”; Proceedings 1979 ACM SIGMOD Conference, pages 191–202.

    Google Scholar 

  9. J. L. Garfield (editor): “Modularity in Knowledge Representation and Natural Language Understanding”; MIT Press, 1987.

    Google Scholar 

  10. M. Genesereth and N. Nilsson, “Logical Foundations of Artificial Intelligence”; Morgan Kaufmann Publishers, Inc., Los Altos, CA, 1987.

    Google Scholar 

  11. M. Genesereth, “Knowledge Interchange Format”; Technical Report Logic-92-1, Stanford University, 1992.

    Google Scholar 

  12. 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.

    Google Scholar 

  13. 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.

    Google Scholar 

  14. T. R. Gruber, “Ontolingua: A mechanism to support portable ontologies”; Technical Report, KSL-91-66, Knowledge System Laboratory, Stanford University, Stanford, CA.

    Google Scholar 

  15. R. V. Guha. “Context: A Formalization and Some applications”; Doctoral Dissertation, Stanford University, 1991.

    Google Scholar 

  16. 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.

    Google Scholar 

  17. 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.

    Google Scholar 

  18. J. McCarthy, “Notes on Formalizing Context”; In proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, 1993.

    Google Scholar 

  19. R. MacGregor and R. Bates, “The LOOM Knowledge Representation Language”; in Proceedings of the Knowledge-Based Systems Workshop, April 1987.

    Google Scholar 

  20. 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.

    Google Scholar 

  21. 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.

    Google Scholar 

  22. G. Riley, “CLIPS: An Expert System Building Tool/rd; Proceedings of the Technology 2001 Conference, San Jose, CA, December 1991.

    Google Scholar 

  23. 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.

    Google Scholar 

  24. J. Smart and R. Rae, “Hardy”; Technical Report Hardy User Guide, Artificial Intelligence Applications Institute, University of Edinburgh, 1995.

    Google Scholar 

  25. 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.

    Google Scholar 

  26. 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.

    Google Scholar 

  27. 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.

    Google Scholar 

  28. G. Wiederhold X. Qian, “Modeling Asynchrony in Distributed Databasesd”; Third IEEE Computer Society Data Engineering Conference, Los Angeles, Feb. 1987.

    Google Scholar 

  29. 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.

    Google Scholar 

  30. Y. Papalconstantinou, H. Garcia-Molina and J. Widom, “Object Exchange Across Heterogeneous Information Sources”; International Conference on Data Engineering, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Zbigniew W. Raś Andrzej Skowron

Rights and permissions

Reprints 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

Publish with us

Policies and ethics