{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:04:41Z","timestamp":1725566681318},"publisher-location":"Berlin, Heidelberg","reference-count":46,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540278917"},{"type":"electronic","value":"9783540318811"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11528784_4","type":"book-chapter","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T03:24:54Z","timestamp":1285644294000},"page":"81-100","source":"Crossref","is-referenced-by-count":9,"title":["From Formal Concept Analysis to Contextual Logic"],"prefix":"10.1007","author":[{"given":"Frithjof","family":"Dau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julia","family":"Klinger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","first-page":"14","volume-title":"Handlexikon der Wissenschaftstheorie","author":"K.-O. Apel","year":"1989","unstructured":"Apel, K.-O.: Begr\u00fcndung. In: Seifert, H., Radnitzky, G. (eds.) Handlexikon der Wissenschaftstheorie, pp. 14\u201319. Ehrenwirth, M\u00fcnchen (1989)"},{"unstructured":"Arnold, M.: Einf\u00fchrung in die Relationenlogik. Diplomarbeit. FB Mathematik, TU Darmstadt (2002)","key":"4_CR2"},{"volume-title":"Handbook of Mathematical Logic","year":"1977","unstructured":"Barwise, J. (ed.): Handbook of Mathematical Logic. North\u2013Holland Publishing Company, Amsterdam (1977)","key":"4_CR3"},{"key":"4_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/11528784_17","volume-title":"Formal Concept Analysis","author":"P. Becker","year":"2005","unstructured":"Becker, P., Hereth Correia, J.: The ToscanaJ Suite for Implementing Conceptual Information Systems. In: Ganter, B., Stumme, G., Wille, R. (eds.) Formal Concept Analysis. LNCS (LNAI), vol.\u00a03626, pp. 324\u2013348. Springer, Heidelberg (2005)"},{"key":"4_CR5","volume-title":"Making it explicit. Reasoning, Representing, and Discursive Commitment","author":"R.B. Brandom","year":"1994","unstructured":"Brandom, R.B.: Making it explicit. Reasoning, Representing, and Discursive Commitment. Harvard University Press, Cambridge (1994)"},{"unstructured":"Brandom, R.B.: Begr\u00fcnden und Begreifen. Eine Einf\u00fchrung in den Inferentialismus. Suhrkamp (2001)","key":"4_CR6"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/3-540-44583-8_6","volume-title":"Conceptual Structures: Broadening the Base","author":"F. Dau","year":"2001","unstructured":"Dau, F.: Concept Graphs and Predicate Logic. In: Delugach, H.S., Stumme, G. (eds.) Conceptual Structures: Broadening the Base, pp. 72\u201386. Springer, Berlin (2001)"},{"key":"4_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/b94030","volume-title":"The Logic System of Concept Graphs with Negations (and its Relationship to Predicate Logic)","author":"F. Dau","year":"2003","unstructured":"Dau, F.: The Logic System of Concept Graphs with Negations (and its Relationship to Predicate Logic). Springer, Heidelberg (2003)"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-540-45091-7_17","volume-title":"Conceptual Structures for Knowledge Creation and Communication","author":"F. Dau","year":"2003","unstructured":"Dau, F.: Concept Graphs without Negations: Standardmodels and Standardgraphs. In: de Moor, A., Lex, W., Ganter, B. (eds.) Conceptual Structures for Knowledge Creation and Communication, pp. 243\u2013256. Springer, Berlin (2003)"},{"key":"4_CR10","first-page":"125","volume-title":"Using Conceptual Structures: Contributions to ICCS 2003","author":"F. Dau","year":"2003","unstructured":"Dau, F., Hereth Correia, J.: Nested Concept Graphs: Mathematical Foundations and Applications in Databases. In: Ganter, B., de Moor, A. (eds.) Using Conceptual Structures: Contributions to ICCS 2003, pp. 125\u2013141. Shaker Verlag, Aachen (2003)"},{"key":"4_CR11","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, Berlin (1999)"},{"key":"4_CR12","first-page":"401","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. 401\u2013414. Springer, Heidelberg (1999)"},{"unstructured":"Habermas, J.: Theorie kommunikativen Handelns. 2 B\u00e4nde. Suhrkamp, Frankfurt (1981)","key":"4_CR13"},{"key":"4_CR14","volume-title":"Magier oder Magister? \u00dcber die Einheit der Wissenschaft im Verst\u00e4ndigungsprozess","author":"H. Hentig von","year":"1974","unstructured":"von Hentig, H.: Magier oder Magister? \u00dcber die Einheit der Wissenschaft im Verst\u00e4ndigungsprozess. Suhrkamp Verlag, Frankfurt (1974)"},{"unstructured":"Herrmann, C., Luksch, P., Skorsky, M., Wille, R.: Algebras of Semiconcepts and Double Boolean Algebras. Contributions to General Algebra 13 (2000)","key":"4_CR15"},{"key":"4_CR16","volume-title":"Logic","author":"I. Kant","year":"1988","unstructured":"Kant, I.: Logic. Dover, New York (1988)"},{"key":"4_CR17","first-page":"115","volume-title":"Conceptual Structures: Broadening the Base","author":"J. Klinger","year":"2001","unstructured":"Klinger, J.: Simple Semiconcept Graphs: a Boolean Logic Approach. In: Delugach, H.S., Stumme, G. (eds.) Conceptual Structures: Broadening the Base, pp. 115\u2013128. Springer, Berlin (2001)"},{"unstructured":"Klinger, J.: Semiconcept Graphs: Syntax and Semantics, Diplomarbeit, FB Mathematik, TU Darmstadt (2001)","key":"4_CR18"},{"key":"4_CR19","first-page":"382","volume-title":"Conceptual Structures: Integration and Interfaces","author":"J. Klinger","year":"2002","unstructured":"Klinger, J.: Semiconcept Graphs with Variables. In: Priss, U., Corbett, D., Angelova, G. (eds.) Conceptual Structures: Integration and Interfaces, pp. 382\u2013396. Springer, Berlin (2002)"},{"key":"4_CR20","first-page":"143","volume-title":"Using Conceptual Structures: Contributions to ICCS 2003","author":"J. Klinger","year":"2003","unstructured":"Klinger, J., Vormbrock, B.: Contextual Boolean Logic: How did it develop? In: Ganter, B., de Moor, A. (eds.) Using Conceptual Structures: Contributions to ICCS 2003, pp. 143\u2013156. Shaker Verlag, Aachen (2003)"},{"key":"4_CR21","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/3-540-48659-3_27","volume-title":"Conceptual Structures: Standards and Practices","author":"G. Mineau","year":"1999","unstructured":"Mineau, G., Stumme, G., Wille, R.: Conceptual Structures Represented by Conceptual Graphs and Formal Concept Analysis. In: Tepfenhart, W., Cyre, W. (eds.) Conceptual Structures: Standards and Practices, pp. 423\u2013441. Springer, Berlin (1999)"},{"unstructured":"Peirce, C.S.: Collected Papers, pp. 1931\u20131935. Harvard Uni. Press, Cambridge","key":"4_CR22"},{"key":"4_CR23","first-page":"171","volume-title":"Conceptual Structures: Extracting and Representing Semantics. Dept. of Computer Science","author":"S. Pollandt","year":"2001","unstructured":"Pollandt, S.: Relational Constructions on Semiconcept Graphs. In: Mineau, G. (ed.) Conceptual Structures: Extracting and Representing Semantics. Dept. of Computer Science, pp. 171\u2013185. University Laval, Quebec (2001)"},{"key":"4_CR24","first-page":"382","volume-title":"Conceptual Structures: Integration and Interfaces","author":"S. Pollandt","year":"2002","unstructured":"Pollandt, S.: Relation Graphs - A Structure for Representing Relations in Contextual Logic of Relations. In: Priss, U., Corbett, D., Angelova, G. (eds.) Conceptual Structures: Integration and Interfaces, pp. 382\u2013396. Springer, Berlin (2002)"},{"key":"4_CR25","first-page":"249","volume-title":"Conceptual Structures: Logical, Linguistic, and Computational Issues","author":"S. Pollandt","year":"2000","unstructured":"Pollandt, S., Wille, R.: On the Contextual Logic of Ordinal Data. In: Ganter, B., Mineau, G.W. (eds.) Conceptual Structures: Logical, Linguistic, and Computational Issues, pp. 249\u2013262. Springer, Berlin (2000)"},{"key":"4_CR26","volume-title":"Kontextuelle Urteilslogik mit Begriffsgraphen","author":"S. Prediger","year":"1998","unstructured":"Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen. Shaker Verlag, Aachen (1998)"},{"key":"4_CR27","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/BFb0054917","volume-title":"Conceptual Structures: Theory, Tools and Application","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 Application, pp. 225\u2013239. Springer, Heidelberg (1998)"},{"key":"4_CR28","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/10722280_17","volume-title":"Conceptual Structures: Logical, Linguistic, and Computational Issues","author":"S. Prediger","year":"2000","unstructured":"Prediger, S.: Nested Concept Graphs and Triadic Power Context Families: A Situation-Based Contextual Approach. In: Ganter, B., Mineau, G.W. (eds.) Conceptual Structures: Logical, Linguistic, and Computational Issues, pp. 249\u2013262. Springer, Berlin (2000)"},{"key":"4_CR29","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/3-540-48659-3_25","volume-title":"Conceptual Structures: Standards and Practices","author":"S. Prediger","year":"1999","unstructured":"Prediger, S., Wille, R.: The lattice of concept graphs of a relationally scaled context. In: Tepfenhart, W., Cyre, W. (eds.) Conceptual Structures: Standards and Practices, pp. 401\u2013414. Springer, Heidelberg (1999)"},{"unstructured":"Seiler, T.B.: Begreifen und Verstehen: Ein Buch \u00fcber Begriffe und Bedeutungen. Verlag Allgemeine Wissenschaft, M\u00fchltal (2001)","key":"4_CR30"},{"key":"4_CR31","first-page":"271","volume-title":"Conceptual Structures: Integration and Interfaces","author":"L. Schoolmann","year":"2002","unstructured":"Schoolmann, L., Wille, R.: Concept Graphs with Subdivision: a Semantic Approach. In: Priss, U., Corbett, D., Angelova, G. (eds.) Conceptual Structures: Integration and Interfaces, pp. 271\u2013281. Springer, Berlin (2002)"},{"key":"4_CR32","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. Adison-Wesley, Reading (1984)"},{"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":"4_CR33"},{"key":"4_CR34","first-page":"94","volume-title":"Working with Conceptual Structures. Contributions to ICCS 2000","author":"J. Tappe","year":"2000","unstructured":"Tappe, J.: Simple Concept Graphs with Universal Quantifiers. In: Stumme, G. (ed.) Working with Conceptual Structures. Contributions to ICCS 2000, pp. 94\u2013108. Shaker, Achen (2000)"},{"doi-asserted-by":"crossref","unstructured":"Wille, R.: Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts. In: Rival, I. (ed.) Ordered Sets, pp. 445\u2013470. Reiderl, Dordrecht","key":"4_CR35","DOI":"10.1007\/978-94-009-7798-3_15"},{"key":"4_CR36","volume-title":"Logic and Algebra","author":"R. Wille","year":"1996","unstructured":"Wille, R.: Restructuring Mathematical Logic: An Approach based on Peirce\u2019s Pragmatism. In: Ursini, A., Agliano, P. (eds.) Logic and Algebra, Marcel Dekker, New York (1996)"},{"key":"4_CR37","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/BFb0027878","volume-title":"Conceptual Structures: Fullfilling Peirce\u2019s Dream","author":"R. Wille","year":"1997","unstructured":"Wille, R.: Conceptual Graphs and Formal Concept Analysis. In: Lukose, D., Delugach, H., Keeler, M., Searle, L., Sowa, J. (eds.) Conceptual Structures: Fullfilling Peirce\u2019s Dream, pp. 290\u2013303. Springer, Berlin (1997)"},{"key":"4_CR38","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/BFb0054915","volume-title":"Conceptual Structures: Theory, Tools and Application","author":"R. Wille","year":"1998","unstructured":"Wille, R.: Triadic Concept Graphs. In: Mugnier, M.-L., Chein, M. (eds.) Conceptual Structures: Theory, Tools and Application, pp. 194\u2013208. Springer, Berlin (1998)"},{"key":"4_CR39","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/10722280_22","volume-title":"Conceptual Structures: Logical, Linguistic, and Computational Issues","author":"R. Wille","year":"2000","unstructured":"Wille, R.: Boolean Concept Logic. In: Ganter, B., Mineau, G.W. (eds.) Conceptual Structures: Logical, Linguistic, and Computational Issues, pp. 317\u2013331. Springer, Berlin (2000)"},{"key":"4_CR40","first-page":"256","volume-title":"Working with Conceptual Structures. Contributions to ICCS 2000","author":"R. Wille","year":"2000","unstructured":"Wille, R.: Contextual Logic Summary. In: Stumme, G. (ed.) Working with Conceptual Structures. Contributions to ICCS 2000, pp. 256\u2013276. Shaker, Aachen (2000)"},{"unstructured":"Wille, R.: Lecture Notes on Contextual Logic of Relations. FB4-Preprint, TU Darmstadt (2000)","key":"4_CR41"},{"key":"4_CR42","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/3-540-44583-8_9","volume-title":"Conceptual Structures: Broadening the Base","author":"R. Wille","year":"2001","unstructured":"Wille, R.: Boolean Judgment Logic. In: Delugach, H.S., Stumme, G. (eds.) Conceptual Structures: Broadening the Base, pp. 115\u2013128. Springer, Berlin (2001)"},{"key":"4_CR43","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/3-540-45483-7_29","volume-title":"Conceptual Structures: Integration and Interfaces","author":"R. Wille","year":"2002","unstructured":"Wille, R.: Existential Concept Graphs of Power Context Families. In: Priss, U., Corbett, D., Angelova, G. (eds.) Conceptual Structures: Integration and Interfaces, pp. 382\u2013396. Springer, Berlin (2002)"},{"unstructured":"Wille, R.: The Contextual-Logic Structure of Distinctive Judgments. In: Priss, U., Corbett, D., Angelova, G. (eds.) Foundations and Applications of Conceptual Structures - Contributions to ICCS 2002, pp. 92\u2013101. Bulgarian Academiy of Sciences (2002)","key":"4_CR44"},{"unstructured":"Wille, R.: Transdisziplinarit\u00e4t und Allgemeine Wissenschaft. FB4-Preprint No. 2200, TU Darmstadt (2002)","key":"4_CR45"},{"key":"4_CR46","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-45091-7_1","volume-title":"Conceptual Structures for Knowledge Creation and Communication","author":"R. Wille","year":"2003","unstructured":"Wille, R.: Conceptual Content as Information - Basics for Contetxual Judgment Logic. In: de Moor, A., Lex, W., Ganter, B. (eds.) Conceptual Structures for Knowledge Creation and Communication, pp. 1\u201315. Springer, Berlin (2003)"}],"container-title":["Lecture Notes in Computer Science","Formal Concept Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11528784_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:33Z","timestamp":1605643713000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11528784_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540278917","9783540318811"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/11528784_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}