Merge, Explain, Iterate. - Martin Homola; Júlia Pukancová; Júlia Gablíková; Katarína Fabianová (Description Logics, 2020)