Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Dmitry Tsarkov
2010 – today
- 2012
[c16]Dmitry Tsarkov: Improved Algorithms for Module Extraction and Atomic Decomposition. Description Logics 2012- [c15]
- [c14]Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov: Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? WoMO 2012
- [i1]Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider, Dmitry Tsarkov: Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? CoRR abs/1207.1641 (2012)
- 2010
- [c13]Alexey Privezentsev, Alexander Fazliev, Dmitry Tsarkov, Jonathan Tennyson: Computed Knowledge Base for Description of Information Resources of Water Spectroscopy. OWLED 2010
2000 – 2009
- 2009
- [c12]Shoham Ben-David, Jeffrey Pound, Richard J. Trefler, Dmitry Tsarkov, Grant E. Weddell: Fair Cycle Detection using Description Logic Reasoning. Description Logics 2009
- [c11]Dmitry Tsarkov, Ulrike Sattler, Robert Stevens: A Solution for the Man-Man Problem in the Family History Knowledge Base. OWLED 2009
- 2008
- [c10]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
- [j2]Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider: Optimizing Terminological Reasoning for Expressive Description Logics. J. Autom. Reasoning 39(3): 277-316 (2007)
- 2006
- [c9]
- [c8]Tom Gardiner, Ian Horrocks, Dmitry Tsarkov: Automated Benchmarking of Description Logic Reasoners. Description Logics 2006
- [c7]Matthew Horridge, Dmitry Tsarkov: Supporting Early Adoption of OWL 1.1 with Protege-OWL and FaCT++. OWLED 2006
- [c6]Tom Gardiner, Dmitry Tsarkov, Ian Horrocks: Framework for an Automated Comparison of Description Logic Reasoners. International Semantic Web Conference 2006: 654-667
- 2005
- [j1]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)
- [c5]Dmitry Tsarkov, Ian Horrocks: Optimised Classification for Taxonomic Knowledge Bases. Description Logics 2005
- [c4]Dmitry Tsarkov, Ian Horrocks: Ordering Heuristics for Description Logic Reasoning. IJCAI 2005: 609-614
- 2004
- [c3]Dmitry Tsarkov, Ian Horrocks: Efficient Reasoning with Range and Domain Constraints. Description Logics 2004
- [c2]Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks: Using Vampire to Reason with OWL. International Semantic Web Conference 2004: 471-485
- 2003
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-17 21:42 CEST by the dblp team