Formale Begriffsanalyse

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Formale Begriffsanalyse

Die Formale Begriffsanalyse ist eine mathematische Theorie, welche Begriffe und Begriffshierarchien mit Hilfe der Verbandstheorie beschreibt. Die Grundlage hierbei bilden elementare Datenstrukturen, so genannte formale Kontexte, welche Gegenständen und deren Merkmale beschreiben. Ein formaler Begriff setzt sich dann zusammen aus einer Menge von Gegenständen und einer Menge von Merkmalen, welche der philosophischen und sprachwissenschaftlichen Tradition folgend als Begriffsumfang und Begriffsinhalt bezeichnet werden. Formale Begriffe können dann zueinander in Beziehung gesetzt werden, woraus sich eine Ober-/Unterbegriffs-Hierarchie ergibt. Die Formale Begriffsanalyse wurde in den 1980er Jahren in Darmstadt in der Arbeitsgruppe von Rudolf Wille begründet und hat sich zu einer Disziplin entwickelt welche in vielen Bereichen praktische Anwendung findet, beispielsweise in Data- und Textmining, Wissensmanagement, Semantic Web, Softwareentwicklung, Wirtschaft oder Biologie.

Professoren und Gruppenleiter

Wissenschaftliche Mitarbeiter


Artikel in Fachzeitschriften

Sebastian Rudolph
Succinctness and tractability of closure operator representations
Theoretical Computer Science, 658, Part B:327 - 345, January 2017
Details Download

Daniel Borchmann, Felix Distel, Francesco Kriegel
Axiomatisation of General Concept Inclusions from Finite Interpretations
Journal of Applied Non-Classical Logics, 26(1):1-46, July 2016
Details Download

José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Sebastian Rudolph
Concept lattices with negative information: A characterization theorem
Information Sciences, Volume 369:51–62, November 2016
Details Download

Daniel Borchmann, Rafael Peñaloza, Wenqian Wang
Classifying Software Bug Reports Using Methods from Formal Concept Analysis
Studia Universitatis Babeş-Bolyai Informatica, 59:10-27, June 2014
Details Download

Francesco Kriegel
Incremental Computation of Concept Diagrams
Studia Universitatis Babeş-Bolyai Informatica, 59:45-61, June 2014
Details Download

Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang
A categorical view on algebraic lattices in formal concept analysis
Fundamenta Informaticae, 74(2-3):301-328, July 2006
Details Download


Artikel in Tagungsbänden

Francesco Kriegel
NextClosures with Constraints
In Marianne Huchard, Sergei Kuznetsov, eds., Proceedings of the 13th International Conference on Concept Lattices and Their Applications (CLA 2016), volume 1624 of CEUR Workshop Proceedings, 231-243, October 2016. CEUR-WS.org
Details Download

Francesco Kriegel
Axiomatization of General Concept Inclusions from Streams of Interpretations with optional Error Tolerance
In Sergei Kuznetsov, Amedeo Napoli, Sebastian Rudolph, eds., Proceedings of the 5th Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2016), to appear
Details Download

Francesco Kriegel
Parallel Attribute Exploration
In Ollivier Haemmerlé, Gem Stapleton, Catherine Faron-Zucker, eds., Proceedings of the 22nd International Conference on Conceptual Structures (ICCS 2016), volume 9717 of Lecture Notes in Computer Science, 91-106, July 2016. Springer
Details Download

Daniel Borchmann
Exploring Faulty Data
In Jaume Baixeries, Christian Sacarea, Manuel Ojeda-Aciego, eds., Proceedings of the 13 International Conference on Formal Concept Analysis (ICFCA 2015), volume 9113 of Lecture Notes in Computer Science, 219-235, 2015. Springer
Details Download

Francesco Kriegel
Axiomatization of General Concept Inclusions in Probabilistic Description Logics
In Steffen Hölldobler, Sebastian Rudolph, Markus Krötzsch, eds., Proceedings of the 38th German Conference on Artificial Intelligence (KI 2015), volume 9324 of Lecture Notes in Artificial Intelligence, 124-136, September 2015. Springer
Details Download

Francesco Kriegel
Extracting ALEQR(Self)-Knowledge Bases from Graphs
In Sergei O. Kuznetsov, Rokia Missaoui, Sergei A. Obiedkov, eds., Proceedings of the International Workshop on Social Network Analysis using Formal Concept Analysis (SNAFCA 2015), volume 1534 of CEUR Workshop Proceedings, June 2015. CEUR-WS.org
Details Download

Francesco Kriegel
Incremental Learning of TBoxes from Interpretation Sequences with Methods of Formal Concept Analysis
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics (DL 2015), volume 1350 of CEUR Workshop Proceedings, 452-464, June 2015. CEUR-WS.org
Details Download

Francesco Kriegel, Daniel Borchmann
NextClosures: Parallel Computation of the Canonical Base
In Sadok Ben Yahia, Jan Konecny, eds., Proceedings of the 12th International Conference on Concept Lattices and their Applications (CLA 2015), volume 1466 of CEUR Workshop Proceedings, 182-192, October 2015. CEUR-WS.org
Details Download

Francesco Kriegel
Probabilistic Implicational Bases in FCA and Probabilistic Bases of GCIs in EL
In Sadok Ben Yahia, Jan Konecny, eds., Proceedings of the 12th International Conference on Concept Lattices and their Applications (CLA 2015), volume 1466 of CEUR Workshop Proceedings, 193-204, October 2015. CEUR-WS.org
Details Download

Sebastian Rudolph, Christian Sacarea, Diana Troancă
Membership Constraints in Formal Concept Analysis
In Qiang Yang, Michael Wooldridge, eds., Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 3186-3192, July 2015. AAAI Press
Details Download

Sebastian Rudolph
On the Succinctness of Closure Operator Representations
In Cynthia Vera Glodeanu, Mehdi Kaytoue, Christian Sacarea, eds., Proc. 12th International Conference on Formal Concept Analysis (ICFCA 2014), volume 8478 of LNCS, 15-36, June 2014. Springer
Details

Johannes Wollbold, Rüdiger Köhling, Daniel Borchmann
Attribute Exploration with Proper Premises and Incomplete Knowledge Applied to the Free Radical Theory of Ageing
In Cynthia Vera Glodeanu, Mehdi Kaytoue, Christian Sacarea, eds., Proceedings of the 12th International Conference on Formal Concept Analysis (ICFCA 2014), volume 8478 of Lecture Notes in Computer Science, 268-283, 2014. Springer
Details

Daniel Borchmann
Experience Based Nonmonotonic Reasoning
In Pedro Cabalar, Tran Cao Son, eds., Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), volume 8148 of Lecture Notes in Computer Science, 200-205, 2013. Springer
Details Download

Daniel Borchmann
A Generalized Next-Closure Algorithm — Enumerating Semilattice Elements from a Generating Set
In Laszlo Szathmary, Uta Priss, eds., Proceedings of The Ninth International Conference on Concept Lattices and Their Applications, volume 972 of CEUR Workshop Proceedings, 9-20, October 2012
Details Download

Bernhard Ganter, Daniel Borchmann
Concept Lattice Orbifolds -- First Steps
In Sèbastien Ferré and Sebastian Rudolph, eds., Proceedings of the 7th International Conference on Formal Concept Analysis (ICFCA 2009), volume 5548 of Lecture Notes in Computer Science, 22-37, 2009. Springer
Details Download

Pascal Hitzler, Markus Krötzsch
Querying formal contexts with answer set programs
In Henrik Schärfe, Pascal Hitzler, Peter Ohrstrom, eds., Conceptual Structures: Inspiration and Application, Proceedings of the 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 2006, volume 4068 of Lecture Notes in Artificial Intelligence, 413-426, July 2006. Springer
Details

Markus Krötzsch, Grit Malik
The Tensor Product as a Lattice of Regular Galois Connections
In Rokia Missaoui and Jürg Schmid, eds., Proceedings of the 4th International Conference on Formal Concept Analysis (ICFCA2006), Dresden, Germany, volume 3874 of Lecture Notes in Computer Science, February 2006. Springer
Details Download

Markus Krötzsch, Pascal Hitzler, Guo-Qiang Zhang
Morphisms in Context
In Frithjof Dau, Marie-Laure Mugnier and Gerd Stumme, eds., Conceptual Structures: Common Semantics for Sharing Knowledge. Proceedings of the 13th International Conference on Conceptual Structures, ICCS '05, Kassel, Germany, July 2005, volume 3596 of Lecture Notes in Computer Science, 223-237, July 2005. Springer, Berlin
Details Download

Sebastian Rudolph
Spatial concepts - a rule exploration
In Gerd Stumme, eds., Working with Conceptual Structures - Contributions to ICCS 2000, 284 -- 288, July 2000. Shaker, Aachen
Details Download


Bücher

Sebastian Rudolph
Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification
Universitätsverlag Karlsruhe, December 2006
Details


Buchkapitel

Markus Krötzsch, Bernhard Ganter
A Brief Introduction to Formal Concept Analysis
In Pascal Hitzler and Hendrik Schärfe, eds., Conceptual Structures in Practice, CRC Studies in Informatics, 3--16. Chapman & Hall, May 2009
Details

Sebastian Rudolph, Johanna Völker
A Lexico-Logical Approach to Ontology Engineering
In Pascal Hitzler, Henrik Schärfe, eds., Conceptual Structures in Practice, Studies in Informatics, 225--244. Chapman & Hall/CRC, May 2009
Details


Herausgegebene Tagungsbände

Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza Nyssen, Sebastian Rudolph
KI 2015: Advances in Artificial Intelligence - Proceedings of the 38th Annual German Conference on AI
Volume 9324 of LNAI, 2015. Springer
Details

Karell Bertet, Sebastian Rudolph
Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, Košice, Slovakia, October 7-10, 2014
Volume 1252 of CEUR, October 2014. CEUR Workshop Proceedings
Details

Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales
Graph Structures for Knowledge Representation and Reasoning - Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers
Volume 8323 of Lecture Notes in Computer Science, 2014. Springer
Details

Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph
Proceedings of the International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI at IJCAI 2013), Beijing, China, August 5, 2013
Volume 1058 of CEUR Workshop Proceedings, 2013. CEUR-WS.org
Details Download

Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby
Graph Structures for Knowledge Representation and Reasoning - Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
Volume 7205 of Lecture Notes in Computer Science, 2012. Springer
Details

Sébastien Ferré, Sebastian Rudolph
Formal Concept Analysis: 7th International Conference, ICFCA 2009, Proceedings
Volume 5548 of LNAI, May 2009. Springer
Details

Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov
Conceptual Structures: Leveraging Semantic Technologies
Volume 5662 of LNCS, July 2009. Springer
Details

Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov
Supplementary Proceedings of ICCS'09
Volume 483 of CEUR Workshop Proceedings, July 2009. CEUR
Details

Karl Erich Wolff, Sebastian Rudolph, Sébastien Ferré
Contributions to ICFCA 2009
, May 2009. Verlag Allgemeine Wissenschaft
Details

Madalina Croitoru, Robert Jäschke, Sebastian Rudolph
Third Conceptual Structures Tool Interoperability Workshop (CS-TIW 2008)
Volume 352 of CEUR Workshop Proceedings, July 2008. CEUR
Details


Dissertationen

Daniel Borchmann
Learning Terminological Knowledge with High Confidence from Erroneous Data
Phd thesis, Technische Universität Dresden, 2014/09/09
Details Download


Technische Berichte

Francesco Kriegel
NextClosures -- Parallel Exploration of Constrained Closure Operators
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, TU Dresden, Germany, volume 15-01, 2015. LTCS-Report
Details


Vorträge und Sonstiges

Daniel Borchmann
Learning Terminological Knowledge with High Confidence from Erroneous Data
Vortrag, June 2014
Details

Daniel Borchmann
Exploring Implications and General Concept Inclusions with High Confidence
Vortrag, October 2014
Details

Daniel Borchmann
Exploratory Programming for Formal Concept Analysis — An Introduction to conexp-clj
Vortrag, May 2013
Details

Daniel Borchmann
General Concept Inclusions with High Confidence in Finite Interpretations
Vortrag, September 2013
Details

Daniel Borchmann
Context Orbifolds
Diplomarbeit, September 2009
Details Download

Markus Krötzsch
Morphisms in Logic, Topology, and Formal Concept Analysis
Master's thesis, Technische Universität Dresden, February 2005
Details Download