Formal Outlines of Case-Based Modelling of Data and Knowledge Sources for Drilling Control | IEEE Conference Publication | IEEE Xplore