|
| Name: |
Professor M Zakharyaschev |
| Organisation: |
Birkbeck College |
| Department: |
Computer Science and Information Systems |
| Current EPSRC-Supported Research
Topics: |
|
Information & Knowledge Mgmt
|
|
|
| Current EPSRC Support |
| EP/S032282/1 | quantMD: Ontology-Based Management for Many-Dimensional Quantitative Data | (P) |
|
| Previous EPSRC Support |
| 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
|
| |
|
|
|
|