Skip to main content
SpringerLink
Log in

Object-oriented conceptual graphs

  • Conference paper
  • First Online:
Book cover Conceptual Structures: Applications, Implementation and Theory (ICCS 1995)

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

Included in the following conference series:

Abstract

In this paper a state based view of conceptual graphs borrowed from the Object-Z program specification language is introduced. This new view is contrasted with the object-oriented model developed by Sowa [5]. The new model is demonstrated by reducing Sowa's example proof from 18 steps to 4 steps. The new model uses relations connecting object pre-states and post-states to represent object methods, rather than using messages as concepts as in Sowa's version. We argue that the new model is clearer because it is based on a simple state transition and that this leads to more efficient theorem proving and programming.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Roger Duke, Paul King, Gordon Rose, and Graeme Smith. The Object-Z specification language. In Technology of Object-Oriented Languages and Systems: TOOLS 5, pages 465–483. Prentice-Hall, 1991.

    Google Scholar 

  2. Gerard Ellis, Stephen R. Callaghan, and James Ricketts. Modelling reactive objects in conceptual graphs. In Christine Mingins and Bertrand Meyer, editors, Proceedings of TOOLS PACIFIC 94 Conference, pages 217–225. Prentice-Hall, November 1994.

    Google Scholar 

  3. Gerard Ellis, Robert A. Levinson, and Peter J. Robinson. Managing complex objects in Peirce. International Journal on Human-Computer Studies, 41:109–148, 1994. Special Issue on Object-Oriented Approaches in Artificial Intelligence and Human-Computer Interaction.

    Google Scholar 

  4. John F. Sowa. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading, MA, 1984.

    Google Scholar 

  5. John F. Sowa. Logical foundations for representing object-oriented systems. Journal of Experimental & Theoretical Artificial Intelligence, 5, 1993.

    Google Scholar 

  6. John F. Sowa. Relating diagrams to logic. In Guy W. Mineau, Bernard Moulin, and John F. Sowa, editors, Conceptual Graphs for Knowledge Representation, Number 699 in Lecture Notes in Artificial Intelligence, pages 1–35, Berlin, 1993. Springer-Verlag. Proceedings of the 1st International Conference on Conceptual Structures, Quebec City, Canada, August 4–7.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Royal Melbourne Institute of Technology, GPO Box 2476V, 3001, Melbourne, Victoria, Australia

    Gerard Ellis

Authors
  1. Gerard Ellis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Gerard Ellis Robert Levinson William Rich John F. Sowa

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ellis, G. (1995). Object-oriented conceptual graphs. In: Ellis, G., Levinson, R., Rich, W., Sowa, J.F. (eds) Conceptual Structures: Applications, Implementation and Theory. ICCS 1995. Lecture Notes in Computer Science, vol 954. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60161-9_35

Download citation

  • DOI: https://doi.org/10.1007/3-540-60161-9_35

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60161-6

  • Online ISBN: 978-3-540-49539-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation