Skip to Main content Skip to Navigation
Conference papers

Simple Conceptual Graphs with Atomic Negation and Difference

Michel Leclère 1 Marie-Laure Mugnier 1 
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : 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.
Document type :
Conference papers
Complete list of metadata
Contributor : Michel Leclère Connect in order to contact the contributor
Submitted on : Friday, November 10, 2006 - 7:38:13 PM
Last modification on : Friday, August 5, 2022 - 3:03:00 PM


  • HAL Id : lirmm-00113160, version 1



Michel Leclère, Marie-Laure Mugnier. Simple Conceptual Graphs with Atomic Negation and Difference. ICCS: International Conference on Conceptual Structures, Jul 2006, Aalborg, Denmark. pp.331-345. ⟨lirmm-00113160⟩



Record views