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.
Type de document :
Communication dans un congrès
ICCS: International Conference on Conceptual Structures, Jul 2006, Aalborg, Denmark. Springer, 14th International Conference on Conceptual Structures, LNCS (4068), pp.331-345, 2006
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00113160
Contributeur : Michel Leclère <>
Soumis le : vendredi 10 novembre 2006 - 19:38:13
Dernière modification le : jeudi 11 janvier 2018 - 16:20:00

Identifiants

  • HAL Id : lirmm-00113160, version 1

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. Springer, 14th International Conference on Conceptual Structures, LNCS (4068), pp.331-345, 2006. 〈lirmm-00113160〉

Partager

Métriques

Consultations de la notice

65