dblp.uni-trier.dewww.uni-trier.de

Dmitry Tsarkov

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
12EEThorsten 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
11EEDmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider: Optimizing Terminological Reasoning for Expressive Description Logics. J. Autom. Reasoning 39(3): 277-316 (2007)
2006
10EETom Gardiner, Ian Horrocks, Dmitry Tsarkov: Automated Benchmarking of Description Logic Reasoners. Description Logics 2006
9EEDmitry Tsarkov, Ian Horrocks: Description Logic Reasoner: System Description. IJCAR 2006: 292-297
8EETom Gardiner, Dmitry Tsarkov, Ian Horrocks: Framework for an Automated Comparison of Description Logic Reasoners. International Semantic Web Conference 2006: 654-667
7EEMatthew Horridge, Dmitry Tsarkov: Supporting Early Adoption of OWL 1.1 with Protege-OWL and FaCT++. OWLED 2006
2005
6EEDmitry Tsarkov, Ian Horrocks: Optimised Classification for Taxonomic Knowledge Bases. Description Logics 2005
5EEDmitry Tsarkov, Ian Horrocks: Ordering Heuristics for Description Logic Reasoning. IJCAI 2005: 609-614
4EEIan 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
3EEDmitry Tsarkov, Ian Horrocks: Efficient Reasoning with Range and Domain Constraints. Description Logics 2004
2EEDmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks: Using Vampire to Reason with OWL. International Semantic Web Conference 2004: 471-485
2003
1EEDmitry Tsarkov, Ian Horrocks: DL Reasoner vs. First-Order Prover. Description Logics 2003

Coauthor Index

1Sean Bechhofer [2] [4] [12]
2Diego Calvanese [12]
3Tom Gardiner [8] [10]
4Matthew Horridge [7] [12]
5Ian Horrocks [1] [2] [3] [4] [5] [6] [8] [9] [10] [11]
6Thorsten Liebig [12]
7Marko Luther [12]
8Olaf Noppens [12]
9Peter F. Patel-Schneider [4] [11]
10Alexandre Riazanov [2]
11Mariano Rodriguez [12]
12Evren Sirin [12]
13Michael Wessel [12]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)