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

Add code
Oct 05, 2016
Figure 1 for Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification
Figure 2 for Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification
Figure 3 for Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification
Figure 4 for Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: