Protocol-based reasoning in diabetic patient management