Research
Knowledge Representation and Reasoning
Logic in Computer Science
Research grants
quantMD: Ontology-Based Management of Many-Dimensional Quantitative Data
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
October 2019 - September 2022
iTract: Islands of Tractability in Ontology-Based Data Access
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
July 2015 - November 2018
Knowledge representation and reasoning about distances.
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
January 2004 - January 2007
Symposium on Frontiers of Combining Systems and Workshop on First-Order Theorem Proving
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
September 2007 - November 2007
Dynamic ontologies: a framework for service descriptions.
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
June 2004 - June 2007
Composing and decomposing ontologies: a logic-based approach
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
July 2007 - June 2010
Combination of modal and discriptional logics and their employment for the presentation of international and dynamic knowledge.
DEUTSCHE FORSCHUNGSGEMEINSCHAFT (GERMANY)
January 2003 - September 2004
Logical difference for ontology versioning
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
September 2010 - January 2014