 | 2009 |
|---|
| 10 |       | Birte Glimm,
Sebastian Rudolph:
Conjunctive Query Entailment: Decidable in Spite of O, I, and Q.
Description Logics 2009 |
| 2008 |
|---|
| 9 | | Birte Glimm,
Ian Horrocks,
Ulrike Sattler:
Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata.
Description Logics 2008 |
| 8 |  | Birte Glimm,
Ian Horrocks,
Ulrike Sattler:
Unions of Conjunctive Queries in SHOQ.
KR 2008: 252-262 |
| 7 | | Birte Glimm,
Yevgeny Kazakov:
Role Conjunctions in Expressive Description Logics.
LPAR 2008: 391-405 |
| 6 | | Birte Glimm,
Carsten Lutz,
Ian Horrocks,
Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ.
J. Artif. Intell. Res. (JAIR) 31: 157-204 (2008) |
| 2007 |
|---|
| 5 | | Birte Glimm,
Ian Horrocks,
Ulrike Sattler:
Conjunctive Query Entailment for SHOQ.
Description Logics 2007 |
| 4 | | Birte Glimm,
Ian Horrocks,
Carsten Lutz,
Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ.
IJCAI 2007: 399-404 |
| 3 | | Ian Horrocks,
Birte Glimm,
Ulrike Sattler:
Hybrid Logics and Ontology Languages.
Electr. Notes Theor. Comput. Sci. 174(6): 3-14 (2007) |
| 2006 |
|---|
| 2 | | Birte Glimm,
Ian Horrocks,
Ulrike Sattler:
Conjunctive Query Answering for Description Logics with Transitive Roles.
Description Logics 2006 |
| 2005 |
|---|
| 1 | | Birte Glimm,
Ian Horrocks:
Handling Cyclic Conjunctive Queries.
Description Logics 2005 |
