Diagnostics of Trains with Semantic Diagnostics Rules - Kharlamov, Evgeny; Savković, Ognjen; Ringsquandl, Martin; Xiao, Guohui; Mehdi, Gulnar; Kalayc, Elem Güzel; Nutt, Werner; Roshchin, Mikhail; Horrocks, Ian; Runkler, Thomas (Inductive Logic Programming, 2018)