Ordering Heuristics for Description Logic Reasoning.

Dmitry Tsarkov, Ian Horrocks

Browse the full IJCAI paper archive.