Sean Bechhofer Carole A. Goble Ian Horrocks DAML+OIL is not Enough. 151-159 2001 conf/semweb/2001swws SWWS http://www.semanticweb.org/SWWS/program/full/paper40.pdf db/conf/semweb/swws2001.html#BechhoferGH01