Combining Ontology Class Expression Generation with Mathematical Modeling for Ontology Learning