2008 |
6 | EE | Rob Shearer,
Boris Motik,
Ian Horrocks:
Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi.
Description Logics 2008 |
5 | EE | Rob Shearer,
Boris Motik,
Ian Horrocks:
HermiT: A Highly-Efficient OWL Reasoner.
OWLED 2008 |
2007 |
4 | EE | Boris Motik,
Rob Shearer,
Ian Horrocks:
Optimized Reasoning in Description Logics Using Hypertableaux.
CADE 2007: 67-83 |
3 | EE | Boris Motik,
Rob Shearer,
Ian Horrocks:
A Hypertableau Calculus for SHIQ.
Description Logics 2007 |
2 | EE | 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 | EE | Rob Shearer:
Structured Ontology Format.
OWLED 2007 |