Abstract.
In this article a theory of distributed systems consisting of formal contexts which was introduced by Barwise and Seligman is translated to distributed systems consisting of concept graphs. The aim is to construct for every distributed system a channel consisting of a concept graph representing the distributed system and a set concept graph morphisms representing the relation between the parts of the system and the whole system. To reach this aim two operations for constructing new concept graphs, the semiproduct and the quotient by an invariant, are introduced. These operations are the basis for constructing the concept graph of the channel which represents a distributed system as a whole.
Grit Malik: Supported by the DFG/Graduiertenkolleg 334
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Barwise, J., Seligman, J.: Information Flow: The Logic of Distributed Systems. Cambridge University Press, Cambridge (1997)
Chein, M., Mugnier, M.-L.: Conceptual Graphs: fundamental notions. Revue d’Intelligence Artificielle 6, 365–406 (1992)
Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Heidelberg (1999)
Malik, G.: Information Transfer across Simple Concept Graphs. In: Priss, U., Corbett, D.R., Angelova, G. (eds.) ICCS 2002. LNCS (LNAI), vol. 2393, pp. 48–61. Springer, Heidelberg (2002)
Mugnier, M.-L.: Knowledge Representation and Reasoning Based on Graph Homomorphism. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS (LNAI), vol. 1867, pp. 171–191. Springer, Heidelberg (2000)
Prediger, S.: Simple Concept Graphs: a logic approach. In: Mugnier, M.-L., Chein, M. (eds.) ICCS 1998. LNCS (LNAI), vol. 1453, pp. 225–239. Springer, Heidelberg (1998)
Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen: Ein Beitrag zur Restrukturierung der mathematischen Logik. Dissertation, FB Mathematik, TU Darmstadt 1998. Verlag Shaker, Aachen (1998)
Schröter, W., Lautenschläger, K.-H., Bibrack, H., Schnabel, A.: Chemie: Nachschlagebücher für Grundlagenfächer. Fachbuchverlag Leipzig (1986)
Sowa, J.F.: Conceptual Structures: information processing in mind and machine. Addison-Wesley, Reading (1984)
Wille, R.: Conceptual Graphs and Formal Concept Analysis. In: Delugach, H.S., Keeler, M.A., Searle, L., Lukose, D., Sowa, J.F. (eds.) ICCS 1997. LNCS (LNAI), vol. 1257, pp. 290–303. Springer, Heidelberg (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Malik, G. (2003). Distributed Systems with Simple Concept Graphs. In: Ganter, B., de Moor, A., Lex, W. (eds) Conceptual Structures for Knowledge Creation and Communication. ICCS 2003. Lecture Notes in Computer Science(), vol 2746. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45091-7_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-45091-7_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40576-4
Online ISBN: 978-3-540-45091-7
eBook Packages: Springer Book Archive