Simple Conceptual Graphs with Atomic Negation and Difference
This paper studies the introduction of atomic negation into simple conceptual graphs. Several semantics of negation are explored w.r.t. the deduction problem and the query answering problem. Sound and complete algorithm schemes based on projection (or coref-projection) are provided in all cases. The processing of equality/inequality is added to the framework.
KeywordsNegative Relation Intuitionistic Logic Conceptual Graph Concept Node Query Answering
Unable to display preview. Download preview PDF.
- [Ker01]Kerdiles, G.: Saying it with Pictures: a Logical Landscape of Conceptual Graphs. PhD thesis, Univ. Montpellier II / Amsterdam (November 2001), http://turing.wins.uva.nl/~kerdiles/
- [ML05]Mugnier, M.L., Leclère, M.: On Querying Simple Conceptual Graphs with Negation. Research Report LIRMM 05-051 (July 2005); revised version to appear in Data and Knowledge Engineering (2006)Google Scholar
- [WL94]Wermelinger, M., Lopes, J.G.: Basic Conceptual Structures Theory. In: Tepfenhart, W.M., Dick, J.P., Sowa, J.F. (eds.) ICCS 1994. LNCS (LNAI), vol. 835, pp. 144–159. Springer, Heidelberg (1994)Google Scholar