Acquiring guideline-enabled data driven clinical knowledge model using formally verified refined knowledge acquisition method.

•The knowledge acquisition framework acquiring knowledge model from diverse sources.•The knowledge acquisition process applying formal verification process to ensure the consistence knowledge model.•The knowledge models are used for cancer domains and the process is easily applicable for other domains.•The knowledge acquisition process involves the stakeholders from diverse disciplines and it always ensures the valid knowledge model for specified clinical domain.