Rob Shearer
Interests
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.