Simple conceptual graphs revisited: hypergraphs and conjunctive types for efficient projection algorithms - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2003

Simple conceptual graphs revisited: hypergraphs and conjunctive types for efficient projection algorithms

Abstract

Simple Conceptual Graphs (SGs) form the cornerstone for the "Conceptual Graphs" family of languages. In this model, the subsumptio operation is called projection; it is a labelled graphs homomorphism (a NP-hard problem). Designing efficient algorithms to compute projections between two SGs is thus of uttermost importance for the community building languages on top of this basic model. This paper presents some such algorithms, inspired by those developped for Constraint Satisfaction Problems. In order to benefit from the optimization work done in this community, we have chosen to present an alternate version of SGs, differences being the definition of these graphs as hypergraphs and the use of conjunctive types.
Fichier principal
Vignette du fichier
baget2003a.pdf (486.6 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00906599 , version 1 (20-11-2013)

Identifiers

Cite

Jean-François Baget. Simple conceptual graphs revisited: hypergraphs and conjunctive types for efficient projection algorithms. Proc. 11th international conference on conceptual sructures (ICCS), Jul 2003, Dresden, Germany. pp.229-242, ⟨10.1007/978-3-540-45091-7_16⟩. ⟨hal-00906599⟩
99 View
125 Download

Altmetric

Share

Gmail Facebook X LinkedIn More