Name:	Professor M Zakharyaschev
Organisation:	Birkbeck College
Department:	Computer Science and Information Systems
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/S032282/1 quantMD: Ontology-Based Management for Many-Dimensional Quantitative Data (P) EP/M012670/1 iTract: Islands of Tractability in Ontology-Based Data Access (P) EP/H05099X/1 ExODA: Integrating Description Logics and Database Technologies for Expressive Ontology-Based Data Access (P) EP/P50399X/1 DTA - King's College London (C) EP/P503523/1 DTA - King's College London (C) EP/E034942/1 Computational Logic of Euclidean Spaces (P) EP/P502527/1 DTA - Kings College London (C) GR/S63175/02 Dynamic Ontologies: a Framework for Service Descriptions (P) GR/S61973/02 Knowledge Representation & Reasoning about Distances (P) GR/S61973/01 Knowledge Representation & Reasoning about Distances (P) GR/S63175/01 Dynamic Ontologies: a Framework for Service Descriptions (P) GR/P02967/01 DTA - King's College London (C) GR/P01427/01 DTA - King's College London (C) GR/R45369/01 Analysis and mechanisation of decidable first-order temporal loics (P) GR/R42474/01 Complexity analysis of reasoning in combined knowledge representation systems (P) GR/P00826/01 DTA - King's College London (C)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator