A probabilistic framework to predict protein function from interaction data integrated with semantic knowledge