Publications

  1. Shoham Ben-David, Jeffrey Pound, Richard Trefler, Dmitry Tsarkov and Grant Weddell. Fair Cycle Detection using Description Logic Reasoning 22nd International Workshop on Description Logics (DL 2009), Oxford, England, 2009. PDF
  2. Thorsten Liebig, Marko Luther, Olaf Noppens, Mariano Rodriguez, Diego Calvanese, Michael Wessel, Matthew Horridge, Sean Bechhofer, Dmitry Tsarkov and Evren Sirin. OWLlink: DIG for OWL 2. OWL: Experiences and Directions (OWLED 08 EU), Karlsruhe, Germany, 2008. PDF
  3. Dmitry Tsarkov, Ian Horrocks, and Peter F. Patel-Schneider. Optimizing Terminological Reasoning for Expressive Description Logics. J. of Automated Reasoning, 39(3):277-316, 2007. PDF
  4. Dmitry Tsarkov and Ian Horrocks. FaCT++ Description Logic Reasoner: System Description. In Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006), volume 4130 of Lecture Notes in Artificial Intelligence, pages 292-297. Springer, 2006. PDF
  5. Matthew Horridge and Dmitry Tsarkov and Timothy Redmond. Supporting Early Adoption of OWL 1.1 with Protege-OWL and FaCT++. OWL: Experiences and Directions (OWLED 06), Athens, Georgia, 2006. PDF
  6. Tom Gardiner, Ian Horrocks, and Dmitry Tsarkov. Automated Benchmarking of Description Logic Reasoners. In Proc. of the 2006 Description Logic Workshop (DL 2006), volume 189 of CEUR (http://ceur-ws.org/), 2006. PDF
  7. Tom Gardiner, Dmitry Tsarkov, and Ian Horrocks. Framework For an Automated Comparison of Description Logic Reasoners. In Proc. of the 5th International Semantic Web Conference (ISWC 2006), volume 4273 of Lecture Notes in Computer Science, pages 654-667. Springer, 2006. PDF
  8. Dmitry Tsarkov and Ian Horrocks. Optimised Classification for Taxonomic Knowledge Bases. In Proc. of the 2005 Description Logic Workshop (DL 2005), volume 147 of CEUR (http://ceur-ws.org/), 2005. PDF
  9. Ian Horrocks, Peter F. Patel-Schneider, Sean Bechhofer, and Dmitry Tsarkov. OWL Rules: A Proposal and Prototype Implementation. J. of Web Semantics, 3(1):23-40, 2005. PDF
  10. Dmitry Tsarkov and Ian Horrocks. Ordering Heuristics for Description Logic Reasoning. In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), pages 609-614, 2005. PDF
  11. Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, and Ian Horrocks. Using Vampire to Reason with OWL. In Sheila A. McIlraith, Dimitris Plexousakis, and Frank van Harmelen, editors, Proc. of the 3rd International Semantic Web Conference (ISWC 2004), volume 3298 of Lecture Notes in Computer Science, pages 471-485. Springer, 2004. PDF
  12. Dmitry Tsarkov and Ian Horrocks. Efficient Reasoning with Range and Domain Constraints. In Proc. of the 2004 Description Logic Workshop (DL 2004), pages 41-50, 2004. PDF
  13. Dmitry Tsarkov and Ian Horrocks. DL Reasoner vs. First-Order Prover. In Proc. of the 2003 Description Logic Workshop (DL 2003), volume 81 of CEUR (http://ceur-ws.org/), pages 152-159, 2003. PDF