The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Yevgeny Kazakov" ( http://dblp.L3S.de/Authors/Yevgeny_Kazakov )

URL (Homepage):  http://www.uni-ulm.de/en/in/ki/staff/dr-yevgeny-kazakov.html  Author page on DBLP  Author page in RDF  Community of Yevgeny Kazakov in ASPL-2

Publication years (Num. hits)
2003-2008 (17) 2009-2011 (17) 2012-2014 (18) 2015-2019 (12)
Publication types (Num. hits)
article(8) incollection(1) inproceedings(52) proceedings(3)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 5 keywords

Results
Found 65 publication records. Showing 64 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Birte Glimm, Yevgeny Kazakov Classical Algorithms for Reasoning and Explanation in Description Logics. Search on Bibsonomy Reasoning Web The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yevgeny Kazakov, Peter Skocovský Enumerating Justifications Using Resolution. Search on Bibsonomy IJCAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yevgeny Kazakov, Denis K. Ponomaryov On the Complexity of Semantic Integration of OWL Ontologies. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran Ontology Materialization by Abstraction Refinement in Horn SHOIF. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Yevgeny Kazakov, Denis K. Ponomaryov On the Complexity of Semantic Integration of OWL Ontologies. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Yevgeny Kazakov, Peter Skocovsky Enumerating Justifications using Resolution. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Yevgeny Kazakov, Pavel Klinov, Alexander Stupnikov Towards Reusable Explanation Services in Protege. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran Ontology Materialization by Abstraction Refinement in Horn SHOIF. Search on Bibsonomy Description Logics The full citation details ... 2016 DBLP  BibTeX  RDF
1Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran Scalable Reasoning by Abstraction Beyond DL-Lite. Search on Bibsonomy RR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou Lower and Upper Bounds for SPARQL Queries over OWL Ontologies. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Yevgeny Kazakov, Pavel Klinov Advancing ELK: Not Only Performance Matters. Search on Bibsonomy Description Logics The full citation details ... 2015 DBLP  BibTeX  RDF
1Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou Lower and Upper Bounds for SPARQL Queries over OWL Ontologies. Search on Bibsonomy Description Logics The full citation details ... 2015 DBLP  BibTeX  RDF
1Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik The Incredible ELK - From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, Vincent Vialard Abstraction Refinement for Ontology Materialization. Search on Bibsonomy International Semantic Web Conference (2) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yevgeny Kazakov, Pavel Klinov Goal-Directed Tracing of Inferences in EL Ontologies. Search on Bibsonomy International Semantic Web Conference (2) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou OWL Query Answering Based on Query Extension. Search on Bibsonomy OWLED The full citation details ... 2014 DBLP  BibTeX  RDF
1Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, Vincent Vialard Abstraction Refinement for Ontology Materialization. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Yevgeny Kazakov, Pavel Klinov Bridging the Gap between Tableau and Consequence-Based Reasoning. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Yevgeny Kazakov, Pavel Klinov Goal-Directed Tracing of Inferences in EL Ontologies. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Yevgeny Kazakov, Pavel Klinov The Benefits of Incremental Reasoning in OWL EL. Search on Bibsonomy International Semantic Web Conference (Posters & Demos) The full citation details ... 2013 DBLP  BibTeX  RDF
1Yevgeny Kazakov, Pavel Klinov Incremental Reasoning in OWL EL without Bookkeeping. Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yevgeny Kazakov, Pavel Klinov Experimenting with ELK Reasoner on Android. Search on Bibsonomy ORE The full citation details ... 2013 DBLP  BibTeX  RDF
1Samantha Bail, Birte Glimm, Rafael S. Gonçalves, Ernesto Jiménez-Ruiz, Yevgeny Kazakov, Nicolas Matentzoglu, Bijan Parsia (eds.) Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013 Search on Bibsonomy ORE The full citation details ... 2013 DBLP  BibTeX  RDF
1Rafael S. Gonçalves, Samantha Bail, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Birte Glimm, Yevgeny Kazakov OWL Reasoner Evaluation (ORE) Workshop 2013 Results: Short Report. Search on Bibsonomy ORE The full citation details ... 2013 DBLP  BibTeX  RDF
1Yevgeny Kazakov, Pavel Klinov Incremental Reasoning in EL+ without Bookkeeping. Search on Bibsonomy Description Logics The full citation details ... 2013 DBLP  BibTeX  RDF
1Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch (eds.) Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013 Search on Bibsonomy Description Logics The full citation details ... 2013 DBLP  BibTeX  RDF
1Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou Using the TBox to Optimise SPARQL Queries. Search on Bibsonomy Description Logics The full citation details ... 2013 DBLP  BibTeX  RDF
1Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik ELK Reasoner: Architecture and Evaluation. Search on Bibsonomy ORE The full citation details ... 2012 DBLP  BibTeX  RDF
1Yevgeny Kazakov, Markus Kroetzsch, Frantisek Simancik Practical Reasoning with Nominals in the EL Family of Description Logics. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Yevgeny Kazakov, Domenico Lembo, Frank Wolter (eds.) Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012 Search on Bibsonomy Description Logics The full citation details ... 2012 DBLP  BibTeX  RDF
1Despoina Magka, Yevgeny Kazakov, Ian Horrocks Tractable Extensions of the Description Logic ${\mathcal{EL}}$ with Numerical Datatypes. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik Concurrent Classification of EL Ontologies. Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik Unchain My EL Reasoner. Search on Bibsonomy Description Logics The full citation details ... 2011 DBLP  BibTeX  RDF
1Birte Glimm, Yevgeny Kazakov, Carsten Lutz Status QIO: An Update. Search on Bibsonomy Description Logics The full citation details ... 2011 DBLP  BibTeX  RDF
1Frantisek Simancik, Yevgeny Kazakov, Ian Horrocks Consequence-Based Reasoning beyond Horn Ontologies. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bernardo Cuenca Grau, Christian Halaschek-Wiener, Yevgeny Kazakov, Boontawee Suntisrivaraporn Incremental Classification of Description Logics Ontologies. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Despoina Magka, Yevgeny Kazakov, Ian Horrocks Tractable Extensions of the Description Logic EL with Numerical Datatypes. Search on Bibsonomy IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yevgeny Kazakov An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ. Search on Bibsonomy IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Despoina Magka, Yevgeny Kazakov, Ian Horrocks Tractable Extensions of the Description Logic EL with Numerical Datatypes. Search on Bibsonomy Description Logics The full citation details ... 2010 DBLP  BibTeX  RDF
1Yevgeny Kazakov, Ian Pratt-Hartmann A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler Extracting Modules from Ontologies: A Logic-Based Approach. Search on Bibsonomy Modular Ontologies The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Vincent Delaitre, Yevgeny Kazakov Classifying ELH Ontologies In SQL Databases. Search on Bibsonomy OWLED The full citation details ... 2009 DBLP  BibTeX  RDF
1Yevgeny Kazakov, Ian Pratt-Hartmann A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics. Search on Bibsonomy LICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Yevgeny Kazakov An Extension of Regularity Conditions for Complex Role Inclusion Axioms. Search on Bibsonomy Description Logics The full citation details ... 2009 DBLP  BibTeX  RDF
1Yevgeny Kazakov Consequence-Driven Reasoning for Horn SHIQ Ontologies. Search on Bibsonomy Description Logics The full citation details ... 2009 DBLP  BibTeX  RDF
1Yevgeny Kazakov Consequence-Driven Reasoning for Horn SHIQ Ontologies. (IJCAI Distinguished Paper Award Winner) Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Bernardo Cuenca Grau, Boris Motik, Yevgeny Kazakov Import-by-Query: Ontology Reasoning under Access Limitations. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler Modular Reuse of Ontologies: Theory and Practice. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Yevgeny Kazakov, Boris Motik A Resolution-Based Decision Procedure for SHOIQ. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Resolution decision procedures, Description logics, Nominals
1Yevgeny Kazakov, Boris Motik A Resolution-Based Decision Procedure for SHOIQ. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Birte Glimm, Yevgeny Kazakov Role Conjunctions in Expressive Description Logics. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Yevgeny Kazakov RIQ and SROIQ Are Harder than SHOIQ. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
1Yevgeny Kazakov SRIQ and SROIQ are Harder than SHOIQ. Search on Bibsonomy Description Logics The full citation details ... 2008 DBLP  BibTeX  RDF
1Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Bernardo Cuenca Grau, Christian Halaschek-Wiener, Yevgeny Kazakov History Matters: Incremental Ontology Reasoning Using Modules. Search on Bibsonomy ISWC/ASWC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler Just the right amount: extracting modules from ontologies. Search on Bibsonomy WWW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ontologies, semantic web, description logics, oWL
1Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler Extracting Modules from Ontologies: A Logic-based Approach. Search on Bibsonomy OWLED The full citation details ... 2007 DBLP  BibTeX  RDF
1Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler Ontology Reuse: Better Safe than Sorry. Search on Bibsonomy Description Logics The full citation details ... 2007 DBLP  BibTeX  RDF
1Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler A Logical Framework for Modularity of Ontologies. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Yevgeny Kazakov, Boris Motik A Resolution-Based Decision Procedure for SHOIQ. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Yevgeny Kazakov, Hans de Nivelle A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. Search on Bibsonomy IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Yevgeny Kazakov A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. Search on Bibsonomy IJCAR Doctoral Programme The full citation details ... 2004 DBLP  BibTeX  RDF
1Yevgeny Kazakov A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Yevgeny Kazakov, Hans de Nivelle Subsumption of Concepts in FL0y for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete. Search on Bibsonomy Description Logics The full citation details ... 2003 DBLP  BibTeX  RDF
Displaying result #1 - #64 of 64 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license