A unified graph-based framework for deriving nominal interscheme properties, type conflicts and object cluster similarities | IEEE Conference Publication | IEEE Xplore