Robert D. C. Shearer

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

Highly Expressive

Knowledge Representation Languages

Description Logics

Top Venues

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Boris Motik, Robert D. C. Shearer, Ian Horrocks
Hypertableau Reasoning for Description Logics. CoRR (2014)
Birte Glimm, Ian Horrocks, Boris Motik, Robert D. C. Shearer, Giorgos Stoilos
A novel approach to ontology classification. J. Web Semant. 14 (2012)
Robert D. C. Shearer, Ian Horrocks
Exploiting Partial Information in Taxonomy Construction. ISWC (2009)
Robert D. C. Shearer, Ian Horrocks, Boris Motik
Exploiting Partial Information in Taxonomy Construction. Description Logics (2009)
Boris Motik, Robert D. C. Shearer, Ian Horrocks
Hypertableau Reasoning for Description Logics. J. Artif. Intell. Res. 36 (2009)
Robert D. C. Shearer, Boris Motik, Ian Horrocks
HermiT: A Highly-Efficient OWL Reasoner. OWLED (2008)
Robert D. C. Shearer, Boris Motik, Ian Horrocks
Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi. Description Logics (2008)
Christine Golbreich, Matthew Horridge, Ian Horrocks, Boris Motik, Robert D. C. Shearer
OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences. ISWC/ASWC (2007)
Robert D. C. Shearer
Structured Ontology Format. OWLED (2007)
Boris Motik, Robert D. C. Shearer, Ian Horrocks
A Hypertableau Calculus for SHIQ. Description Logics (2007)
Boris Motik, Robert D. C. Shearer, Ian Horrocks
Optimized Reasoning in Description Logics Using Hypertableaux. CADE (2007)