Michel Chein - Academia.edu (original) (raw)
Papers by Michel Chein
RAIRO - Operations Research, 1981
Proceedings of the 7th Annual Workshop on Conceptual Structures Theory and Implementation, 1992
The main purpose of this paper is to develop polynomial algorithms for the projection and matchin... more The main purpose of this paper is to develop polynomial algorithms for the projection and matching operations on conceptual graphs. Since all interesting problems related to these operations are at least NP-complete — we will consider here the exhibition of a solution and counting the solutions — we propose to explore polynomial cases by restricting the form of the graphs
Kr, 1998
We present a graph-based KR model issued from Sowa's conceptual graphs but studied and developed ... more We present a graph-based KR model issued from Sowa's conceptual graphs but studied and developed with a speci c approach. Formal objects are kinds of labelled graphs, which may be simple graphs or nested graphs. The fundamental notion for doing reasonings, called projection (or subsumption), is a kind of labelled graph morphism. Thus, we propose a graphical KR model, where \graphical " is used in the sense of Sch91], i.e. a model that \uses graph-theoretic notions in an essential and nontrivial way". Indeed, morphism, which is the fundamental notion for any structure, is at the core of our theory. We de ne two rst order logic semantics, which correspond to di erent intuitive semantics, and prove in both cases that projection is sound and complete with respect to deduction. This paper is almost identical to the paper appeared in the KR'98 proceedings. It provides minor corrections.
Icomp, 2007
Cet article présente une méthodologie et un atelier de construction graphique de descriptions for... more Cet article présente une méthodologie et un atelier de construction graphique de descriptions formelles de documents. Cet atelier est destiné à être intégré dans des applications de gestion de corpus de documents nécessitant l'utilisation d'un processus d'annotation basé sur l'interprétation du contenu des documents (en particulier l'indexation de documents audiovisuels). L'approche proposée repose sur l'élaboration d'un modèle de description multidimensionnel des documents permettant de contextualiser les différentes descriptions. Ce modèle est exprimée dans le formalisme des graphes conceptuels. L'atelier exploite l'API CoGITaNT de raisonnement sur ce formalisme et notre nouvelle API CoGUI de manipulation graphique des éléments de ce formalisme qu'elle décline en 3 outils : un éditeur de modèle de description basé sur l'élaboration d'une ontologie et d'une charte de description, un éditeur de description, et un outil de requêtage sur la base de descriptions construite. Dans cet article, nous présentons le modèle de description et le scénario de cosntruction des descriptions.
This paper reports on the ongoing effort in building an RDF ontology for the de-facto standard co... more This paper reports on the ongoing effort in building an RDF ontology for the de-facto standard conceptual model for library catalogs. We motivate our work by a concrete real world application and demonstrate how using the CoGui Conceptual Graphs ontology editor will highly benefit the task.
Michel Chein Marie-Laure Mugnier Graph-based Knowledge Representation Computational Foundations o... more Michel Chein Marie-Laure Mugnier Graph-based Knowledge Representation Computational Foundations of Conceptual Graphs Springer ... Michel Chein Marie-Laure Mugnier Graph-based Knowledge Representation Computational Foundations of Conceptual Graphs BC ...
ABSTRACT This research report contains the current version of the chapter about the BG family, ch... more ABSTRACT This research report contains the current version of the chapter about the BG family, chapter XII of a book to appear in 2008. In the BG family, a knowledge base is composed of facts, rules and/or constraints. The chapter XI specifically dedicated to rules is not registred as a research report yet.
Proceedings on Conceptual Graphs For Knowledge Representation, 1993
This paper studies canonical graphs, which are conceptual graphs derivable from a canonical basis... more This paper studies canonical graphs, which are conceptual graphs derivable from a canonical basis. We provide several characterizations of canonical graphs and prove that the correspondence between notions of a projection and a derivation sequence (specialization) holds true for canonical graphs. We propose an algorithm for deciding whether a conceptual graph is canonical relative to a given canonical basis. The
Knowledge and Information Systems, Aug 31, 2005
... Sect. 4.5), its definition is recalled. Definition 2.5 (Join). Let g be a CG and x and x two ... more ... Sect. 4.5), its definition is recalled. Definition 2.5 (Join). Let g be a CG and x and x two concept nodes of g with the same label, then the result of the join of x and x is the CG obtained from g by identification of x and x (Fig. 4). The ...
Graphe régulièrement décomposable Revue française d'informatique et de recherche opérationnelle, ... more Graphe régulièrement décomposable Revue française d'informatique et de recherche opérationnelle, série rouge, tome 2, n o 1 (1968), p. 27-42. <http://www.numdam.org/item?id=M2AN_1968__2_1_27_0> © AFCET, 1968, tous droits réservés. L'accès aux archives de la revue « Revue française d'informatique et de recherche opérationnelle, série rouge » implique l'accord avec les conditions générales d'utilisation (http://www.numdam.org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d'une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ R.LR.O. (2 e année, N° 7, 1968, p. 27-42) GRAPHE REGULIEREMENT DEGOMPOSABLE par M. CHEIN (*) Résumé.-On introduit dans cet article la notion de graphe régulièrement décomposable. Un algorithme de reconnaissance des graphes régulièrement décomposables est proposé à partir de la démonstration de deux propriétés caractéristiques. On montre ensuite comment cette nouvelle notion permet notamment :-d'étudier simplement, sans utiliser le théorème de Menger, les graphes inarticulés ;-de simplifier la recherche de toutes les décompositions dïun graphe connexe en k sousgraphes connexes.
RAIRO - Operations Research, 1981
Proceedings of the 7th Annual Workshop on Conceptual Structures Theory and Implementation, 1992
The main purpose of this paper is to develop polynomial algorithms for the projection and matchin... more The main purpose of this paper is to develop polynomial algorithms for the projection and matching operations on conceptual graphs. Since all interesting problems related to these operations are at least NP-complete — we will consider here the exhibition of a solution and counting the solutions — we propose to explore polynomial cases by restricting the form of the graphs
Kr, 1998
We present a graph-based KR model issued from Sowa's conceptual graphs but studied and developed ... more We present a graph-based KR model issued from Sowa's conceptual graphs but studied and developed with a speci c approach. Formal objects are kinds of labelled graphs, which may be simple graphs or nested graphs. The fundamental notion for doing reasonings, called projection (or subsumption), is a kind of labelled graph morphism. Thus, we propose a graphical KR model, where \graphical " is used in the sense of Sch91], i.e. a model that \uses graph-theoretic notions in an essential and nontrivial way". Indeed, morphism, which is the fundamental notion for any structure, is at the core of our theory. We de ne two rst order logic semantics, which correspond to di erent intuitive semantics, and prove in both cases that projection is sound and complete with respect to deduction. This paper is almost identical to the paper appeared in the KR'98 proceedings. It provides minor corrections.
Icomp, 2007
Cet article présente une méthodologie et un atelier de construction graphique de descriptions for... more Cet article présente une méthodologie et un atelier de construction graphique de descriptions formelles de documents. Cet atelier est destiné à être intégré dans des applications de gestion de corpus de documents nécessitant l'utilisation d'un processus d'annotation basé sur l'interprétation du contenu des documents (en particulier l'indexation de documents audiovisuels). L'approche proposée repose sur l'élaboration d'un modèle de description multidimensionnel des documents permettant de contextualiser les différentes descriptions. Ce modèle est exprimée dans le formalisme des graphes conceptuels. L'atelier exploite l'API CoGITaNT de raisonnement sur ce formalisme et notre nouvelle API CoGUI de manipulation graphique des éléments de ce formalisme qu'elle décline en 3 outils : un éditeur de modèle de description basé sur l'élaboration d'une ontologie et d'une charte de description, un éditeur de description, et un outil de requêtage sur la base de descriptions construite. Dans cet article, nous présentons le modèle de description et le scénario de cosntruction des descriptions.
This paper reports on the ongoing effort in building an RDF ontology for the de-facto standard co... more This paper reports on the ongoing effort in building an RDF ontology for the de-facto standard conceptual model for library catalogs. We motivate our work by a concrete real world application and demonstrate how using the CoGui Conceptual Graphs ontology editor will highly benefit the task.
Michel Chein Marie-Laure Mugnier Graph-based Knowledge Representation Computational Foundations o... more Michel Chein Marie-Laure Mugnier Graph-based Knowledge Representation Computational Foundations of Conceptual Graphs Springer ... Michel Chein Marie-Laure Mugnier Graph-based Knowledge Representation Computational Foundations of Conceptual Graphs BC ...
ABSTRACT This research report contains the current version of the chapter about the BG family, ch... more ABSTRACT This research report contains the current version of the chapter about the BG family, chapter XII of a book to appear in 2008. In the BG family, a knowledge base is composed of facts, rules and/or constraints. The chapter XI specifically dedicated to rules is not registred as a research report yet.
Proceedings on Conceptual Graphs For Knowledge Representation, 1993
This paper studies canonical graphs, which are conceptual graphs derivable from a canonical basis... more This paper studies canonical graphs, which are conceptual graphs derivable from a canonical basis. We provide several characterizations of canonical graphs and prove that the correspondence between notions of a projection and a derivation sequence (specialization) holds true for canonical graphs. We propose an algorithm for deciding whether a conceptual graph is canonical relative to a given canonical basis. The
Knowledge and Information Systems, Aug 31, 2005
... Sect. 4.5), its definition is recalled. Definition 2.5 (Join). Let g be a CG and x and x two ... more ... Sect. 4.5), its definition is recalled. Definition 2.5 (Join). Let g be a CG and x and x two concept nodes of g with the same label, then the result of the join of x and x is the CG obtained from g by identification of x and x (Fig. 4). The ...
Graphe régulièrement décomposable Revue française d'informatique et de recherche opérationnelle, ... more Graphe régulièrement décomposable Revue française d'informatique et de recherche opérationnelle, série rouge, tome 2, n o 1 (1968), p. 27-42. <http://www.numdam.org/item?id=M2AN_1968__2_1_27_0> © AFCET, 1968, tous droits réservés. L'accès aux archives de la revue « Revue française d'informatique et de recherche opérationnelle, série rouge » implique l'accord avec les conditions générales d'utilisation (http://www.numdam.org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d'une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ R.LR.O. (2 e année, N° 7, 1968, p. 27-42) GRAPHE REGULIEREMENT DEGOMPOSABLE par M. CHEIN (*) Résumé.-On introduit dans cet article la notion de graphe régulièrement décomposable. Un algorithme de reconnaissance des graphes régulièrement décomposables est proposé à partir de la démonstration de deux propriétés caractéristiques. On montre ensuite comment cette nouvelle notion permet notamment :-d'étudier simplement, sans utiliser le théorème de Menger, les graphes inarticulés ;-de simplifier la recherche de toutes les décompositions dïun graphe connexe en k sousgraphes connexes.