Follow
Dmitry Tsarkov
Dmitry Tsarkov
School of Computer Science, University of Manchester
Verified email at cs.man.ac.uk
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
15992006
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
4312005
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
3262019
Optimizing terminological reasoning for expressive description logics
D Tsarkov, I Horrocks, PF Patel-Schneider
Journal of Automated Reasoning 39 (3), 277-316, 2007
1272007
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
1172004
Efficient reasoning with range and domain constraints
D Tsarkov, I Horrocks
Proc. of the 2004 Description Logic Workshop (DL 2004) 104, 41-50, 2004
1042004
Automated benchmarking of description logic reasoners
T Gardiner, I Horrocks, D Tsarkov
Proceedings of the International Workshop on Description Logics (06) CEUR …, 2006
832006
Framework for an automated comparison of description logic reasoners
T Gardiner, D Tsarkov, I Horrocks
International semantic web conference, 654-667, 2006
802006
DL Reasoner vs. First-Order Prover.
D Tsarkov, I Horrocks
Description Logics 81, 152-159, 2003
762003
Supporting Early Adoption of OWL 1.1 with Protege-OWL and FaCT++.
M Horridge, D Tsarkov, T Redmond
OWLED, 2006
522006
Chainsaw: A Metareasoner for Large Ontologies
D Tsarkov, I Palmisano
OWL Reasoner Evaluation Workshop (ORE 2012), 2012
512012
Ordering heuristics for description logic reasoning
D Tsarkov, I Horrocks
IJCAI, 609-614, 2005
482005
Optimised Classification for Taxonomic Knowledge Bases.
D Tsarkov, I Horrocks
Description Logics 147, 2005
342005
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
332013
FaCT++
D Tsarkov, I Horrocks
Software, 2007, 2005
292005
OWLlink: DIG for OWL 2.
T Liebig, M Luther, O Noppens, M Rodriguez, D Calvanese, M Wessel, ...
OWLED, 2008
272008
Improved Algorithms for Module Extraction and Atomic Decomposition
D Tsarkov
Description Logics Workshop (DL-2012), 2012
252012
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
162013
*-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
142021
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
142014
The system can't perform the operation now. Try again later.
Articles 1–20