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/S032347/1 OASIS: Ontology Reasoning over Frequently-changing and Streaming Data (C) EP/S019111/1 UK FIRES: Locating Resource Efficiency at the heart of Future Industrial Strategy in the UK (C)

Previous EPSRC Support

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