2017-08-29 2017-08-29 The SEAS OptimizationProcedure ontology extends the [Procedure Execution ontology (PEP)](https://w3id.org/pep/) and defines: - `seas:OptimizationExecutor` that implement `seas:OptimizationProcedure` procedures and do `seas:OptimizationExecution`s Sub types of `seas:OptimizationExecutor`, `seas:OptimizationProcedure`, and `seas:OptimizationExecution`, may constrain the type of the value of the property. For instance ontology `seas:BooleanOntology` may define `seas:BooleanOptimizationExecutor`, `seas:BooleanOptimizationProcedure`, and `seas:BooleanOptimizationExecution`, that constrain the optimized property to be a `seas:BooleanProperty`. Figure below provides an overview of the concepts in this ontology: [![Overview of the Optimization ontology](https://w3id.org/seas/optimization.png)](https://w3id.org/seas/optimization.png) v1.1 seas The SEAS OptimizationProcedure ontology testing Optimization Procedure is the procedure of optimizing a property. Optimization Procedure testing An Optimization Executor implements some Optimization procedure, and may generate Optimization execution. Optimization Executor Optimization Execution An Optimization execution is the execution of some Optimization procedure by some Optimization executor. testing testing Links an OptimizationProcedure, OptimizationExecutor, or OptimizationExecution, to the feature of interest a property of which it optimizes. If `x` optimizes a property, then it also optimizes the feature of interest of this property: ``` seas:optimizesProperty < seas:optimizes o seas:isPropertyOf . ``` If an OptimizationProcedure optimizes a feature of interest, then any OptimizationExecutor that implements this OptimizationProcedure also optimizes this feature of interest, and any OptimizationExecution that used this OptimizationProcedure also optimizes this feature of interest. Furthermore, if an OptimizationExecutor optimizes a feature of interest, then any OptimizationExecution executed by this OptimizationExecutor also optimizes this feature of interest: ``` seas:optimizes < pep:usedProcedure o seas:optimizes . seas:optimizes < pep:usedProcedure o seas:optimizes . seas:optimizes < pep:madeBy o seas:optimizes . ``` optimizes optimizes property testing Links an OptimizationProcedure, OptimizationExecutor, or OptimizationExecution, to the property it optimizes. If an OptimizationProcedure optimizes a property, then any OptimizationExecutor that implements this OptimizationProcedure also optimizes this property, and any OptimizationExecution that used this OptimizationProcedure also optimizes this property. Furthermore, if an OptimizationExecutor optimizes a property, then any OptimizationExecution executed by this OptimizationExecutor also optimizes this property: ``` seas:optimizesProperty < pep:implements o seas:optimizesProperty . seas:optimizesProperty < pep:usedProcedure o seas:optimizesProperty . seas:optimizesProperty < pep:madeBy o seas:optimizesProperty . ```