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 |