Robert D. C. Shearer

12 papers A 1Misc 1Journal 3Unranked 6

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