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
- Methods of Computation, CSC520, SEAS, AU
238, School of Engineering and Applied Science,
Ahmedabad Education Society FP. 4,
Near Commerce Six Roads,
Navrangpura, Ahmedabad - 380 009, India
+91-79-619 11- 176