dblp.uni-trier.dewww.uni-trier.de

Rob Shearer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
6EERob Shearer, Boris Motik, Ian Horrocks: Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi. Description Logics 2008
5EERob Shearer, Boris Motik, Ian Horrocks: HermiT: A Highly-Efficient OWL Reasoner. OWLED 2008
2007
4EEBoris Motik, Rob Shearer, Ian Horrocks: Optimized Reasoning in Description Logics Using Hypertableaux. CADE 2007: 67-83
3EEBoris Motik, Rob Shearer, Ian Horrocks: A Hypertableau Calculus for SHIQ. Description Logics 2007
2EEChristine Golbreich, Matthew Horridge, Ian Horrocks, Boris Motik, Rob Shearer: OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences. ISWC/ASWC 2007: 169-182
1EERob Shearer: Structured Ontology Format. OWLED 2007

Coauthor Index

1Christine Golbreich [2]
2Matthew Horridge [2]
3Ian Horrocks [2] [3] [4] [5] [6]
4Boris Motik [2] [3] [4] [5] [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)