Yevgeny Kazakov - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Status QIO: An UpdateBirte Glimm, Yevgeny Kazakov, Carsten Lutz. dlog 2011: [doi]

Unchain My EL ReasonerYevgeny Kazakov, Markus Krötzsch, Frantisek Simancik. dlog 2011: [doi]

Consequence-Based Reasoning beyond Horn OntologiesFrantisek Simancik, Yevgeny Kazakov, Ian Horrocks. IJCAI 2011: 1093-1098 [doi]

2010

2009

Classifying ELH Ontologies In SQL DatabasesVincent Delaitre, Yevgeny Kazakov. semweb 2009: [doi]

Import-by-Query: Ontology Reasoning under Access LimitationsBernardo Cuenca Grau, Boris Motik, Yevgeny Kazakov. IJCAI 2009: 727-732 [doi]

Extracting Modules from Ontologies: A Logic-Based ApproachBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. In Heiner Stuckenschmidt, Christine Parent, Stefano Spaccapietra, editors, Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization. Volume 5445 of Lecture Notes in Computer Science, pages 159-186, Springer, 2009. [doi]

An Extension of Regularity Conditions for Complex Role Inclusion AxiomsYevgeny Kazakov. dlog 2009: [doi]

A Note on the Complexity of the Satisfiability Problem for Graded Modal LogicsYevgeny Kazakov, Ian Pratt-Hartmann. lics 2009: 407-416 [doi]

Consequence-Driven Reasoning for Horn SHIQ OntologiesYevgeny Kazakov. IJCAI 2009: 2040-2045 [doi]

Consequence-Driven Reasoning for Horn SHIQ OntologiesYevgeny Kazakov. dlog 2009: [doi]

2008

2007

Just the right amount: extracting modules from ontologiesBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. WWW 2007: 717-726 [doi]

A Logical Framework for Modularity of OntologiesBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. IJCAI 2007: 298-303 [doi]

Ontology Reuse: Better Safe than SorryBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. dlog 2007: [doi]

History Matters: Incremental Ontology Reasoning Using ModulesBernardo Cuenca Grau, Christian Halaschek-Wiener, Yevgeny Kazakov. semweb 2007: 183-196 [doi]

Extracting Modules from Ontologies: A Logic-based ApproachBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. ifip5-7 2007: [doi]

How Many Legs Do I Have? Non-Simple Roles in Number Restrictions RevisitedYevgeny Kazakov, Ulrike Sattler, Evgeny Zolin. lpar 2007: 303-317 [doi]

2006

A Resolution-Based Decision Procedure for ::::SHOIQ::::Yevgeny Kazakov, Boris Motik. cade 2006: 662-677 [doi]

2004

A Resolution Decision Procedure for the Guarded Fragment with Transitive GuardsYevgeny Kazakov, Hans de Nivelle. cade 2004: 122-136 [doi]

A Resolution Decision Procedure for the Guarded Fragment with Transitive GuardsYevgeny Kazakov. cade 2004: [doi]

A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded FragmentYevgeny Kazakov. jelia 2004: 372-384 [doi]

2003

Subsumption of Concepts in FL::0y:: for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-completeYevgeny Kazakov, Hans de Nivelle. dlog 2003: [doi]