{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:33:08Z","timestamp":1725467588479},"publisher-location":"Berlin, Heidelberg","reference-count":21,"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\/bfb0054913","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T05:10:55Z","timestamp":1153977055000},"page":"165-178","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Towards correspondences between Conceptual Graphs and Description Logics"],"prefix":"10.1007","author":[{"given":"P.","family":"Coupey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Faron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,27]]},"reference":[{"key":"13_CR1","first-page":"75","volume-title":"LNAI 699","author":"B. Bi\u00e9bow","year":"1993","unstructured":"B. Bi\u00e9bow and G. Chaty. A comparison between conceptual graphs and KL-ONE. In ICCS'93, First International Conference on Conceptual Structures, LNAI 699, pages 75\u201389. Springer-Verlag, Berlin, Qu\u00e9bec, Canada, 1993."},{"key":"13_CR2","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1016\/B978-1-4832-0771-1.50022-9","volume-title":"Principles of Semantic Networks","author":"R.J. Brachman","year":"1991","unstructured":"R.J. Brachman, D.L. McGuiness, P.F. Patel-Schneider, L.A. Resnick, and A. Borgida. Living with CLASSIC: When and how to use a KL-ONE-like language. In J. Sowa, editor, Principles of Semantic Networks, pages 401\u2013456. Morgan Kaufmann, San Mateo, Cal., 1991."},{"issue":"2","key":"13_CR3","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0364-0213(85)80014-8","volume":"9","author":"R.J. Brachman","year":"1985","unstructured":"R.J. Brachman and J.G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9(2): 171\u2013216, 1985.","journal-title":"Cognitive Science"},{"key":"13_CR4","first-page":"311","volume-title":"LNAI 835","author":"B. Carbonneill","year":"1994","unstructured":"B. Carbonneill and O. Haemmerl\u00e9. Standardizing and interfacing relational database using conceptual graphs. In ICCS'94, Second International Conference on Conceptual Structures, LNAI 835, pages 311\u2013330. Springer-Verlag, Berlin, Maryland, USA, 1994."},{"key":"13_CR5","first-page":"65","volume-title":"LNAI 1257","author":"M. Chein","year":"1997","unstructured":"M. Chein. The CORALI project: from conceptual graphs to conceptual graphs via labelled graphs. In ICCS'97, Fifth International Conference on Conceptual Structures, LNAI 1257, pages 65\u201379. Springer-Verlag, Berlin, Seattle, USA, 1997."},{"key":"13_CR6","unstructured":"M. Chein and M. Lecl\u00e8re. A cooperative program for the construction of a concept type lattice. In supplement proceedings of ICCS'94, Second International Conference on Conceptual Structures, pages 16\u201330. Maryland, USA, 1994."},{"issue":"4","key":"13_CR7","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"},{"issue":"1","key":"13_CR8","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/BF00159211","volume":"10","author":"M. Chein","year":"1996","unstructured":"M. Chein and M.L. Mugnier. 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":"2","key":"13_CR9","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1111\/0824-7935.00040","volume":"13","author":"P. Coupey","year":"1997","unstructured":"P. Coupey and C. Fouquer\u00e9. Extending conceptual definitions with default knowledge. Computational Intelligence Journal, 13(2): 258\u2013299, 1997.","journal-title":"Computational Intelligence Journal"},{"key":"13_CR10","unstructured":"R. Dionne, E. Mays, and F.J. Oles. The equivalence of model-theoretic and structural subsumption description logics. In 13th International Joint Conference on Artificial Intelligence, pages 710\u2013716, Chamb\u00e9ry, France, 1993."},{"key":"13_CR11","first-page":"153","volume-title":"LNAI 1257","author":"C. Faron","year":"1997","unstructured":"C. Faron and J.G. Ganascia. Representation of defaults and exceptions in conceptual graphs formalism. In ICCS'97, Fifth International Conference on Conceptual Structures, LNAI 1257, pages 153\u2013167. Springer-Verlag, Berlin, Seattle, USA, 1997."},{"key":"13_CR12","unstructured":"M. Lecl\u00e8re. Les connaissances du niveau terminologique du mod\u00e8le des graphes conceptuels: construction et exploitation. University thesis, Universit\u00e9 de Montpellier 2, France, 1995."},{"key":"13_CR13","first-page":"401","volume-title":"LNAI 1257","author":"M. Lecl\u00e8re","year":"1997","unstructured":"M. Lecl\u00e8re. Reasonning with type definitions. In ICCS'97, Fith International Conference on Conceptual Structures, LNAI 1257, pages 401\u2013415. Springer-Verlag, Berlin, Seattle, USA, 1997."},{"key":"13_CR14","unstructured":"D.L. McGuinness and A.T. Borgida. Explaining subsumption in description logics. In 14th International Joint Conference on Artificial Intelligence, pages 816\u2013821, Montreal, Canada, 1995."},{"issue":"3","key":"13_CR15","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1080\/09528139508953815","volume":"7","author":"M.L. Mugnier","year":"1995","unstructured":"M.L. Mugnier. On generalization\/specialization for conceptual graphs. Journal of Experimental & Theoretical Artificial Intelligence, 7(3): 325\u2013344, 1995.","journal-title":"Journal of Experimental & Theoretical Artificial Intelligence"},{"key":"13_CR16","first-page":"294","volume-title":"LNAI 699","author":"M.L. Mugnier","year":"1993","unstructured":"M.L. Mugnier and M. Chein. Characterization and algorithmic recognition of canonical conceptual graphs. In ICCS'93, First International Conference on Conceptual Structures, LNAI 699, pages 294\u2013311. Springer-Verlag, Berlin, Qu\u00e9bec, Canada, 1993."},{"key":"13_CR17","unstructured":"B. Nebel. Reasoning and Revision in Hybrid Representation Systems. Number 422 in Lecture Notes in Computer Science. Springer-Verlag, 1990."},{"key":"13_CR18","volume-title":"PhD thesis","author":"A. Schaerf","year":"1994","unstructured":"A. Schaerf. Query Answering in Concept-Based Knowledge Representation Systems: Algorithms, Complexity and Semantics Issues. PhD thesis, Universit\u00e0 di Roma \u201cLa Sapienza\u201d, Roma, Italy, 1994."},{"key":"13_CR19","unstructured":"K. Schild. A correspondence theory for terminological logics: Preliminary report. In 12th International Joint Conference on Artificial Intelligence, pages 466\u2013471, Sydney, Australia, 1991."},{"key":"13_CR20","unstructured":"J.G. Schmolze. Terminological knowledge representation systems supporting nary terms. In J.G. Schmolze, editor, Principles of Knowledge Representation and Reasoning: 1st International Conference, pages 432\u2013443. Toronto, Ont., 1989."},{"key":"13_CR21","volume-title":"Conceptual Structures: Information Processing in Mind and Machine","author":"J.F. Sowa","year":"1984","unstructured":"J.F. Sowa. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading, Massachusetts, 1984."}],"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\/BFb0054913","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T09:14:44Z","timestamp":1558257284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0054913"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540647911","9783540686736"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0054913","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"}}]}}