Local Negation in Concept Graphs
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.
Unable to display preview. Download preview PDF.
- [DK03]Dau, F., Klinger, J.: From Formal Concept Analysis to Contextual Logic. FB4– Preprint, TU Darmstadt (2003)Google Scholar
- [Ke01]Kerdiles, G.N.: Saying It with Pictures: a logical landscape of conceptual graphs, http://staff.science.uva.nl/kerdiles/
- [Kl05]Klinger, J.: The Logic System of Protoconcept Graphs. Preprint, FB Mathematik, TU Darmstadt (2005)Google Scholar
- [KV03]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
- [Wi96]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
- [Wi00b]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