Skip to main content
SpringerLink
Log in

Semiconcept Graphs with Variables

  • 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

The aim of this paper is to extend the logical theory of semi-concept graphs by allowing variables as references. With this, we obtain semiconcept graphs which can express existential quantification. Semi-concept graphs with variables are introduced as syntactical constructs. In the framework of contextual logic, we then develop their semantics based on power context families. For each semiconcept graph with variables the appropriate standard power context family is constructed. They characterize the entailment relation and serve as a mechanism to translate information given on the graph level to the context level. Vice versa, we construct for each power context family the standard graph which entails all semiconcept graphs of that given power context family. The theory of semiconcept graphs with variables is illustrated by demonstrating how these graphs can be applied to problems in pharmacology.

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. Hermann P. T. Ammon, Arzneimittelneben-und wechselwirkungen. Ein Handbuch und Tabellenwerk für Ärzte und Apotheker, Wissensch. VG. 1991.

    Google Scholar 

  2. F. Dau: Negations in Simple Concept Graphs. In: B. Ganter, G. W. Mineau (Eds.): Conceptual Structures: Logical, Linguistic, and Computational Issues, Springer Verlag, Berlin-New York 2000, 263–276.

    Chapter  Google Scholar 

  3. F. Dau: Concept Graphs and Predicate Logic. In: H. S. Delugach, G. Stumme (Eds.): Conceptual Structures: Broadening the Base, Springer Verlag, Berlin-New York 2001, 72–86.

    Chapter  Google Scholar 

  4. B. Ganter, R. Wille: Formal Concept Analysis: Mathematical Foundations. Springer, Berlin-New York 1999.

    MATH  Google Scholar 

  5. C. Herrmann, P. Luksch, M. Skorsky, R. Wille: Algebras of Semiconcepts and Double Boolean Algebras. Contributions to General Algebra 13, 2000.

    Google Scholar 

  6. J. Klinger: Simple Semiconcept Graphs: a Boolean Logic Approach. In: H. S. Delugach, G. Stumme (Eds.): Conceptual Structures: Broadening the Base, Springer Verlag, Berlin-New York 2001, 115–128.

    Google Scholar 

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

    Google Scholar 

  8. S. Prediger: Kontextuelle Urteilslogik mit Begriffsgraphen, Shaker Verlag, Aachen 1998.

    MATH  Google Scholar 

  9. S. Prediger: Simple Concept Graphs: A Logic Approach. In: M.-L. Mugnier, M. Chein (Eds): Conceptual Structures: Theory, Tools and Application, Springer Verlag, Berlin-Heidelberg 1998, 225–239.

    Chapter  Google Scholar 

  10. S. Prediger: Nested Concept Graphs and Triadic Power Context Families: A Situation-Based Contextual Approach. In: B. Ganter, G. W. Mineau (Eds.): Conceptual Structures: Logical, Linguistic, and Computational Issues, Springer Verlag, Berlin-New York 2000, 249–262.

    Chapter  Google Scholar 

  11. 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, Springer, Berlin-Heidelberg-New York 1999, 401–414.

    Chapter  Google Scholar 

  12. B. Vormbrock: Double Boolean Algebras, Diplomarbeit, FB Mathematik, TU Darmstadt 2002, to appear.

    Google Scholar 

  13. R. Wille: Conceptual Graphs and Formal Concept Analysis. In: D. Lukose et. al. (Eds.): Conceptual Structures: Fulfilling Peirce’s Dream, Springer Verlag, Berlin-New York 1997, 290–303.

    Chapter  Google Scholar 

  14. R. Wille: Boolean Concept Logic. In: B. Ganter, G. W. Mineau (Eds.): Conceptual Structures: Logical, Linguistic, and Computational Issues, Springer Verlag, Berlin-New York 2000, 317–331.

    Chapter  Google Scholar 

  15. R. Wille: Boolean Judgment Logic. In: H. S. Delugach, G. Stumme (Eds.): Conceptual Structures: Broadening the Base, Springer Verlag, Berlin-New York 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, Germany

    Julia Klinger

Authors
  1. Julia Klinger
    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

Klinger, J. (2002). Semiconcept Graphs with Variables. 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_28

Download citation

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

  • 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