His research interests include formalisms for knowledge representation and reasoning, ontology languages, description logics, Semantic Web, conceptual data modeling, data integration, semistructured data management, data-aware process verification, and service modeling and synthesis.