There are lots of algorithms for computing the concept lattice, or, at least, a sublattice of that. Maybe they can be implemented in the near future.