| Author | Title | Year | Journal/Proceedings | Reftype | DOI/URL |
|---|---|---|---|---|---|
| Ganter, B. & Wille, R. | Applied lattice theory: formal concept analysis [BibTeX] |
to appear | General lattice theory | inproceedings | |
BibTeX:
@inproceedings{GanterWille97,
author = {Ganter, Bernhard and Wille, Rudolf},
title = {Applied lattice theory: formal concept analysis},
booktitle = {General lattice theory},
year = {to appear},
edition = {2.}
}
|
|||||
| Ganter, B. | Two Basic Algorithms in Concept Analysis | 2010 | Formal Concept Analysis | incollection | DOIURL |
| Abstract: We describe two algorithms for closure systems. The purpose of the first is to produce all closed sets of a given closure operator. The second constructs a minimal family of implications for the ”logic” of a closure system. These algorithms then are applied to problems in concept analysis: Determining all concepts of a given context and describing the dependencies between attributes. The problem of finding all concepts is equivalent, e.g., to finding all maximal complete bipartite subgraphs of a bipartite graph. | |||||
BibTeX:
@incollection{ganter2010basic,
author = {Ganter, Bernhard},
title = {Two Basic Algorithms in Concept Analysis},
booktitle = {Formal Concept Analysis},
publisher = {Springer Berlin Heidelberg},
year = {2010},
volume = {5986},
pages = {312-340},
url = {http://dx.doi.org/10.1007/978-3-642-11928-6_22},
doi = {http://dx.doi.org/10.1007/978-3-642-11928-6_22}
}
|
|||||
| Ganter, B. | Two Basic Algorithms in Concept Analysis [BibTeX] |
2010 | Formal Concept Analysis | incollection | DOIURL |
BibTeX:
@incollection{ganter2010basic,
author = {Ganter, Bernhard},
title = {Two Basic Algorithms in Concept Analysis},
booktitle = {Formal Concept Analysis},
publisher = {Springer},
year = {2010},
volume = {5986},
pages = {312-340},
url = {http://dx.doi.org/10.1007/978-3-642-11928-6_22},
doi = {http://dx.doi.org/10.1007/978-3-642-11928-6_22}
}
|
|||||
| Jäschke, R., Hotho, A., Schmitz, C., Ganter, B. & Stumme, G. | Discovering Shared Conceptualizations in Folksonomies [BibTeX] |
2008 | Journal of Web Semantics | article | URL |
BibTeX:
@article{jaeschke08discovering,
author = {Jäschke, Robert and Hotho, Andreas and Schmitz, Christoph and Ganter, Bernhard and Stumme, Gerd},
title = {Discovering Shared Conceptualizations in Folksonomies},
journal = {Journal of Web Semantics},
year = {2008},
volume = {6},
number = {1},
pages = {38-53},
url = {http://dx.doi.org/10.1016/j.websem.2007.11.004}
}
|
|||||
| Jäschke, R., Hotho, A., Schmitz, C., Ganter, B. & Stumme, G. | Discovering Shared Conceptualizations in Folksonomies | 2008 | Web Semantics: Science, Services and Agents on the World Wide WebSemantic Web and Web 2.0 | article | DOIURL |
| Abstract: Social bookmarking tools are rapidly emerging on the Web. In such systems users are setting up lightweight conceptual structures called folksonomies. Unlike ontologies, shared conceptualizations are not formalized, but rather implicit. We present a new data mining task, the mining of all frequent tri-concepts, together with an efficient algorithm, for discovering these implicit shared conceptualizations. Our approach extends the data mining task of discovering all closed itemsets to three-dimensional data structures to allow for mining folksonomies. We provide a formal definition of the problem, and present an efficient algorithm for its solution. Finally, we show the applicability of our approach on three large real-world examples. | |||||
BibTeX:
@article{jaeschke2008discovering,
author = {Jäschke, Robert and Hotho, Andreas and Schmitz, Christoph and Ganter, Bernhard and Stumme, Gerd},
title = {Discovering Shared Conceptualizations in Folksonomies},
booktitle = {Semantic Web and Web 2.0},
journal = {Web Semantics: Science, Services and Agents on the World Wide Web},
publisher = {Elsevier},
year = {2008},
volume = {6},
number = {1},
pages = {38--53},
url = {http://www.sciencedirect.com/science/article/B758F-4R53WD4-1/2/ae56bd6e7132074272ca2035be13781b},
doi = {http://dx.doi.org/10.1016/j.websem.2007.11.004}
}
|
|||||
| Jäschke, R., Hotho, A., Schmitz, C., Ganter, B. & Stumme, G. | Discovering Shared Conceptualizations in Folksonomies | 2008 | Web Semantics: Science, Services and Agents on the World Wide WebSemantic Web and Web 2.0 | article | DOIURL |
| Abstract: Social bookmarking tools are rapidly emerging on the Web. In such systems users are setting up lightweight conceptual structures called folksonomies. Unlike ontologies, shared conceptualizations are not formalized, but rather implicit. We present a new data mining task, the mining of all frequent tri-concepts, together with an efficient algorithm, for discovering these implicit shared conceptualizations. Our approach extends the data mining task of discovering all closed itemsets to three-dimensional data structures to allow for mining folksonomies. We provide a formal definition of the problem, and present an efficient algorithm for its solution. Finally, we show the applicability of our approach on three large real-world examples. | |||||
BibTeX:
@article{jaeschke2008discovering,
author = {Jäschke, Robert and Hotho, Andreas and Schmitz, Christoph and Ganter, Bernhard and Stumme, Gerd},
title = {Discovering Shared Conceptualizations in Folksonomies},
booktitle = {Semantic Web and Web 2.0},
journal = {Web Semantics: Science, Services and Agents on the World Wide Web},
publisher = {Elsevier},
year = {2008},
volume = {6},
number = {1},
pages = {38--53},
url = {http://www.kde.cs.uni-kassel.de/pub/pdf/jaeschke2008discovering.pdf},
doi = {http://dx.doi.org/10.1016/j.websem.2007.11.004}
}
|
|||||
| Baader, F., Ganter, B., Sertkaya, B. & Sattler, U. | Completing description logic knowledge bases using formal concept analysis | 2007 | Proceedings of the 20th international joint conference on Artifical intelligence | inproceedings | URL |
| Abstract: We propose an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using information provided by the knowledge base and by a domain expert. The use of techniques from Formal Concept Analysis ensures that, on the one hand, the interaction with the expert is kept to a minimum, and, on the other hand, we can show that the extended knowledge base is complete in a certain, well-defined sense. | |||||
BibTeX:
@inproceedings{baader2007completing,
author = {Baader, Franz and Ganter, Bernhard and Sertkaya, Baris and Sattler, Ulrike},
title = {Completing description logic knowledge bases using formal concept analysis},
booktitle = {Proceedings of the 20th international joint conference on Artifical intelligence},
publisher = {Morgan Kaufmann Publishers Inc.},
year = {2007},
pages = {230--235},
url = {http://dl.acm.org/citation.cfm?id=1625275.1625311}
}
|
|||||
| Ganter, B. | Relational Galois Connections | 2007 | Formal Concept Analysis | incollection | DOIURL |
| Abstract: Galois connections can be defined for lattices and for ordered sets. We discuss a rather wide generalisation, which was introduced by Weiqun Xia and has been reinvented under different names: Relational Galois connections between relations. It turns out that the generalised notion is of importance for the original one and can be utilised, e.g., for computing Galois connections. | |||||
BibTeX:
@incollection{ganter2007relational,
author = {Ganter, Bernhard},
title = {Relational Galois Connections},
booktitle = {Formal Concept Analysis},
publisher = {Springer Berlin Heidelberg},
year = {2007},
volume = {4390},
pages = {1-17},
url = {http://dx.doi.org/10.1007/978-3-540-70901-5_1},
doi = {http://dx.doi.org/10.1007/978-3-540-70901-5_1}
}
|
|||||
| Jäschke, R., Hotho, A., Schmitz, C., Ganter, B. & Stumme, G. | TRIAS - An Algorithm for Mining Iceberg Tri-Lattices [BibTeX] |
2006 | Proceedings of the 6th IEEE International Conference on Data Mining (ICDM 06) | inproceedings | DOIURL |
BibTeX:
@inproceedings{jaeschke06trias,
author = {Jäschke, Robert and Hotho, Andreas and Schmitz, Christoph and Ganter, Bernhard and Stumme, Gerd},
title = {TRIAS - An Algorithm for Mining Iceberg Tri-Lattices},
booktitle = {Proceedings of the 6th IEEE International Conference on Data Mining (ICDM 06)},
publisher = {IEEE Computer Society},
year = {2006},
pages = {907-911},
url = {http://www.kde.cs.uni-kassel.de/stumme/papers/2006/jaeschke2006trias.pdf},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICDM.2006.162}
}
|
|||||
| Jäschke, R., Hotho, A., Schmitz, C., Ganter, B. & Stumme, G. | TRIAS - An Algorithm for Mining Iceberg Tri-Lattices | 2006 | Proceedings of the 6th IEEE International Conference on Data Mining (ICDM 06) | inproceedings | DOIURL |
| Abstract: In this paper, we present the foundations for mining frequent tri-concepts, which extend the notion of closed itemsets to three-dimensional data to allow for mining folksonomies. We provide a formal definition of the problem, and present an efficient algorithm for its solution as well as experimental results on a large real-world example. | |||||
BibTeX:
@inproceedings{jaeschke2006trias,
author = {Jäschke, Robert and Hotho, Andreas and Schmitz, Christoph and Ganter, Bernhard and Stumme, Gerd},
title = {TRIAS - An Algorithm for Mining Iceberg Tri-Lattices},
booktitle = {Proceedings of the 6th IEEE International Conference on Data Mining (ICDM 06)},
publisher = {IEEE Computer Society},
year = {2006},
pages = {907-911},
url = {http://www.kde.cs.uni-kassel.de/jaeschke/paper/jaeschke06trias.pdf},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICDM.2006.162}
}
|
|||||
| Jäschke, R., Hotho, A., Schmitz, C., Ganter, B. & Stumme, G. | TRIAS - An Algorithm for Mining Iceberg Tri-Lattices | 2006 | ICDM '06: Proceedings of the Sixth International Conference on Data Mining | inproceedings | DOIURL |
| Abstract: In this paper, we present the foundations for mining frequent tri-concepts, which extend the notion of closed itemsets to three-dimensional data to allow for mining folk-sonomies. We provide a formal definition of the problem, and present an efficient algorithm for its solution as well as experimental results on a large real-world example. | |||||
BibTeX:
@inproceedings{jaeschke2006trias,
author = {Jäschke, Robert and Hotho, Andreas and Schmitz, Christoph and Ganter, Bernhard and Stumme, Gerd},
title = {TRIAS - An Algorithm for Mining Iceberg Tri-Lattices},
booktitle = {ICDM '06: Proceedings of the Sixth International Conference on Data Mining},
publisher = {IEEE Computer Society},
year = {2006},
pages = {907--911},
url = {http://www.kde.cs.uni-kassel.de/pub/pdf/jaeschke2006trias.pdf},
doi = {http://dx.doi.org/10.1109/ICDM.2006.162}
}
|
|||||
| Ganter, B. & Krauße, R. | Pseudo-models and propositional Horn inference | 2005 | Discrete Applied Mathematics | article | DOIURL |
| Abstract: A well-known result is that the inference problem for propositional Horn formulae can be solved in linear time. We show that this remains true even in the presence of arbitrary (static) propositional background knowledge. Our main tool is the notion of a cumulated clause, a slight generalization of the usual clauses in Propositional Logic. We show that each propositional theory has a canonical irredundant base of cumulated clauses, and present an algorithm to compute this base. | |||||
BibTeX:
@article{ganter2005pseudomodels,
author = {Ganter, Bernhard and Krauße, Rüdiger},
title = {Pseudo-models and propositional Horn inference},
journal = {Discrete Applied Mathematics},
publisher = {Elsevier Science Publishers B. V.},
year = {2005},
volume = {147},
number = {1},
pages = {43--55},
url = {http://www.math.tu-dresden.de/~ganter/psfiles/pseudo.ps},
doi = {http://dx.doi.org/10.1016/j.dam.2004.06.019}
}
|
|||||
| Ganter, B. & Stumme, G. | Creation and Merging of Ontology Top-Levels | 2003 | Conceptual Structures for Knowledge Creation and Communication. | inproceedings | URL |
| Abstract: We provide a new method for systematically structuring the top-down level of ontologies.
is based on an interactive, top--down knowledge acquisition ocess, which assures that the knowledge engineer nsiders all possible cases while avoiding redundant acquisition. e method is suited especially for creating/merging the top rt(s) of the ontologies, where high accuracy is required, and for supporting the merging of two (or more) ontologies on that level. |
|||||
BibTeX:
@inproceedings{ganter03creation,
author = {Ganter, Bernhard and Stumme, Gerd},
title = {Creation and Merging of Ontology Top-Levels},
booktitle = {Conceptual Structures for Knowledge Creation and Communication.},
publisher = {Springer},
year = {2003},
volume = {2746},
pages = {131-145},
url = {http://www.kde.cs.uni-kassel.de/stumme/papers/2003/ganter2003creation.pdf}
}
|
|||||
| Ganter, B. & Wille, R. | Formal concept analysis : mathematical foundations [BibTeX] |
1999 | book | URL | |
BibTeX:
@book{ganter1999formal,
author = {Ganter, Bernhard and Wille, Rudolf},
title = {Formal concept analysis : mathematical foundations},
publisher = {Springer},
year = {1999},
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}
}
|
|||||
| Ganter, B. & Wille, R. | Formal Concept Analysis: Mathematical Foundations | 1999 | book | ||
| 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. | |||||
BibTeX:
@book{ganter1999formal,
author = {Ganter, Bernhard and Wille, Rudolf},
title = {Formal Concept Analysis: Mathematical Foundations},
publisher = {Springer},
year = {1999}
}
|
|||||
| Ganter, B. & Wille, R. | Formal Concept Analysis: Mathematical Foundations [BibTeX] |
1999 | book | ||
BibTeX:
@book{GanterWille,
author = {Ganter, Bernhard and Wille, Rudolf},
title = {Formal Concept Analysis: Mathematical Foundations},
publisher = {Springer-Verlag},
year = {1999}
}
|
|||||
| Ganter, B. & Kuznetsov, S. | Stepwise construction of the Dedekind-MacNeille completion | 1998 | Conceptual Structures: Theory, Tools and Applications | incollection | DOIURL |
| Abstract: Lattices are mathematical structures which are frequently used for the representation of data. Several authors have considered the problem of incremental construction of lattices. We show that with a rather general approach, this problem becomes well-structured. We give simple algorithms with satisfactory complexity bounds. | |||||
BibTeX:
@incollection{ganter1998stepwise,
author = {Ganter, Bernhard and Kuznetsov, Sergei},
title = {Stepwise construction of the Dedekind-MacNeille completion},
booktitle = {Conceptual Structures: Theory, Tools and Applications},
publisher = {Springer},
year = {1998},
volume = {1453},
pages = {295--302},
url = {http://dx.doi.org/10.1007/BFb0054922},
doi = {http://dx.doi.org/10.1007/BFb0054922}
}
|
|||||
| Ganter, B. | Two basic algorithms in concept analysis [BibTeX] |
1984 | techreport | ||
BibTeX:
@techreport{ganter1984basic,
author = {Ganter, Bernhard},
title = {Two basic algorithms in concept analysis},
year = {1984},
number = {831}
}
|
|||||
| Ganter, B., Poguntke, W. & Wille, R. | Finite sublattices of four-generated modular lattices [BibTeX] |
1981 | Algebra Universalis | article | URL |
BibTeX:
@article{ganter1981finite,
author = {Ganter, Bernhard and Poguntke, Werner and Wille, Rudolf},
title = {Finite sublattices of four-generated modular lattices},
journal = {Algebra Universalis},
year = {1981},
volume = {12},
number = {1},
pages = {160--171},
url = {http://dx.doi.org/10.1007/BF02483876}
}
|
|||||
| Ganter, B., Poguntke, W. & Wille, R. | Finite sublattices of four-generated modular lattices [BibTeX] |
1981 | Algebra Univ. | article | |
BibTeX:
@article{GPW,
author = {Ganter, Bernhard and Poguntke, Werner and Wille, Rudolf},
title = {Finite sublattices of four-generated modular lattices},
journal = {Algebra Univ.},
year = {1981},
volume = {12},
pages = {160--171}
}
|
|||||
Created by JabRef export filters on 04/05/2024 by the social publication management platform PUMA