Biçimsel kavram çözümlemesi
Bilişimde biçimsel kavram çözümlemesi (formal kavram analizi, formal konsept analizi, FCA), nesne ve niteliklerinden oluşan bir derlemeden, bir kavram hiyerarşisi veya biçimsel ontoloji türetmenin ilkelerini belirleyen bir yöntemdir. Hiyerarşideki her kavram, ortak nitelikleri paylaşan nesneleri temsil eder; hiyerarşideki her alt kavram ise, kendi üstündeki kavramların içindeki nesnelerin bir alt kümesini temsil eder. Rudolf Wille tarafından 1981 yılında ortaya atılan terim, 1930'larda Garrett Birkhoff tarafından geliştirilmiş kafes (latis) kuramına ve kısmi sıralı kümelere dayanır.
Biçimsel kavram çözümlemesinin pratik uygulamaları arasında veri madenciliği, makine öğrenimi, bilgi yönetimi, semantik ağlar, yazılım geliştirme, kimya ve biyoloji gibi alanlar sayılabilir.