Skip to main content
SpringerLink
Log in

Local Negation in Concept Graphs

  • Conference paper
Conceptual Structures: Common Semantics for Sharing Knowledge (ICCS 2005)

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

Included in the following conference series:

Abstract

The aim of this paper is to present several examples illustrating challenges (local) negation in concept graphs yields with respect to semantical entailment. The examples are mainly concerned with inequality and with the impact missing information can have on relationships. The problems described here arose during the development of a logic system of protoconcept graphs (cf. [Kl05]), hence they will serve as exemplification.

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. Dau, F.: The Logic System of Concept Graphs with Negations (and its Relationship to Predicate Logic). Springer, Berlin (2003)

    Book  Google Scholar 

  2. Dau, F., Klinger, J.: From Formal Concept Analysis to Contextual Logic. FB4– Preprint, TU Darmstadt (2003)

    Google Scholar 

  3. Kerdiles, G.N.: Saying It with Pictures: a logical landscape of conceptual graphs, http://staff.science.uva.nl/kerdiles/

  4. Klinger, J.: The Logic System of Protoconcept Graphs. Preprint, FB Mathematik, TU Darmstadt (2005)

    Google Scholar 

  5. 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 

  6. Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen. Shaker Verlag, Aachen (1998)

    MATH  Google Scholar 

  7. 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)

    Chapter  Google Scholar 

  8. Wille, R.: Restructuring Mathematical Logic: An Approach Based on Peirce’s Pragmatism. In: Ursini, A., Agliano, P. (eds.) Logic and Algebra, pp. 267–281. Marcel Dekker, New York (1996)

    Google Scholar 

  9. Wille, R.: Boolean Concept Logic. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS, vol. 1867, pp. 317–331. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  10. Wille, R.: Contextual Logic Summary. In: Stumme, G. (ed.) Working with Conceptual Structures. Contributions to ICCS 2000, pp. 256–276. Shaker Verlag, Aachen (2000)

    Google Scholar 

  11. Wille, R.: Existential Graphs of Power Context Families. In: Priss, U., Corbett, D.R., Angelova, G. (eds.) ICCS 2002. LNCS (LNAI), vol. 2393, pp. 382–396. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

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

    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 Information Systems and Technology, University of Wollongong, Northfields Ave, NSW 2522, Wollongong, Australia

    Frithjof Dau

  2. RCR, LIRMM, UMII, CNRS,  

    Marie-Laure Mugnier

  3. Research Center L3S, Appelstr. 9a, D-30167, Hannover, Germany

    Gerd Stumme

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Klinger, J. (2005). Local Negation in Concept Graphs. In: Dau, F., Mugnier, ML., Stumme, G. (eds) Conceptual Structures: Common Semantics for Sharing Knowledge. ICCS 2005. Lecture Notes in Computer Science(), vol 3596. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11524564_14

Download citation

  • DOI: https://doi.org/10.1007/11524564_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-27783-5

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation