Skip to main content

Rob Shearer

Personal photo - Rob Shearer

Rob Shearer

Doctoral Student
Former Member

Themes:

Completed Projects:

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.

See also

Activities

Supervisors