no code implementations • 19 May 2022 • Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez
Explanations for description logic (DL) entailments provide important support for the maintenance of large ontologies.