When one Logic is Not Enough: Integrating First-order Annotations in OWL Ontologies