Approximating FOL Ontologies using OWL2