![]() |
| 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 |
| 1 | Christine Golbreich | [2] |
| 2 | Matthew Horridge | [2] |
| 3 | Ian Horrocks | [2] [3] [4] |
| 4 | Boris Motik | [2] [3] [4] |