Yevgeny Kazakov
Yevgeny Kazakov
Vahvistettu sähköpostiosoite verkkotunnuksessa uni-ulm.de - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Modular reuse of ontologies: Theory and practice
BC Grau, I Horrocks, Y Kazakov, U Sattler
Journal of Artificial Intelligence Research 31, 273-318, 2008
4802008
Just the right amount: extracting modules from ontologies
BC Grau, I Horrocks, Y Kazakov, U Sattler
Proceedings of the 16th international conference on World Wide Web, 717-726, 2007
2992007
The Incredible ELK
Y Kazakov, M Krötzsch, F Simančík
Journal of Automated Reasoning 53 (1), 1-61, 2014
2522014
Consequence-driven reasoning for Horn SHIQ ontologies
Y Kazakov
Proc. of IJCAI-09, 2040-2045, 2009
2382009
RIQ and SROIQ are Harder than SHOIQ
Y Kazakov
2162008
A logical framework for modularity of ontologies.
BC Grau, I Horrocks, Y Kazakov, U Sattler
IJCAI 2007, 298-303, 2007
2062007
Concurrent Classification of EL Ontologies
Y Kazakov, M Krötzsch, F Simančík
The Semantic Web–ISWC 2011, 305-320, 2011
200*2011
Consequence-based reasoning beyond Horn ontologies
F Simancík, Y Kazakov, I Horrocks
Proc. of the 22nd Int. Joint Conf. on Artificial Intelligence (IJCAI 2011 …, 2011
1012011
ELK Reasoner: Architecture and Evaluation.
Y Kazakov, M Krötzsch, F Simancik
ORE, 2012
902012
Extracting modules from ontologies: A logic-based approach
B Cuenca Grau, I Horrocks, Y Kazakov, U Sattler
Modular Ontologies, 159-186, 2009
822009
History matters: Incremental ontology reasoning using modules
BC Grau, C Halaschek-Wiener, Y Kazakov
The Semantic Web, 183-196, 2007
812007
A Resolution-Based Decision Procedure for SHOIQ
Y Kazakov, B Motik
Journal of Automated Reasoning 40 (4), 357-357, 2008
76*2008
A Resolution-Based Decision Procedure for SHOIQ
Y Kazakov, B Motik
Journal of Automated Reasoning 40 (2), 89-116, 2008
76*2008
Saturation-Based Decision Procedures for Extensions of the Guarded Fragment
Y Kazakov
602006
Incremental classification of description logics ontologies
B Cuenca Grau, C Halaschek-Wiener, Y Kazakov, B Suntisrivaraporn
Journal of Automated Reasoning 44 (4), 337-369, 2010
532010
Practical reasoning with nominals in the EL family of description logics
Y Kazakov, M Krötzsch, F Simancik
Thirteenth International Conference on the Principles of Knowledge …, 2012
512012
Tractable Extensions of the Description Logic EL with Numerical Datatypes
D Magka, Y Kazakov, I Horrocks
Automated Reasoning, 61-75, 2010
46*2010
Incremental Reasoning in OWL EL without Bookkeeping
Y Kazakov, P Klinov
The Semantic Web–ISWC 2013, 232-247, 2013
402013
OWL reasoner evaluation (ORE) workshop 2013 results
RS Gonçalves, S Bail, E Jiménez-Ruiz, N Matentzoglu, B Parsia, B Glimm, ...
ORE, 1-18, 2013
382013
Subsumption of concepts in FL0 for (cyclic) terminologies with respect to descriptive semantics is PSPACE-complete
Y Kazakov, H De Nivelle
Calvanese, Giacomo & Franconi [2 003] 8 (10), 2003
35*2003
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20