Reasoning on Datalog± Ontologies with Abductive Logic Programming. - Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe (Fundamenta Informaticae, 2018)