Professor Frank Wolter

Professor Computer Science

    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