On the Relationship between Description Logic-based and F-Logic-based Ontologies