EPSRC logo
Researcher Details
Name: Professor F Wolter
Organisation: University of Liverpool
Department: Computer Science
Current EPSRC-Supported Research Topics:
Information & Knowledge Mgmt

Current EPSRC Support
EP/S032207/1 quantMD: Ontology-Based Management of Many-Dimensional Quantitative Data(P)
Previous EPSRC Support
EP/M012646/1 iTract: Islands of Tractability in Ontology-Based Data Access(P)
EP/H043594/1 Logical Difference for Ontology Versioning(C)
EP/F014058/1 Symposium on Frontiers of Combining Systems and Workshop on First-Order Theorem Proving(P)
EP/E065279/1 Composing and decomposing ontologies: a logic-based approach(P)
GR/T08210/01 Visiting Fellowship in Computational Logic(C)
GR/S63182/01 Dynamic Ontologies: a Framework for Service Descriptions(P)
GR/S61966/01 Knowledge Representation & Reasoning about Distances(P)
GR/R45376/01 Analysis and Mechanisation of Decidable First-Order Temporal Logics(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator