Table-based verification and validation of knowledge in data mining