 | 2009 |
|---|
| 8 |       | Rob Shearer,
Ian Horrocks,
Boris Motik:
Exploiting Partial Information in Taxonomy Construction.
Description Logics 2009 |
| 7 | | Rob Shearer,
Ian Horrocks:
Exploiting Partial Information in Taxonomy Construction.
International Semantic Web Conference 2009: 569-584 |
| 2008 |
|---|
| 6 | | Rob Shearer,
Boris Motik,
Ian Horrocks:
Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi.
Description Logics 2008 |
| 5 | | Rob Shearer,
Boris Motik,
Ian Horrocks:
HermiT: A Highly-Efficient OWL Reasoner.
OWLED 2008 |
| 2007 |
|---|
| 4 | | Boris Motik,
Rob Shearer,
Ian Horrocks:
Optimized Reasoning in Description Logics Using Hypertableaux.
CADE 2007: 67-83 |
| 3 | | Boris Motik,
Rob Shearer,
Ian Horrocks:
A Hypertableau Calculus for SHIQ.
Description Logics 2007 |
| 2 | | Christine 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 |
| 1 | | Rob Shearer:
Structured Ontology Format.
OWLED 2007 |
