A formal ontology of physicians' goals