A Heterogeneous Data Matching Algorithm with Combining First-Order Logic and Semantic Similarity | IEEE Conference Publication | IEEE Xplore