{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:06:19Z","timestamp":1743123979470,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540405764"},{"type":"electronic","value":"9783540450917"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45091-7_5","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T20:52:01Z","timestamp":1277239921000},"page":"69-82","source":"Crossref","is-referenced-by-count":1,"title":["Intensional Formalization of Conceptual Structures"],"prefix":"10.1007","author":[{"given":"Nikolaj","family":"Oldager","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/978-94-009-6259-0_7","volume-title":"Handbook of Philosophical Logic","author":"C. Anthony Anderson","year":"1984","unstructured":"Anthony Anderson, C.: General intensional logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a0II, pp. 355\u2013385. D. Reidel Publishing Company, Dordrecht (1984)"},{"key":"5_CR2","volume-title":"The Cambridge Dictionary of Philosophy","year":"1999","unstructured":"Audi, R. (ed.): The Cambridge Dictionary of Philosophy, 2nd edn. Cambridge University Press, Cambridge (1999)","edition":"2"},{"volume-title":"The Description Logic Handbook","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)","key":"5_CR3"},{"doi-asserted-by":"crossref","unstructured":"Baader, F., Nutt, W.: Basic description logics. In: Baader, F., et al. (eds.) [3], pp. 47\u2013100","key":"5_CR4","DOI":"10.1017\/CBO9780511711787.004"},{"key":"5_CR5","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198244288.001.0001","volume-title":"Quality and Concept","author":"G. Bealer","year":"1982","unstructured":"Bealer, G.: Quality and Concept. Clarendon Press, Oxford (1982)"},{"doi-asserted-by":"crossref","unstructured":"Bealer, G., M\u00f6nnich, U.: Property theories. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a0IV, pp. 133\u2013251. D. Reidel Publishing Company (1989)","key":"5_CR6","DOI":"10.1007\/978-94-009-1171-0_2"},{"key":"5_CR7","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"5_CR8","volume-title":"Conceptual Modelling","author":"M. Boman","year":"1997","unstructured":"Boman, M., Bubenko Jr., J.A., Johannesson, P., Wangler, B.: Conceptual Modelling. Prentice Hall, Englewood Cliffs (1997)"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/BF01215410","volume":"6","author":"C. Brink","year":"1994","unstructured":"Brink, C., Britz, K., Schmidt, R.A.: Peirce algebras. Formal Aspects of Computing\u00a06, 339\u2013358 (1994)","journal-title":"Formal Aspects of Computing"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1016\/0898-1221(92)90146-9","volume":"23","author":"C. Brink","year":"1992","unstructured":"Brink, C., Schmidt, R.: Subsumption computed algebraically. Comput. Math. Appl.\u00a023, 329\u2013342 (1992); Special Issue on semantic networks in Artificial Intelligence","journal-title":"Comput. Math. Appl."},{"unstructured":"Carnap, R.: Meaning and Necessity, 2nd edn. The University of Chicago Press (1956)","key":"5_CR11"},{"key":"5_CR12","volume-title":"Structure, Method, and Meaning: Essays in Honor of Henry M. Scheffer","author":"A. Church","year":"1951","unstructured":"Church, A.: A formulation of the logic of sense and denotation. In: Henle, P., Kallen, H.M., Langer, S.K. (eds.) Structure, Method, and Meaning: Essays in Honor of Henry M. Scheffer. Liberal Arts Press, New York (1951)"},{"key":"5_CR13","volume-title":"Introduction to Lattices and Order","author":"B.A. Davey","year":"1990","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (1990)"},{"key":"5_CR14","first-page":"157","volume-title":"Gottlob Frege\u2014Collected Papers on Mathematics, Logic, and Philosophy","author":"G. Frege","year":"1984","unstructured":"Frege, G.: On sense and meaning. In: McGuinness, B. (ed.) Gottlob Frege\u2014Collected Papers on Mathematics, Logic, and Philosophy, pp. 157\u2013177. Basil Blackwell Publisher, Malden (1984); Originally published under the title \u00dcber Sinn und Bedeutung in Zeitschrift f\u00fcr Philosophie und philosophische Kritik 100, , pp. 25\u201350 (1892); Translated by Max Black"},{"unstructured":"Genesereth, M.R., Fikes, R.E.: Knowledge Interchange Format, Version 3.0 Reference Manual. Technical Report Logic-92-1, Computer Science Department, Stanford University, Stanford, CA, USA (June 1992)","key":"5_CR15"},{"key":"5_CR16","first-page":"599","volume-title":"KR 1991: Principles of Knowledge Representation and Reasoning","author":"M.R. Genesereth","year":"1991","unstructured":"Genesereth, M.R.: Knowledge interchange format. In: Allen, J.F., Fikes, R., Sandewall, E. (eds.) KR 1991: Principles of Knowledge Representation and Reasoning, pp. 599\u2013600. Morgan Kaufmann, San Francisco (1991)"},{"key":"5_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-77487-9","volume-title":"Universal Algebra","author":"G. Gr\u00e4tzer","year":"1979","unstructured":"Gr\u00e4tzer, G.: Universal Algebra, 2nd edn. Springer, New York (1979) (First edition 1968)","edition":"2"},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B. J\u00f3nsson","year":"1951","unstructured":"J\u00f3nsson, B., Tarski, A.: Boolean algebras with operators, Part I. Amer. J. Math.\u00a073, 891\u2013939 (1951)","journal-title":"Amer. J. Math."},{"unstructured":"McCarthy, J.: First order theories of individual concepts and propositions. First published in Machine Intelligence 9 (1979), Revised version from \n                      http:\/\/wwwformal.stanford.edu\/jmc\/","key":"5_CR19"},{"unstructured":"Menzel, C.: A Complete, Type-free \u201cSecond-order\u201d Logic and Its Philosophical Foundations. CSLI (1986)","key":"5_CR20"},{"key":"5_CR21","volume-title":"Formal Philosophy: Selected Papers of Richard Montague","author":"R. Montague","year":"1974","unstructured":"Montague, R.: Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, New Haven (1974); Edited with an introduction by R.H. Thomason"},{"key":"5_CR22","volume-title":"The Meaning of Meaning","author":"C.K. Ogden","year":"1923","unstructured":"Ogden, C.K., Richards, I.A.: The Meaning of Meaning. Routledge & Kegan Paul, London (1923)"},{"issue":"1","key":"5_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schau\u00df","year":"1991","unstructured":"Schmidt-Schau\u00df, M., Smolka, G.: Attributive concept descriptions with complements. Artificial Intelligence\u00a048(1), 1\u201326 (1991)","journal-title":"Artificial Intelligence"},{"key":"5_CR24","volume-title":"Knowledge Representation: logical, philosophical and computational foundations","author":"J.F. Sowa","year":"2000","unstructured":"Sowa, J.F.: Knowledge Representation: logical, philosophical and computational foundations. Brooks\/Cole, Monterey (2000)"},{"issue":"3","key":"5_CR25","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1023\/A:1004234204990","volume":"27","author":"C. Swoyer","year":"1998","unstructured":"Swoyer, C.: Complex predicates and logics for properties and relations. Journal of Philosophical Logic\u00a027(3), 295\u2013325 (1998)","journal-title":"Journal of Philosophical Logic"},{"key":"5_CR26","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/S0169-023X(01)00030-1","volume":"39","author":"C. Welty","year":"2001","unstructured":"Welty, C., Guarino, N.: Supporting ontological analysis of taxonomic relationships. Data & Knowledge Engineering\u00a039, 51\u201374 (2001)","journal-title":"Data & Knowledge Engineering"},{"key":"5_CR27","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/B978-1-4832-0771-1.50007-2","volume-title":"Principles of Semantics Networks","author":"W.A. Woods","year":"1991","unstructured":"Woods, W.A.: Understanding subsumption and taxonomy: A framework for progress. In: Sowa, J.F. (ed.) Principles of Semantics Networks, pp. 45\u201394. Morgan Kaufmann, San Francisco (1991)"}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures for Knowledge Creation and Communication"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45091-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T22:07:55Z","timestamp":1676066875000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-45091-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405764","9783540450917"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45091-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}