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

Federica Di Stefano, Quentin Manire, Magdalena Ortiz, Mantas Simkus

Browse the full KR paper archive.