Publications
- Eleni Mikroyannidi, Manuel Quesada-Martinez, Dmitry Tsarkov, Jesualdo Tomas Fernandez Breis, Robert Stevens and Ignazio Palmisano.
A quality assurance workflow for ontologies based on semantic regularities.
Proc. of 19th International Conference on Knowledge Engineering and Knowledge Management (EKAW-14), Sweden, 2014.
PDF
- S.S. Voronina, A.I. Privezentsev, D.V. Tsarkov, A.Z. Fazliev.
Clear-cut distinction between domain ontological representations.
Proc. of All-Russian Scientific Conference RCDL-2014, pages 124–130. 2014
- S.S. Voronina, Alexey Privezentsev, Dmitry Tsarkov and Alexander Fazliev.
An Ontological Description of States and Transitions in Quantitative Spectroscopy.
Proc. of SPIE 20th International Symposium on Atmospheric and Ocean Optics: Atmospheric Physics (AOO-14),
Novosibirsk, Russia, 2014. PDF
- Dmitry Tsarkov.
Incremental and persistent reasoning in FaCT++
Proc. of the 3rd OWL Reasoner Evaluation Workshop (ORE 2014), Vienna, Austria, 2014.
http://ceur-ws.org/Vol-1207/, PDF
- Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider and Dmitry Tsarkov.
Empirical Study of Logic-Based Modules: Cheap Is Cheerful.
Proc. of ISWC-2013, volume 8218 of Lecture Notes in Computer Science. 2013.
PDF
- Alexander Fazliev, Alexey Privezentsev, Dmitry Tsarkov and Jonathan Tennyson.
Ontology-based Content Trust Support of Expert Information Resources for Quantitative Spectroscopy.
Proc. of 4th Knowledge Engineering and Semantic Web Conference (KESW-2013), St. Petersburg, Russia, 2013.
PDF
- Stanislav Kikot, Dmitry Tsarkov, Michael Zakharyaschev and Evgeny Zolin.
Query Answering via Modal Definability with FaCT++: First Blood.
26th International Workshop on Description Logics (DL 2013), Ulm, Germany, 2013.
http://ceur-ws.org/Vol-1014/, PDF
- Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider and Dmitry Tsarkov.
Empirical Study of Logic-Based Modules: Cheap Is Cheerful.
26th International Workshop on Description Logics (DL 2013), Ulm, Germany, 2013.
http://ceur-ws.org/Vol-1014/, PDF
- Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider and Dmitry Tsarkov.
Empirical Study of Logic-Based Modules: Cheap Is Cheerful.
Technical report, 2013.
https://sites.google.com/site/cheapischeerful/technical-report, PDF
- Dmitry Tsarkov, Chiara Del Vescovo and Ignazio Palmisano.
Instrumenting Atomic Decomposition: software APIs for OWL.
10th OWL: Experiences and Directions Workshop (OWLED 2013), Montpellier, France, 2013.
PDF
- Alexey Privezentsev, Dmitry Tsarkov and Alexander Fazliev.
Computed Knowledge Base for Quantitative Spectroscopy.
3rd Knowledge Engineering and Semantic Web Conference (KESW-2012), St. Petersburg, Russia, 2012.
PDF
- Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider and Dmitry Tsarkov.
Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation?
6th International Workshop on Modular Ontologies (WoMO 2012), Graz, Austria, 2012.
http://ceur-ws.org/Vol-875/, PDF
- Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider and Dmitry Tsarkov.
Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation?
Technical report, coRR, 2012.
http://arxiv.org/abs/1207.1641, PDF
- Dmitry Tsarkov and Ignazio Palmisano.
Chainsaw: a Metareasoner for Large Ontologies.
1st OWL Reasoner Evaluation Workshop (ORE 2012), Manchester, UK, 2012. PDF
- Dmitry Tsarkov.
Improved Algorithms for Module Extraction and Atomic Decomposition.
25th International Workshop on Description Logics (DL 2012), Rome, Italy, 2012. PDF
- Chiara Del Vescovo and Dmitry Tsarkov.
Introduction to Modularity for OWL Ontologies.
Tutorial at OWL: Experiences and Directions (OWLED 12), Heraklion, Greece, 2012.
- Dmitry Tsarkov and Ignazio Palmisano.
Divide et Empera: Metareasoning for Large Ontologies.
OWL: Experiences and Directions (OWLED 12), Heraklion, Greece, 2012. PDF
- Alexey Privezentsev, Alexander Fazliev, Dmitry Tsarkov and Jonathan Tennyson.
Ontology for Water Spectroscopy Information Resources.
1st Russia and Pacific Conference on Computer Technology and Applications (RPC 2010), Vladivostok, Russia, 2010.
PDF
- Alexey Privezentsev, Alexander Fazliev, Dmitry Tsarkov and Jonathan Tennyson.
Computed Knowledge Base for Description of Information Resources of Water Spectroscopy.
OWL: Experiences and Directions (OWLED 10), San Francisco, US, 2010. PDF
-
Shoham Ben-David, Jeffrey Pound, Richard Trefler, Dmitry Tsarkov and Grant Weddell. Fair Cycle Detection Using Description Logic Reasoning.
22nd International Workshop on Description Logics (DL 2009), Oxford, England, 2009. PDF
-
Dmitry Tsarkov, Ulrike Sattler and Robert Stevens. A Solution for the Man-Man Problem in the Family History Knowledge Base.
OWL: Experiences and Directions (OWLED 09), Chantilly, VA, US, 2009. PDF
-
Shoham Ben-David, Richard Trefler, Dmitry Tsarkov and Grant Weddell. Checking Inevitability and Invariance Using Description Logic Technology.
Technical Report CS-2008-28, University of Waterloo, Canada, 2008. PDF
-
Thorsten Liebig, Marko Luther, Olaf Noppens, Mariano Rodriguez, Diego Calvanese, Michael Wessel, Matthew Horridge,
Sean Bechhofer, Dmitry Tsarkov and Evren Sirin. OWLlink: DIG for OWL 2. OWL: Experiences and
Directions (OWLED 08 EU), Karlsruhe, Germany, 2008. PDF
- Dmitry Tsarkov, Ian Horrocks and Peter F. Patel-Schneider. Optimizing Terminological Reasoning
for Expressive Description Logics. J. of Automated Reasoning, 39(3):277-316, 2007. PDF
- Dmitry Tsarkov and Ian Horrocks. FaCT++ Description Logic Reasoner: System Description. In Proc.
of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006), volume 4130 of Lecture Notes in Artificial
Intelligence, pages 292-297. Springer, 2006. PDF
- Matthew Horridge and Dmitry Tsarkov and Timothy Redmond. Supporting Early Adoption of OWL 1.1
with Protege-OWL and FaCT++. OWL: Experiences and Directions (OWLED 06), Athens, Georgia, 2006.
PDF
- Tom Gardiner, Ian Horrocks and Dmitry Tsarkov. Automated Benchmarking of Description Logic
Reasoners. In Proc. of the 2006 Description Logic Workshop (DL 2006), volume 189 of CEUR
(http://ceur-ws.org/), 2006. PDF
- Tom Gardiner, Dmitry Tsarkov and Ian Horrocks. Framework For an Automated Comparison of
Description Logic Reasoners. In Proc. of the 5th International Semantic Web Conference (ISWC 2006),
volume 4273 of Lecture Notes in Computer Science, pages 654-667. Springer, 2006. PDF
- Dmitry Tsarkov and Ian Horrocks. Optimised Classification for Taxonomic Knowledge Bases.
In Proc. of the 2005 Description Logic Workshop (DL 2005), volume 147 of CEUR (http://ceur-ws.org/),
2005. PDF
- Ian Horrocks, Peter F. Patel-Schneider, Sean Bechhofer and Dmitry Tsarkov. OWL Rules:
A Proposal and Prototype Implementation. J. of Web Semantics, 3(1):23-40, 2005. PDF
- Dmitry Tsarkov and Ian Horrocks. Ordering Heuristics for Description Logic Reasoning.
In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), pages 609-614,
2005. PDF
- Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, and Ian Horrocks. Using Vampire to
Reason with OWL. In Sheila A. McIlraith, Dimitris Plexousakis, and Frank van Harmelen, editors,
Proc. of the 3rd International Semantic Web Conference (ISWC 2004), volume 3298 of Lecture Notes
in Computer Science, pages 471-485. Springer, 2004. PDF
- Dmitry Tsarkov and Ian Horrocks. Efficient Reasoning with Range and Domain Constraints.
In Proc. of the 2004 Description Logic Workshop (DL 2004), pages 41-50, 2004. PDF
- Dmitry Tsarkov and Ian Horrocks. DL Reasoner vs. First-Order Prover. In Proc. of the 2003
Description Logic Workshop (DL 2003), volume 81 of CEUR (http://ceur-ws.org/), pages 152-159, 2003. PDF
-
A.G. Bakhmurov, V.I. Chervin, M.V. Chistolinov, J.-F. Groote, V.A. Kostenko, R.L. Smeliansky, D.V. Tsarkov, Y.S. Usenko, K. Winter, V.A. Zakharov.
Towards a unified toolset for embedded systems development.
J. Problems of Programming, vol. 1, issue 1-2, pp 316-322, 2000. PDF
-
V.A. Zakharov, D.V. Tsarkov. Efficient Model Checking Algorithms for the Computation Tree Logic
and Their Application to the Verification of Parallel Programs.
J. Programming and Computer Software, vol. 24, issue 4, pp 151-161, 1998.