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 metadatas

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00113160
Contributor : Michel Leclère <>
Submitted on : Friday, November 10, 2006 - 7:38:13 PM
Last modification on : Wednesday, June 5, 2019 - 11:58:13 AM

Identifiers

  • HAL Id : lirmm-00113160, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

115