Publications

  1. Eleni Mikroyannidi, Manuel Quesada-Martinez, Dmitry Tsarkov, Jesualdo Tomas Fernandez Breis, Robert Stevens and Ignazio Palmisano. A quality assurance workflow for ontologies based on semantic regularities. Proc. of 19th International Conference on Knowledge Engineering and Knowledge Management (EKAW-14), Sweden, 2014. PDF
  2. S.S. Voronina, A.I. Privezentsev, D.V. Tsarkov, A.Z. Fazliev. Clear-cut distinction between domain ontological representations. Proc. of All-Russian Scientific Conference RCDL-2014, pages 124–130. 2014
  3. S.S. Voronina, Alexey Privezentsev, Dmitry Tsarkov and Alexander Fazliev. An Ontological Description of States and Transitions in Quantitative Spectroscopy. Proc. of SPIE 20th International Symposium on Atmospheric and Ocean Optics: Atmospheric Physics (AOO-14), Novosibirsk, Russia, 2014. PDF
  4. Dmitry Tsarkov. Incremental and persistent reasoning in FaCT++ Proc. of the 3rd OWL Reasoner Evaluation Workshop (ORE 2014), Vienna, Austria, 2014. http://ceur-ws.org/Vol-1207/, PDF
  5. Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider and Dmitry Tsarkov. Empirical Study of Logic-Based Modules: Cheap Is Cheerful. Proc. of ISWC-2013, volume 8218 of Lecture Notes in Computer Science. 2013. PDF
  6. Alexander Fazliev, Alexey Privezentsev, Dmitry Tsarkov and Jonathan Tennyson. Ontology-based Content Trust Support of Expert Information Resources for Quantitative Spectroscopy. Proc. of 4th Knowledge Engineering and Semantic Web Conference (KESW-2013), St. Petersburg, Russia, 2013. PDF
  7. Stanislav Kikot, Dmitry Tsarkov, Michael Zakharyaschev and Evgeny Zolin. Query Answering via Modal Definability with FaCT++: First Blood. 26th International Workshop on Description Logics (DL 2013), Ulm, Germany, 2013. http://ceur-ws.org/Vol-1014/, PDF
  8. Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider and Dmitry Tsarkov. Empirical Study of Logic-Based Modules: Cheap Is Cheerful. 26th International Workshop on Description Logics (DL 2013), Ulm, Germany, 2013. http://ceur-ws.org/Vol-1014/, PDF
  9. Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider and Dmitry Tsarkov. Empirical Study of Logic-Based Modules: Cheap Is Cheerful. Technical report, 2013. https://sites.google.com/site/cheapischeerful/technical-report, PDF
  10. Dmitry Tsarkov, Chiara Del Vescovo and Ignazio Palmisano. Instrumenting Atomic Decomposition: software APIs for OWL. 10th OWL: Experiences and Directions Workshop (OWLED 2013), Montpellier, France, 2013. PDF
  11. Alexey Privezentsev, Dmitry Tsarkov and Alexander Fazliev. Computed Knowledge Base for Quantitative Spectroscopy. 3rd Knowledge Engineering and Semantic Web Conference (KESW-2012), St. Petersburg, Russia, 2012. PDF
  12. Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider and Dmitry Tsarkov. Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? 6th International Workshop on Modular Ontologies (WoMO 2012), Graz, Austria, 2012. http://ceur-ws.org/Vol-875/, PDF
  13. Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider and Dmitry Tsarkov. Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? Technical report, coRR, 2012. http://arxiv.org/abs/1207.1641, PDF
  14. Dmitry Tsarkov and Ignazio Palmisano. Chainsaw: a Metareasoner for Large Ontologies. 1st OWL Reasoner Evaluation Workshop (ORE 2012), Manchester, UK, 2012. PDF
  15. Dmitry Tsarkov. Improved Algorithms for Module Extraction and Atomic Decomposition. 25th International Workshop on Description Logics (DL 2012), Rome, Italy, 2012. PDF
  16. Chiara Del Vescovo and Dmitry Tsarkov. Introduction to Modularity for OWL Ontologies. Tutorial at OWL: Experiences and Directions (OWLED 12), Heraklion, Greece, 2012.
  17. Dmitry Tsarkov and Ignazio Palmisano. Divide et Empera: Metareasoning for Large Ontologies. OWL: Experiences and Directions (OWLED 12), Heraklion, Greece, 2012. PDF
  18. Alexey Privezentsev, Alexander Fazliev, Dmitry Tsarkov and Jonathan Tennyson. Ontology for Water Spectroscopy Information Resources. 1st Russia and Pacific Conference on Computer Technology and Applications (RPC 2010), Vladivostok, Russia, 2010. PDF
  19. Alexey Privezentsev, Alexander Fazliev, Dmitry Tsarkov and Jonathan Tennyson. Computed Knowledge Base for Description of Information Resources of Water Spectroscopy. OWL: Experiences and Directions (OWLED 10), San Francisco, US, 2010. PDF
  20. 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
  21. Dmitry Tsarkov, Ulrike Sattler and Robert Stevens. A Solution for the Man-Man Problem in the Family History Knowledge Base. OWL: Experiences and Directions (OWLED 09), Chantilly, VA, US, 2009. PDF
  22. Shoham Ben-David, Richard Trefler, Dmitry Tsarkov and Grant Weddell. Checking Inevitability and Invariance Using Description Logic Technology. Technical Report CS-2008-28, University of Waterloo, Canada, 2008. PDF
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. A.G. Bakhmurov, V.I. Chervin, M.V. Chistolinov, J.-F. Groote, V.A. Kostenko, R.L. Smeliansky, D.V. Tsarkov, Y.S. Usenko, K. Winter, V.A. Zakharov. Towards a unified toolset for embedded systems development. J. Problems of Programming, vol. 1, issue 1-2, pp 316-322, 2000. PDF
  36. V.A. Zakharov, D.V. Tsarkov. Efficient Model Checking Algorithms for the Computation Tree Logic and Their Application to the Verification of Parallel Programs. J. Programming and Computer Software, vol. 24, issue 4, pp 151-161, 1998.