Semantic query processing in multidatabase systems: a logic-based approach | IEEE Conference Publication | IEEE Xplore