Barbara Morawska

Institute of Theoretical Computer Science
Department of Computer Science

I am a researcher at the Chair for Automata Theory in the Institute for Theoretical Computer Science.

My main research interest is the unification modulo equational theories.

At the moment I am working on the development of unification algorithms for the description logics. The unification problem for the inexpressive description logic EL has been solved. Based on the algorithm for EL, we have soved unification in EL without top constructor. We have deviced a practical algorithm for another small description logic FL_0. Extension of the unification algorithms for EL to EL modulo ground axioms (GCI's) has been done to some extend... Unification in unrestricted EL modulo ground axioms is still a challenge!

Previously I was working with Chris Lynch at Clarkson University. We have designed a general algorithm for unification modulo any equational theory and several decision procedures for particular equational theories.

Active implementation project

UEL, Unifier for the description logic EL, is a plug-in for Protégé 4.2 that uses the OWL API.

Publications

DBLP
List of my publications: HTML
Publications of the Chair for Automata Theory
Technical Reports of the Chair for Automata Theory

Barbara Morawska

Institute of Theoretical Computer Science Department of Computer Science

Active implementation project

Publications

Institute of Theoretical Computer Science
Department of Computer Science