Ontology-based representation of abstract optimization models for model formulation and system generation / von Dipl.-Math. Florian Stapel. Gutachter: 1. Prof. Dr. Leena Suhl ; 2. Prof. Dr. Taïb Mellouli