DL Reasoner vs. First-Order Prover. - Dmitry Tsarkov; Ian Horrocks 001 (Description Logics, 2003)

Efficient Reasoning with Range and Domain Constraints. - Dmitry Tsarkov; Ian Horrocks 001 (Description Logics, 2004)

Using Vampire to Reason with OWL. - Dmitry Tsarkov; Alexandre Riazanov; Sean Bechhofer; Ian Horrocks 001 (ISWC, 2004)

Optimised Classification for Taxonomic Knowledge Bases. - Dmitry Tsarkov; Ian Horrocks 001 (Description Logics, 2005)

Ordering Heuristics for Description Logic Reasoning. - Dmitry Tsarkov; Ian Horrocks 001 (IJCAI, 2005)

OWL rules: A proposal and prototype implementation. - Ian Horrocks 001; Peter F. Patel-Schneider; Sean Bechhofer; Dmitry Tsarkov (J. Web Semant., 2005)

FaCT++ Description Logic Reasoner: System Description. - Dmitry Tsarkov; Ian Horrocks 001 (IJCAR, 2006)

Automated Benchmarking of Description Logic Reasoners. - Tom Gardiner; Ian Horrocks 001; Dmitry Tsarkov (Description Logics, 2006)

Supporting Early Adoption of OWL 1.1 with Protege-OWL and FaCT++. - Matthew Horridge; Dmitry Tsarkov (OWLED, 2006)

Framework for an Automated Comparison of Description Logic Reasoners. - Tom Gardiner; Dmitry Tsarkov; Ian Horrocks 001 (ISWC, 2006)

Optimizing Terminological Reasoning for Expressive Description Logics. - Dmitry Tsarkov; Ian Horrocks 001; Peter F. Patel-Schneider (J. Autom. Reason., 2007)

OWLlink: DIG for OWL 2. - Thorsten Liebig; Marko Luther; Olaf Noppens; Mariano Rodriguez; Diego Calvanese; Michael Wessel; Matthew Horridge; Sean Bechhofer; Dmitry Tsarkov; Evren Sirin (OWLED, 2008)

Fair Cycle Detection using Description Logic Reasoning. - Shoham Ben-David; Jeffrey Pound; Richard J. Trefler; Dmitry Tsarkov; Grant E. Weddell (Description Logics, 2009)

A Solution for the Man-Man Problem in the Family History Knowledge Base. - Dmitry Tsarkov; Ulrike Sattler; Robert Stevens 001 (OWLED, 2009)

Computed Knowledge Base for Description of Information Resources of Water Spectroscopy. - Alexey Privezentsev; Alexander Fazliev; Dmitry Tsarkov; Jonathan Tennyson (OWLED, 2010)

Improved Algorithms for Module Extraction and Atomic Decomposition. - Dmitry Tsarkov (Description Logics, 2012)

Chainsaw: a Metareasoner for Large Ontologies. - Dmitry Tsarkov; Ignazio Palmisano (ORE, 2012)

Divide et Impera: Metareasoning for Large Ontologies. - Dmitry Tsarkov; Ignazio Palmisano (OWLED, 2012)

Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? - Chiara Del Vescovo; Pavel Klinov; Bijan Parsia; Ulrike Sattler; Thomas Schneider 002; Dmitry Tsarkov (WoMO, 2012)

Query Answering via Modal Definability with FaCT++: First Blood. - Stanislav Kikot; Dmitry Tsarkov; Michael Zakharyaschev; Evgeny Zolin (Description Logics, 2013)

Ontology-Based Content Trust Support of Expert Information Resources in Quantitative Spectroscopy. - Alexander Fazliev; Alexey Privezentsev; Dmitry Tsarkov; Jonathan Tennyson (KESW, 2013)

Instrumenting Atomic Decomposition: Software APIs for OWL. - Dmitry Tsarkov; Chiara Del Vescovo; Ignazio Palmisano (OWLED, 2013)

Empirical Study of Logic-Based Modules: Cheap Is Cheerful. - Chiara Del Vescovo; Pavel Klinov; Bijan Parsia; Ulrike Sattler; Thomas Schneider 002; Dmitry Tsarkov (ISWC (1), 2013)

A Quality Assurance Workflow for Ontologies Based on Semantic Regularities. - Eleni Mikroyannidi; Manuel Quesada-Martínez; Dmitry Tsarkov; Jesualdo Tomás Fernández-Breis; Robert Stevens 001; Ignazio Palmisano (EKAW, 2014)

Incremental and Persistent Reasoning in FaCT++. - Dmitry Tsarkov (ORE, 2014)

EPR-based k-induction with Counterexample Guided Abstraction Refinement. - Zurab Khasidashvili; Konstantin Korovin; Dmitry Tsarkov (GCAI, 2015)

Using Semantic Web Technologies to Underpin the SNOMED CT Query Language. - Mercedes Argüello Casteleiro; Dmitry Tsarkov; Bijan Parsia; Ulrike Sattler (SGAI Conf., 2017)

Measuring Compositional Generalization: A Comprehensive Method on Realistic Data. - Daniel Keysers; Nathanael Schärli; Nathan Scales; Hylke Buisman; Daniel Furrer; Sergii Kashubin; Nikola Momchev; Danila Sinopalnikov; Lukasz Stafiniak; Tibor Tihon; Dmitry Tsarkov; Xiao Wang 038; et al. (ICLR, 2020)

*-CFQ: Analyzing the Scalability of Machine Learning on a Compositional Task. - Dmitry Tsarkov; Tibor Tihon; Nathan Scales; Nikola Momchev; Danila Sinopalnikov; Nathanael Schärli (AAAI, 2021)