Features of interaction between formal concept analysis and algebraic geometry

  • Authors:

  • Tim Becker

  • Affiliations:

  • Institute for Medical Biometry, Informatics and Epidemiology, Bonn

  • Venue:
  • Formal Concept Analysis
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper contributes to Algebraic Concept Analysis by examining connections between Formal Concept Analysis and Algebraic Geometry. The investigations are based on polynomial contexts (over a field K in n variables) which are defined by ${\mathbb{K}}^{(n)} := (K^n,K[x_1,\ldots,x_n],\perp)$ where $a \perp f :\Leftrightarrow f(a)=0$ for a ∈ Kn and any polynomial f∈ K[x1,...,xn]. Important notions of Algebraic Geometry such as algebraic varieties, coordinate algebras, and polynomial morphisms are connected to notions of Formal Concept Analysis. That allows to prove many interrelating results between Algebraic Geometry and Formal Concept Analysis, even for more abstract notions such as affine and projective schemes.