Rule-based inferencing diagnosis in HBIM