Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Modular Reuse of Ontologies: Theory and Practice
- B. C. Grau, I. Horrocks, Y. Kazakov, U. Sattler
- Mathematics, Computer Science
- J. Artif. Intell. Res.
- 2008
TLDR
Just the right amount: extracting modules from ontologies
- B. C. Grau, I. Horrocks, Y. Kazakov, U. Sattler
- Computer Science
- WWW '07
- 8 May 2007
TLDR
Consequence-Driven Reasoning for Horn SHIQ Ontologies
- Y. Kazakov
- Computer Science
- IJCAI
- 11 July 2009
TLDR
Concurrent Classification of EL Ontologies
- Y. Kazakov, M. Krötzsch, F. Simancik
- Computer Science
- International Semantic Web Conference
- 23 October 2011
TLDR
From Polynomial Procedures to Efficient Reasoning with EL Ontologies
- Y. Kazakov
- Computer Science
- 2013
TLDR
- 80
- 18
- PDF
RIQ and SROIQ Are Harder than SHOIQ
- Y. Kazakov
- Computer Science
- KR
- 16 September 2008
TLDR
The Incredible ELK
- Y. Kazakov, M. Krötzsch, F. Simancik
- Computer Science
- Journal of Automated Reasoning
- 1 June 2014
TLDR
A Logical Framework for Modularity of Ontologies
- B. C. Grau, I. Horrocks, Y. Kazakov, U. Sattler
- Computer Science
- IJCAI
- 6 January 2007
TLDR
SRIQ and SROIQ are Harder than SHOIQ
- Y. Kazakov
- Computer Science
- Description Logics
- 2008
TLDR
Consequence-Based Reasoning beyond Horn Ontologies
- F. Simancik, Y. Kazakov, I. Horrocks
- Mathematics, Computer Science
- IJCAI
- 16 July 2011
TLDR