Research Interests: 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