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.
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
Dau, F.: The Logic System of Concept Graphs with Negations (and its Relationship to Predicate Logic). Springer, Berlin (2003)
Dau, F., Klinger, J.: From Formal Concept Analysis to Contextual Logic. FB4– Preprint, TU Darmstadt (2003)
Kerdiles, G.N.: Saying It with Pictures: a logical landscape of conceptual graphs, http://staff.science.uva.nl/kerdiles/
Klinger, J.: The Logic System of Protoconcept Graphs. Preprint, FB Mathematik, TU Darmstadt (2005)
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)
Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen. Shaker Verlag, Aachen (1998)
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)
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)
Wille, R.: Boolean Concept Logic. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS, vol. 1867, pp. 317–331. Springer, Heidelberg (2000)
Wille, R.: Contextual Logic Summary. In: Stumme, G. (ed.) Working with Conceptual Structures. Contributions to ICCS 2000, pp. 256–276. Shaker Verlag, Aachen (2000)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)