{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:25:44Z","timestamp":1725535544005},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642030789"},{"type":"electronic","value":"9783642030796"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03079-6_3","type":"book-chapter","created":{"date-parts":[[2009,7,23]],"date-time":"2009-07-23T11:40:53Z","timestamp":1248349253000},"page":"23-31","source":"Crossref","is-referenced-by-count":1,"title":["Conceptual Graph Rules and Equivalent Rules: A Synthesis"],"prefix":"10.1007","author":[{"given":"Marie-Laure","family":"Mugnier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_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":"3_CR2","unstructured":"Baget, J.-F.: Repr\u00e9senter des connaissances et raisonner avec des hypergraphes: de la projection \u00e0 la d\u00e9rivation sous contraintes. PhD thesis, Universit\u00e9 Montpellier II (November 2001)"},{"key":"3_CR3","first-page":"407","volume-title":"KR","author":"J.-F. Baget","year":"2004","unstructured":"Baget, J.-F.: Improving the forward chaining algorithm for conceptual graphs rules. In: KR, pp. 407\u2013414. AAAI Press, Menlo Park (2004)"},{"volume-title":"The Description Logic Handbook","year":"2003","key":"3_CR4","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)"},{"key":"3_CR5","unstructured":"Baget, J.-F., Lecl\u00e8re, M., Mugnier, M.-L., Salvat, E.: Extending decidable cases for rules with existential variables. In: Proc. of IJCAI 2009 (to appear, 2009)"},{"key":"3_CR6","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1613\/jair.918","volume":"16","author":"J.-F. Baget","year":"2002","unstructured":"Baget, J.-F., Mugnier, M.-L.: The Complexity of Rules and Constraints. JAIR\u00a016, 425\u2013465 (2002)","journal-title":"JAIR"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/11787181_8","volume-title":"Conceptual Structures: Inspiration and Application","author":"J.-F. Baget","year":"2006","unstructured":"Baget, J.-F., Salvat, E.: Rules dependencies in backward chaining of conceptual graphs rules. In: Sch\u00e4rfe, H., Hitzler, P., \u00d8hrstr\u00f8m, P. (eds.) ICCS 2006. LNCS, vol.\u00a04068, pp. 102\u2013116. Springer, Heidelberg (2006)"},{"issue":"4","key":"3_CR8","doi-asserted-by":"publisher","first-page":"718","DOI":"10.1145\/1634.1636","volume":"31","author":"C. Beeri","year":"1984","unstructured":"Beeri, C., Vardi, M.Y.: A proof procedure for data dependencies. Journal of the ACM\u00a031(4), 718\u2013741 (1984)","journal-title":"Journal of the ACM"},{"key":"3_CR9","unstructured":"Cal\u00ec, A., Gottlob, G., Kifer, M.: Taming the infinite chase: Query answering under expressive relational constraints. In: KR, pp. 70\u201380 (2008)"},{"key":"3_CR10","unstructured":"Cal\u00ec, A., Kifer, M.: Containment of conjunctive object meta-queries. In: VLDB, pp. 942\u2013952 (2006)"},{"key":"3_CR11","first-page":"260","volume-title":"PODS","author":"A. Cal\u00ec","year":"2003","unstructured":"Cal\u00ec, A., Lembo, D., Rosati, R.: On the decidability and complexity of query answering over inconsistent and incomplete databases. In: PODS, pp. 260\u2013271. ACM Press, New York (2003)"},{"issue":"4","key":"3_CR12","first-page":"365","volume":"6","author":"M. Chein","year":"1992","unstructured":"Chein, M., Mugnier, M.-L.: Conceptual Graphs: Fundamental Notions. Revue d\u2019Intelligence Artificielle\u00a06(4), 365\u2013406 (1992)","journal-title":"Revue d\u2019Intelligence Artificielle"},{"key":"3_CR13","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/978-3-540-27769-9_20","volume-title":"Conceptual Structures at Work","author":"M. Chein","year":"2004","unstructured":"Chein, M., Mugnier, M.-L.: Concept types and coreference in simple conceptual graphs. In: Wolff, K.E., Pfeiffer, H.D., Delugach, H.S. (eds.) ICCS 2004. LNCS (LNAI), vol.\u00a03127, pp. 303\u2013318. Springer, Heidelberg (2004)"},{"key":"3_CR14","volume-title":"Advanced Information and Knowledge Processing","author":"M. Chein","year":"2008","unstructured":"Chein, M., Mugnier, M.-L.: Graph-based Knowledge Representation and Reasoning\u2014Computational Foundations of Conceptual Graphs. In: Advanced Information and Knowledge Processing. Springer, Heidelberg (2008)"},{"key":"3_CR15","series-title":"LNAI","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":"3_CR16","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Nash, A., Remmel, J.B.: The chase revisited. In: PODS, pp. 149\u2013158 (2008)","DOI":"10.1145\/1376916.1376938"},{"key":"3_CR17","series-title":"LNAI","doi-asserted-by":"publisher","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 Graphs Programs. In: Ellis, G., Rich, W., Levinson, R., Sowa, J.F. (eds.) ICCS 1995. LNCS (LNAI), vol.\u00a0954, pp. 158\u2013172. Springer, Heidelberg (1995)"},{"key":"3_CR18","unstructured":"Hayes, P. (ed.): RDF Semantics. W3C Recommendation. W3C (2004)"},{"key":"3_CR19","series-title":"LNAI","doi-asserted-by":"publisher","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)"}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures: Leveraging Semantic Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03079-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T01:24:43Z","timestamp":1552094683000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03079-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642030789","9783642030796"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03079-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}