GAME+: lossless knowledge-graph compression for improving the efficiency and effectiveness of rule mining (JDSA, 2025)