Concept Type and Coreference in Simple Conceptual Graphs - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2004

Concept Type and Coreference in Simple Conceptual Graphs

Michel Chein
  • Function : Author
  • PersonId : 934405


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.

Dates and versions

lirmm-00108891 , version 1 (23-10-2006)



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⟩
152 View
0 Download



Gmail Mastodon Facebook X LinkedIn More