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

no code implementations • 19 Sep 2016 • Franz Baader, Stefan Borgwardt, Barbara Morawska

Unification in Description Logics has been introduced as a means to detect redundancies in ontologies.