Logical Rule-Based Knowledge Graph Reasoning: A Comprehensive Survey Article in Mathematics (October 2023)