Dmitry Tsarkov
Dmitry Tsarkov
School of Computer Science, University of Manchester
Verified email at
TitleCited byYear
FaCT++ Description Logic Reasoner: System Description
D Tsarkov, I Horrocks
International joint conference on automated reasoning, 292-297, 2006
OWL rules: A proposal and prototype implementation
I Horrocks, PF Patel-Schneider, S Bechhofer, D Tsarkov
Web Semantics: Science, Services and Agents on the World Wide Web 3 (1), 23-40, 2005
Optimizing terminological reasoning for expressive description logics
D Tsarkov, I Horrocks, PF Patel-Schneider
Journal of Automated Reasoning 39 (3), 277-316, 2007
Using Vampire to reason with OWL
D Tsarkov, A Riazanov, S Bechhofer, I Horrocks
International Semantic Web Conference, 471-485, 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
Automated Benchmarking of Description Logic Reasoners.
T Gardiner, I Horrocks, D Tsarkov
Description Logics 189, 2006
Framework for an automated comparison of description logic reasoners
T Gardiner, D Tsarkov, I Horrocks
International Semantic Web Conference, 654-667, 2006
DL Reasoner vs. First-Order Prover.
D Tsarkov, I Horrocks
Description Logics 81, 152-159, 2003
Supporting Early Adoption of OWL 1.1 with Protege-OWL and FaCT++.
M Horridge, D Tsarkov, T Redmond
OWLED, 2006
Ordering heuristics for description logic reasoning
D Tsarkov, I Horrocks
IJCAI, 609-614, 2005
Chainsaw: A Metareasoner for Large Ontologies
D Tsarkov, I Palmisano
OWL Reasoner Evaluation Workshop (ORE 2012), 2012
Optimised Classification for Taxonomic Knowledge Bases.
D Tsarkov, I Horrocks
Description Logics 147, 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
D Tsarkov, I Horrocks
Software, 2007, 2005
OWLlink: DIG for OWL 2.
T Liebig, M Luther, O Noppens, M Rodriguez, D Calvanese, M Wessel, ...
OWLED, 2008
Improved Algorithms for Module Extraction and Atomic Decomposition
D Tsarkov
Description Logics Workshop (DL-2012), 2012
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
Reasoner prototype: Implementing new reasoner with datatypes support
D Tsarkov, I Horrocks
WonderWeb Project Deliverable, 2003
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
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
The system can't perform the operation now. Try again later.
Articles 1–20