Providing First-Order Reasoning Support to Large and Complex Ontologies