 | 2009 |
|---|
| 23 |       | Yevgeny Kazakov:
An Extension of Regularity Conditions for Complex Role Inclusion Axioms.
Description Logics 2009 |
| 22 | | Yevgeny Kazakov:
Consequence-Driven Reasoning for Horn SHIQ Ontologies.
Description Logics 2009 |
| 21 | | Yevgeny Kazakov:
Consequence-Driven Reasoning for Horn SHIQ Ontologies.
IJCAI 2009: 2040-2045 |
| 20 | | Bernardo Cuenca Grau,
Boris Motik,
Yevgeny Kazakov:
Import-by-Query: Ontology Reasoning under Access Limitations.
IJCAI 2009: 727-732 |
| 19 | | Bernardo Cuenca Grau,
Ian Horrocks,
Yevgeny Kazakov,
Ulrike Sattler:
Extracting Modules from Ontologies: A Logic-Based Approach.
Modular Ontologies 2009: 159-186 |
| 18 | | Yevgeny Kazakov,
Ian Pratt-Hartmann:
A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
CoRR abs/0905.3108: (2009) |
| 2008 |
|---|
| 17 | | Yevgeny Kazakov:
SRIQ and SROIQ are Harder than SHOIQ.
Description Logics 2008 |
| 16 |  | Yevgeny Kazakov:
RIQ and SROIQ Are Harder than SHOIQ.
KR 2008: 274-284 |
| 15 | | Birte Glimm,
Yevgeny Kazakov:
Role Conjunctions in Expressive Description Logics.
LPAR 2008: 391-405 |
| 14 | | Bernardo Cuenca Grau,
Ian Horrocks,
Yevgeny Kazakov,
Ulrike Sattler:
Modular Reuse of Ontologies: Theory and Practice.
J. Artif. Intell. Res. (JAIR) 31: 273-318 (2008) |
| 13 | | Yevgeny Kazakov,
Boris Motik:
A Resolution-Based Decision Procedure for SHOIQ.
J. Autom. Reasoning 40(2-3): 89-116 (2008) |
| 12 | | Yevgeny Kazakov,
Boris Motik:
A Resolution-Based Decision Procedure for SHOIQ.
J. Autom. Reasoning 40(4): 357 (2008) |
| 2007 |
|---|
| 11 | | Bernardo Cuenca Grau,
Ian Horrocks,
Yevgeny Kazakov,
Ulrike Sattler:
Ontology Reuse: Better Safe than Sorry.
Description Logics 2007 |
| 10 | | Bernardo Cuenca Grau,
Ian Horrocks,
Yevgeny Kazakov,
Ulrike Sattler:
A Logical Framework for Modularity of Ontologies.
IJCAI 2007: 298-303 |
| 9 | | Bernardo Cuenca Grau,
Christian Halaschek-Wiener,
Yevgeny Kazakov:
History Matters: Incremental Ontology Reasoning Using Modules.
ISWC/ASWC 2007: 183-196 |
| 8 | | Yevgeny Kazakov,
Ulrike Sattler,
Evgeny Zolin:
How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited.
LPAR 2007: 303-317 |
| 7 | | Bernardo Cuenca Grau,
Ian Horrocks,
Yevgeny Kazakov,
Ulrike Sattler:
Extracting Modules from Ontologies: A Logic-based Approach.
OWLED 2007 |
| 6 | | Bernardo Cuenca Grau,
Ian Horrocks,
Yevgeny Kazakov,
Ulrike Sattler:
Just the right amount: extracting modules from ontologies.
WWW 2007: 717-726 |
| 2006 |
|---|
| 5 | | Yevgeny Kazakov,
Boris Motik:
A Resolution-Based Decision Procedure for SHOIQ.
IJCAR 2006: 662-677 |
| 2004 |
|---|
| 4 | | Yevgeny Kazakov,
Hans de Nivelle:
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
IJCAR 2004: 122-136 |
| 3 | | Yevgeny Kazakov:
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
IJCAR Doctoral Programme 2004 |
| 2 | | Yevgeny Kazakov:
A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment.
JELIA 2004: 372-384 |
| 2003 |
|---|
| 1 | | Yevgeny Kazakov,
Hans de Nivelle:
Subsumption of Concepts in FL0y for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete.
Description Logics 2003 |
