# Logic and Formal Concept Analysis

### From ONTOLORE

Formal Concept Analysis is an approach to qualitative data analysis and data mining coming from the mathematical area of lattice theory. At the same time, Formal Concept Analysis is is based on the idea that hierarchies are the most basic form of conceptual knowledge. Our work concerns theoretical aspects on the relation between Formal Concept Analysis and logical knowledge representation.

# References

- Pascal Hitzler, Markus Krötzsch and Guo-Qiang Zhang, A categorical view on algebraic lattices in formal concept analysis. Fundamenta Informaticae 74 (2-3), 301-328, 2006.
- Pascal Hitzler, Markus Krötzsch, Querying formal contexts with answer set programs. In: H. Schärfe, P. Hitzler and P. Øhrstrøm, Conceptual Structures: Inspiration and Application, Proceedings of the 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 2006. Lecture Notes in Computer Science 4068, Springer, 2006, 260-273.
- Sebastian Rudolph, Some Notes on Pseudo-closed Sets. In: Sergej O. Kuznetsov, Stefan Schmidt: Proceedings of the 5th Conference on Formal Concept Analysis, ICFCA 2007, Clermont-Ferrand, France, February 2007. Lecture Notes in Artificial Intelligence 4390, Springer, 2007, 151-165.
- Sebastian Rudolph, A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions. In: H. Schärfe, P. Hitzler and P. Øhrstrøm, Inspiration and Application - Contributions to ICCS 2006, Aalborg, Denmark, July 2006. Aalborg University Press, 2006, 188-201.

- up: Logic and Lattices
- see also: Logic programming and concept hierarchies