Skip to main content
SpringerLink
Log in

Information systems modeling with CGs logic

  • Knowledge Modeling
  • Conference paper
  • First Online:
Conceptual Structures: Fulfilling Peirce's Dream (ICCS 1997)

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

Included in the following conference series:

  • 140 Accesses

Abstract

This paper shows how to apply the conceptual graphs logic to information systems modeling. The graphs are not used as just another graphical representation of information system requirements, but the full power of this graphical logic system has been employed to fully and precisely capture type definitions, referential integrity constraints and global constraints. Such a logic based definition of an information system takes its semantics from a set of facts represented by fully instantiated simple conceptual graphs. An incremental validity checking procedures for adding new facts to a fact base have been defined and illustrated by an example.

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. Creasy, P., and Ellis, G. A Conceptual Graphs Approach to Conceptual Schema Integration. In Mineau, G.W., Moulin, B., and Sowa, J.F., editors, Conceptual Graphs for Knowledge Representation, pages 126–141. Springer-Verlag, Berlin, 1993.

    Google Scholar 

  2. Boksenbaum, C., Carbonneill, B., Haemmerle, O., and Libourel, T. Conceptual Graphs for Relational Databases. In Mineau, G.W., Moulin, B., and Sowa, J.F., editors, Conceptual Graphs for Knowledge Representation, pages 345–360. Springer-Verlag, Berlin, 1993.

    Google Scholar 

  3. Gardyn, E. Multiple Information Models. In Ellis, G., and Eklund, P., editors, Proceedings of the 1st Australian Conceptual Structures Workshop, pages 148–164. University of New England, Armidale, Australia, 1994.

    Google Scholar 

  4. Guarino, N. Concepts, Attributes and Arbitrary Relations. lData and Knowledge Engineering 8 (1992), pages 249–261.

    Google Scholar 

  5. Moulin, B. and Creasy, P. Extending the Conceptual Graph Approach for Data Conceptual Modelling. Data and Knowledge Engineering, 8(1992), pages 223–248.

    Google Scholar 

  6. Makowsky, J.A. Model Theory and Computer Science: An Appetizer. In Abramsky, S., Gabbay, D.M., and Maibaum, T.S.E., editors, Handbook of Logic in Computer Science. Vol 1, Clarendon Press, Oxford, 1992.

    Google Scholar 

  7. Sowa, J.F. Conceptual Structures — Information Processing in Mind and Machine. Addison-Wesley, Reading, Massachusetts, 1984.

    Google Scholar 

  8. Sowa, J.F. Relating Diagrams to Logic. In Mineau, G.W., Moulin, B., and Sowa, J.F., editors, Conceptual Graphs for Knowledge Representation, pages 345–360. Springer-Verlag, Berlin, 1993.

    Google Scholar 

  9. Sowa, J.F., and Zachman, J.A. Extending and Formalizing the framework for Information Systems Architecture. IBM Systems Journal 31, 3.

    Google Scholar 

  10. Wermelinger, M. Conceptual Structures Linear Notation — Proposal for Pierce. In Eklung, P., and Ellis, G., editors, Proceedings of the Fourth International Workshop on PIERCE: A Conceptual Graphs Workbench, pages 106–125. University of California Santa Cruz, CA, August, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computing Sciences, University of Technology, PO Box 123, 2007, Sydney, Broadway, NSW, Australia

    Ryszard Raban

Authors
  1. Ryszard Raban
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dickson Lukose Harry Delugach Mary Keeler Leroy Searle John Sowa

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Raban, R. (1997). Information systems modeling with CGs logic. In: Lukose, D., Delugach, H., Keeler, M., Searle, L., Sowa, J. (eds) Conceptual Structures: Fulfilling Peirce's Dream. ICCS 1997. Lecture Notes in Computer Science, vol 1257. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0027875

Download citation

  • DOI: https://doi.org/10.1007/BFb0027875

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63308-2

  • Online ISBN: 978-3-540-69424-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation