made by p y LODE 2.8.5

Digital Construction Variables

Metadata

URI
https://w3id.org/digitalconstruction/0.5/Variables
Creator (s)
Seppo Törmä
Created
2020-01-12
License
https://creativecommons.org/licenses/by/4.0/
Ontology RDF
RDF (turtle)

Description

The objectified property representation is orthogonal to the other definitions in the ontologies: any property can be objectified and consequently be subject of constraints.

Table of Contents

  1. Classes
  2. Object Properties
  3. Datatype Properties
  4. Annotation Properties
  5. Named Individuals
  6. Namespaces
  7. Legend

Overview

The purpose of the Digital Construction Variables ontology is to support the objectification of properties to enable the attachement of more richer data about them: different values at different states (such as different timepoints), quantity kinds, unit of measurement, and constraints on the value.

Overview of the core classes - Property , PropertyState , QuantitativeProperty and QuantitativeState - is shown in the figure below. Property and PropertyState are classes for objectification of properties in general and their respective subclasses QuantitativeProperty and QuantitativeState are meant for properties with numerical values.

An example of the objectification of a property is provided in the figure below (drawn in the Chowlk notation ). The object :scenario1 of the type dici:Scenario that has the datatype property dices:hasInvestmentPaybackTime with the value "10"^^xsd:decimal . This is represented as a simple RDF triple. When more information about this property needs to be expressed, an object of type dicv:QuantitativeProperty is created and the :scenario1 is connected to it through dicv:hasProperty relation. Now it is possible to associate to the property object a quantity kind object (of type dicv:QuantityKind ) through the relation dicv:hasQuantityKind .

The property object can be associate a value directly, through the datatype property dicv:hasValue , and also the unit of measure, through the object property dicv:hasUnit . However, when the evolution of the values need to be captured, the property objects can be associated with property states, and in this case specifically with a dicv:QuantitativeState . The quantitative state allow the association of the value ( dicv:hasValue ), unit ( dicv:hasUnit ) and time ( dicv:hasTimeOfCreation ).

The classes of Digital Construction Variables ontology are aligned with QUDT , SSN/SOSA and Saref ontologies according the diagram below. The full alignments are available at the separate alignment modules.

Classes &uparrow

Property c

URI http://www.w3.org/1999/02/22-rdf-syntax-ns#Property
In range of isPropertyFor op

BinaryConstraint c

URI https://w3id.org/digitalconstruction/0.5/Variables#BinaryConstraint
Super-classes QuantitativeConstraint c
In domain of hasOperator op
constrainsProperty2 op

Comparison c

URI https://w3id.org/digitalconstruction/0.5/Variables#Comparison
Description

Comparison operator between Properties. Examples: equal or less than.

In range of hasComparison op

CompositeConstraint c

URI https://w3id.org/digitalconstruction/0.5/Variables#CompositeConstraint
Description

Combination of other constraints, either elementary or composite ones. Examples are conjunctive composition (and) or negated composition (not).

Super-classes Constraint c
Sub-classes NegatedConstraint c
DisjunctiveConstraint c
ConjunctiveConstraint c
In domain of hasConstituentConstraint op

ConjunctiveConstraint c

URI https://w3id.org/digitalconstruction/0.5/Variables#ConjunctiveConstraint
Description

Constraint that is a conjuction (logical and) of the constituent constraints

Super-classes CompositeConstraint c

Constraint c

URI https://w3id.org/digitalconstruction/0.5/Variables#Constraint
Description

A constraint limits the possible values that specified Properties can simultaneously have. Examples: values of a set of Prperties must all be same, or all different, or that the value of first Property is less than the value of second one.

Sub-classes CompositeConstraint c
ElementaryConstraint c
In domain of hasPreferenceDegree dp
constrainsProperty op
In range of isConstrainedBy op
hasConstituentConstraint op

DifferentValues c

URI https://w3id.org/digitalconstruction/0.5/Variables#DifferentValues
Description

A Constraint that states that the involved Properties (two or more) must have different values.

Super-classes ElementaryConstraint c

DisjunctiveConstraint c

URI https://w3id.org/digitalconstruction/0.5/Variables#DisjunctiveConstraint
Description

Constraint that is a disjuction (logical ord) of the constituent constraints

Super-classes CompositeConstraint c

ElementaryConstraint c

URI https://w3id.org/digitalconstruction/0.5/Variables#ElementaryConstraint
Description

Constraint that does not have other more simple constraints as its parts.

Super-classes Constraint c
Sub-classes SameValues c
QuantitativeConstraint c
OneOfValues c
DifferentValues c

EnumeratedDomain c

URI https://w3id.org/digitalconstruction/0.5/Variables#EnumeratedDomain
Description

A domain of enumerated values. Should be used with object properties

Super-classes ValueDomain c
In domain of hasPossibleValue op

IntervalDomain c

URI https://w3id.org/digitalconstruction/0.5/Variables#IntervalDomain
Description

Ordered domain that is represented with the minimum and maximum limits. Useful for example in temporal reasoning.

Super-classes OrderedDomain c
In domain of hasLowerBound dp
hasUpperBound dp

NegatedConstraint c

URI https://w3id.org/digitalconstruction/0.5/Variables#NegatedConstraint
Description

A composite constraint that is negation of its constituent constraints (conjunctively, if there are multiple)

Super-classes CompositeConstraint c

OneOfValues c

URI https://w3id.org/digitalconstruction/0.5/Variables#OneOfValues
Description

A unary constraint that limits the values of a property to one of the enumerated values

Super-classes ElementaryConstraint c

Operator c

URI https://w3id.org/digitalconstruction/0.5/Variables#Operator
Description

Artihmetic operators, such as plus, minus, times and divide.

In range of hasOperator op

OrderedDomain c

URI https://w3id.org/digitalconstruction/0.5/Variables#OrderedDomain
Description

A domain of ordered values. Should be used with DataProperties that have ordered domains (such as numbers).

Super-classes ValueDomain c
Sub-classes IntervalDomain c

Property c

URI https://w3id.org/digitalconstruction/0.5/Variables#Property
Description

An objectified property

Sub-classes QuantitativeProperty c
In domain of dependsOnProperty op
isPredictionOf op
isConstrainedBy op
hasValueDomain op
isParameterOf op
hasPropertyState op
isPropertyFor op
isPropertyOf op
In range of hasProperty op
constrainsProperty1 op
hasParameter op
dependsOnProperty op
constrainsProperty3 op
constrainsProperty op
hasPrediction op
constrainsProperty2 op
isValueDomainOf op

PropertyState c

URI https://w3id.org/digitalconstruction/0.5/Variables#PropertyState
Description

Defines or constrains the value of a Property.

Sub-classes QuantitativeState c
In domain of hasTimeOfValidity dp
hasTimeOfCreation dp
In range of hasPropertyState op

QuantitativeConstraint c

URI https://w3id.org/digitalconstruction/0.5/Variables#QuantitativeConstraint
Super-classes ElementaryConstraint c
Sub-classes BinaryConstraint c
TernaryConstraint c
In domain of hasComparison op
constrainsProperty1 op

QuantitativeProperty c

URI https://w3id.org/digitalconstruction/0.5/Variables#QuantitativeProperty
Description

A Property that can assume quantitative values. Examples: 'height', 'weight', 'number of items'

Super-classes Property c
Restrictions hasPropertyState op only QuantitativeState c
In domain of hasQuantityKind op

QuantitativeState c

URI https://w3id.org/digitalconstruction/0.5/Variables#QuantitativeState
Super-classes PropertyState c

QuantityKind c

URI https://w3id.org/digitalconstruction/0.5/Variables#QuantityKind
Description

Quantity Kind - Aligned with qudt:QuantityKind

Super-classes owl:Thing c
In range of hasQuantityKind op

SameValues c

URI https://w3id.org/digitalconstruction/0.5/Variables#SameValues
Description

A constraint for all involved Properties must have a same value

Super-classes ElementaryConstraint c

Subject c

URI https://w3id.org/digitalconstruction/0.5/Variables#Subject
Description

Anything that can have properties

In domain of hasProperty op
hasParameter op
hasPrediction op
In range of isParameterOf op
isPredictionOf op
isPropertyOf op

TernaryConstraint c

URI https://w3id.org/digitalconstruction/0.5/Variables#TernaryConstraint
Super-classes QuantitativeConstraint c
In domain of constrainsProperty3 op

Unit c

URI https://w3id.org/digitalconstruction/0.5/Variables#Unit
Description

Unit of Measure - Aligned with qudt:Unit

Super-classes owl:Thing c
In range of hasUnit op

ValueDomain c

URI https://w3id.org/digitalconstruction/0.5/Variables#ValueDomain
Description

An instance/literal level representation for the set of possible values that can be given to the variable

Sub-classes EnumeratedDomain c
OrderedDomain c
In domain of hasValueType op
isValueDomainOf op
In range of hasValueDomain op

Object Properties &uparrow

constrainsProperty op

URI https://w3id.org/digitalconstruction/0.5/Variables#constrainsProperty
Description A relation to associate a Constraint with a Property
Inverse properties isConstrainedBy op
Domain(s) Constraint c
Range(s) Property c

constrainsProperty1 op

URI https://w3id.org/digitalconstruction/0.5/Variables#constrainsProperty1
Description The first property associated with a constraint
Super-properties constrainsProperty op
Domain(s) QuantitativeConstraint c
Range(s) Property c

constrainsProperty2 op

URI https://w3id.org/digitalconstruction/0.5/Variables#constrainsProperty2
Description The second property associated with a constraint
Super-properties constrainsProperty op
Domain(s) BinaryConstraint c
Range(s) Property c

constrainsProperty3 op

URI https://w3id.org/digitalconstruction/0.5/Variables#constrainsProperty3
Description The third property associated with a constraint
Super-properties constrainsProperty op
Domain(s) TernaryConstraint c
Range(s) Property c

dependsOnProperty op

URI https://w3id.org/digitalconstruction/0.5/Variables#dependsOnProperty
Domain(s) Property c
Range(s) Property c

hasComparison op

URI https://w3id.org/digitalconstruction/0.5/Variables#hasComparison
Description The Comparison operator of an ArithmeticConstraint. For example, in 'property1 LessThan property2' the Comparison operator is LessThan
Domain(s) QuantitativeConstraint c
Range(s) Comparison c

hasConstituentConstraint op

URI https://w3id.org/digitalconstruction/0.5/Variables#hasConstituentConstraint
Description A Constraint that is part of a CompositeConstraint
Domain(s) CompositeConstraint c
Range(s) Constraint c

hasObjectValue op

URI https://w3id.org/digitalconstruction/0.5/Variables#hasObjectValue
Description Associates an object value (owl:Thing) to a property or property state
Range(s) owl:Thing c

hasOperator op

URI https://w3id.org/digitalconstruction/0.5/Variables#hasOperator
Domain(s) BinaryConstraint c
Range(s) Operator c

hasParameter op

URI https://w3id.org/digitalconstruction/0.5/Variables#hasParameter
Description A relation to a property that is a parameter to the object, that is, an input or a given. For example, a scenario can have a parameter priceIndex
Super-properties hasProperty op
Inverse properties isParameterOf op
Domain(s) Subject c
Range(s) Property c

hasPossibleValue op

URI https://w3id.org/digitalconstruction/0.5/Variables#hasPossibleValue
Domain(s) EnumeratedDomain c

hasPrediction op

URI https://w3id.org/digitalconstruction/0.5/Variables#hasPrediction
Description A relation to a property that is a prediction generated by the object, that is, an output or a result. For example, a scenario can have a prediction paybackTime
Super-properties hasProperty op
Inverse properties isPredictionOf op
Domain(s) Subject c
Range(s) Property c

hasProperty op

URI https://w3id.org/digitalconstruction/0.5/Variables#hasProperty
Description Associates an objectified property to any entity
Inverse properties isPropertyOf op
Domain(s) Subject c
Range(s) Property c

hasPropertyState op

URI https://w3id.org/digitalconstruction/0.5/Variables#hasPropertyState
Domain(s) Property c
Range(s) PropertyState c

hasQuantityKind op

URI https://w3id.org/digitalconstruction/0.5/Variables#hasQuantityKind
Domain(s) QuantitativeProperty c
Range(s) QuantityKind c

hasUnit op

URI https://w3id.org/digitalconstruction/0.5/Variables#hasUnit
Description Associates a unit of measure to a value
Domain(s) ( Property c or PropertyState c )
Range(s) Unit c

hasValueDomain op

URI https://w3id.org/digitalconstruction/0.5/Variables#hasValueDomain
Description The relation that associates a Property with a ValueDomain
Inverse properties isValueDomainOf op
Domain(s) Property c
Range(s) ValueDomain c

hasValueType op

URI https://w3id.org/digitalconstruction/0.5/Variables#hasValueType
Domain(s) ValueDomain c

isConstrainedBy op

URI https://w3id.org/digitalconstruction/0.5/Variables#isConstrainedBy
Description The relation that associates a Property with a Constraint
Domain(s) Property c
Range(s) Constraint c

isParameterOf op

URI https://w3id.org/digitalconstruction/0.5/Variables#isParameterOf
Description A relation to an object whose parameter (an input property or a given) this is. For example, a priceIndex is a parameter of a scenario
Super-properties isPropertyOf op
Domain(s) Property c
Range(s) Subject c

isPredictionOf op

URI https://w3id.org/digitalconstruction/0.5/Variables#isPredictionOf
Description A relation to an object whose prediction (an output property or a result) this is. For example, paybackTime is a prediction of a scenario
Super-properties isPropertyOf op
Domain(s) Property c
Range(s) Subject c

isPropertyFor op

URI https://w3id.org/digitalconstruction/0.5/Variables#isPropertyFor
Description Associates a Property object to the owl:ObjectProperty or owl:DatatypeProperty that it objectifies
Domain(s) Property c
Range(s) rdf:Property c

isPropertyOf op

URI https://w3id.org/digitalconstruction/0.5/Variables#isPropertyOf
Description Associates the Property to the thing whose property it is
Domain(s) Property c
Range(s) Subject c

isValueDomainOf op

URI https://w3id.org/digitalconstruction/0.5/Variables#isValueDomainOf
Description The relation that associates a ValueDomain with a Property
Domain(s) ValueDomain c
Range(s) Property c

Datatype Properties &uparrow

hasLowerBound dp

URI https://w3id.org/digitalconstruction/0.5/Variables#hasLowerBound
Domain(s) IntervalDomain c

hasPreferenceDegree dp

URI https://w3id.org/digitalconstruction/0.5/Variables#hasPreferenceDegree
Description Specifies that the constraint is actually a soft constraint with the specified degree of preference for holding. The preference is between [0.0, 1.0], with 0.0 meaning no preference at all and 1.0 that it is mandatory that the constraint holds
Domain(s) Constraint c
Range(s) xsd:decimal c

hasTimeOfCreation dp

URI https://w3id.org/digitalconstruction/0.5/Variables#hasTimeOfCreation
Description The time when the value was created. For example, when the value was recorded.
Domain(s) PropertyState c
Range(s) xsd:dateTime c

hasTimeOfValidity dp

URI https://w3id.org/digitalconstruction/0.5/Variables#hasTimeOfValidity
Description The time when the value specified became valid. For example, the occurrence time of the phenomenon or the event that caused the value.
Domain(s) PropertyState c
Range(s) xsd:dateTime c

hasUpperBound dp

URI https://w3id.org/digitalconstruction/0.5/Variables#hasUpperBound
Domain(s) IntervalDomain c

hasValue dp

URI https://w3id.org/digitalconstruction/0.5/Variables#hasValue
Description Associates a data value to a Property, a PropertyState, or a QuantitativeConstraint
Domain(s) ( Property c or PropertyState c or QuantitativeConstraint c )
Range(s) rdfs:Literal c

Annotation Properties &uparrow

creator ap

URI http://purl.org/dc/elements/1.1/creator

date ap

URI http://purl.org/dc/elements/1.1/date

title ap

URI http://purl.org/dc/elements/1.1/title

abstract ap

URI http://purl.org/dc/terms/abstract

created ap

URI http://purl.org/dc/terms/created

description ap

URI http://purl.org/dc/terms/description

license ap

URI http://purl.org/dc/terms/license

preferredNamespacePrefix ap

URI http://purl.org/vocab/vann/preferredNamespacePrefix

preferredNamespaceUri ap

URI http://purl.org/vocab/vann/preferredNamespaceUri

Named Individuals &uparrow

Divide ni

Classes(s)
Operator
URI https://w3id.org/digitalconstruction/0.5/Variables#Divide

Equal ni

Classes(s)
Comparison
URI https://w3id.org/digitalconstruction/0.5/Variables#Equal

Less ni

Classes(s)
Comparison
URI https://w3id.org/digitalconstruction/0.5/Variables#Less

LessOrEqual ni

Classes(s)
Comparison
URI https://w3id.org/digitalconstruction/0.5/Variables#LessOrEqual

Minus ni

Classes(s)
Operator
URI https://w3id.org/digitalconstruction/0.5/Variables#Minus

NotEqual ni

Classes(s)
Comparison
URI https://w3id.org/digitalconstruction/0.5/Variables#NotEqual

Plus ni

Classes(s)
Operator
URI https://w3id.org/digitalconstruction/0.5/Variables#Plus

Times ni

Classes(s)
Operator
URI https://w3id.org/digitalconstruction/0.5/Variables#Times

Namespaces &uparrow

:
https://w3id.org/digitalconstruction/0.5/Variables#
owl
http://www.w3.org/2002/07/owl#
prov
http://www.w3.org/ns/prov#
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
sdo
https://schema.org/
skos
http://www.w3.org/2004/02/skos/core#
xsd
http://www.w3.org/2001/XMLSchema#

Legend

c Classes
op Object Properties
fp Functional Properties
dp Data Properties
dp Annotation Properties
p Properties
ni Named Individuals