|
| Name: |
Professor I Horrocks |
| Organisation: |
University of Oxford |
| Department: |
Computer Science |
| Current EPSRC-Supported Research
Topics: |
|
Artificial Intelligence
|
Design Engineering
|
|
Information & Knowledge Mgmt
|
Manufact. Enterprise Ops& Mgmt
|
|
Materials Processing
|
Waste Minimisation
|
|
| Current EPSRC Support |
| EP/V050869/1 | ConCur: Knowledge Base Construction and Curation | (P) |
| EP/S019111/1 | UK FIRES: Locating Resource Efficiency at the heart of Future Industrial Strategy in the UK | (C) |
|
| Previous EPSRC Support |
| EP/S032347/1 | OASIS: Ontology Reasoning over Frequently-changing and Streaming Data | (C) |
| EP/N014359/1 | ED3: Enabling analytics over Diverse Distributed Datasources | (P) |
| EP/L012138/1 | DBOnto: Bridging Databases and Ontologies | (P) |
| EP/J020214/1 | Score!: Scalable and Complete Reasoning with Incomplete Ontology Reasoners | (C) |
| EP/H051511/1 | ExODA: Integrating Description Logics and Database Technologies for Expressive Ontology-Based Data Access | (P) |
| 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/C537211/2 | REOL: Reasoning for Expressive Ontology Languages | (P) |
| EP/C543319/2 | LOGO: Logics for Ontologies | (P) |
| EP/E002218/1 | RIAM: Reciprocal Interoperability between the Accessible and Mobile Webs | (C) |
| 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)=Researcher Co-Investigator
|
| |
|
|
|
|