Dmitry Tsarkov

According to our database, Dmitry Tsarkov authored at least 29 papers between 2003 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

*-CFQ: Analyzing the Scalability of Machine Learning on a Compositional Task.

Dmitry Tsarkov, Tibor Tihon, Nathan Scales, Nikola Momchev, Danila Sinopalnikov, Nathanael Schärli

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

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, Marc van Zee, Olivier Bousquet

Proceedings of the 8th International Conference on Learning Representations, 2020

2017

Using Semantic Web Technologies to Underpin the SNOMED CT Query Language.

Mercedes Argüello Casteleiro, Dmitry Tsarkov, Bijan Parsia, Ulrike Sattler

Proceedings of the Artificial Intelligence XXXIV, 2017

2015

EPR-based k-induction with Counterexample Guided Abstraction Refinement.

Zurab Khasidashvili, Konstantin Korovin, Dmitry Tsarkov

Proceedings of the Global Conference on Artificial Intelligence, 2015

2014

Incremental and Persistent Reasoning in FaCT++.

Dmitry Tsarkov

Proceedings of the Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) co-located with the Vienna Summer of Logic (VSL 2014), 2014

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, Ignazio Palmisano

Proceedings of the Knowledge Engineering and Knowledge Management, 2014

2013

Empirical Study of Logic-Based Modules: Cheap Is Cheerful.

Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov

Proceedings of the Semantic Web - ISWC 2013, 2013

Instrumenting Atomic Decomposition: Software APIs for OWL.

Dmitry Tsarkov, Chiara Del Vescovo, Ignazio Palmisano

Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

Ontology-Based Content Trust Support of Expert Information Resources in Quantitative Spectroscopy.

Alexander Fazliev, Alexey Privezentsev, Dmitry Tsarkov, Jonathan Tennyson

Proceedings of the Knowledge Engineering and the Semantic Web, 2013

Query Answering via Modal Definability with FaCT++: First Blood.

Stanislav Kikot, Dmitry Tsarkov, Michael Zakharyaschev, Evgeny Zolin

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012

Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation?

Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov

Proceedings of the 6th International Workshop on Modular Ontologies, 2012

Divide et Impera: Metareasoning for Large Ontologies.

Dmitry Tsarkov, Ignazio Palmisano

Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

Chainsaw: a Metareasoner for Large Ontologies.

Dmitry Tsarkov, Ignazio Palmisano

Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), 2012

Improved Algorithms for Module Extraction and Atomic Decomposition.

Dmitry Tsarkov

Proceedings of the 2012 International Workshop on Description Logics, 2012

2010

Computed Knowledge Base for Description of Information Resources of Water Spectroscopy.

Alexey Privezentsev, Alexander Fazliev, Dmitry Tsarkov, Jonathan Tennyson

Proceedings of the 7th International Workshop on OWL: Experiences and Directions (OWLED 2010), 2010

2009

A Solution for the Man-Man Problem in the Family History Knowledge Base.

Dmitry Tsarkov, Ulrike Sattler, Robert Stevens

Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), 2009

Fair Cycle Detection using Description Logic Reasoning.

Shoham Ben-David, Jeffrey Pound, Richard J. Trefler, Dmitry Tsarkov, Grant E. Weddell

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

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

Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

2007

Optimizing Terminological Reasoning for Expressive Description Logics.

Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider

J. Autom. Reason., 2007

2006

Framework for an Automated Comparison of Description Logic Reasoners.

Tom Gardiner, Dmitry Tsarkov, Ian Horrocks

Proceedings of the Semantic Web - ISWC 2006, 5th International Semantic Web Conference, 2006

Supporting Early Adoption of OWL 1.1 with Protege-OWL and FaCT++.

Matthew Horridge, Dmitry Tsarkov

Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

Automated Benchmarking of Description Logic Reasoners.

Tom Gardiner, Ian Horrocks, Dmitry Tsarkov

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

FaCT++ Description Logic Reasoner: System Description.

Dmitry Tsarkov, Ian Horrocks

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005

OWL rules: A proposal and prototype implementation.

Ian Horrocks, Peter F. Patel-Schneider, Sean Bechhofer, Dmitry Tsarkov

J. Web Semant., 2005

Ordering Heuristics for Description Logic Reasoning.

Dmitry Tsarkov, Ian Horrocks

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Optimised Classification for Taxonomic Knowledge Bases.

Dmitry Tsarkov, Ian Horrocks

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

2004

Using Vampire to Reason with OWL.

Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks

Proceedings of the Semantic Web, 2004

Efficient Reasoning with Range and Domain Constraints.

Dmitry Tsarkov, Ian Horrocks

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

2003

DL Reasoner vs. First-Order Prover.

Dmitry Tsarkov, Ian Horrocks

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003