{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T22:43:58Z","timestamp":1759963438265},"publisher-location":"Berlin, Heidelberg","reference-count":14,"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_18","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T21:49:25Z","timestamp":1167428965000},"page":"263-276","source":"Crossref","is-referenced-by-count":10,"title":["Negations in Simple Concept Graphs"],"prefix":"10.1007","author":[{"given":"Frithjof","family":"Dau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Baader, F., Molitur, R., Tobies, S.: The Guarded Fragment of Conceptual Graphs. RWTH LTCS-Report, \n                    \n                      http:\/\/www-lti.informatik.rwth-aachen.de\/Forschung\/Papers.html"},{"key":"18_CR2","unstructured":"Chein, M., Mugnier, M.-L., Simonet, G.: Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics, Rapport de Recherche, LIRMM, Universit\u00e9 Montpellier II (1998)"},{"key":"18_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal Concept Analysis: Mathematical Foundations","author":"B. Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Heidelberg (1999)"},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/3-540-48659-3_23","volume-title":"Conceptual Structures: Standards and Practices","author":"B. Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Contextual attribute logic. In: Tepfenhart, W., Cyre, W. (eds.) Conceptual Structures: Standards and Practices, pp. 377\u2013388. Springer, Berlin (1999)"},{"key":"18_CR5","unstructured":"Lukose, D., Kremer, R.: Knowledge Engineering: PART A, Knowledge Representation, \n                    \n                      http:\/\/www.cpsc.ucalgary.ca\/~kremer\/courses\/CG\/"},{"key":"18_CR6","unstructured":"Peirce, C.S.: Reasoning and the Logic of Things. In: Kremer, K.L. (ed.) The Cambridge Conferences Lectures of 1898. Harvard Univ. Press, Cambridge (1992)"},{"key":"18_CR7","series-title":"Ein Beitrag zur Restrukturierung der mathematischen Logik","volume-title":"Kontextuelle Urteilslogik mit Begriffsgraphen","author":"S. Prediger","year":"1998","unstructured":"Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen. Ein Beitrag zur Restrukturierung der mathematischen Logik. Shaker Verlag, Aachen (1998)"},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/BFb0054917","volume-title":"Conceptual Structures: Theory, Tools and Applications","author":"S. Prediger","year":"1998","unstructured":"Prediger, S.: Simple Concept Graphs: A Logic Approach. In: Mugnier, M.-L., Chein, M. (eds.) Conceptual Structures: Theory, Tools and Applications, pp. 225\u2013239. Springer, Berlin (1998)"},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/BFb0054917","volume-title":"Conceptual Structures: Theory, Tools and Applications","author":"S. Prediger","year":"1998","unstructured":"Prediger, S.: Simple Concept Graphs: A Logic Approach. In: Mugnier, M.-L., Chein, M. (eds.) Conceptual Structures: Theory, Tools and Applications, pp. 225\u2013239. Springer, Berlin (1998)"},{"key":"18_CR10","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 Publishing Company, Reading (1984)"},{"key":"18_CR11","unstructured":"Sowa, J.F.: Conceptual Graphs Summary. In: Nagle, T.E., Nagle, J.A., Gerholz, L.L., Eklund, P.W. (eds.) Conceptual Structures: current research and practice, pp. 3\u201351. Ellis Horwood (1992)"},{"key":"18_CR12","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., Cyre, W. (eds.) Conceptual Structures: Standards and Practices, pp. 1\u201365. Springer, Berlin (1999)"},{"key":"18_CR13","unstructured":"Sowa, J.F.: Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks Cole Publishing Co., Pacific Grove (2000)"},{"key":"18_CR14","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/3-540-60161-9_47","volume-title":"Conceptual Structures: Applications, Implementations and Theory","author":"M. Wermelinger","year":"1995","unstructured":"Wermelinger, M.: Conceptual Graphs and First-Order Logic. In: Ellis, G., et al. (eds.) Conceptual Structures: Applications, Implementations and Theory, pp. 323\u2013337. Springer, Berlin (1995)"}],"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_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T04:58:23Z","timestamp":1553317103000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722280_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678595","9783540446637"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/10722280_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}