Simple conceptual graphs with atomic negation and difference

Michel Leclère

Marie-Laure Mugnier

pp. 331-345

in: Pascal Hitzler, Peter Øhrstrøm (eds), Conceptual structures: inspiration and application, Berlin, Springer, 2006

Abstrakt

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.