| Original language | English |
|---|---|
| Title of host publication | Proc. of the 15th European Conference on Artificial Intelligence (ECAI-2002) |
| Publisher | IOS Press |
| Publication status | Published - 2002 |
Optimised Reasoning for {$\mathcal SHIQ$}
I Horrocks, U Sattler
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review