Skip to main content
SpringerLink
Log in

Relation Graphs: A Structure for Representing Relations in Contextual Logic of Relations

  • Conference paper
  • First Online:
Conceptual Structures: Integration and Interfaces (ICCS 2002)

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

Included in the following conference series:

Abstract

Contextual Logic of Relations (CLR) is based on Formal Concept Analysis (FCA) and Peircean Algebraic Logic (PAL). The aim of the paper is to introduce relation graphs as an algebraic structure for representing relations and operations on relations in Contextual Logic of Relations. It is shown that each relation graph of a relation context family uniquely represents an extent of a relation described by a first order logic formula. In reverse, each compound relation of a relation context family can be represented by a relation graph. A graphical representation of relation graphs highly corresponds to a graphical system of PAL. The formal definition of relation graphs is intended to clarify correspondences between PAL and (existential semi-) concept graphs as well as existential graphs.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Abiteboul, R. Hull, V. Vianu: Foundations of Databases. Addison-Wesley, Reading 1995.

    MATH  Google Scholar 

  2. M. Arnold: Einführung in die kontextuelle Relationenlogik. Diploma thesis. TU Darmstadt 2001.

    Google Scholar 

  3. C. Brink, W. Kahl, G. Schmidt (eds.): Relational methods in computer science. Springer, Wien-New York 1997.

    MATH  Google Scholar 

  4. R. W. Burch: A Peircean reduction thesis. Texas Tech University Press, Lubbock 1991.

    Google Scholar 

  5. F. Dau: Concept Graphs and Predicate Logic. In: H. S. Delugach, G. Stumme (eds.): Conceptual structures: broadening the base. LNAI 2120. Springer, Heidelberg 2001, 72–86.

    Chapter  Google Scholar 

  6. B. Ganter, R. Wille: Contextual Attribute Logic. In: W. Tepfenhart, W. Cyre (eds.): Conceptual structures: standards and practices. LNAI 1640. Springer, Heidelberg 1999, 377–388.

    Chapter  Google Scholar 

  7. B. Jónsson: Relation algebras and Schröder categories. In: Discrete Mathematics. 70 (1988), 27–45.

    Article  MATH  MathSciNet  Google Scholar 

  8. B. Jónsson: The theory of binary relations. In: Algebraic Logic. Colloq. Math. Soc. Janos Bolyai 54 (1991), 245–292.

    Google Scholar 

  9. J. Klinger: Semiconcept graphs: syntax and semantics. Diploma thesis. TU Darmstadt 2001.

    Google Scholar 

  10. R. D. Maddux: The origin of relation algebras in the development and axiomatization of the calculus of relations. In: Studia Logica. 50 (1991), 421–455.

    Article  MathSciNet  MATH  Google Scholar 

  11. R.D. Maddux: Introductory course on relation algebras, finite-dimensional cylindric algebras, and their interconnections. In: Algebraic Logic. Colloq. Math. Soc. Janos Bolyai 54 (1991), 361–392.

    Google Scholar 

  12. D. Maier: The theory of relational data bases. Computer Science Press, Rockville 1983.

    Google Scholar 

  13. Meyers großes Taschenlexikon. (24bändig) Bd. 2 (3.Auflage), BITaschenbuchverlag, Mannheim 1990.

    Google Scholar 

  14. Oxford Advanced Learner’s Dictionary. (fourth edition), Oxford University Press, Oxford 1989.

    Google Scholar 

  15. C.S. Peirce: Reasoning and the Logic of Things. The Cambridge Conferences Lectures of 1898. Ed. by K. L. Kremer, Harvard Univ. Press, Cambridge 1992.

    Google Scholar 

  16. S. Pollandt: Relational Constructions on Semiconcept Graphs. In: G. Mineau (eds.): Conceptual structures: extracting and representing semantics. Contributions to ICCS, Stanford 2001, 171–185.

    Google Scholar 

  17. S. Pollandt, R. Wille: On the contextual logic of ordinal data. In: B. Ganter, G. Mineau (eds.): Conceptual structures: logical, linguistic, and computational issues. LNAI 1867. Springer, Heidelberg 2000, 306–316.

    Chapter  Google Scholar 

  18. S. Prediger, R. Wille: The lattice of concept graphs of a relationally scaled context. In: W. Tepfenhart, W. Cyre (eds.): Conceptual structures: standards and practices. LNAI 1640. Springer, Heidelberg 1999, 401–414.

    Chapter  Google Scholar 

  19. D.D. Roberts: The Existential Graphs of Charles S. Peirce. Mouton, The Hague, Paris 1973.

    Google Scholar 

  20. J. F. Sowa: Conceptual structures: information processing in mind and machine. Adison-Wesley, Reading 1984.

    MATH  Google Scholar 

  21. J. F. Sowa: Conceptual Graphs: Draft Proposed American National Standard. In: W. Tepfenhart, W. Cyre (eds.): Conceptual structures: standards and practices. LNAI 1640. Springer, Heidelberg 1999, 1–65.

    Chapter  Google Scholar 

  22. R. Wille: Conceptual graphs and formal concept analysis. In: D. Lukose, H. Delugach, M. Keeler, L. Searle and J. F. Sowa (eds.): Conceptual structures: fulfilling Peirce’s dream. LNAI 1257. Springer, Heidelberg 1997, 290–303.

    Chapter  Google Scholar 

  23. R. Wille: Lecture notes on contextual logic of relations. FB4-Preprint, TU Darmstadt 2000. TU Darmstadt 2000.

    Google Scholar 

  24. R. Wille: Contextual Logic summary. In: G. Stumme (ed.): Working with Conceptual Structures. Shaker Verlag, Aachen 2000, 265–276.

    Google Scholar 

  25. R. Wille: Boolean judgment logic. In: H. S. Delugach, G. Stumme (eds.): Conceptual structures: broadening the base. LNAI 2120. Springer, Heidelberg 2001, 115–128.

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Mathematik, Technische Universität Darmstadt, Schloßgartenstr. 7, D-64289, Darmstadt

    Silke Pollandt

Authors
  1. Silke Pollandt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Library and Information Science, Indiana University, 1320 E 10th Street, Bloomington, IN, 47405-3907, USA

    Uta Priss

  2. School of Computer and Information Science, University of South Australia, Mawson Lakes, SA, Australia, 5095

    Dan Corbett

  3. Central Laboratory for Parallel Processing, Bulgarian Academy of Sciences, 25A Acad. G. Bonchev Street, 1113, Sofia, Bulgaria

    Galia Angelova

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pollandt, S. (2002). Relation Graphs: A Structure for Representing Relations in Contextual Logic of Relations. In: Priss, U., Corbett, D., Angelova, G. (eds) Conceptual Structures: Integration and Interfaces. ICCS 2002. Lecture Notes in Computer Science(), vol 2393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45483-7_4

Download citation

  • DOI: https://doi.org/10.1007/3-540-45483-7_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43901-1

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation