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. Paderborn, 2016
Inhalt
- Introduction
- Software Services and Ontologies
- Component-Based Software Engineering
- Services, SaaS and SOA
- Web Services
- The Visions of Semantic Web and OTF Computing
- Ontologies
- Ontology Languages and Semantics
- Visualization of Ontologies within this Thesis
- Reasoning, Queries and Rules
- Ontology Imports and Ontology Mapping
- Semantic Services
- Model Management and Optimization Software
- Basic Notions
- Model Management
- Modeling Lifecycle and Model Formulation
- Structured Modeling
- Model Integration and Composition
- Distributed Model Management and SOA
- Optimization Software
- Conclusion
- Problem Identification and Objectives
- Ontology-based Representation of Optimization Models
- Basic Approach
- A First Example Model: Min-Cost-Flow with integrality Requirements
- Structure of the Representation
- Ontology Structure
- Top Level Definitions in OM
- The Set-Parameter-Indexing Vocabulary
- The Mathematical Properties Ontology
- Ontology Specifications for the Min-Cost-Flow Problem
- Expression Structure Separation and AML Derivation
- Flow Type Example of a Statement Derivation
- Requirements and Design Considerations for Queries and Derivation Implementations
- A Balance-Type Example of a Statement Derivation
- Algebraic Model Derivation Process
- Conclusion of Statement Derivation and Structure
- Reengineering of AML Models
- Model Instantiation Services
- Obtaining Model Properties from the Ontology Representation
- Generating Model Instantiation and Solver Service Descriptions
- Conclusion
- Reusability and Model Formulation in the Ontology Representation
- Considerations for Min-Cost-Flow Models
- The Single Commodity Balance Hierarchies
- Considerations for a Multicommodity Flow Model
- Two Types with Generic Summations
- Ontology Specifications for a general Min-Cost-Flow Model
- Discussion of MDO and Formulation Ontology Type Design
- Considerations for a Water Network Case Study
- Introduction to Water Distribution Systems Planning
- The Case Study Model
- Pipe Headloss and Linearization Types
- Model Formulation Considerations
- Types and Formulation Choices concerning Integrality Requirements
- Soft Constraints
- Conclusion
- Consolidation: A MINLP Model for Pipe Renewal Planning
- Literature Review: Pipe Renewal Planning and Optimization
- Multiperiod Renewal Planning: Problem Statement and Approach
- MINLP Model
- Numerical Results
- Tool Support
- Conclusion and Outlook
- Bibliography
- Common Shortcuts
- Ontology Definitions and Digital Material