Concept Type and Coreference in Simple Conceptual Graphs

Michel Chein 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
Résumé : This paper tackles the question of representing and reasoning with types and coreference in simple conceptual graphs (SGs). It presents a framework integrating a number of previous works. This proposal is guided by the usability of CGs in practice. In other words, notions should be easy to use in knowledge representation and operations for doing reasoning have to be efficiently realizable. We propose to use conjunctive concept types, which are conjunctions of primitive types. The conjunctive concept type set is defined by means of a primitive type set and a set of banned conjunctive types. For efficiency reasons our framework is based on projection. However it has been shown that projection is complete (w.r.t. logical deduction) only when SGs are in normal form. In some situations the original form of the SGs has to be kept; we thus define an extension of projection, called coref-projection, which is complete for SGs of any form. Coref-projection is in particular suitable for frameworks where it is not assumed that coreferent nodes are mergeable.
Document type :
Conference papers
Liste complète des métadonnées
Contributor : Christine Carvalho de Matos <>
Submitted on : Monday, October 23, 2006 - 12:57:09 PM
Last modification on : Wednesday, December 12, 2018 - 3:56:05 PM

Links full text




Michel Chein, Marie-Laure Mugnier. Concept Type and Coreference in Simple Conceptual Graphs. ICCS: International Conference on Conceptual Structures, Jul 2004, Huntsville, United States. pp.303-318, ⟨10.1007/978-3-540-27769-9_20⟩. ⟨lirmm-00108891⟩



Record views