@book{ganter1999formal, address = {Berlin; New York}, author = {Ganter, Bernhard and Wille, Rudolf}, interhash = {1b0bf49069eadcdfac42e52addf4eb9d}, intrahash = {72729e14c41cfb00745c9a21f3265fed}, isbn = {3540627715 9783540627715}, publisher = {Springer}, refid = {40163504}, title = {Formal concept analysis : mathematical foundations}, url = {http://www.amazon.de/Formal-Concept-Analysis-Mathematical-Foundations/dp/3540627715/ref=sr_1_1?ie=UTF8&qid=1417077494&sr=8-1&keywords=formal+concept+analysis+mathematical+foundations}, year = 1999 } @incollection{wille1982restructuring, abstract = {Lattice theory today reflects the general status of current mathematics: there is a rich production of theoretical concepts, results, and developments, many of which are reached by elaborate mental gymnastics; on the other hand, the connections of the theory to its surroundings are getting weaker and weaker, with the result that the theory and even many of its parts become more isolated. Restructuring lattice theory is an attempt to reinvigorate connections with our general culture by interpreting the theory as concretely as possible, and in this way to promote better communication between lattice theorists and potential users of lattice theory.}, author = {Wille, Rudolf}, booktitle = {Ordered Sets}, doi = {10.1007/978-94-009-7798-3_15}, editor = {Rival, Ivan}, interhash = {1e021e8bace9683c92416cd882eb4c4d}, intrahash = {9f2962c0b9b15ddd770ed8eba3935e72}, isbn = {978-94-009-7800-3}, language = {English}, pages = {445-470}, publisher = {Springer Netherlands}, series = {NATO Advanced Study Institutes Series}, title = {Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts}, url = {http://dx.doi.org/10.1007/978-94-009-7798-3_15}, volume = 83, year = 1982 } @incollection{becker2000conceptual, abstract = {Conceptual Information Systems are based on a formalization of the concept of ‘concept’ as it is discussed in traditional philosophical logic. This formalization supports a human-centered approach to the development of Information Systems. We discuss this approach by means of an implemented Conceptual Information System for supporting IT security management in companies and organizations.}, address = {Berlin/Heidelberg}, affiliation = {Entrust Technologies (Switzerland) Ltd liab. Co Glatt Tower CH-8301 Glattzentrum Switzerland}, author = {Becker, Klaus and Stumme, Gerd and Wille, Rudolf and Wille, Uta and Zickwolff, Monika}, booktitle = {Knowledge Engineering and Knowledge Management Methods, Models, and Tools}, doi = {10.1007/3-540-39967-4_27}, editor = {Dieng, Rose and Corby, Olivier}, interhash = {dacb08013d9496d41d4f9f39bce7ecd1}, intrahash = {283f8a780ac47746cc3031ad47bfdf9c}, isbn = {978-3-540-41119-2}, keyword = {Computer Science}, pages = {352--365}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Conceptual Information Systems Discussed through an IT-Security Tool}, url = {http://dx.doi.org/10.1007/3-540-39967-4_27}, volume = 1937, year = 2000 } @incollection{stumme1998conceptual, abstract = {In this paper we discuss Conceptual Knowledge Discovery in Databases (CKDD) as it is developing in the field of Conceptual Knowledge Processing (cf. [29],[30]). Conceptual Knowledge Processing is based on the mathematical theory of Formal Concept Analysis which has become a successful theory for data analysis during the last 18 years. This approach relies on the pragmatic philosophy of Ch.S. Peirce [15] who claims that we can only analyze and argue within restricted contexts where we always rely on pre-knowledge and common sense. The development of Formal Concept Analysis led to the software system TOSCANA, which is presented as a CKDD tool in this paper. TOSCANA is a flexible navigation tool that allows dynamic browsing through and zooming into the data. It supports the exploration of large databases by visualizing conceptual aspects inherent to the data. We want to clarify that CKDD can be understood as a human-centered approach of Knowledge Discovery in Databases. The actual discussion about human-centered Knowledge Discovery is therefore briefly summarized in Section 1.}, address = {Berlin/Heidelberg}, affiliation = {Technische Universität Darmstadt Fachbereich Mathematik D-64289 Darmstadt Germany D-64289 Darmstadt Germany}, author = {Stumme, Gerd and Wille, Rudolf and Wille, Uta}, booktitle = {Principles of Data Mining and Knowledge Discovery}, doi = {10.1007/BFb0094849}, editor = {Zytkow, Jan and Quafafou, Mohamed}, interhash = {5ef89b6f8fb22f9d24eda7da71b8bdb1}, intrahash = {a9859c988f19684b76dc5a3f24e8278e}, isbn = {978-3-540-65068-3}, keyword = {Computer Science}, pages = {450--458}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Conceptual Knowledge Discovery in Databases using formal concept analysis methods}, url = {http://dx.doi.org/10.1007/BFb0094849}, volume = 1510, year = 1998 } @incollection{hereth2000conceptual, abstract = {In this paper, we discuss Conceptual Knowledge Discovery in Databases (CKDD) in its connection with Data Analysis. Our approach is based on Formal Concept Analysis, a mathematical theory which has been developed and proven useful during the last 20 years. Formal Concept Analysis has led to a theory of conceptual information systems which has been applied by using the management system TOSCANA in a wide range of domains. In this paper, we use such an application in database marketing to demonstrate how methods and procedures of CKDD can be applied in Data Analysis. In particular, we show the interplay and integration of data mining and data analysis techniques based on Formal Concept Analysis. The main concern of this paper is to explain how the transition from data to knowledge can be supported by a TOSCANA system. To clarify the transition steps we discuss their correspondence to the five levels of knowledge representation established by R. Brachman and to the steps of empirically groun ded theory building proposed by A. Strauss and J. Corbin.}, address = {Berlin/Heidelberg}, affiliation = {Fachbereich Mathematik, Technische Universität Darmstadt, Schloßgartenstr. 7, D-64289 Darmstadt, Germany}, author = {Hereth, Joachim and Stumme, Gerd and Wille, Rudolf and Wille, Uta}, booktitle = {Conceptual Structures: Logical, Linguistic, and Computational Issues}, doi = {10.1007/10722280_29}, editor = {Ganter, Bernhard and Mineau, Guy}, interhash = {8a4c0c21d83c25bb78f80e89dd36a89a}, intrahash = {89154e5d16a6533280b612e9d3ab8aa6}, isbn = {978-3-540-67859-5}, keyword = {Computer Science}, pages = {421--437}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Conceptual Knowledge Discovery and Data Analysis}, url = {http://dx.doi.org/10.1007/10722280_29}, volume = 1867, year = 2000 } @incollection{wille2009restructuring, address = {Berlin / Heidelberg}, affiliation = {Fachbereich Mathematik, Technische Hochschule Darmstadt, 6100 Darmstadt, Federal Republic of Germany}, author = {Wille, Rudolf}, booktitle = {Formal Concept Analysis}, doi = {10.1007/978-3-642-01815-2_23}, editor = {Ferré, Sébastien and Rudolph, Sebastian}, interhash = {d2b646426cb8330a80978721e5047bcd}, intrahash = {0076ddf2562946e870f89834b6d1cd25}, isbn = {978-3-642-01814-5}, keyword = {Computer Science}, pages = {314-339}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {RESTRUCTURING LATTICE THEORY: AN APPROACH BASED ON HIERARCHIES OF CONCEPTS}, url = {http://dx.doi.org/10.1007/978-3-642-01815-2_23}, volume = 5548, year = 2009 } @article{wille1995basic, abstract = {Experiences with applications of concept lattices and the pragmatic philosophy founded by Ch. S. Peirce have suggested a triadic approach to formal concept analysis. It starts with the notion of a triadic context combining objects, attributes, and conditions under which objects may have certain attributes. The Basic Theorem of triadic concept analysis clarifies the class of structures which are formed by the triadic concepts of triadic contexts: These structures are exactly the complete trilattices up to isomorphism.}, affiliation = {Fachbereich Mathematik Technishe Hochschule Darmstadt 64289 Darmstadt Germany}, author = {Wille, Rudolf}, doi = {10.1007/BF01108624}, interhash = {c5223bed0a0995c5f3cd8962a9d54212}, intrahash = {23959c014b9b6d46c93f45cf68e52294}, issn = {0167-8094}, journal = {Order}, keyword = {Mathematics and Statistics}, number = 2, pages = {149--158}, publisher = {Springer Netherlands}, title = {The Basic Theorem of triadic concept analysis}, url = {http://dx.doi.org/10.1007/BF01108624}, volume = 12, year = 1995 } @techreport{rock1997toscanaerkundungssystem, author = {Rock, Tammo and Wille, Rudolf}, institution = {TH Darmstadt}, interhash = {bddc54a042d4340762d3ac150828a9b5}, intrahash = {cf66c378d2516971007ffa26e02d86f8}, publischer = {Amer.~Math.~Soc.}, title = {Ein TOSCANA--Erkundungssystem zur Literatursuche}, type = {FB4--Preprint}, year = 1997 } @book{ganter1999formal, abstract = {This is the first textbook on formal concept analysis. It gives a systematic presentation of the mathematical foundations and their relation to applications in computer science, especially in data analysis and knowledge processing. Above all, it presents graphical methods for representing conceptual systems that have proved themselves in communicating knowledge. Theory and graphical representation are thus closely coupled together. The mathematical foundations are treated thoroughly and illuminated by means of numerous examples.}, address = {Berlin/Heidelberg}, author = {Ganter, Bernhard and Wille, Rudolf}, interhash = {1b0bf49069eadcdfac42e52addf4eb9d}, intrahash = {ae14b00b5489de8da6e4578ac3062bfc}, publisher = {Springer}, title = {Formal Concept Analysis: Mathematical Foundations}, year = 1999 } @article{ganter1981finite, author = {Ganter, Bernhard and Poguntke, Werner and Wille, Rudolf}, interhash = {0ca78ea0263b8ed16512692b01d9f48a}, intrahash = {52fc3b6964fc9df1069a4b8e3c010ca4}, journal = {Algebra Universalis}, month = {December}, number = 1, pages = {160--171}, title = {Finite sublattices of four-generated modular lattices}, url = {http://dx.doi.org/10.1007/BF02483876}, volume = 12, year = 1981 } @article{GPW, author = {Ganter, Bernhard and Poguntke, Werner and Wille, Rudolf}, interhash = {0ca78ea0263b8ed16512692b01d9f48a}, intrahash = {bd16dcc0461cbe4b19296828e312a106}, journal = {Algebra Univ.}, pages = {160--171}, title = {Finite sublattices of four-generated modular lattices}, volume = 12, year = 1981 } @article{WilleGer, author = {Wille, Rudolf}, interhash = {46ac7de1dc6e14712068cdbd877528dc}, intrahash = {36d1027abe1cb91e6849597624d8b3da}, journal = {J. reine angew. Math.}, pages = {53--70}, title = {Subdirekte {P}rodukte voll\-st\"an\-diger {V}erb\"ande}, volume = {283/284}, year = 1976 } @book{GanterWille, address = {Berlin/Heidelberg}, author = {Ganter, Bernhard and Wille, Rudolf}, interhash = {1b0bf49069eadcdfac42e52addf4eb9d}, intrahash = {ae14b00b5489de8da6e4578ac3062bfc}, publisher = {Springer-Verlag}, title = {Formal Concept Analysis: Mathematical Foundations}, year = 1999 } @inproceedings{GanterWille97, author = {Ganter, Bernhard and Wille, Rudolf}, booktitle = {General lattice theory}, edition = {2.}, editor = {Gr{\"a}tzer, G.}, interhash = {78d2a08839da785e89d89ec6f736b212}, intrahash = {18f9821b2ae2954adaf12ec9337e28cd}, title = {Applied lattice theory: formal concept analysis}, year = {to appear} } @article{fritz1995triadic, abstract = {Formal Concept Analysis, developed during the last fifteen years, has been based on the dyadic understanding of a concept constituted by its extension and its intension. The pragmatic philosophy of Charles S. Peirce with his three universal categories, and experiences in data analysis, have suggested a triadic approach to Formal Concept Analysis. This approach starts with the primitive notion of a triadic context defined as a quadruple (G, M, B, Y) where G, M, and B are sets and Y is a ternary relation between G, M, and B, i.e. Y G×M×B; the elements of G, M, and B are called objects, attributes, and conditions, respectively, and (g, m,b) Y is read: the object g has the attribute m under (or according to) the condition b. A triadic concept of a triadic context (G, M, B, Y) is defined as a triple (A}, author = {Lehmann, Fritz and Wille, Rudolf}, interhash = {fa3e423ee0c5a9dadc3211c3f8a5e4a6}, intrahash = {2d18c634917546cfa78a73901f0963a3}, journal = {Conceptual Structures: Applications, Implementation and Theory}, pages = {32--43}, title = {A triadic approach to formal concept analysis}, url = {http://dx.doi.org/10.1007/3-540-60161-9_27}, year = 1995 } @inproceedings{wille94plaedoyer, address = {Mannheim}, author = {Wille, Rudolf}, booktitle = {Begriffliche Wissensverarbeitung -- Grundfragen und Aufgaben}, editor = {Wille, R. and Zickwolff, M.}, interhash = {3d247c54b3ed4d35266336fc305665e1}, intrahash = {4423251a98a4bba43a7ffa89c108a3fd}, journal = {B. I. -Wissenschaftsverlag}, pages = {11-25}, publisher = {B. I. -Wissenschaftsverlag}, title = {{Plädoyer für eine philosophische Grundlegung der Begrifflichen Wissensverarbeitung}}, year = 1994 } @inproceedings{stumme95geometrical, address = {Heidelberg}, author = {Stumme, Gerd and Wille, Rudolf}, booktitle = {Graph Drawing}, comment = {alpha}, editor = {Tamassia, R. and Tollis, I.G.}, interhash = {0e3ac1bae7ef38507b1ff5b5bc6c4d49}, intrahash = {069db3a0aad592c82f35e1bbf701824f}, pages = {452-459}, privnote = {alpha}, publisher = {Springer}, series = {LNCS}, title = {A Geometrical Heuristic for Drawing Concept Lattices}, url = {http://www.kde.cs.uni-kassel.de/stumme/papers/1994/P1677-GD94.pdf}, volume = 894, year = 1995 } @inproceedings{mineau99conceptual, address = {Heidelberg}, author = {Mineau, Guy and Stumme, Gerd and Wille, Rudolf}, booktitle = {Conceptual Structures: Standards and Practices. Proc. ICCS '99}, editor = {Tepfenhart, W. and Cyre, W.}, interhash = {da964e12b882b59f6562a5e5ebb346ae}, intrahash = {162279b2ef7ec69ab0bf0dc3a7b79b18}, page = {318-331}, pages = {423-441}, publisher = {Springer}, series = {LNAI}, title = {Conceptual Structures Represented by Conceptual Graphs and Formal Concept Analysis}, url = {http://www.kde.cs.uni-kassel.de/stumme/papers/1999/ICCS99.pdf}, volume = 1640, year = 1999 } @inproceedings{stumme98conceptual, address = {Heidelberg}, author = {Stumme, Gerd and Wille, Rudolf and Wille, Uta}, booktitle = {Principles of Data Mining and Knowledge Discovery Proc. 2nd European Symposium on PKDD'98}, editor = {Zytkow, J. M. and Quafofou, M.}, interhash = {5ef89b6f8fb22f9d24eda7da71b8bdb1}, intrahash = {b960d1d34dace39052a0530ab4026e18}, note = {{P}art of \cite{hereth03conceptual}}, page = {318-331}, pages = {450-458}, series = {LNAI}, title = {Conceptual Knowledge Discovery in Databases Using Formal Concept Analysis Methods}, url = {http://www.kde.cs.uni-kassel.de/stumme/papers/1998/P1993-PKDD98.pdf}, volume = 1510, year = 1998 } @article{hereth03conceptual, abstract = {In this paper we discuss Conceptual Knowledge Discovery in Databases (CKDD) as it is developing in the field of Conceptual Knowledge Processing. Conceptual Knowledge Processing is based on the mathematical theory of Formal Concept Analysis which has become a successful theory for data analysis during the last two decades. CKDD aims to support a human-centered process of discovering knowledge from data by visualizing and analyzing the conceptual structure of the data. We dicuss how the management system TOSCANA for conceptual information systems supports CKDD, and illustrate it by two applications in database marketing and flight movement analysis. Finally, we present a new tool for conceptual deviation discovery, Chianti.}, author = {Hereth, Joachim and Stumme, Gerd and Wille, Rudolf and Wille, Uta}, comment = {alpha}, interhash = {a9c05101aeb799232425d7651a581684}, intrahash = {edffeb9bd2aaac559f2a6233dd49ae3b}, journal = {Journal of Applied Artificial Intelligence (AAI)}, number = 3, pages = {281-301}, privnote = {alpha}, title = {Conceptual Knowledge Discovery - a Human-Centered Approach}, url = {http://www.kde.cs.uni-kassel.de/stumme/papers/2003/hereth2003conceptual.pdf}, volume = 17, year = 2003 }