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

Databases

Prof. Georg Gottlob, Prof. Michael Benedikt, and Dr. Dan Olteanu lead D&KG'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.

D&KG Seminar

Weekly D&KG 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.