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
13642006
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
3722005
Optimizing terminological reasoning for expressive description logics
D Tsarkov, I Horrocks, PF Patel-Schneider
Journal of Automated Reasoning 39 (3), 277-316, 2007
1182007
Using Vampire to reason with OWL
D Tsarkov, A Riazanov, S Bechhofer, I Horrocks
International Semantic Web Conference, 471-485, 2004
1072004
Efficient reasoning with range and domain constraints
D Tsarkov, I Horrocks
Proc. of the 2004 Description Logic Workshop (DL 2004) 104, 41-50, 2004
1072004
Automated benchmarking of description logic reasoners
T Gardiner, I Horrocks, D Tsarkov
Proceedings of the International Workshop on Description Logics (06) CEUR …, 2006
752006
DL Reasoner vs. First-Order Prover.
D Tsarkov, I Horrocks
Description Logics 81, 152-159, 2003
692003
Framework for an automated comparison of description logic reasoners
T Gardiner, D Tsarkov, I Horrocks
International Semantic Web Conference, 654-667, 2006
682006
Supporting early adoption of OWL 1.1 with Protege-OWL and FaCT
M Horridge, D Tsarkov, T Redmond
Proceedings of the Second OWL Experiences and Directions Workshop (OWLED-06), 2006
462006
Ordering heuristics for description logic reasoning
D Tsarkov, I Horrocks
IJCAI, 609-614, 2005
452005
Chainsaw: A Metareasoner for Large Ontologies
D Tsarkov, I Palmisano
OWL Reasoner Evaluation Workshop (ORE 2012), 2012
432012
Optimised Classification for Taxonomic Knowledge Bases.
D Tsarkov, I Horrocks
Description Logics 147, 2005
332005
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
292013
OWLlink: DIG for OWL 2.
T Liebig, M Luther, O Noppens, M Rodriguez, D Calvanese, M Wessel, ...
OWLED, 2008
252008
FaCT++
D Tsarkov, I Horrocks
Software, 2007, 2005
252005
Improved Algorithms for Module Extraction and Atomic Decomposition
D Tsarkov
Description Logics Workshop (DL-2012), 2012
212012
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
142019
Ontology-based content trust support of expert information resources in quantitative spectroscopy
A Fazliev, A Privezentsev, D Tsarkov, J Tennyson
International Conference on Knowledge Engineering and the Semantic Web, 15-28, 2013
132013
Reasoner prototype: Implementing new reasoner with datatypes support
D Tsarkov, I Horrocks
WonderWeb Project Deliverable, 2003
132003
Syntactic vs. semantic locality: How good is a cheap approximation?
C Del Vescovo, P Klinov, B Parsia, U Sattler, T Schneider, D Tsarkov
arXiv preprint arXiv:1207.1641, 2012
122012
The system can't perform the operation now. Try again later.
Articles 1–20