Title | Unification in the Description Logic EL without the Top Concept |
Publication Type | Conference Paper |
Year of Publication | 2011 |
Authors | Baader, F., Nguyen T. Binh, Morawska B., & Borgwardt S. |
Conference Name | DL |
Research
Discovering
Creating
Implementing
Creating
Implementing