The Information Systems Group stands at the heart of computing and related disciplinary activity at Oxford, bringing together research on databases, knowledge representation formalisms, and automated reasoning.


Prof. Georg Gottlob, Prof. Michael Benedikt, and Dr. Dan Olteanu lead ISG's pioneering database research.

Knowledge Representation and Reasoning

Dr. Boris Motik and Prof. Ian Horrocks conduct research into knowledge representation formalisms and automated reasoning, with a focus on description logics and constructive reasoning algorithms.

ISG Seminar

Weekly ISG Seminars take place every Tuesday at 11:30 during term time. If you would like to present your work, get in touch with Michael Benedikt.