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