Ontology for Parametric Systems

IRI:
https://w3id.org/ops
Current version :
1.1
Authors :
https://www.researchgate.net/profile/Anna_Wagner13
Other visualisation :
Ontology source - WebVowl

Table of Content

  1. Introduction
  2. Classes
  3. Object Properties
  4. Data Properties
  5. Annotation Properties
  6. Namespace Declarations

Introduction

The OPS serves as a connector ontology for parametric systems. To obtain the flexibility to chose how the parametric constraints are described, the OPS does not consider the definition of constraints, but suggests to link to RDF-based or non-RDF constraint descriptions. To allow the evaluation of parametric systems in accordance to the Constraint Satisfaction Problem (CSP) approach, the OPS introduces concepts for variables, variable boundaries and systems of constraints that have to hold true at the same time. This work is part of the research project Semantic Construction Project Engineering (www.projekt-bpo.de), founded by the German Federal Ministry for Economic Affairs and Energy (BMWi).

Classes

constantc back to ToC or Class ToC

IRI: https://w3id.org/ops#Constant

A constant is a parameter with a static value that is not part of the non-parametric description, e.g. properties of the parametric product. The constant's value cannot be changed by the constraint solutions.
has super-classes
error1c
parameterc
is in range of
has constantop
is disjoint with
variablec

constraintc back to ToC or Class ToC

IRI: https://w3id.org/ops#Constraint

The constraint class represents singular constraints, e.g. of a constraint solution problem. A constraint can be a formal definition of valid value combinations of the variables that are considered in the constraint or defined as mathematical equation or inequation, respectively.
has super-classes
thingc
has parameterop min 2
is in domain of
has comlex constraint definitionop, has parameterop, has simple constraint definitiondp
is in range of
includes constraintop
is disjoint with
parameterc, systemc, variable boundaryc

parameterc back to ToC or Class ToC

IRI: https://w3id.org/ops#Parameter

A parameter is a generalised term that can represent both variables and constants that are part of constraints and parametric systems. A parameter can be described with its symbol that is used in constraint descriptions that are not based on RDF, e.g. MathML snippets or files.
has super-classes
thingc
has parameter symboldp max 1
has sub-classes
constantc, variablec
is in domain of
has parameter symboldp
is in range of
has parameterop
is disjoint with
constraintc, systemc, variable boundaryc

systemc back to ToC or Class ToC

IRI: https://w3id.org/ops#System

A parametric system groups all relevant constraints for a certain configuration problem, e.g. constraint solution problem. It exist in addition to the non-parametric description(s), e.g. product and geometry descriptions.
has super-classes
thingc
includes constraintop min 1
is in domain of
includes constraintop
is disjoint with
constraintc, parameterc, variable boundaryc

variablec back to ToC or Class ToC

IRI: https://w3id.org/ops#Variable

A variable is a parameter with a value that originates from the non-parametric description, e.g. properties of a parametric product or geometry description. Depending on the relation between a constraint and variable, the variable value may be changed by the constraint solution or has to be treated as a fixed value, similar to a constant value.
has super-classes
parameterc
(is bound byop max 1) and (representy individualop max 1) and (representy propertyop max 1) and (prefers valuedp max 1) and (tolerates deviationdp max 1)
is in domain of
is bound byop, prefers valuedp, represents value at indexdp, representy individualop, representy propertyop, tolerates deviationdp
is in range of
has adjustable variableop, has fixed variableop
is disjoint with
constantc

variable boundaryc back to ToC or Class ToC

IRI: https://w3id.org/ops#VariableBoundary

A variable boundary defines the acceptable range of a variable in terms of minimum and maximum values as well as a group of distinct acceptable values.
has super-classes
thingc
error2c and error3c
is in domain of
binds maximum value, binds minimum value, includes value
is in range of
is bound byop
is disjoint with
constraintc, parameterc, systemc

Object Properties

has adjustable variableop back to ToC or Object Property ToC

IRI: https://w3id.org/ops#hasAdjustableVariable

With the has adjustable variable, variables can be linked to constraints with the additional information that the variable value may be changed by the constraints' solution, i.e. the variable value is not fixed.
has super-properties
has parameterop
has range
variablec

has comlex constraint definitionop back to ToC or Object Property ToC

IRI: https://w3id.org/ops#hasComplexConstraintDefinition

The has complex constraint definition property attaches an RDF-based constraint definition to a constraint node, e.g. in form of a formal definition of allowable value combinations or a technical definition of a mathematical equation/inequation. Due to the property's generic nature, the property may range to any RDF-based description for constraints. Since a constraint represents exactly one situation, this property is modelled to be inverse functional.

has characteristics : inverse functional

has domain
constraintc

has constantop back to ToC or Object Property ToC

IRI: https://w3id.org/ops#hasConstant

The has constant property links a constraint to a constant that is considered within the constraint definition.
has super-properties
has parameterop
has range
constantc

has fixed variableop back to ToC or Object Property ToC

IRI: https://w3id.org/ops#hasFixedVariable

The has fixed variable property establishes a link between a constraint and a variable that is considered within the constraint's definition but cannot be changed in its value by the constraint's solution. To define a variable not to be adjustable, this property must be applied, as not specifically defined variables are assumed to be adjustable.
has super-properties
has parameterop
has range
variablec

has parameterop back to ToC or Object Property ToC

IRI: https://w3id.org/ops#hasParameter

The has parameter property is a generic property to establish a link between a constraint and any parameters, i.e. constants and variables, that are considered by the constraint. This property does not give insights on the adjustability of the related variables, per default it is to be assumed that a variable may be changed in its value.
has sub-properties
has adjustable variableop, has constantop, has fixed variableop
has domain
constraintc
has range
parameterc

includes constraintop back to ToC or Object Property ToC

IRI: https://w3id.org/ops#includesConstraint

The includes constraint property can be applied to relate a parametric system to constraints that are part of the overall system.
has domain
systemc
has range
constraintc

is bound byop back to ToC or Object Property ToC

IRI: https://w3id.org/ops#isBoundBy

With the is bound by property, a variable can be related to a variable boundary to define the variable's acceptable value range. As a functional property is dedicated to describe the acceptable value range of one singular variable, this property is modelled to be inverse functional.

has characteristics : inverse functional

has domain
variablec
has range
variable boundaryc

representy individualop back to ToC or Object Property ToC

IRI: https://w3id.org/ops#representsIndividual

The represents individual property creates a link between a variable and the individual of the non-parametric description, e.g. a product or geometry description, that is the domain of the variable's considered property. Together with the represents individual property, the represents property property can be used in a SPARQL query to extract the given value that is represented by the variable, which serves as a default value, in case the variable is adjustable.
has domain
variablec
has range
named individualc

representy propertyop back to ToC or Object Property ToC

IRI: https://w3id.org/ops#representsProperty

With the represents property property, a variable can be related to the datatype property that points to the considered value of the non-parametric description, e.g. product or geometry description. Together with the represents individual property, the represents property property can be used in a SPARQL query to extract the given value that is represented by the variable, which serves as a default value, in case the variable is adjustable.
has domain
variablec
has range
datatype propertyc

Data Properties

has parameter symboldp back to ToC or Data Property ToC

IRI: https://w3id.org/ops#hasParameterSymbol

The has parameter symbol property adds the symbol of a parameter with which the parameter is represented in a (non-RDF) constraint description.
has domain
parameterc

has simple constraint definitiondp back to ToC or Data Property ToC

IRI: https://w3id.org/ops#hasSimpleConstraintDefinition

The has simple constraint definition property attaches an non-RDF constraint definition to a constraint node, e.g. in form of a formal definition of allowable value combinations or a technical definition of a mathematical equation/inequation (MathML snippet or file).
has domain
constraintc

prefers valuedp back to ToC or Data Property ToC

IRI: https://w3id.org/ops#prefersValue

The prefers value property defines the ideal value of a variable to enable constraint optimisation problems. A preferred variable value is -- in contrast to a variable boundary -- not restricting the range of acceptable values but serves to optimise the solution output.
has domain
variablec

represents value at indexdp back to ToC or Data Property ToC

IRI: https://w3id.org/ops#representsValueAtIndex

In case the corresponding value of a variable is part of an ordered list, the represents value at index property can be applied to define the index of the corresponding value within its list.
has domain
variablec
has range
non negative integer

tolerates deviationdp back to ToC or Data Property ToC

IRI: https://w3id.org/ops#toleratesDeviation

The tolerates deviation property defines how far the variable value may deviate from the defined preferred variable value before a penalty is given to the system's solution, e.g. in form of weights. While the tolerated deviation of individual variables may vary, the assigned weight for overstepping the tolerance is uniform throughout the system. The penalty should be given for every multiple of the tolerance that has been overstepped. E.g. if the preferred value is defined to be '3' and the toleratable deviation is '1', a solution with a value of '4' may get one penalty, while a solution with a value of '6' may get three penalties.
has domain
variablec

Annotation Properties

binds maximum valueap back to ToC or Annotation Property ToC

IRI: https://w3id.org/ops#bindsMaxValue

The binds maximum value property defines the maximum value of a variable boundary in case the variable value is continuous.
has super-properties
max valueap
has domain
variable boundaryc

binds minimum valueap back to ToC or Annotation Property ToC

IRI: https://w3id.org/ops#bindsMinValue

The binds minimum value property defines the minimum value of a variable boundary in case the variable value is continuous.
has super-properties
min valueap
has domain
variable boundaryc

cardinalityap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2002/07/owl#cardinality

includes valueap back to ToC or Annotation Property ToC

IRI: https://w3id.org/ops#includesValue

The includes value property can be applied to variable boundaries to attach valid variable values to the boundary in case the variable value is discrete.
has domain
variable boundaryc

max cardinalityap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2002/07/owl#maxCardinality

max valueap back to ToC or Annotation Property ToC

IRI: https://schema.org/maxValue

has sub-properties
binds maximum valueap

min valueap back to ToC or Annotation Property ToC

IRI: https://schema.org/minValue

has sub-properties
binds minimum valueap

Namespace Declarations back to ToC

default namespace
https://w3id.org/ops#
dc
http://purl.org/dc/elements/1.1/
error
http://org.semanticweb.owlapi/error#
ops
https://w3id.org/ops#
owl
http://www.w3.org/2002/07/owl#
profile
https://www.researchgate.net/profile/
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
schema
https://schema.org/
vann
http://purl.org/vocab/vann/
w3id-org
https://w3id.org/
xsd
http://www.w3.org/2001/XMLSchema#

This HTML document was obtained by processing the OWL ontology source code through LODE, Live OWL Documentation Environment, developed by Silvio Peroni .