Ian Horrocks Peter F. Patel-Schneider The Generation of DAML+OIL. 2001 conf/dlog/2001 Description Logics http://CEUR-WS.org/Vol-49/HorrocksPatelSchneider-30start.ps db/conf/dlog/dlog2001.html#HorrocksP01