{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:09:05Z","timestamp":1761487745526},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678595"},{"type":"electronic","value":"9783540446637"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722280_12","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T02:49:25Z","timestamp":1167446965000},"page":"172-192","source":"Crossref","is-referenced-by-count":31,"title":["Knowledge Representation and Reasonings Based on Graph Homomorphism"],"prefix":"10.1007","author":[{"given":"Marie-Laure","family":"Mugnier","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison- Wesley, Reading (1995)"},{"key":"12_CR2","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1007\/3-540-48659-3_28","volume-title":"Conceptual Structures: Standards and Practices","author":"J.-F. Baget","year":"1999","unstructured":"Baget, J.-F.: A simulation of co-identity with rules in simple and nested graphs. In: Tepfenhart, W.M. (ed.) ICCS 1999. LNCS (LNAI), vol.\u00a01640, pp. 442\u2013455. Springer, Heidelberg (1999)"},{"key":"12_CR3","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/BFb0027876","volume-title":"Conceptual Structures: Fulfilling Peirce\u2019s Dream","author":"C. Bos","year":"1997","unstructured":"Bos, C., Botella, B., Vanheeghe, P.: Modeling and simulating human behaviors with conceptual graphs. In: Delugach, H.S., Keeler, M.A., Searle, L., Lukose, D., Sowa, J.F. (eds.) ICCS 1997. LNCS (LNAI), vol.\u00a01257, pp. 275\u2013289. Springer, Heidelberg (1997)"},{"key":"12_CR4","unstructured":"Baget, J.-F., Genest, D., Mugnier, M.-L.: Knowledge acquisition with a pure graph-based knoweldge representation model \u2014 application to the sisyphus-i case study. In: Proc. KAW 1999 (1999)"},{"key":"12_CR5","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/3-540-48659-3_31","volume-title":"Conceptual Structures: Standards and Practices","author":"F. Baader","year":"1999","unstructured":"Baader, F., Molitor, R., Tobies, S.: Tractable and Decidable Fragments of Conceptual Graphs. In: Tepfenhart, W.M. (ed.) ICCS 1999. LNCS (LNAI), vol.\u00a01640, pp. 480\u2013493. Springer, Heidelberg (1999)"},{"issue":"4","key":"12_CR6","first-page":"365","volume":"6","author":"M. Chein","year":"1992","unstructured":"Chein, M., Mugnier, M.L.: Graphs: Fundamental Notions. Revue d\u2019Intelligence Artificielle\u00a06(4), 365\u2013406 (1992)","journal-title":"Revue d\u2019Intelligence Artificielle"},{"key":"12_CR7","unstructured":"Chein, M., Mugnier, M.L.: Conceptual Graphs are also Graphs. Research Report 95-004, LIRMM, p. 17 (January 1995)"},{"key":"12_CR8","first-page":"524","volume-title":"Proc. KR 1998","author":"M. Chein","year":"1998","unstructured":"Chein, M., Mugnier, M.-L., Simonet, G.: Nested Graphs: a Graph-based Knowledge Representation Model with FOL semantics. In: Proc. KR 1998, pp. 524\u2013534. Morgan Kaufmann, San Francisco (1998)"},{"key":"12_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/BFb0054914","volume-title":"Conceptual Structures: Theory, Tools and Applications","author":"S. Coulondre","year":"1998","unstructured":"Coulondre, S., Salvat, E.: Piece Resolution: Towards Larger Perspectives. In: Mugnier, M.-L., Chein, M. (eds.) ICCS 1998. LNCS (LNAI), vol.\u00a01453, pp. 179\u2013193. Springer, Heidelberg (1998)"},{"key":"12_CR10","unstructured":"Gaines, B.R., Shaw, M.L.: Knowledge and requirements engineering. In: Proc. KAW 1995 (1995)"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1007\/3-540-60161-9_36","volume-title":"Conceptual Structures: Applications, Implementation and Theory","author":"B.C. Ghosh","year":"1995","unstructured":"Ghosh, B.C., Wuwongse, V.: A direct Proof Procedure for Definite Conceptual Graph programs. In: Ellis, G., Rich, W., Levinson, R., Sowa, J.F. (eds.) ICCS 1995. LNCS, vol.\u00a0954, pp. 158\u2013172. Springer, Heidelberg (1995)"},{"key":"12_CR12","unstructured":"Jackman, M.K.: Inference and the Conceptual Graph Knowledge Representation Language. In: Moralee, S. (ed.) Research and Development in Expert Systems IV. Cambridge University Press, Cambridge (1988)"},{"key":"12_CR13","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/BFb0027884","volume-title":"Conceptual Structures: Fulfilling Peirce\u2019s Dream","author":"G. Kerdiles","year":"1997","unstructured":"Kerdiles, G., Salvat, E.: A sound and complete proof procedure based on tableaux and projection. In: Delugach, H.S., Keeler, M.A., Searle, L., Lukose, D., Sowa, J.F. (eds.) ICCS 1997. LNCS (LNAI), vol.\u00a01257, pp. 371\u2013385. Springer, Heidelberg (1997)"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Kolaitis, P.G., Vardi, M.Y.: Conjunctive-Query Containment and Constraint Satisfaction. In: Proceedings of PODS 1998 (1998)","DOI":"10.1145\/275487.275511"},{"key":"12_CR15","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1007\/3-540-56979-0_16","volume-title":"Conceptual Graphs for Knowledge Representation","author":"M.L. Mugnier","year":"1993","unstructured":"Mugnier, M.L., Chein, M.: Characterization and Algorithmic Recognition of Canonical Conceptual Graphs. In: Mineau, G.W., Sowa, J.F., Moulin, B. (eds.) ICCS 1993. LNCS (LNAI), vol.\u00a0699, pp. 294\u2013311. Springer, Heidelberg (1993)"},{"issue":"1","key":"12_CR16","first-page":"7","volume":"10","author":"M.L. Mugnier","year":"1996","unstructured":"Mugnier, M.L., Chein, M.: Repr\u00e9senter des connaissances et raisonner avec des graphes. Revue d\u2019Intelligence Artificielle\u00a010(1), 7\u201356 (1996)","journal-title":"Revue d\u2019Intelligence Artificielle"},{"issue":"3","key":"12_CR17","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1080\/09528139508953815","volume":"7","author":"M.L. Mugnier","year":"1995","unstructured":"Mugnier, M.L.: On generalization\/specialization for conceptual graphs. J. Expt. Theor. Artif. Intell.\u00a07(3), 325\u2013344 (1995)","journal-title":"J. Expt. Theor. Artif. Intell."},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Preller, A., Mugnier, M.-L., Chein, M.: Logic for Nested Graphs. Computational Intelligence\u00a014(3) (1998)","DOI":"10.1111\/0824-7935.00066"},{"key":"12_CR19","unstructured":"Simonet, G., Chein, M., Mugnier, M.-L.: Projection in Conceptual Graphs and Query Containment in nr-Datalog. R.R. LIRMM (1998)"},{"key":"12_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/BFb0054918","volume-title":"Conceptual Structures: Theory, Tools and Applications","author":"G. Simonet","year":"1998","unstructured":"Simonet, G.: Two FOL Semantics for Simple and Nested Conceptual Graphs. In: Mugnier, M.-L., Chein, M. (eds.) ICCS 1998. LNCS (LNAI), vol.\u00a01453, p. 240. Springer, Heidelberg (1998)"},{"key":"12_CR21","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1007\/3-540-61534-2_16","volume-title":"Conceptual Structures: Knowledge Representations as Interlingua","author":"E. Salvat","year":"1996","unstructured":"Salvat, E., Mugnier, M.L.: Sound and complete forward and backward chainings of graph rules. In: Eklund, P., Mann, G.A., Ellis, G. (eds.) ICCS 1996. LNCS (LNAI), vol.\u00a01115, pp. 248\u2013262. Springer, Heidelberg (1996)"},{"key":"12_CR22","volume-title":"Conceptual Structures - Information Processing in Mind and Machine","author":"J.F. Sowa","year":"1984","unstructured":"Sowa, J.F.: Conceptual Structures - Information Processing in Mind and Machine. Addison-Wesley, Reading (1984)"},{"key":"12_CR23","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48659-3_1","volume-title":"Conceptual Structures: Standards and Practices","author":"J.F. Sowa","year":"1999","unstructured":"Sowa, J.F.: Conceptual Graphs: Draft Proposed American National Standard. In: Tepfenhart, W.M. (ed.) ICCS 1999. LNCS (LNAI), vol.\u00a01640, pp. 1\u201365. Springer, Heidelberg (1999)"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Wermelinger, M.: Conceptual Graphs and First-Order Logic. In: Ellis, G., Rich, W., Levinson, R., Sowa, J.F. (eds.) ICCS 1995. LNCS (LNAI), vol.\u00a0954. Springer, Heidelberg (1995)","DOI":"10.1007\/3-540-60161-9_47"}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures: Logical, Linguistic, and Computational Issues"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722280_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T09:45:50Z","timestamp":1553334350000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722280_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678595","9783540446637"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/10722280_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}