My main research interests are related to semantic web and knowledge representation formalisms, especially those which employ description logics, both in the theoretical and applied areas. I also have a keen interest in theoretical computer science, automated reasoning and artificial intelligence in general. In the past, I also had works related to computational intelligence and robotics. The most up-to-date lists of research projects and publications can be accessed in my other page.
