Optimized Reasoning in Description Logics Using Hypertableaux. - Boris Motik; Robert D. C. Shearer; Ian Horrocks 001 (CADE, 2007)

A Hypertableau Calculus for SHIQ. - Boris Motik; Robert D. C. Shearer; Ian Horrocks 001 (Description Logics, 2007)

Structured Ontology Format. - Robert D. C. Shearer (OWLED, 2007)

OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences. - Christine Golbreich; Matthew Horridge; Ian Horrocks 001; Boris Motik; Robert D. C. Shearer (ISWC/ASWC, 2007)

Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi. - Robert D. C. Shearer; Boris Motik; Ian Horrocks 001 (Description Logics, 2008)

HermiT: A Highly-Efficient OWL Reasoner. - Robert D. C. Shearer; Boris Motik; Ian Horrocks 001 (OWLED, 2008)

Exploiting Partial Information in Taxonomy Construction. - Robert D. C. Shearer; Ian Horrocks 001; Boris Motik (Description Logics, 2009)

Exploiting Partial Information in Taxonomy Construction. - Robert D. C. Shearer; Ian Horrocks 001 (ISWC, 2009)

Hypertableau Reasoning for Description Logics. - Boris Motik; Robert D. C. Shearer; Ian Horrocks 001 (J. Artif. Intell. Res., 2009)

Scalable reasoning for description logics. - Robert D. C. Shearer (2011)

A novel approach to ontology classification. - Birte Glimm; Ian Horrocks 001; Boris Motik; Robert D. C. Shearer; Giorgos Stoilos (J. Web Semant., 2012)