Issued: 2017-08-29
The SEAS OptimizationProcedure ontology extends the Procedure Execution ontology (PEP) and defines:
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:
Label: Optimization Execution
IRI: https://w3id.org/seas/OptimizationExecution
An Optimization execution is the execution of some Optimization procedure by some Optimization executor.
sub class of: https://w3id.org/pep/ProcedureExecution
Label: Optimization Executor
IRI: https://w3id.org/seas/OptimizationExecutor
An Optimization Executor implements some Optimization procedure, and may generate Optimization execution.
Label: Optimization Procedure
IRI: https://w3id.org/seas/OptimizationProcedure
Optimization Procedure is the procedure of optimizing a property.
sub class of: https://w3id.org/pep/Procedure
Label: optimizes
IRI: https://w3id.org/seas/optimizes
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 .
range: FeatureOfInterest
Label: optimizes property
IRI: https://w3id.org/seas/optimizesProperty
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 .