Adam Pease, Geoff Sutcliffe. First Order Reasoning on a Large Ontology. In Geoff Sutcliffe, Josef Urban, Stephan Schulz, editors, Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007. Volume 257 of CEUR Workshop Proceedings, CEUR-WS.org, 2007. [doi]
Abstract is missing.