Skip to main content
Springer Nature Link
Log in

An Extension of the Theory of Information Flow to Semiconcept and Protoconcept Graphs

  • Conference paper
Conceptual Structures at Work (ICCS 2004)

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

Included in the following conference series:

  • 376 Accesses

Abstract

In this article the theory of distributed systems and information flow inside distributed systems by Barwise and Seligman is extended to semiconcept graphs and protoconcept graphs. For this purpose at first the information transferring mappings, i.e., semiconcept graph morphisms and protoconcept graph morphisms are defined. As in the theory by Barwise and Seligman a minimal cover of a distributed system consisting of semiconcept or protoconcept graphs and the corresponding morphisms by a channel can be constructed. Such a channel consists of a set of graph morphisms into a common semiconcept or protoconcept graph which is called the core of the channel. The core represents the distributed system as a whole and in particular the common information of the semiconcept or protoconcept graphs in the distributed system.

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.

Similar content being viewed by others

References

  1. Barwise, J., Seligman, J.: Information Flow: The Logic of Distributed Systems. Cambridge University Press, Cambridge (1997)

    MATH  Google Scholar 

  2. Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Berlin (1999)

    MATH  Google Scholar 

  3. Hereth Correia, J., Klinger, J.: Protoconcept Graphs: The Lattice of Conceptual Content. In: Eklund, P. (ed.) ICFCA 2004. LNCS (LNAI), vol. 2961, pp. 14–27. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  4. Klinger, J.: Simple Semiconcept Graphs: a Boolean Logic Approach. In: Delugach, H.S., Stumme, G. (eds.) Conceptual Structures: Broadening the Base, pp. 115–128. Springer, Heidelberg (2001)

    Google Scholar 

  5. Klinger, J.: Semiconcept Graphs: Syntax and Semantics. Diplomarbeit, FB Mathematik, TU Darmstadt (2001)

    Google Scholar 

  6. Klinger, J.: Semiconcept Graphs with Variables. In: Priss, U., Corbett, D., Angelowa, G. (eds.) Conceptual Structures: Integration and Interfaces, pp. 369–382. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  7. Klinger, J.: The Logic System of Protoconcept Graphs. FB4-Preprint, TU Darmstadt 2004 (to appear)

    Google Scholar 

  8. Klinger, J., Vormbrock, B.: Contextual Boolean Logic: How did it develop? In: Ganter, B., de Moor, A. (eds.) Using Conceptual Structures: Contributions to ICCS 2003, pp. 143–156. Shaker Verlag, Aachen (2003)

    Google Scholar 

  9. Malik, G.: Information Transfer across Simple Concept Graphs. In: Priss, U., Corbett, D., Angelowa, G. (eds.) Conceptual Structures: Integration and Interfaces, pp. 48–61. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  10. Malik, G.: Distributed Systems with Simple Concept Graphs. In: de Moor, A., Lex, W., Ganter, B. (eds.) Conceptual Structures for Knowledge Creation and Communication, pp. 257–270. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  11. Prediger, S.: Simple Concept Graphs: a logic approach. In: Mugnier, M.-L., Chein, M. (eds.) Conceptual Structures: Theory, Tools and Applications, pp. 225–239. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  12. Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen: Ein Beitrag zur Restrukturierung der mathematischen Logik. Dissertation, FB Mathematik, TU Darmstadt 1998. Verlag Shaker, Aachen (1998)

    Google Scholar 

  13. Schröter, W., Lautenschläger, K.-H., Bibrack, H., Schnabel, A.: Chemie: Nachschlageb ücher für Grundlagenfächer. Fachbuchverlag Leipzig (1986)

    Google Scholar 

  14. Sowa, J.F.: Conceptual Structures: information processing in mind and machine. Addison-Wesley, Reading (1984)

    MATH  Google Scholar 

  15. Wille, R.: Conceptual Graphs and Formal Concept Analysis. In: Lukose, D., Delugach, H., Keeler, M., Searle, L., Sowa, J. (eds.) Conceptual Structures: Fulfilling Peirce’s Dream, pp. 290–303. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  16. Wille, R.: Boolean Judgement Logic. In: Delugach, H.S., Stumme, G. (eds.) Conceptual Structures: Broadening the Base, pp. 115–128. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  17. Wille, R.: Existential Graphs on Power Context Families. In: Priss, U., Corbett, D., Angelowa, G. (eds.) Conceptual Structures: Integration and Interfaces, pp. 382–396. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  18. Wille, R.: Conceptual Content as Information - Basics for Contextual Judgement Logic. In: de Moor, A., Lex, W., Ganter, B. (eds.) Conceptual Structures for Knowledge Creation and Communication, pp. 1–15. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Algebra, Department of Mathematics and Natural Sciences, Dresden University of Technology, Germany

    Grit Malik

Authors
  1. Grit Malik
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Mathematics and Science Faculty, Darmstadt University of Applied Sciences, Schoefferstr. 3, D-64295, Darmstadt, Germany

    Karl Erich Wolff

  2. New Mexico State University,  

    Heather D. Pfeiffer

  3. Computer Science Department, Univ. of Alabama in Huntsville, AL 35899, Huntsville

    Harry S. Delugach

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Malik, G. (2004). An Extension of the Theory of Information Flow to Semiconcept and Protoconcept Graphs. In: Wolff, K.E., Pfeiffer, H.D., Delugach, H.S. (eds) Conceptual Structures at Work. ICCS 2004. Lecture Notes in Computer Science(), vol 3127. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27769-9_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-27769-9_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22392-4

  • Online ISBN: 978-3-540-27769-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics