ULKB Logic: A HOL-based framework for reasoning over knowledge graphsGuilherme Augusto Ferreira LimaAlexandre Rademakeret al.2023SBMF 2023