Abstract

This paper centers on generalization/specialization relation in the framework of conceptual graphs (this relation corresponds to the logical subsumption when considering the logical formulas associated with conceptual graphs). Results given here apply more generally to any model where knowledge is described by labelled graphs and reasoning is based on graph subsumption, like in semantic networks or in structural machine learning. The generalization/specialization relation, as defined by Sowa, is first precisely analyzed, especially its links with a graph morphism, called projection. Besides Sowa's specialization relation (which is a preorder), another one is actually used in some practical applications (which is an order). Both are comparatively studied. The second topic of this paper is the design of efficient algorithms for computing these specialization relations. Since the associated problems are NP-hard, the form of the graphs is restricted in order to come to polynomial algorithm...

Citations