Barbara Morawska

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5277870	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
SAT Encoding of Unification in $\mathcal{ELH}_{{R}^+}$ w.r.t. Cycle-Restricted Ontologies	2012-09-05	Paper
UEL: Unification Solver for the Description Logic $\mathcal{EL}$ – System Description	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
https://portal.mardi4nfdi.de/entity/Q3408139	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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Barbara Morawska