Comparing rule mining approaches for classification with reasoning. - Martin Kopp; Marek Jílek; Martin Holena (ITAT, 2018)