A formal methodology for acquiring and representing knowledge from multiple experts