no code implementations • 14 Aug 2023 • Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov
Understanding logical entailments derived by a description logic reasoner is not always straight-forward for ontology users.