Seppo Törmä
2020-03-09
Digital Construction Variables
Ontology of variables and constraints. Variables are needed to represent the intermediate stages of problem solving or decision making that are encountered, for example, in planning and scheduling processes. Variables are defined as a class that resembles rdf:Statement used for RDF reification. A variable has a VariableDomain that is an instance-level representation for the set of possible values that can be given to the variable. Constraints are associated to variables, and they can concern one, two or more variables.
2020-01-12
The variable representation is orthogonal to the other definitions in the ontologies: any property can be associated with a variable and consequently also constraints, if need be. It means that not all properties of the same type need be variables; instead, this can be determined by the use scenario.
dicv
https://w3id.org/digitalconstruction/Variables
Digital Construction Variables
A Constraint that is applicable in a Context
hasApplicableConstraint
The Comparison operator of an ArithmeticConstraint. For example, in 'variable1 LessThan variable2' the Comparison operator is LessThan
hasComparison
A Constraint that is part of a CompositeConstraint
hasConstituentConstraint
hasObjectValue
hasOperator
hasPossibleValue
Associates an objectified property to any entity
hasProperty
A relation to associate a Variable to any object
hasPropertyVariable
hasValueType
A relation to associate a Constraint with a Variable
hasVariable
The first variable of a constraint
hasVariable1
The second variable of a constraint
hasVariable2
The third variable of a constraint
hasVariable3
The relation that associates a Variable with a VariableDomain
hasVariableDomain
The Context in which the Constraint is applicable
isApplicableIn
The relation that associates a Property with a Constraint
isConstrainedBy
Associates the Property to the thing whose property it is
isPropertyOf
The relation that associates a VariableDomain with a Variable
isVariableDomainOf
The property that associates a Variable with the property whose variable it is
isVariableFor
The relation that associates the Variable with the object to which the variable belongs to
isVariableOf
hasLowerBound
hasUpperBound
hasValue
Artihmetic constraints have an operator (hasOperator) and are of the form: variable1 operator variable2 = variable3. For example, startTime + duration = endTime.
ArithmeticConstraint
A Constraint between two Variables
BinaryConstraint
Comparison operator between variables. Examples: equal or less than.
Comparison
Combination of other constraints, either elementary or composite ones. Examples are conjunctive composition (and) or negated composition (not).
CompositeConstraint
Constraint that is a conjuction (logical and) of the constituent constraints
ConjunctiveConstraint
A constraint limits the possible values that specified variables can simultaneously have. Examples are that values of a set of variables need to be same, or all different, or that the value of first variable is less than the value of second one.
Constraint
A constraint that states that the involved variables have different values
DifferentValues
Constraint that is a disjuction (logical ord) of the constituent constraints
DisjunctiveConstraint
Constraint that limits the distance between variable1 and variable2.
DistanceConstraint
Constraint that does not have other more simple constraints as its parts.
ElementaryConstraint
A domain of enumerated values. Should be used with object properties
EnumeratedDomain
Constraint that specifies that the distance of variable1 and variable2 is a fixed value.
FixedDistance
Ordered domain that is represented with the minimum and maximum limits. Useful for example in temporal reasoning.
IntervalDomain
A BinaryConstraint for the value of variable1 to be less than the value of variable2
LessThan
Constraint representing that variable1 is less than variable2
LessThanOrEqual
Constraint that limits the distance of variable1 and variable2 to be less than or equal to fixed maximum value.
MaxDistance
A UnaryConstraint that limits the maximum value of the variable
MaxValue
Constraint that limits the distance of variable1 and variable2 to be greater than or equal to fixed minimum value.
MinDistance
A UnaryConstraint that limits the minimum value of the variable
MinValue
A composite constraint that is negation of its constituent constraints (conjunctively, if there are multiple)
NegatedConstraint
A unary constraint that limits the values of a variable to one of the enumerated values
OneOfValues
Artihmetic operators, such as plus, minus, times and divide.
Operator
A domain of ordered values. Should be used with DataProperties that have ordered domains (such as numbers).
OrderedDomain
An objectified property
Property
Constraint that limits the value of the variable to be a fixed value.
PropertyState
A constraint for all involved variables to have same values
SameValues
Constraint between three variables.
TernaryConstraint
A Constraint on one Variable
UnaryConstraint
A representation of a property that can assume different values, possibly limited by constraints
Variable
An instance/literal level representation for the set of possible values that can be given to the variable
VariableDomain