{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:32:55Z","timestamp":1725467575019},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540647911"},{"type":"electronic","value":"9783540686736"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0054906","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T09:10:55Z","timestamp":1153991455000},"page":"80-93","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A semantic validation of conceptual graphs"],"prefix":"10.1007","author":[{"given":"Juliette","family":"Dibie","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ollivier","family":"Haemmerl\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phane","family":"Loiseau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,27]]},"reference":[{"key":"6_CR1","unstructured":"J.P. Laurent. Proposals for a valid terminology in KBS validation. European Conference of Artificial Intelligence, pages 829\u2013834, August 1992."},{"key":"6_CR2","unstructured":"A. Ginsberg. Knowledge-base reduction: a new approach to checking knowledge bases for inconsistency and redundancy. AAAI, pages 585\u2013589, 1988."},{"key":"6_CR3","unstructured":"P. Meseguer. Verification of multi-level rule-based expert systems. AAAI, pages 323\u2013328, 1991."},{"issue":"2","key":"6_CR4","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/0957-4174(94)90034-5","volume":"7","author":"A. Preece","year":"1994","unstructured":"A. Preece and N. Zlaterava. A state of the art in automated validation of knowledge-based systems. Expert Systems with Applications, 7(2): 151\u2013167, 1994.","journal-title":"Expert Systems with Applications"},{"key":"6_CR5","first-page":"15","volume":"36","author":"S. Loiseau","year":"1997","unstructured":"S. Loiseau. Checking and restoring the consistency of knowledge databases. Encyclopedia of Computer Science and Technologie, 36: 15\u201334, 1997.","journal-title":"Encyclopedia of Computer Science and Technologie"},{"key":"6_CR6","unstructured":"C. Haouche and J. Charlet. KBS validation: a knowledge acquisition perspective. ECAI, pages 433\u2013437, 1996."},{"key":"6_CR7","unstructured":"M.C. Rousset. Knowledge formal specifications for formal verification: a proposal based on the integration of different logical formalism. European Conference of Artificial Intelligence, pages 739\u2013743, 1994."},{"key":"6_CR8","unstructured":"P. Hors and M.C. Rousset. Modeling and verifying complex objects: A declarative approach based on description logics. European Conference of Artificial Intelligence, 1996."},{"key":"6_CR9","unstructured":"J.F. Sowa. Conceptual structures: information processing in mind and machine. Addison Wesley Publishing Company, 1984."},{"issue":"1","key":"6_CR10","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/BF00159211","volume":"10","author":"M.L. Mugnier","year":"1996","unstructured":"M.L. Mugnier and M. Chein. Repr\u00e9senter des connaissances et raisonner avec des graphes. Revue d'Intelligence Artificielle, 10(1): 7\u201356, 1996.","journal-title":"Revue d'Intelligence Artificielle"},{"issue":"4","key":"6_CR11","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF00123690","volume":"6","author":"M. Chein","year":"1992","unstructured":"M. Chein and M.L. Mugnier. Conceptual graphs: fundamental notions. Revue d'Intelligence Artificielle, 6(4): 365\u2013406, 1992.","journal-title":"Revue d'Intelligence Artificielle"},{"key":"6_CR12","unstructured":"M. Lecl\u00e8re. Les connaissances du niveau terminologique du mod\u00e8le des graphes conceptuels: construction et exploitation. PhD thesis, Universit\u00e9 Montpellier II, Decembre 1995."},{"key":"6_CR13","unstructured":"F. Bouali. Les systemes terminologiques et la relation partie de. Rapport de stage de DEA, Universit\u00e9 PARIS-SUD, centre d'Orsay, Septembre 1992."},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"M.L. Mugnier and M. Chein. Characterization and algorithmic recognition of canonical conceptual graphs. In Proceedings of the 1st International Conference on Conceptual Structures, ICCS'93, Quebec City, Canada, L.N.A.I. 699, pages 294\u2013311. Springer-Verlag, August 1993.","DOI":"10.1007\/3-540-56979-0_16"},{"key":"6_CR15","first-page":"110","volume-title":"Lecture Notes in Artificial Intelligence 1257","author":"M. Wermelinger","year":"1997","unstructured":"M. Wermelinger. A different perspective on canonicity. In Proceedings of the 5th Int. Conf. on Conceptual Structures, Lecture Notes in Artificial Intelligence 1257, pages 110\u2013124, Seattle, U.S.A., 1997. Springer Verlag."},{"key":"6_CR16","first-page":"133","volume-title":"Conceptual graph canonicity and semantic constraints","author":"P. Kocura","year":"1996","unstructured":"P. Kocura. Conceptual graph canonicity and semantic constraints. In Gerard Ellis Peter W. Eklund and Graham Mann, editors, Conceptual Structures: Knowledge Representation as Interlingua\u2014Auxilliary Proceedings of the Fourth International Conference on Conceptual Structures, pages 133\u2013145, Sydney, Australia, August 1996. Springer Verlag."},{"key":"6_CR17","first-page":"138","volume-title":"The representation of semantic constraints in conceptual graph systems","author":"G. W. Mineau","year":"1997","unstructured":"G. W. Mineau and R. Missaoui. The representation of semantic constraints in conceptual graph systems. In Proceedings of the 5th Int. Conf. on Conceptual Structures, Lecture Notes in Artificial Intelligence 1257, pages 138\u2013152, Seattle, U.S.A., 1997. Springer Verlag."},{"key":"6_CR18","unstructured":"J. Dibie. Validation des graphes conceptuels. Rapport de stage de DEA, Universit\u00e9 Paris IX, Dauphine, Paris, Septembre 1997."},{"key":"6_CR19","volume-title":"Une validation logique des graphes conceptuels","author":"J. Dibie","year":"1998","unstructured":"J. Dibie, O. Haemmerl\u00e9, and S. Loiseau. Une validation logique des graphes conceptuels. Rapport interne, Institut National Agronomique, Paris, Janvier 1998."},{"key":"6_CR20","unstructured":"O. Haemmerl\u00e9. CoGITo: une plate-forme de d\u00e9veloppement de logiciels sur les graphes conceptuels. PhD thesis, Universit\u00e9 Montpellier II, Janvier 1995."},{"key":"6_CR21","first-page":"145","volume-title":"Lecture Notes in Artificial Intelligence 1115","author":"P. Martin","year":"1996","unstructured":"P. Martin and L. Alpay. Conceptual structures and structured documents. In Proceedings of the 4th Int. Conf. on Conceptual Structures, Lecture Notes in Artificial Intelligence 1115, Springer-Verlag, pages 145\u2013159, Sydney, Australia, August 1996."},{"key":"6_CR22","first-page":"275","volume-title":"Lecture Notes in Artificial Intelligence 1257","author":"C. Bos","year":"1997","unstructured":"C. Bos, B. Botella, and P. Vanheeghe. Modelling and simulating human behaviours with conceptual graphs. In Proceedings of the 5th Int. Conf. on Conceptual Structures, Lecture Notes in Artificial Intelligence 1257, pages 275\u2013289, Seattle, U.S.A., 1997. Springer Verlag."}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures: Theory, Tools and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0054906","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:14:38Z","timestamp":1558271678000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0054906"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540647911","9783540686736"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0054906","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"27 May 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}