Adam Pease Geoff Sutcliffe First Order Reasoning on a Large Ontology. 2007 ESARLT http://ceur-ws.org/Vol-257/07_Pease.pdf conf/cade/2007esarlt db/conf/cade/esarlt2007.html#PeaseS07