Adding background knowledge to formal concept analysis via attribute dependency formulas