EPSRC logo
Researcher Details
 
Name: Professor I Horrocks
Organisation: University of Oxford
Department: Computer Science
Current EPSRC-Supported Research Topics:
Information & Knowledge Mgmt

Current EPSRC Support
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)
Previous 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/C537211/2 REOL: Reasoning for Expressive Ontology Languages(P)
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)
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