| Original language | English |
|---|---|
| Title of host publication | Proc. of the International Joint Conference on Artificial Intelligence (IJCAI-2003) |
| Publication status | Published - 2003 |
Decidability of {$\mathcal SHIQ$} with Complex Role Inclusion Axioms
I Horrocks, U Sattler
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review