Integrating Description Logics and Database Technologies for Expressive Ontology-Based Data Access.
Scalable End-user Access to Big Data.
Scalable and Complete Reasoning with Incomplete Ontology Reasoners.
Highly-efficient consequence-based reasoning for Description Logics.
Reasoning for large and complex ontologies based on a new hypertableau calculus with minimizes both nondeterminism and model sizes.
Logic-based Methods for Ontology Mapping.
Senior Research Fellowship focused on the study of logic-based ontology languages.
Query Rewriting for Expressive Ontology Languages.
Reasoning for highly-expressive ontology languages, including features such as description graphs and role conjunction.
Integrating ontologies and databases using query rewriting.
Reasoning for ontologies containing large numbers of individuals.
Developing benchmarking methodologies and data sets for testing the correctness and scalability of semantic technologies, in particular reasoners and data stores.