Application domain independent policy conflict analysis using information models