Barbara Morawska

Available identifiers

Publication	Date of Publication	Type
Dismatching and local disunification in $\mathcal {EL}$	2017-07-12	Paper
Extending unification in $\mathcal{EL}$ to disunification: the case of dismatching and local disunification	2017-04-11	Paper
Deciding unifiability and computing local unifiers in the description logic $\mathcal{EL}$ without top constructor	2016-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q5419868	2014-06-11	Paper
Hybrid unification in the description logic $\mathcal{EL}$	2013-09-20	Paper
UEL: Unification Solver for the Description Logic $\mathcal{EL}$ – System Description	2012-09-05	Paper
SAT encoding of unification in $\mathcal{ELH}_{{R}^+}$ w.r.t. cycle-restricted ontologies	2012-09-05	Paper
Finding finite Herbrand models	2012-06-15	Paper
Unification in the description logic $\mathcal{EL}$ without the top concept	2011-07-29	Paper
SAT Encoding of Unification in $\mathcal{EL}$	2010-10-12	Paper
Unification in the description logic EL	2010-09-21	Paper
Completeness of $E$-unification with eager variable elimination	2010-02-24	Paper
Unification in the Description Logic $\mathcal{EL}$	2009-06-30	Paper
General $E$-unification with eager variable elimination and a nice cycle rule	2007-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4408990	2003-11-05	Paper
https://portal.mardi4nfdi.de/entity/Q2778881	2002-03-21	Paper

This page was built for person: Barbara Morawska