User:Robert D. C Shearer
The account of this former contributor was not re-activated after the server upgrade of March 2022.
I am currently a researcher in the Information Systems Group at the Oxford University Computing Laboratory. 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. More information on my current research is available at my university site.
Before coming to Oxford I did similar research at the University of Manchester as a member of Manchester’s Information Management Group and that group’s Description Logic clique. While there, I managed the “Semantic Web Language Extensions” work package (number 2.5) of the EU KnowledgeWeb project, and in most cases served as Manchester’s representative within other work packages.
Prior to that, I developed the Cerebra reasoner while leading technology development at a small start-up company (called Network Inference and located in London when I joined, and called Cerebra, Inc. and located in Carlsbad, California when I left). The company was subsequently acquired by WebMethods, which in turn became a part of SoftwareAG; I have no idea what the status of the Cerebra reasoner is these days. During my time there I had some involvement with the W3C RDF Data Access Working Group, which went on to produce SPARQL.
I also spent a few years with Transversal in Cambridge, England, working on adapting natural language processing technologies to the problems of web content management.