Minimal Model Reasoning in Description Logics: Don't Try This at Home!

Federica Di Stefano, Quentin Manière, Magdalena Ortiz +1

Reasoning with minimal models has always been at the core of many knowledge representation techniques, but we still have only a limited understanding of this problem in Description…