Unchain My EL Reasoner Yevgeny Kazakov, Markus Krötzsch, and František Simančík Department of Computer Science, University of Oxford, UK Abstract. We study a restriction of the classification procedure for EL++ where

Source URL: ceur-ws.org

Consequence-Driven Reasoning for Horn SHIQ Ontologies Yevgeny Kazakov Oxford University Computing Laboratory 1

Source URL: ceur-ws.org

Concurrent Classification of EL Ontologies Technical Report Yevgeny Kazakov, Markus Krötzsch, and František Simančík Department of Computer Science, University of Oxford, UK Abstract. We describe an optimised conseq

Source URL: korrekt.org

An Extension of Regularity Conditions for Complex Role Inclusion Axioms Yevgeny Kazakov Oxford University Computing Laboratory 1

Source URL: ceur-ws.org

Advancing ELK: Not Only Performance Matters Yevgeny Kazakov and Pavel Klinov The University of Ulm, Germany {yevgeny.kazakov, pavel.klinov}@uni-ulm.de Abstract. This paper reports on the recent development of ELK, a con

Source URL: ceur-ws.org

Bridging the Gap between Tableau and Consequence-Based Reasoning Yevgeny Kazakov and Pavel Klinov The University of Ulm, Germany {yevgeny.kazakov, pavel.klinov}@uni-ulm.de

Source URL: ceur-ws.org

Acta Geographica Silesiana, 20. WNoZ UŚ, Sosnowiec, 2015, s. 5–10 ISSN 1897–5100 Stanislav G. Kazakov, Alexandr A. Chernyshev Kursk State University, Natural-Geographic faculty, Radishcheva str. 33, Kursk, Ru

Source URL: www.wnoz.us.edu.pl

• Environmental statistics
• Geography of Russia
• Environmental economics
• Sustainable development
• Kursk Oblast
• Index numbers
• Kursk Magnetic Anomaly
• Belgorod Oblast
• Environmental indicator
• Kursk
• Central Black Earth Region
• Sustainability measurement

O. Kazakov-Kravchenko, student, , D. Khomenko, PhD, R. Doroschuk, PhD Taras Shevchenko National University of Kyiv, Kyiv SYNTHESIS OF 5-METHYL-1,2,4-TRIAZOLE-3-CARBOXYLIC ACID AND ITS COPPER (II) COMPLEX

Source URL: visnyk.chem.univ.kiev.ua

CYLINDER OF THE DISPOSABLE MASS EXCHANGE DEVICE FOR HEMOSORPTION F.I. Kazakov, V.V. Kirkovsky Belarusian State Medical University, Minsk, the Republic of Belarus BACKGROUND Hemocarboperfusion, previously widely used in

Source URL: www.neotlmed.ru

Just the Right Amount: Extracting Modules from Ontologies∗ Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov and Ulrike Sattler The University of Manchester School of Computer Science Manchester, M13 9PL, UK

Source URL: staff.cs.manchester.ac.uk