Dmitry Tsarkov

	2009
13		Shoham Ben-David, Jeffrey Pound, Richard J. Trefler, Dmitry Tsarkov, Grant E. Weddell: Fair Cycle Detection using Description Logic Reasoning. Description Logics 2009
	2008
12		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
	2007
11		Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider: Optimizing Terminological Reasoning for Expressive Description Logics. J. Autom. Reasoning 39(3): 277-316 (2007)
	2006
10		Tom Gardiner, Ian Horrocks, Dmitry Tsarkov: Automated Benchmarking of Description Logic Reasoners. Description Logics 2006
9		Dmitry Tsarkov, Ian Horrocks: Description Logic Reasoner: System Description. IJCAR 2006: 292-297
8		Tom Gardiner, Dmitry Tsarkov, Ian Horrocks: Framework for an Automated Comparison of Description Logic Reasoners. International Semantic Web Conference 2006: 654-667
7		Matthew Horridge, Dmitry Tsarkov: Supporting Early Adoption of OWL 1.1 with Protege-OWL and FaCT++. OWLED 2006
	2005
6		Dmitry Tsarkov, Ian Horrocks: Optimised Classification for Taxonomic Knowledge Bases. Description Logics 2005
5		Dmitry Tsarkov, Ian Horrocks: Ordering Heuristics for Description Logic Reasoning. IJCAI 2005: 609-614
4		Ian Horrocks, Peter F. Patel-Schneider, Sean Bechhofer, Dmitry Tsarkov: OWL rules: A proposal and prototype implementation. J. Web Sem. 3(1): 23-40 (2005)
	2004
3		Dmitry Tsarkov, Ian Horrocks: Efficient Reasoning with Range and Domain Constraints. Description Logics 2004
2		Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks: Using Vampire to Reason with OWL. International Semantic Web Conference 2004: 471-485
	2003
1		Dmitry Tsarkov, Ian Horrocks: DL Reasoner vs. First-Order Prover. Description Logics 2003

Coauthor Index

1	Sean Bechhofer	[2] [4] [12]
2	Shoham Ben-David	[13]
3	Diego Calvanese	[12]
4	Tom Gardiner	[8] [10]
5	Matthew Horridge	[7] [12]
6	Ian Horrocks	[1] [2] [3] [4] [5] [6] [8] [9] [10] [11]
7	Thorsten Liebig	[12]
8	Marko Luther	[12]
9	Olaf Noppens	[12]
10	Peter F. Patel-Schneider	[4] [11]
11	Jeffrey Pound	[13]
12	Alexandre Riazanov	[2]
13	Mariano Rodriguez	[12]
14	Evren Sirin	[12]
15	Richard J. Trefler	[13]
16	Grant E. Weddell	[13]
17	Michael Wessel	[12]

Colors in the list of coauthors