Extending Unification in $\mathcal{E}\mathcal{L}$ to Disunification: The Case of Dismatching and Local Disunification

Franz Baader, Stefan Borgwardt, Barbara Morawska

Unification in Description Logics has been introduced as a means to detect redundancies in ontologies. We try to extend the known decidability results for unification in the Descri…