|
| Current EPSRC Support |
| EP/G02085X/1 | ConDOR: Consequence-Driven Ontology Reasoning | (P) |
| EP/F065841/1 | HermiT: Reasoning with Large Ontologies | (P) |
| EP/E065155/1 | Composing and decomposing ontologies: a logic-based approach | (C) |
| EP/E03781X/1 | Reasoning Infrastructure for Ontologies and Instances | (P) |
| EP/C543319/2 | LOGO: Logics for Ontologies | (P) |
| EP/E002218/1 | RIAM: Reciprocal Interoperability between the Accessible and Mobile Webs | (C) |
|
| Previous EPSRC Support |
| EP/C537211/2 | REOL: Reasoning for Expressive Ontology Languages | (P) |
| EP/C543319/1 | LOGO: Logics for Ontologies | (P) |
| EP/C537211/1 | REOL: Reasoning for Expressive Ontology Languages | (P) |
| GR/S63168/01 | Dynamic Ontologies: a Framework for Service Descriptions | (P) |
| GR/S44686/01 | HyOntUse: Hybrid User Oriented to Ontology Tools | (C) |
| GR/S00620/01 | Reasoning Support for Information Management | (P) |
| GR/R67743/01 | MYGRID: Directly Supporting the E-Scientist | (C) |
| GR/R00340/01 | Reasoning About Conjunctive Query Containment Under Constraints | (P) |
| GR/L54516/01 | CAMELOT: AN ADAPTABLE KNOWLEDGE MANAGEMENT SYSTEM FOR LOOSELY STRUCTED DATA | (C) |
|
|
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Recognised Researcher
|
| |
|
|
|
|