Sponging   disallowed (Read-only view)

Ian Robert Horrocks FRS is a professor of computer science at the University of Oxford in the UK and a Fellow of Oriel College, Oxford. His research focuses on knowledge representation and reasoning, particularly ontology languages, description logic and optimised tableaux decision procedures.

% meta-cartridges called:
Meta-cartridge [execution time]: