# Copyright 2016 ITEA 12004 SEAS Project. # # Licensed under the Apache License, Version 2.0 (the "License"); # you may not use this file except in compliance with the License. # You may obtain a copy of the License at # # http://www.apache.org/licenses/LICENSE-2.0 # # Unless required by applicable law or agreed to in writing, # distributed under the License is distributed on an "AS IS" BASIS, # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. # See the License for the specific language governing permissions and # limitations under the License. @prefix rdf: . @prefix owl: . @prefix rdfs: . @prefix xsd: . @prefix dcterms: . @prefix vann: . @prefix voaf: . @prefix vs: . @prefix saref: . @prefix foaf: . @prefix pep: . @prefix seas: . @base . voaf:Vocabulary a owl:Class . dcterms:title a owl:AnnotationProperty . dcterms:description a owl:AnnotationProperty . dcterms:issued a owl:AnnotationProperty . dcterms:modified a owl:AnnotationProperty . dcterms:creator a owl:AnnotationProperty . dcterms:contributor a owl:AnnotationProperty . dcterms:license a owl:AnnotationProperty . vann:preferredNamespacePrefix a owl:AnnotationProperty . vann:preferredNamespaceUri a owl:AnnotationProperty . vs:term_status a owl:AnnotationProperty . foaf:Person a owl:Class . foaf:name a owl:DatatypeProperty . seas:OptimizationOntology rdf:type voaf:Vocabulary , owl:Ontology ; dcterms:title "The SEAS OptimizationProcess ontology"@en ; dcterms:description """The SEAS OptimizationProcess ontology extends the [Process Execution ontology (PEP)](https://w3id.org/pep/) and defines: - `seas:OptimizationExecutor` that implement `seas:OptimizationProcess` processes and do `seas:OptimizationExecution`s Sub types of `seas:OptimizationExecutor`, `seas:OptimizationProcess`, and `seas:OptimizationExecution`, may constrain the type of the value of the property. For instance ontology `seas:BooleanOntology` may define `seas:BooleanOptimizationExecutor`, `seas:BooleanOptimizationProcess`, 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) """@en ; dcterms:issued "2016-11-22"^^xsd:date ; dcterms:modified "2016-11-22"^^xsd:date ; dcterms:creator ; dcterms:license ; vann:preferredNamespacePrefix "seas" ; vann:preferredNamespaceUri ; owl:imports ; owl:versionIRI ; owl:versionInfo "v1.0" . seas:OptimizationProcess a owl:Class ; rdfs:label "Optimization Process"@en ; rdfs:comment """Optimization Process is the process of optimizing a property."""@en ; rdfs:subClassOf pep:Process ; vs:term_status "testing" ; rdfs:isDefinedBy seas:OptimizationOntology . seas:OptimizationExecutor a owl:Class ; rdfs:label "Optimization Executor"@en ; rdfs:comment """An Optimization Executor implements some Optimization process, and may generate Optimization execution."""@en ; rdfs:subClassOf pep:ProcessExecutor ; rdfs:subClassOf [ owl:onProperty pep:implements ; owl:someValuesFrom seas:OptimizationProcess ] ; owl:equivalentClass [ owl:onProperty pep:implements ; owl:someValuesFrom seas:OptimizationProcess ] ; vs:term_status "testing" ; rdfs:isDefinedBy seas:OptimizationOntology . seas:OptimizationExecution a owl:Class ; rdfs:label "Optimization Execution"@en ; rdfs:comment """An Optimization execution is the execution of some Optimization process by some Optimization executor."""@en ; rdfs:subClassOf pep:ProcessExecution ; rdfs:subClassOf [ owl:onProperty pep:executedBy ; owl:someValuesFrom seas:OptimizationExecutor ] ; rdfs:subClassOf [ owl:onProperty pep:methodUsed ; owl:someValuesFrom seas:OptimizationProcess ] ; rdfs:subClassOf [ owl:onProperty seas:optimizesProperty ; owl:someValuesFrom seas:Property ] ; owl:equivalentClass [ owl:onProperty pep:methodUsed ; owl:someValuesFrom seas:OptimizationProcess ] ; vs:term_status "testing" ; rdfs:isDefinedBy seas:OptimizationOntology . seas:optimizesProperty a owl:ObjectProperty ; rdfs:label "optimizes property"@en ; rdfs:comment """Links an OptimizationProcess, OptimizationExecutor, or OptimizationExecution, to the property it optimizes. If an OptimizationProcess optimizes a property, then any OptimizationExecutor that implements this OptimizationProcess also optimizes this property, and any OptimizationExecution that used this OptimizationProcess 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:methodUsed o seas:optimizesProperty . seas:optimizesProperty < pep:executedBy o seas:optimizesProperty . ```"""@en ; rdfs:domain [ owl:unionOf ( seas:OptimizationProcess seas:OptimizationExecutor seas:OptimizationExecution ) ] ; rdfs:range seas:Property ; owl:propertyChainAxiom ( pep:implements seas:optimizesProperty ) ; owl:propertyChainAxiom ( pep:methodUsed seas:optimizesProperty ) ; owl:propertyChainAxiom ( pep:executedBy seas:optimizesProperty ) ; vs:term_status "testing" ; rdfs:isDefinedBy seas:OptimizationOntology . seas:optimizes a owl:ObjectProperty ; rdfs:label "optimizes"@en ; rdfs:comment """Links an OptimizationProcess, 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 OptimizationProcess optimizes a feature of interest, then any OptimizationExecutor that implements this OptimizationProcess also optimizes this feature of interest, and any OptimizationExecution that used this OptimizationProcess 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:methodUsed o seas:optimizes . seas:optimizes < pep:methodUsed o seas:optimizes . seas:optimizes < pep:executedBy o seas:optimizes . ``` """@en ; rdfs:domain [ owl:unionOf ( seas:OptimizationProcess seas:OptimizationExecutor seas:OptimizationExecution ) ] ; rdfs:range seas:FeatureOfInterest ; # owl:propertyChainAxiom ( seas:optimizesProperty seas:isPropertyOf ) ; # not allowed in OWL 2 DL vs:term_status "testing" ; rdfs:isDefinedBy seas:OptimizationOntology .