Why Not? Explaining Missing Entailments with Evee. - Christian Alrabbaa; Stefan Borgwardt; Tom Friese; Patrick Koopmann; Mikhail Kotlov (Description Logics, 2023)

Why Not? Explaining Missing Entailments with Evee (Technical Report). - Christian Alrabbaa; Stefan Borgwardt; Tom Friese; Patrick Koopmann; Mikhail Kotlov (CoRR, 2023)