University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Rob Shearer

Personal photo - Rob Shearer
Rob Shearer
Doctoral Student
Former Member


My main research interest is efficient and scalable reasoning systems for very expressive description logics, including the logic which forms the theoretical foundation of the World Wide Web Consortium’s Web Ontology Language (OWL). In addition to my theoretical work, I am a part of the team developing HermiT, a reasoner for OWL ontologies.


I also do a small amount of teaching at Oxford, and am currently running classes for Mike Spivey’s Principles of Programming Languages course.


Rob Shearer's personal site




Completed Projects

Manage publications