Repository | Series | Book | Chapter
Simple conceptual graphs with atomic negation and difference
pp. 331-345
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.
Publication details
Published in:
Hitzler Pascal, Øhrstrøm Peter (2006) Conceptual structures: inspiration and application: 14th international conference on conceptual structures, iccs 2006, aalborg, denmark, july 16-21, 2006. proceedings. Dordrecht, Springer.
Pages: 331-345
DOI: 10.1007/11787181_24
Full citation:
Leclère Michel, Mugnier Marie-Laure (2006) „Simple conceptual graphs with atomic negation and difference“, In: P. Hitzler & P. Øhrstrøm (eds.), Conceptual structures: inspiration and application, Dordrecht, Springer, 331–345.