Robert D. C. Shearer

According to our database, Robert D. C. Shearer authored at least 11 papers between 2007 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

A novel approach to ontology classification.

Birte Glimm, Ian Horrocks, Boris Motik, Robert D. C. Shearer, Giorgos Stoilos

J. Web Semant., 2012

2011

Scalable reasoning for description logics.

Robert D. C. Shearer

PhD thesis, 2011

2009

Hypertableau Reasoning for Description Logics.

Boris Motik, Robert D. C. Shearer, Ian Horrocks

J. Artif. Intell. Res., 2009

Exploiting Partial Information in Taxonomy Construction.

Robert D. C. Shearer, Ian Horrocks

Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Exploiting Partial Information in Taxonomy Construction.

Robert D. C. Shearer, Ian Horrocks, Boris Motik

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

HermiT: A Highly-Efficient OWL Reasoner.

Robert D. C. Shearer, Boris Motik, Ian Horrocks

Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi.

Robert D. C. Shearer, Boris Motik, Ian Horrocks

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007

OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences.

Christine Golbreich, Matthew Horridge, Ian Horrocks, Boris Motik, Robert D. C. Shearer

Proceedings of the Semantic Web, 2007

Structured Ontology Format.

Robert D. C. Shearer

Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

A Hypertableau Calculus for SHIQ.

Boris Motik, Robert D. C. Shearer, Ian Horrocks

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Optimized Reasoning in Description Logics Using Hypertableaux.

Boris Motik, Robert D. C. Shearer, Ian Horrocks

Proceedings of the Automated Deduction, 2007