Fork me on GitHub

The SEAS OptimizationProcedure ontology

The SEAS OptimizationProcedure ontology extends the Procedure Execution ontology (PEP) and defines:

  • seas:OptimizationExecutor that implement seas:OptimizationProcedure procedures and do seas:OptimizationExecutions

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

Classes

OptimizationExecution

Label: Optimization Execution

IRI: https://w3id.org/seas/OptimizationExecution

An Optimization execution is the execution of some Optimization procedure by some Optimization executor.

OptimizationExecutor

Label: Optimization Executor

IRI: https://w3id.org/seas/OptimizationExecutor

An Optimization Executor implements some Optimization procedure, and may generate Optimization execution.

OptimizationProcedure

Label: Optimization Procedure

IRI: https://w3id.org/seas/OptimizationProcedure

Optimization Procedure is the procedure of optimizing a property.

Object Properties

optimizes

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 .

optimizesProperty

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 .