A combinatorial approach to conceptual graph projection checking

We exploit the combinatorial structure of conceptual graphs in order to obtain better execution times when computing projection, which is a core generalisation-specialisation relation over conceptual graphs. We show how the problem of finding this relation can be translated into the Maximum Clique problem. Consequently, approximation techniques developed for the Maximum Clique problem can be used to compute projection in conceptual graphs. We show that there are “simple queries” which can be answered quickly, thus providing efficient reasoning support in a knowledge management environment based on conceptual graphs.

[1]  Gerard Ellis,et al.  Efficient Retrieval from Hierarchies of Objects using Lattice Operations , 1993, ICCS.

[2]  Marie-Laure Mugnier,et al.  Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics , 1998, KR.

[3]  John F. Sowa,et al.  Knowledge representation: logical, philosophical, and computational foundations , 2000 .

[4]  Aurelio López-López,et al.  Conceptual graph matching: a flexible algorithm and experiments , 1992, J. Exp. Theor. Artif. Intell..

[5]  Jean-François Baget,et al.  Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints , 2011, J. Artif. Intell. Res..

[6]  Madalina Croitoru,et al.  On Conceptual Graph Projection , 2004 .

[7]  Eric Salvat,et al.  A Sound and Complete CG Proof Procedure Combining Projections with Analytic Tableaux , 1997, ICCS.

[8]  Martin L. Kersten,et al.  A Graph-Oriented Model for Articulation of Ontology Interdependencies , 1999, EDBT.

[9]  Marie-Laure Mugnier,et al.  On generalization/specialization for conceptual graphs , 1995, J. Exp. Theor. Artif. Intell..

[10]  Georg Gottlob,et al.  Hypertree Decompositions: A Survey , 2001, MFCS.

[11]  Panos M. Pardalos,et al.  Handbook of combinatorial optimization. Supplement , 2005 .

[12]  Peter N. Creasy,et al.  A Conceptual Graphs Approach to Conceptual Schema Integration , 1993, ICCS.

[13]  Franz Baader,et al.  Tractable and Decidable Fragments of Conceptual Graphs , 1999, ICCS.

[14]  Natalya F. Noy,et al.  Ontology Versioning as an Element of an Ontology-Management Framework , 2003 .