Concepedia

Yevgeny Kazakov

YK

24

Publications

2K

Citations

20

H-Index

1999

Active since

Affiliations

University of Oxford(Current)

University of Manchester

Universität Ulm

Yevgeny Kazakov is an author at University of Oxford specializing in engineering, automated reasoning, and semantics.

Top concepts

EngineeringAutomated ReasoningSemanticsSemantic WebFormal MethodsDescription LogicsComputer ScienceFormal VerificationOntology EngineeringLanguage

Publications per year

1999–2017

24

Publications

24

Modular Reuse of Ontologies: Theory and Practice

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov et al. · Journal of Artificial Intelligence Research · 2008 · 403 citations · Full text

Engineering, Ontology Engineering, Semantic Web +17

The Incredible ELK

Yevgeny Kazakov, Markus Krötzsch, František Simančík · Journal of Automated Reasoning · 2013 · 233 citations

Archaeology, Wildlife Management, Incredible Elk +2

Just the right amount

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov et al. · 2007 · 205 citations

Owl Dl, Ontology Re-use, Engineering +15

Consequence-Driven Reasoning for Horn SHIQ Ontologies.

Yevgeny Kazakov · Oxford University Research Archive (ORA) (University of Oxford) · 2009 · 178 citations · Full text

A logical framework for modularity of ontologies

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov et al. · 2007 · 145 citations

Rows per page

1–5 of 24