A knowledge-based method for verifying the reliability of clinical DSSs