Dmitry Tsarkov

Publication Activity (10 Years)

Years Active: 2003-2021
Publications (10 Years): 5

Top Topics

Machine Learning

Semantic Web Technologies

Query Answering

Top Venues

Description Logics

Publications

Dmitry Tsarkov, Tibor Tihon, Nathan Scales, Nikola Momchev, Danila Sinopalnikov, Nathanael Schärli
*-CFQ: Analyzing the Scalability of Machine Learning on a Compositional Task. AAAI (2021)
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
Measuring Compositional Generalization: A Comprehensive Method on Realistic Data. ICLR (2020)
Dmitry Tsarkov, Tibor Tihon, Nathan Scales, Nikola Momchev, Danila Sinopalnikov, Nathanael Schärli
*-CFQ: Analyzing the Scalability of Machine Learning on a Compositional Task. CoRR (2020)
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
Measuring Compositional Generalization: A Comprehensive Method on Realistic Data. CoRR (2019)
Mercedes Argüello Casteleiro, Dmitry Tsarkov, Bijan Parsia, Ulrike Sattler
Using Semantic Web Technologies to Underpin the SNOMED CT Query Language. SGAI Conf. (2017)
Zurab Khasidashvili, Konstantin Korovin, Dmitry Tsarkov
EPR-based k-induction with Counterexample Guided Abstraction Refinement. GCAI (2015)
Eleni Mikroyannidi, Manuel Quesada-Martínez, Dmitry Tsarkov, Jesualdo Tomás Fernández-Breis, Robert Stevens, Ignazio Palmisano
A Quality Assurance Workflow for Ontologies Based on Semantic Regularities. EKAW (2014)
Dmitry Tsarkov
Incremental and Persistent Reasoning in FaCT++. ORE (2014)
Stanislav Kikot, Dmitry Tsarkov, Michael Zakharyaschev, Evgeny Zolin
Query Answering via Modal Definability with FaCT++: First Blood. Description Logics (2013)
Dmitry Tsarkov, Chiara Del Vescovo, Ignazio Palmisano
Instrumenting Atomic Decomposition: Software APIs for OWL. OWLED (2013)
Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov
Empirical Study of Logic-Based Modules: Cheap Is Cheerful. Description Logics (2013)
Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov
Empirical Study of Logic-Based Modules: Cheap Is Cheerful. ISWC (1) (2013)
Alexander Fazliev, Alexey Privezentsev, Dmitry Tsarkov, Jonathan Tennyson
Ontology-Based Content Trust Support of Expert Information Resources in Quantitative Spectroscopy. KESW (2013)
Dmitry Tsarkov, Ignazio Palmisano
Chainsaw: a Metareasoner for Large Ontologies. ORE (2012)
Dmitry Tsarkov
Improved Algorithms for Module Extraction and Atomic Decomposition. Description Logics (2012)
Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider, Dmitry Tsarkov
Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? CoRR (2012)
Dmitry Tsarkov, Ignazio Palmisano
Divide et Impera: Metareasoning for Large Ontologies. OWLED (2012)
Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov
Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? WoMO (2012)
Alexey Privezentsev, Alexander Fazliev, Dmitry Tsarkov, Jonathan Tennyson
Computed Knowledge Base for Description of Information Resources of Water Spectroscopy. OWLED (2010)
Dmitry Tsarkov, Ulrike Sattler, Robert Stevens
A Solution for the Man-Man Problem in the Family History Knowledge Base. OWLED (2009)
Shoham Ben-David, Jeffrey Pound, Richard J. Trefler, Dmitry Tsarkov, Grant E. Weddell
Fair Cycle Detection using Description Logic Reasoning. Description Logics (2009)
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)
Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider
Optimizing Terminological Reasoning for Expressive Description Logics. J. Autom. Reason. 39 (3) (2007)
Tom Gardiner, Ian Horrocks, Dmitry Tsarkov
Automated Benchmarking of Description Logic Reasoners. Description Logics (2006)
Tom Gardiner, Dmitry Tsarkov, Ian Horrocks
Framework for an Automated Comparison of Description Logic Reasoners. ISWC (2006)
Dmitry Tsarkov, Ian Horrocks
FaCT++ Description Logic Reasoner: System Description. IJCAR (2006)
Matthew Horridge, Dmitry Tsarkov
Supporting Early Adoption of OWL 1.1 with Protege-OWL and FaCT++. OWLED (2006)
Dmitry Tsarkov, Ian Horrocks
Optimised Classification for Taxonomic Knowledge Bases. Description Logics (2005)
Ian Horrocks, Peter F. Patel-Schneider, Sean Bechhofer, Dmitry Tsarkov
OWL rules: A proposal and prototype implementation. J. Web Semant. 3 (1) (2005)
Dmitry Tsarkov, Ian Horrocks
Ordering Heuristics for Description Logic Reasoning. IJCAI (2005)
Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks
Using Vampire to Reason with OWL. ISWC (2004)
Dmitry Tsarkov, Ian Horrocks
Efficient Reasoning with Range and Domain Constraints. Description Logics (2004)
Dmitry Tsarkov, Ian Horrocks
DL Reasoner vs. First-Order Prover. Description Logics (2003)