Multiple domain models in diagnostig reasoning