Barbara Morawska

Associate Professor
PhD (Computer Science), Clarkson University NY
Areas of interest
Unification theory, Description Logics, Ontologies, Algorithms, Complexity analysis

I am working on unification problems in small description logics. This means that I analyze different formulae with respect to the equivalence defined in such logics. Even if they are different maybe they can be made equivalent by means of substitution for variable parts in them.

Talk: Logic for Knowledge Representation - Feb 17 - Friday - 2.00pm - Room 109


Currently working on: matching modulo general TBox in the small decription logic FL0

Most of my publications are at this link.

Monsoon semester, 2017-18


238, School of Engineering and Applied Science,
Ahmedabad University,
Ahmedabad Education Society FP. 4,
Near Commerce Six Roads,
Navrangpura, Ahmedabad - 380 009, India

+91-79-619 11- 176


Your browser is out-of-date!

For a richer surfing experience on our website, please update your browser.Update my browser now!