A Logic-based Policy Definition Language for Network Management.