FaCT and DLP.

Ian Horrocks, Peter F. Patel-Schneider

Browse the full TABLEAUX paper archive.