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.
Preview
Unable to display preview. Download preview PDF.
References
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.
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.
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.
Guarino, N. Concepts, Attributes and Arbitrary Relations. lData and Knowledge Engineering 8 (1992), pages 249–261.
Moulin, B. and Creasy, P. Extending the Conceptual Graph Approach for Data Conceptual Modelling. Data and Knowledge Engineering, 8(1992), pages 223–248.
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.
Sowa, J.F. Conceptual Structures — Information Processing in Mind and Machine. Addison-Wesley, Reading, Massachusetts, 1984.
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.
Sowa, J.F., and Zachman, J.A. Extending and Formalizing the framework for Information Systems Architecture. IBM Systems Journal 31, 3.
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.
Author information
Authors and Affiliations
Editor information
Rights 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