| 2008 |
|---|
| 12 | EE | Thorsten Liebig,
Marko Luther,
Olaf Noppens,
Mariano Rodriguez,
Diego Calvanese,
Michael Wessel,
Matthew Horridge,
Sean Bechhofer,
Dmitry Tsarkov,
Evren Sirin:
OWLlink: DIG for OWL 2.
OWLED 2008 |
| 2007 |
|---|
| 11 | EE | Dmitry Tsarkov,
Ian Horrocks,
Peter F. Patel-Schneider:
Optimizing Terminological Reasoning for Expressive Description Logics.
J. Autom. Reasoning 39(3): 277-316 (2007) |
| 2006 |
|---|
| 10 | EE | Tom Gardiner,
Ian Horrocks,
Dmitry Tsarkov:
Automated Benchmarking of Description Logic Reasoners.
Description Logics 2006 |
| 9 | EE | Dmitry Tsarkov,
Ian Horrocks:
Description Logic Reasoner: System Description.
IJCAR 2006: 292-297 |
| 8 | EE | Tom Gardiner,
Dmitry Tsarkov,
Ian Horrocks:
Framework for an Automated Comparison of Description Logic Reasoners.
International Semantic Web Conference 2006: 654-667 |
| 7 | EE | Matthew Horridge,
Dmitry Tsarkov:
Supporting Early Adoption of OWL 1.1 with Protege-OWL and FaCT++.
OWLED 2006 |
| 2005 |
|---|
| 6 | EE | Dmitry Tsarkov,
Ian Horrocks:
Optimised Classification for Taxonomic Knowledge Bases.
Description Logics 2005 |
| 5 | EE | Dmitry Tsarkov,
Ian Horrocks:
Ordering Heuristics for Description Logic Reasoning.
IJCAI 2005: 609-614 |
| 4 | EE | Ian Horrocks,
Peter F. Patel-Schneider,
Sean Bechhofer,
Dmitry Tsarkov:
OWL rules: A proposal and prototype implementation.
J. Web Sem. 3(1): 23-40 (2005) |
| 2004 |
|---|
| 3 | EE | Dmitry Tsarkov,
Ian Horrocks:
Efficient Reasoning with Range and Domain Constraints.
Description Logics 2004 |
| 2 | EE | Dmitry Tsarkov,
Alexandre Riazanov,
Sean Bechhofer,
Ian Horrocks:
Using Vampire to Reason with OWL.
International Semantic Web Conference 2004: 471-485 |
| 2003 |
|---|
| 1 | EE | Dmitry Tsarkov,
Ian Horrocks:
DL Reasoner vs. First-Order Prover.
Description Logics 2003 |
