Dmitry Tsarkov

Cited by

	All	Since 2019
Citations	3496	876
h-index	17	9
i10-index	25	8

260

130

195

20042005200620072008200920102011201220132014201520162017201820192020202120222023202418 50 110 170 236 215 208 227 237 201 256 183 179 143 154 127 127 161 174 171 116

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Ian HorrocksProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Sean BechhoferProfessor of Computer Science, Dept of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Uli SattlerProfessor, IMG, Department of Computer Science, University of ManchesterVerified email at cs.man.ac.uk
Bijan ParsiaProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Chiara Del VescovoSenior Data Manager at BBCVerified email at bbc.co.uk
Matthew HorridgeStanford UniversityVerified email at stanford.edu
Jonathan TennysonUniversity College LondonVerified email at ucl.ac.uk
Pavel KlinovSenior Research Engineer, Complexible IncVerified email at complexible.com
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyVerified email at uni-bremen.de
Robert StevensProfessor of Computer Science, Department of Computer Science, university of manchesterVerified email at manchester.ac.uk
Michael ZakharyaschevBirkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Evgeny Zolin (Евгений Золин)Lomonosov Moscow State UniversityVerified email at lpcs.math.msu.su
Stanislav KikotLondon Metropolitan UniversityVerified email at londonmet.ac.uk
Eleni MikroyannidiBritish Broadcasting CorporationVerified email at cs.man.ac.uk
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyVerified email at tue.nl
Peter F. Patel-Schneiderretired

Dmitry Tsarkov

School of Computer Science, University of Manchester

Verified email at cs.man.ac.uk

Theoretical Computer Science Automated Reasoning Description Logics


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
FaCT++ description logic reasoner: System description D Tsarkov, I Horrocks International joint conference on automated reasoning, 292-297, 2006	1630	2006
OWL rules: A proposal and prototype implementation I Horrocks, PF Patel-Schneider, S Bechhofer, D Tsarkov Journal of web semantics 3 (1), 23-40, 2005	437	2005
Measuring compositional generalization: A comprehensive method on realistic data D Keysers, N Schärli, N Scales, H Buisman, D Furrer, S Kashubin, ... arXiv preprint arXiv:1912.09713, 2019	361	2019
Optimizing terminological reasoning for expressive description logics D Tsarkov, I Horrocks, PF Patel-Schneider Journal of Automated Reasoning 39 (3), 277-316, 2007	128	2007
Using Vampire to reason with OWL D Tsarkov, A Riazanov, S Bechhofer, I Horrocks The Semantic Web–ISWC 2004: Third International Semantic Web Conference …, 2004	117	2004
Efficient reasoning with range and domain constraints D Tsarkov, I Horrocks Proc. of the 2004 Description Logic Workshop (DL 2004) 104, 41-50, 2004	107	2004
Automated benchmarking of description logic reasoners T Gardiner, I Horrocks, D Tsarkov Proceedings of the International Workshop on Description Logics (06) CEUR …, 2006	86	2006
Framework for an automated comparison of description logic reasoners T Gardiner, D Tsarkov, I Horrocks International semantic web conference, 654-667, 2006	80	2006
DL Reasoner vs. First-Order Prover. D Tsarkov, I Horrocks Description Logics 81, 152-159, 2003	78	2003
Supporting Early Adoption of OWL 1.1 with Protege-OWL and FaCT++. M Horridge, D Tsarkov, T Redmond OWLED, 2006	54	2006
Chainsaw: A Metareasoner for Large Ontologies D Tsarkov, I Palmisano OWL Reasoner Evaluation Workshop (ORE 2012), 2012	51	2012
Ordering heuristics for description logic reasoning D Tsarkov, I Horrocks IJCAI, 609-614, 2005	47	2005
Empirical study of logic-based modules: Cheap is cheerful C Del Vescovo, P Klinov, B Parsia, U Sattler, T Schneider, D Tsarkov Technical report, 2013. https://sites. google. com, 2013	34	2013
Optimised Classification for Taxonomic Knowledge Bases. D Tsarkov, I Horrocks Description Logics 147, 2005	34	2005
OWLlink: DIG for OWL 2. T Liebig, M Luther, O Noppens, M Rodriguez, D Calvanese, M Wessel, ... OWLED, 2008	29	2008
FaCT++ D Tsarkov, I Horrocks Software, 2007, 2005	28	2005
Improved Algorithms for Module Extraction and Atomic Decomposition D Tsarkov Description Logics Workshop (DL-2012), 2012	25	2012
*-CFQ: Analyzing the Scalability of Machine Learning on a Compositional Task D Tsarkov, T Tihon, N Scales, N Momchev, D Sinopalnikov, N Schärli Proceedings of the AAAI Conference on Artificial Intelligence 35 (11), 9949-9957, 2021	16	2021
Ontology-based content trust support of expert information resources in quantitative spectroscopy A Fazliev, A Privezentsev, D Tsarkov, J Tennyson Knowledge Engineering and the Semantic Web: 4th International Conference …, 2013	16	2013
An ontological description of states and transitions in quantitative spectroscopy SS Voronina, A Privezentsev, DV Tsarkov, AZ Fazliev 20th International Symposium on Atmospheric and Ocean Optics: Atmospheric …, 2014	14	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors