| 2008 |
|---|
| 16 | EE | Yevgeny Kazakov:
SRIQ and SROIQ are Harder than SHOIQ.
Description Logics 2008 |
| 15 | | Yevgeny Kazakov:
RIQ and SROIQ Are Harder than SHOIQ.
KR 2008: 274-284 |
| 14 | EE | Birte Glimm,
Yevgeny Kazakov:
Role Conjunctions in Expressive Description Logics.
LPAR 2008: 391-405 |
| 13 | EE | Yevgeny Kazakov,
Boris Motik:
A Resolution-Based Decision Procedure for SHOIQ.
J. Autom. Reasoning 40(2-3): 89-116 (2008) |
| 12 | EE | Yevgeny Kazakov,
Boris Motik:
A Resolution-Based Decision Procedure for SHOIQ.
J. Autom. Reasoning 40(4): 357 (2008) |
| 2007 |
|---|
| 11 | EE | Bernardo Cuenca Grau,
Ian Horrocks,
Yevgeny Kazakov,
Ulrike Sattler:
Ontology Reuse: Better Safe than Sorry.
Description Logics 2007 |
| 10 | EE | Bernardo Cuenca Grau,
Ian Horrocks,
Yevgeny Kazakov,
Ulrike Sattler:
A Logical Framework for Modularity of Ontologies.
IJCAI 2007: 298-303 |
| 9 | EE | Bernardo Cuenca Grau,
Christian Halaschek-Wiener,
Yevgeny Kazakov:
History Matters: Incremental Ontology Reasoning Using Modules.
ISWC/ASWC 2007: 183-196 |
| 8 | EE | Yevgeny Kazakov,
Ulrike Sattler,
Evgeny Zolin:
How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited.
LPAR 2007: 303-317 |
| 7 | EE | Bernardo Cuenca Grau,
Ian Horrocks,
Yevgeny Kazakov,
Ulrike Sattler:
Extracting Modules from Ontologies: A Logic-based Approach.
OWLED 2007 |
| 6 | EE | Bernardo Cuenca Grau,
Ian Horrocks,
Yevgeny Kazakov,
Ulrike Sattler:
Just the right amount: extracting modules from ontologies.
WWW 2007: 717-726 |
| 2006 |
|---|
| 5 | EE | Yevgeny Kazakov,
Boris Motik:
A Resolution-Based Decision Procedure for SHOIQ.
IJCAR 2006: 662-677 |
| 2004 |
|---|
| 4 | EE | Yevgeny Kazakov,
Hans de Nivelle:
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
IJCAR 2004: 122-136 |
| 3 | EE | Yevgeny Kazakov:
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
IJCAR Doctoral Programme 2004 |
| 2 | EE | Yevgeny Kazakov:
A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment.
JELIA 2004: 372-384 |
| 2003 |
|---|
| 1 | EE | Yevgeny Kazakov,
Hans de Nivelle:
Subsumption of Concepts in FL0y for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete.
Description Logics 2003 |
