Picture for Barbara Morawska

Barbara Morawska

Technische Universität Dresden

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
Viaarxiv icon

Unification in the Description Logic EL

Add code
Sep 04, 2010
Figure 1 for Unification in the Description Logic EL
Viaarxiv icon