OntoCAPE.owl
type: Ontology
license: Copyright (C) [2009] [Andreas Wiesner] This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 3 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program; if not, see <http://www.gnu.org/licenses/>.
comment: The module imports all ontology modules up to and inluding the conceptual layer.
version info: 2.0

hasFraction
type: ObjectProperty
sub property of: hasMultiplicity
inverse of: indicatesFraction
type: InverseFunctionalProperty
comment: The relation hasFraction indicates the fractional amount a RepresentativeParticle may have in a DistributedMaterialAmount.

hasHeatDuty
type: ObjectProperty
sub property of: hasProperty
range: MassTransferCoefficient
comment: The relation hasHeatDuty indicates the amount of heat absorbed by a ParticularSystem.

hasPermeability
type: ObjectProperty
sub property of: object-featureRelation
domain: MaterialAmountConnection
range: Permeability
comment: The relation hasPermeability indicates whether or not a MaterialAmountConnection has a selectivity for certain ChemicalComponents.

hasPermeableChemicalComponent
type: ObjectProperty
sub property of: isDirectlyRelatedTo
domain: MaterialAmountConnection
range: ChemicalComponent
comment: The relation hasPermeableChemicalComponent indicates which ChemicalComponent may pass and diffuse through a certain MaterialAmountConnection.

hasPressureDrop
type: ObjectProperty
sub property of: hasProperty
type: InverseFunctionalProperty
comment: The relation hasProperty assigns a particular PressureDrop to a chosen System.

hasRepresentativeParticle
type: ObjectProperty
sub property of: containsDirectly
domain: ParticulateMaterialAmount
comment: The relation hasRepresentativeParticle assigns a particular RepresentativeParticle to a DistributedMaterialAmount for a qualitative description of the System.

indicatesFraction
type: ObjectProperty
sub property of: indicatesMultiplicityOf
comment: The relation indicatesFraction refers a certain fraction to the corresponding Member.

isDispersedIn
type: ObjectProperty
sub property of: isDirectlyRelatedTo
inverse of: surrounds
domain: DispersedMaterialAmount
range: ContinuousMaterialAmount
comment: The relation isDispersedIn indicates that a quantity of particles, namely DispersedMaterialAmount, is partly or totally dispersed in a ContinuousMaterialAmount.

refersToDistributedMaterialAmount
type: ObjectProperty
sub property of: refersToMultiset
domain: FractionalAmount
range: ParticulateMaterialAmount
comment: The relation refersToDistributedMaterialAmount assigns a particular fractional amount for qualitative description reasons to a DistributedMaterialAmount.

refersToMaterial
type: ObjectProperty
sub property of: isDirectlyRelatedTo
domain: Class
  union of: MaterialAmount
  union of: MaterialAmountConnection
range: Material
comment: The relation refersToMaterial indicates the dependencies between MaterialAmount and MaterialAmountConnection respectively on the one hand and the according Material on the other hand.

surrounds
type: ObjectProperty
sub property of: isDirectlyRelatedTo
domain: ContinuousMaterialAmount
range: DispersedMaterialAmount
comment: The relation surrounds describes that a ContinuousMaterialAmount surrounds a DispersedMaterialAmount.

hasChemicalReactionNetwork
type: ObjectProperty
sub property of: isDirectlyRelatedTo
domain: Reaction
range: ReactionNetwork
comment: The relation hasChemicalRectionNetwork indicates that a reaction as considered on a rather macroscopic perspective of an early design stage may be the result of an sequence of reactions occurring on the bases of several phases.

hasOperationMode
type: ObjectProperty
sub property of: isOfType
domain: Class
  union of: BatchProcess
  union of: ProcessStream
range: ModeOfOperation
comment: The relation hasOperationMode indicates by which operation modes a particular process state is achieved.

hasPressureDifference
type: ObjectProperty
sub property of: hasProperty
domain: PressureChange
range: PressureDifference
comment: The relation hasPressureDifference indicates the intended difference between two pressure state.

hasVapourRatio
type: ObjectProperty
sub property of: hasProperty
domain: Flashing
range: FlashVaporRatio
comment: The relation hasVaporRatio indicates the liquid-vapor ratio of a particular mixture at a certain state within a vessel.

hasControlLoopArchitecture
type: ObjectProperty
sub property of: isOfType
type: FunctionalProperty
domain: ControlLoop
range: ControlLoopArchitectureVT
comment: The relation hasControlLoopArchitecture refers from a equipment to the corresponding fixture.

hasLinearity
type: ObjectProperty
sub property of: isOfType
type: FunctionalProperty
domain: FunctionBlock
range: LinearityVT
comment: The relation hasLinearity refers from a FunctionBlock to its LinearityValueType.

hasResponseCharacteristics
type: ObjectProperty
sub property of: isOfType
type: FunctionalProperty
domain: FunctionBlock
range: ResponseCharacteristicsVT
comment: The relation hasResponseCharacteristics refers from the function block to its ResponseCharacteristicsValueType.

addsUp
type: ObjectProperty
sub property of: hasDirectPart
domain: AccumulatedCosts
range: Costs
comment: The relation addsUp indicates that a partial cost belongs to particular AccumulatedCosts.

isCostOfPlantItem
type: ObjectProperty
sub property of: inter-objectRelation
domain: Class
  union of: EquipmentCosts
  union of: InstrumentationCosts
  union of: PipeCosts
range: PlantItem
comment: The relation isCostOfPlantItem indicates that a partial cost belongs to particular PlantItem.

hasCapacity
type: ObjectProperty
sub property of: hasCharacteristic
domain: Equipment
comment: The relation hasCapacity indicates equipment’s capacity.

hasConnector
type: ObjectProperty
sub property of: isComposedOfSubsystem
inverse of: isConnectorOf
domain: Class
  union of: Instrument
  union of: PieceOfEquipment
  union of: PipeSegment
range: PlantItemInterface
comment: The relation hasConnector refers from a PieceOfEquipment or a PipeSegment or an Instrument to the corresponding PlantItemInterface.

hasConstructionMaterial
type: ObjectProperty
sub property of: inter-objectRelation
domain: PlantItem
range: Substance
comment: The relation hasConstructionMaterial refers to the Material chosen for construction of PlantItems.

hasEfficiency
type: ObjectProperty
sub property of: hasCharacteristic
domain: Equipment
comment: The relation hasPumpEfficiency indicates a machine’s efficiency

hasFixture
type: ObjectProperty
sub property of: isComposedOfSubsystem
inverse of: isFixtureOf
domain: Equipment
range: Fixture
comment: The relation hasFixture refers from a Equipment to the corresponding Fixture.

hasHeight
type: ObjectProperty
sub property of: hasCharacteristic
domain: PieceOfEquipment
comment: The relation hasHeight refers the height of equipment.

hasInsideDiameter
type: ObjectProperty
sub property of: hasCharacteristic
domain: Class
  union of: Instrument
  union of: PieceOfEquipment
  union of: Pipe
comment: The relation hasDiameter indicates an equipment’s inside diameter.

hasPowerOutput
type: ObjectProperty
sub property of: hasCharacteristic
domain: Machine
comment: The relation hasPowerOutput indicates a machine’s magnitude of power output.

isConnectorOf
type: ObjectProperty
sub property of: isExclusivelySubsystemOf
domain: PlantItemInterface
range: Class
  union of: Instrument
  union of: PieceOfEquipment
  union of: PipeSegment
comment: The relation isConnectorOf refers from a PlantItemInterface to the corresponding piece of EquipmentOrPipeSegmentOrInstrument.

isFixtureOf
type: ObjectProperty
sub property of: isExclusivelySubsystemOf
domain: Fixture
range: Equipment
comment: The relation isFixtureOf refers from a Fixture to the corresponding Equipment.

hasReaction
type: ObjectProperty
sub property of: isDirectlyRelatedTo
domain: Class
  union of: PhaseInterface
  union of: SinglePhase
comment: The relation hasReaction links a PhaseReaction to the SinglePhase or PhaseInterface where it takes place.

hasStateOfAggregation
type: ObjectProperty
sub property of: hasCharacteristic
type: FunctionalProperty
domain: SinglePhase
range: StateOfAggregation
comment: The relation hasStateOfAggregation indicates the StateOfAggregation of a SinglePhase.

has composition
type: ObjectProperty
sub property of: hasProperty
domain: SinglePhase
comment: Auxiliary relation, introduced as workaround for a qualified cardinality restriction (QCR).

has physical context
type: ObjectProperty
sub property of: hasProperty
domain: PhaseSystem
range: PhysicalContext
comment: Auxiliary relation, introduced as workaround for a qualified cardinality restriction (QCR).

representsOccurenceOf
type: ObjectProperty
sub property of: isDirectlyRelatedTo
type: FunctionalProperty
range: Class
  union of: ChemicalReaction
  union of: ChemicalComponent
comment: The relation representsOccurenceOf establishes the relationship between a PhaseComponent and the corresponding ChemicalComponent.

hasProduct
type: ObjectProperty
sub property of: isDirectlyRelatedTo
domain: ChemicalReaction
range: Class
  union of: ChemicalSpecies
  union of: MolecularEntity
comment: The relation hasProduct denotes the products of a ChemicalReaction. A product is a MolecularEntity or a ChemicalSpecies that is formed during a ChemicalReaction.

hasReactant
type: ObjectProperty
sub property of: isDirectlyRelatedTo
domain: ChemicalReaction
range: Class
  union of: ChemicalSpecies
  union of: MolecularEntity
comment: The relation hasReactant denotes the reactants of a ChemicalReaction. A reactant is a MolecularEntity or a ChemicalSpecies that consumed in the course of a ChemicalReaction.

indicatesMultiplicityOf
type: ObjectProperty
sub property of: hasTargetObject
type: FunctionalProperty
domain: StoichiometricCoefficient
range: Class
  union of: ChemicalSpecies
  union of: MolecularEntity
comment: The relation indicatesMultiplicityOf indicates the multiplicity of the reactants and products participating in a ChemicalReaction.

hasMolecularStructure
type: ObjectProperty
sub property of: isDirectlyRelatedTo
domain: ChemicalSpecies
range: MolecularEntity
comment: The relation hasMolecularStructure points from a ChemicalSpecies (describing a substance form a macroscopic perspective) to the corresponding MolecularEntity (describing the same pure substance from a molecular perspective).

hasDAE Explicitness
type: ObjectProperty
sub property of: hasCharacteristic
domain: DifferentialAlgebraicEquationSystem
range: DAE Explicitness
comment: Indicates an EquationSystemCharacteristic of type DAE_explicitness.

hasLinearity
type: ObjectProperty
sub property of: hasCharacteristic
domain: Class
  union of: AlgebraicEquationSystem
  union of: DifferentialAlgebraicEquationSystem
range: Linearity
comment: Indicates an EquationSystemCharacteristic of type Linearity

hasModelRepresentationForm
type: ObjectProperty
sub property of: hasCharacteristic
domain: MathematicalModel
range: ModelRepresentationForm
comment: Indicates an EquationSystemCharacteristic of type ModelRepresentationForm

hasNumericalStiffness
type: ObjectProperty
sub property of: hasCharacteristic
domain: OrdinaryDifferentialEquationSystem
range: NumericalStiffness
comment: Indicates an EquationSystemCharacteristic of type NumericalStiffness

hasODE explicitness
type: ObjectProperty
sub property of: hasCharacteristic
domain: OrdinaryDifferentialEquationSystem
range: ODE Explicitness
comment: Indicates an EquationSystemCharacteristic of type ODE_Explicitness.

hasVariablesType
type: ObjectProperty
sub property of: hasCharacteristic
domain: MathematicalModel
range: VariablesType
comment: Indicates an EquationSystemCharacteristic of type VariablesType

correspondsToQuantity
type: ObjectProperty
sub property of: inter-objectRelation
type: FunctionalProperty
domain: ModelVariable
range: Class
  intersection of: PhysicalQuantity
  intersection of: Restriction
    on property: isPropertyOf
    some values from: ModeledObject
comment: The relation denotes an one-to-one correspondence between a ModelVariable and a PhysicalQuantity of the ModeledObject.

determinesPositionOf
type: ObjectProperty
sub property of: determinesPositionOf
domain: PortIndex
range: ModelVariable
comment: The one-to-one relation between a PortIndex and the corresponding ModelVariable.

hasCoupling
type: ObjectProperty
sub property of: hasProperty
domain: MathematicalModel
range: Coupling
comment: The relation indicates a Coupling between two Submodels of a MathematicalModel.

hasModelPort
type: ObjectProperty
sub property of: hasProperty
domain: MathematicalModel
range: ModelPort
comment: The relation identifies the ModelPort of a MathematicalModel.

hasModelVariable
type: ObjectProperty
sub property of: hasProperty
domain: MathematicalModel
range: ModelVariable
comment: The relation indicates the ModelVariables of a MathematicalModel.

isIndexOf
type: ObjectProperty
sub property of: isIndexOfArray
inverse of: isOrderedBy
domain: PortIndex
range: ModelPort
comment: The relation isIndexOf points form a PortIndex to the associated ModelPort.

isOrderedBy
type: ObjectProperty
sub property of: isOrderedBy
domain: ModelPort
range: PortIndex
comment: The relation isOrderedBy points from an ModelPort to its sorting PortIndex.

applies
type: ObjectProperty
sub property of: containsDirectly
domain: ModelSolutionStrategy
range: ModelSolutionStrategy
comment: A ModelSolutionStrategy may apply some other, specialized ModelSolutionStrategy (e.g., for initialization, solving corrector equation, solution of a subproblem, etc.).

hasTypeOfInvolvedSteps
type: ObjectProperty
sub property of: hasCharacteristic
type: FunctionalProperty
domain: ODE SolutionStrategy
range: TypeOfInvolvedSteps
comment: Indicates the TypeOfInvolvedSteps of an ODE_SolutionStrategy.

solves
type: ObjectProperty
sub property of: isDirectlyRelatedTo
domain: ModelSolutionStrategy
range: MathematicalModel
comment: The relation indicates the type of MathematicalModel, for the solution of which a particular ModelSolutionStrategy is designated

hasModelingPrinciple
type: ObjectProperty
sub property of: hasCharacteristic
type: FunctionalProperty
domain: ProcessModel
range: ModelingPrinciple
comment: Indicates the ModelingPrinciple on which a ProcessModel is based.

isAssociatedWith
type: ObjectProperty
sub property of: object-featureRelation
domain: Law
range: PhysicochemicalPhenomenon
comment: The relation denotes a correspondence between a law and a PhysicochemicalPhenomenon. The former gives a quantitative, the latter a qualitative description of a certain physical behavior.

isDefinedBy
type: ObjectProperty
domain: SI DerivedUnit
range: Node
comment: The relation isDefinedBy links an SI_DerivedUnit to a Node, which represents the right hand side of a definition equation for the SI_DerivedUnit.

hasShapeRepresentation
type: ObjectProperty
sub property of: hasAspectSystem
inverse of: representsShapeOf
range: Solid
comment: points from a System to the Solid that represents its geometry

hasSurfaceGeometry
type: ObjectProperty
sub property of: hasAspectSystem
inverse of: representsSurfaceGeometryOf
range: Surface
comment: points from a System to the Surface that represents its geometry

has area
type: ObjectProperty
sub property of: hasProperty
domain: Class
  union of: Solid
  union of: Surface
range: SurfaceArea
comment: workaround for QCR which is a feature of modeling currently not available from OWL.

has length
type: ObjectProperty
sub property of: hasProperty
domain: Class
  union of: Solid
  union of: Surface
range: Class
  union of: Diameter
  union of: EdgeLength
  union of: Height
  union of: Radius
comment: workaround for QCR which is a feature of modeling currently not available from OWL.

has volume
type: ObjectProperty
sub property of: hasProperty
domain: Solid
range: Volume
comment: workaround for QCR which is a feature of modeling currently not available from OWL.

representsShapeOf
type: ObjectProperty
sub property of: representsAspectOf
domain: Solid
comment: points from a Solid to the System whose geometry the Solid represents

representsSurfaceGeometryOf
type: ObjectProperty
sub property of: representsAspectOf
domain: Surface
comment: points from a Surface to the System whose geometry the Surface represents

hasAncestor
type: ObjectProperty
sub property of: hasAncestor
inverse of: hasDescendent
type: TransitiveProperty
domain: Node
range: Node
comment: The ancestors of a Node are the Nodes that precede the current Node in the tree (i.e., the Node’s parent, grandparent, etc.).

hasChild
type: ObjectProperty
sub property of: hasDescendent
inverse of: hasParent
domain: Node
range: Node
comment: The relation hasChild points to the children of a Node; it subsumes the relations hasLeftChild and hasRightChild.

hasDescendent
type: ObjectProperty
sub property of: hasDescendent
type: TransitiveProperty
domain: Node
range: Node
comment: The descendents of a Node are the Nodes that succeed the current Node in the tree (i.e., the Node’s children, grandchildren, etc.).

hasLeftChild
type: ObjectProperty
sub property of: hasChild
inverse of: isLeftChildOf
domain: Node
range: Node
comment: The relation hasLeftChild links a parent Node to its left child Node.

hasNodeValue
type: ObjectProperty
sub property of: object-featureRelation
domain: Node
range: NodeValue
comment: The relation hasNodeValue links a NodeValue to a Node.

hasParent
type: ObjectProperty
sub property of: hasAncestor
domain: Node
range: Node
comment: The relation hasParent points to the parent of a Node.

hasRightChild
type: ObjectProperty
sub property of: hasChild
inverse of: isRightChildOf
domain: Node
range: Node
comment: The relation hasRightChild links a parent Node to its right child Node.

isLeftChildOf
type: ObjectProperty
sub property of: hasParent
domain: Node
range: Node
comment: The relation isLeftChildOf points from the left child Node to its parent Node.

isRightChildOf
type: ObjectProperty
sub property of: hasParent
domain: Node
range: Node
comment: The relation isRightChildOf points from the right child Node to its parent Node.

hasStartingTime
type: ObjectProperty
sub property of: isObservedAgainstBackdrop
type: FunctionalProperty
domain: ScalarValue
range: Class
  union of: CoordinateValue
  union of: Restriction
    on property: isValueOf
    some values from: TemporalCoordinate
comment: Indicates the starting time of a TimePeriod.

has axis 1
type: ObjectProperty
sub property of: hasAxis
type: InverseFunctionalProperty
comment: Workaround for QCR

has axis 2
type: ObjectProperty
sub property of: hasAxis
type: InverseFunctionalProperty
comment: Workaround for QCR

has axis 3
type: ObjectProperty
sub property of: hasAxis
type: InverseFunctionalProperty
comment: Workaround for QCR

hasAxis
type: ObjectProperty
sub property of: object-featureRelation
domain: CoordinateSystem
range: CoordinateSystemAxis
comment: The relation hasAxis identifies the CoordinateSystemAxes that belong to a particular CoordinateSystem.

hasCoordinate
type: ObjectProperty
sub property of: hasProperty
domain: CoordinateSystem
range: Coordinate
comment: The relation hasCoordinate indicates the Coordinates of a CoordinateSystem.

refersToAxis
type: ObjectProperty
sub property of: object-featureRelation
type: FunctionalProperty
domain: Coordinate
range: CoordinateSystemAxis
comment: By means of the relation refersToAxis, a Coordinate can be further specified. For example, a spatial coordinate may refer to the x-axis of a spatial coordinate system, thus clarifying its spatial orientation.

enters
type: ObjectProperty
sub property of: isPredecessorOf
inverse of: hasInput
domain: DirectedConnection
range: Device
comment: The relation Enters interconnects an ingoing DirectedConnection to its target Device.

hasInput
type: ObjectProperty
sub property of: isSuccessorOf
domain: Device
range: DirectedConnection
comment: The relation hasInput connects a Device to an incoming DirectedConnection.

hasOutput
type: ObjectProperty
sub property of: isPredecessorOf
inverse of: leaves
domain: Device
range: DirectedConnection
comment: The relation hasOutput connects a Device to an outgoing DirectedConnection.

isPredecessorOf
type: ObjectProperty
sub property of: isConnectedTo
inverse of: isSuccessorOf
type: TransitiveProperty
domain: Class
  union of: Device
  union of: DirectedConnection
range: Class
  union of: Device
  union of: DirectedConnection
comment: The relation isPredecessorOf identifies all Devices and DirectedConnections that are predecessors of the considered one.

isSuccessorOf
type: ObjectProperty
sub property of: isConnectedTo
type: TransitiveProperty
domain: Class
  union of: Device
  union of: DirectedConnection
range: Class
  union of: Device
  union of: DirectedConnection
comment: The relation isSuccessorOf identifies all Devices and DirectedConnections that are successors of the considered one.

leaves
type: ObjectProperty
sub property of: isSuccessorOf
domain: DirectedConnection
range: Device
comment: The relation Leaves connects an outgoing DirectedConnection to its source Device.

sameAs
type: ObjectProperty
sub property of: isDirectlyRelatedTo
type: SymmetricProperty
domain: Connection
range: Class
  intersection of: Connection
  intersection of: Restriction
    on property: isDirectlyConnectedTo
    some values from: Device
comment: The relation denotes a correspondence between a Connection and its placeholder in a composition hierarchy

comprises
type: ObjectProperty
sub property of: inter-objectRelation
type: TransitiveProperty
domain: PropertySet
range: Property
comment: The relation Comprises indicates the members of a PropertySet.

comprisesDirectly
type: ObjectProperty
sub property of: comprises
comment: The relation ComprisesDirectly indicates the direct members of a PropertySet.

contains
type: ObjectProperty
sub property of: isRelatedTo
type: TransitiveProperty
domain: Supersystem
comment: The Contains relation constitutes an alternative to the hasSubsystem relation. It should be used instead of hasSubsystem - if the hasSubsystem relation causes performance problems, or - if only one side of the aggregation relation is of interest, namely the indication of the constituting elements of a supersystem

containsDirectly
type: ObjectProperty
sub property of: contains
sub property of: isDirectlyRelatedTo
comment: The relation containsDirectly is an alternative to the hasDirectSubsystem relation. It should be used instead of hasDirectSubsystem - if the hasDirectSubsystem relation causes performance problems, or - if only one side of the aggregation relation is of interest, namely the indication of the direct constituents Supersystem.

hasAspectSystem
type: ObjectProperty
sub property of: isComposedOfSubsystem
inverse of: representsAspectOf
range: AspectSystem
comment: The relation hasAspectSystem designates the AspectSystems of a System.

hasCharacteristic
type: ObjectProperty
domain: System
range: Class
  union of: QuantitativeValue
  union of: ValueEnumeration
comment: The hasCharacteristic relation constitutes a shorthand notation for the specification of a ConstantProperty and its Value.

hasDimension
type: ObjectProperty
type: FunctionalProperty
domain: Class
  union of: Property
  union of: UnitOfMeasure
range: PhysicalDimension
comment: The relation hasDimension specifies the PhysicalDimension of a PhysicalQuantity or a UnitOfMeasure.

hasDirectSubsystem
type: ObjectProperty
sub property of: hasSubsystem
sub property of: isDirectlyRelatedTo
inverse of: isDirectSubsystemOf
domain: Supersystem
range: Subsystem
comment: The relation hasDirectSubsystem refers from a Supersystem to its direct Subsystem.
version info: TODO: definfion eintragen

hasProperty
type: ObjectProperty
sub property of: inter-objectRelation
inverse of: isPropertyOf
type: InverseFunctionalProperty
domain: System
range: Property
comment: The relation hasProperty indicates the Properties of a System.

hasSubsystem
type: ObjectProperty
sub property of: isRelatedTo
inverse of: isSubsystemOf
type: TransitiveProperty
domain: Supersystem
range: Subsystem
comment: The relation hasSubsystem denotes the relation between a Supersystem and its Subsystem.

hasUnitOfMeasure
type: ObjectProperty
sub property of: object-featureRelation
type: FunctionalProperty
domain: QuantitativeValue
range: UnitOfMeasure
comment: The relation hasUnitOfMeasure establishes the UnitOfMeasure of a ScalarValue.

hasValue
type: ObjectProperty
sub property of: inter-objectRelation
inverse of: isValueOf
type: InverseFunctionalProperty
domain: Property
range: Value
comment: The hasValue relation designates the Values of a Property.

isBackdropOf
type: ObjectProperty
sub property of: inter-objectRelation
inverse of: isObservedAgainstBackdrop
domain: Value
range: Value
comment: The isBackdropOf relation states that the Value serves as a backdrop for the observation of some other Value.

isComposedOfSubsystem
type: ObjectProperty
sub property of: hasDirectSubsystem
inverse of: isExclusivelySubsystemOf
domain: Supersystem
comment: The relation isComposedOf indicates the non-sharable, direct Subsystem of a Supersystem.

isConnectedTo
type: ObjectProperty
sub property of: isRelatedTo
type: SymmetricProperty
type: TransitiveProperty
domain: System
range: System
comment: The relation isConnectedTo represents topological connectivity between System.

isConsideredUnderAspectOf
type: ObjectProperty
sub property of: object-featureRelation
domain: AspectSystem
range: Aspect
comment: The relation isConsideredUnderAspectOf indicates the type of an AspectSystem by referring to an instance of the Aspect class.

isDirectSubsystemOf
type: ObjectProperty
sub property of: isDirectlyRelatedTo
sub property of: isSubsystemOf
domain: Subsystem
range: Supersystem
comment: The relation isDirectlySubsystemOf links a Subsystem to its direct Supersystem.
version info: TODO: definition eintragen

isDirectlyConnectedTo
type: ObjectProperty
sub property of: isConnectedTo
sub property of: isDirectlyRelatedTo
type: SymmetricProperty
comment: The relation isDirectlyConnectedTo denotes the direct topological connectedness of two System.

isDirectlyRelatedTo
type: ObjectProperty
sub property of: isRelatedTo
type: SymmetricProperty
comment: The relation isDirectlyRelatedTo subsumes all kinds of direct inter-system relations.

isExclusivelySubsystemOf
type: ObjectProperty
sub property of: isDirectSubsystemOf
domain: Subsystem
range: Supersystem
comment: The relation isExclusivelySubsystemOf links a non-sharable Subsystem to its direct Supersystem.

isModeledBy
type: ObjectProperty
sub property of: isDirectlyRelatedTo
inverse of: models
domain: System
range: Model
comment: The relation isModeldBy points from a modeled System to its Model.

isObservedAgainstBackdrop
type: ObjectProperty
sub property of: inter-objectRelation
domain: Value
range: Value
comment: The isObservedAgainstBackdrop relation maps a Value against a backdrop Value.

isPropertyOf
type: ObjectProperty
sub property of: inter-objectRelation
type: FunctionalProperty
domain: Property
range: System
comment: The relation isPropertyOf links a Property instance to a System instance.

isRelatedTo
type: ObjectProperty
sub property of: inter-objectRelation
type: SymmetricProperty
type: TransitiveProperty
domain: System
range: System
comment: The relation isRelatedTo subsumes all kinds of inter-system relations.

isSubsystemOf
type: ObjectProperty
sub property of: isRelatedTo
type: TransitiveProperty
domain: Subsystem
range: Supersystem
comment: The relation isSubsystemOf refers from a Subsystem to its Supersystem.

isValueOf
type: ObjectProperty
sub property of: inter-objectRelation
type: FunctionalProperty
domain: Value
range: Property
comment: The relation isValueOf assigns a Value to a Property.

models
type: ObjectProperty
sub property of: isDirectlyRelatedTo
domain: Model
range: System
comment: The relation 'models' links a Model to the modeled System.

qualitativeValue
type: ObjectProperty
sub property of: object-featureRelation
domain: QualitativeValue
range: ValueEnumeration
comment: The relation qualitativeValue specifies the actual value of a QualitativeValue.

representsAspectOf
type: ObjectProperty
sub property of: isExclusivelySubsystemOf
domain: AspectSystem
comment: The relation representsAspectOf links a AspectSystem to its respective System.

constrains
type: ObjectProperty
sub property of: isDirectlyRelatedTo
inverse of: isConstrainedBy
domain: SystemRealization
range: SystemBehavior
comment: The constrains relation indicates that a SystemRealization imposes constraints on the SystemBehavior.

evaluates
type: ObjectProperty
sub property of: isDirectlyRelatedTo
inverse of: hasPerformanceMeasure
domain: SystemPerformance
range: AspectSystem
comment: The relation Evaluates refers from a performance measure to the AspectSystem the performance of which is evaluated.

fulfills
type: ObjectProperty
sub property of: isDirectlyRelatedTo
inverse of: isAchievedThrough
domain: SystemFunction
range: SystemRequirements
comment: The Fulfills relation states that a SystemFunction fulfills a particular SystemRequirement.

hasBehavioralAspect
type: ObjectProperty
sub property of: hasAspectSystem
inverse of: representsBehaviorOf
type: InverseFunctionalProperty
domain: System
range: SystemBehavior
comment: The relation points to the behavioral aspect of a TechnicalSystem.

hasFunctionalAspect
type: ObjectProperty
sub property of: hasAspectSystem
inverse of: representsFunctionOf
type: InverseFunctionalProperty
domain: System
range: SystemFunction
comment: The relation points to the functional aspect of a TechnicalSystem.

hasPerformanceAspect
type: ObjectProperty
sub property of: hasAspectSystem
inverse of: representsPerformanceOf
type: InverseFunctionalProperty
domain: System
range: SystemPerformance
comment: The relation points to the performance aspect of a TechnicalSystem.

hasPerformanceMeasure
type: ObjectProperty
sub property of: isDirectlyRelatedTo
domain: AspectSystem
range: SystemPerformance
comment: The relation hasPerformance points from an AspectSystem, the performance of which is evaluated, to the performance measure.

hasPhenomenon
type: ObjectProperty
sub property of: object-featureRelation
domain: SystemBehavior
range: Phenomenon
comment: The relation hasPhenomenon assings a Phenomenon to a SystemBehavior.

hasRealizationAspect
type: ObjectProperty
sub property of: hasAspectSystem
inverse of: representsRealizationOf
type: InverseFunctionalProperty
domain: System
range: SystemRealization
comment: The relation points to the realization aspect of a TechnicalSystem.

hasRequirementsAspect
type: ObjectProperty
sub property of: hasAspectSystem
inverse of: representsRequirementsOf
type: InverseFunctionalProperty
range: SystemRequirements
comment: The relation points to the requirements aspect of a TechnicalSystem.

isAchievedThrough
type: ObjectProperty
sub property of: isDirectlyRelatedTo
domain: SystemRequirements
range: SystemFunction
comment: The relation isAchievedThrough states that a SystemRequirement can be achieved by means of a some SystemFunction.

isConstrainedBy
type: ObjectProperty
sub property of: isDirectlyRelatedTo
domain: SystemBehavior
range: SystemRealization
comment: The constrains relation states that the SystemBehavior is limited by the constraints imposed by the SystemRealization.

isInfluencedBy
type: ObjectProperty
sub property of: object-featureRelation
domain: Property
range: Phenomenon
comment: The relation indicates which Properties are influenced by a particular Phenomenon.

isRealizedBy
type: ObjectProperty
sub property of: isDirectlyRelatedTo
inverse of: realizes
domain: SystemFunction
range: SystemRealization
comment: The relation isRealizedBy states that a SystemFunction is implemented by some SystemRealization.

realizes
type: ObjectProperty
sub property of: isDirectlyRelatedTo
domain: SystemRealization
range: SystemFunction
comment: The relation realizes states that a SystemRealization implements a particular SystemFunction.

representsBehaviorOf
type: ObjectProperty
sub property of: representsAspectOf
domain: SystemBehavior
range: System
comment: The relation refers from a SystemBehavior to the overall TechnicalSystem.

representsFunctionOf
type: ObjectProperty
sub property of: representsAspectOf
domain: SystemFunction
range: System
comment: The relation refers from a SystemFunction to the overall TechnicalSystem.

representsPerformanceOf
type: ObjectProperty
sub property of: representsAspectOf
domain: SystemPerformance
range: System
comment: The relation refers from a SystemPerformance to the overall TechnicalSystem.

representsRealizationOf
type: ObjectProperty
sub property of: representsAspectOf
domain: SystemRealization
range: System
comment: The relation refers from a SystemRealization to the overall TechnicalSystem.

representsRequirementsOf
type: ObjectProperty
sub property of: representsAspectOf
domain: SystemRequirements
comment: The relation refers from the SystemRequirements to the overall TechnicalSystem.

determinesPositionOf
type: ObjectProperty
sub property of: involvesObject
inverse of: hasIndex
type: FunctionalProperty
domain: Index
range: Element
comment: 1:1 relation between an Element and the Index that determines the position of the Element in an Array.

hasIndex
type: ObjectProperty
sub property of: isInvolvedInN-aryRelation
type: InverseFunctionalProperty
domain: Element
range: Index
comment: 1:1 relation between an Element and its Index.

isIndexOfArray
type: ObjectProperty
sub property of: involvesObject
inverse of: isOrderedBy
type: FunctionalProperty
domain: Index
range: Array
comment: denotes the relation between an Index and the associated Array

isOrderedBy
type: ObjectProperty
sub property of: isInvolvedInN-aryRelation
type: InverseFunctionalProperty
domain: Array
range: Index
comment: The relation between an Array and the Index by which it is ordered

hasAncestor
type: ObjectProperty
sub property of: inter-objectRelation
inverse of: hasDescendent
type: TransitiveProperty
domain: Node
range: Node
comment: The ancestors of a Node are the Nodes that are traversed when moving up the tree (i.e., the Node’s parent, grandparent, etc.).

hasChild
type: ObjectProperty
sub property of: hasDescendent
inverse of: hasParent
comment: The relation hasChild points to the children of a Node; it subsumes the relations hasLeftChild and hasRightChild.

hasDescendent
type: ObjectProperty
sub property of: inter-objectRelation
type: TransitiveProperty
domain: Node
range: Node
comment: The descendents of a Node are the Nodes that are traversed when moving down the tree (i.e., the Node’s children, grandchildren, etc.).

hasLeftChild
type: ObjectProperty
sub property of: hasChild
inverse of: isLeftChildOf
domain: Node
comment: The relation hasLeftChild links a parent Node to its left child Node.

hasParent
type: ObjectProperty
sub property of: hasAncestor
domain: Node
comment: The relation hasParent denotes the parent of a Node.

hasRightChild
type: ObjectProperty
sub property of: hasChild
inverse of: isRightChildOf
domain: Node
comment: The relation hasRightChild links a parent Node to its right child Node.

isRightChildOf
type: ObjectProperty
sub property of: hasParent
comment: The relation isRightChildOf points from the right child Node to its parent Node.

nextElement
type: ObjectProperty
sub property of: inter-objectRelation
inverse of: previousElement
domain: ListElement
range: ListElement
comment: points from a ListElement to the next ListElement

previousElement
type: ObjectProperty
sub property of: inter-objectRelation
domain: ListElement
range: ListElement
comment: points from a ListElement to the previous ListElement

finalStatement
type: ObjectProperty
sub property of: hasLoopStatement
inverse of: isFinalStatementOf
domain: ForLoop
range: Object
comment: denotes the final statement in a ForLoop

hasLoopStatement
type: ObjectProperty
sub property of: involvesObject
inverse of: isStatementOfLoop
domain: ForLoop
range: Object
comment: subsumes the different statements of a ForLoop

initialStatement
type: ObjectProperty
sub property of: hasLoopStatement
inverse of: isInitialStatementOf
domain: ForLoop
range: Object
comment: denotes the initial statement in a ForLoop

isFinalStatementOf
type: ObjectProperty
sub property of: isStatementOfLoop
domain: Object
range: ForLoop
comment: denotes the final statement in a ForLoop

isInitialStatementOf
type: ObjectProperty
sub property of: isStatementOfLoop
domain: Object
range: ForLoop
comment: denotes the initial statement in a ForLoop

isStatementFor iOf
type: ObjectProperty
sub property of: isStatementOfLoop
inverse of: statementFor i
domain: Object
range: ForLoop
comment: denotes the Objects that appear in each iteration of a ForLoop

isStatementFor iPlus1Of
type: ObjectProperty
sub property of: isStatementOfLoop
inverse of: statementFor iPlus1
domain: Object
range: ForLoop
comment: denotes the objects that in the next iteration of a ForLoop

isStatementOfLoop
type: ObjectProperty
sub property of: isInvolvedInN-aryRelation
domain: Object
range: ForLoop
comment: subsumes all the individuals that represent statements in a ForLoop

sameObject
type: ObjectProperty
sub property of: inter-objectRelation
type: SymmetricProperty
domain: Object
range: Object
comment: Identity relation between an Object involved in a in a statementFor_i and an Object that appears in an ininitalStatement, a finalStatement, or a statementFor_iPlus1.

statementFor i
type: ObjectProperty
sub property of: hasLoopStatement
domain: ForLoop
range: Object
comment: denotes the objects that appear in each iteration of a ForLoop

statementFor iPlus1
type: ObjectProperty
sub property of: hasLoopStatement
domain: ForLoop
range: Object
comment: denotes the objects that in the next iteration of a ForLoop

hasMultiplicity
type: ObjectProperty
sub property of: isOriginOf
inverse of: indicatesMultiplicityOf
type: InverseFunctionalProperty
domain: Member
range: Multiplicity
comment: The relation hasMultiplicity points from a Member to a Multiplicity that indicates the number of its appearances in a particular Multiset.

indicatesMultiplicityOf
type: ObjectProperty
sub property of: hasOrigin
type: FunctionalProperty
domain: Multiplicity
range: Member
comment: The relation indicatesMultiplicityOf assigns a Multiplicity to the corresponding Member.

refersToMultiset
type: ObjectProperty
sub property of: hasTargetObject
domain: Multiplicity
range: Multiset
comment: The relation refersToMultiset assigns a Multiplicity to the corresponding Multiset.

hasOrigin
type: ObjectProperty
sub property of: involvesObject
inverse of: isOriginOf
domain: DirectedN-aryRelation
comment: The relation identifies the Object that is the origin of a DirectedN-aryRelation

hasTarget
type: ObjectProperty
sub property of: involves
domain: DirectedN-aryRelation
comment: The relation hasTarget identifies the Objects or feature values (i.e., instances of FeatureSpace) that are the targets of a DirectedN-aryRelation.

hasTargetObject
type: ObjectProperty
sub property of: hasTarget
sub property of: involvesObject
inverse of: isTargetOf
range: Object
comment: The relation identifies the Objects or feature values (i.e., instances of FeatureSpace) that are the targets of a DirectedN-aryRelation.

inter-objectRelation
type: ObjectProperty
domain: Object
range: Object
comment: subsumes all types of binary relations between Objects

involves
type: ObjectProperty
domain: RelationClass
range: Class
  union of: FeatureSpace
  union of: Object
comment: identifies the Objects or feature values (i.e., instnace of FeatureSpace) that are involved in an n-ary relation

involvesObject
type: ObjectProperty
sub property of: involves
inverse of: isInvolvedInN-aryRelation
domain: RelationClass
range: Object
comment: identifies the Objects involved in an n-ary relation

isInvolvedInN-aryRelation
type: ObjectProperty
domain: Object
range: RelationClass
comment: denotes the relation between an Object and a RelationClass

isOfType
type: ObjectProperty
sub property of: object-featureRelation
comment: The relation isOfType assigns value types to Objects. Based on this characteristics, a reasoner can infer if an Object belongs to a predefined ontology view.

isOriginOf
type: ObjectProperty
sub property of: isInvolvedInN-aryRelation
range: DirectedN-aryRelation
comment: denotes the relation between the originating Object and a DirectedN-aryRelation

isTargetOf
type: ObjectProperty
sub property of: isInvolvedInN-aryRelation
domain: Object
comment: denotes the relation between the target Object and a DirectedN-aryRelation

object-featureRelation
type: ObjectProperty
domain: Object
range: FeatureSpace
comment: The relation object-featureRelation denotes the relation between an Object and its feature values (i.e., instances of FeatureSpace).

hasDirectPart
type: ObjectProperty
sub property of: hasPart
inverse of: isDirectPartOf
comment: Parthood relation that indicates the direct Parts of an Object, i.e., the Parts on the next level breakdown.

hasPart
type: ObjectProperty
sub property of: inter-objectRelation
inverse of: isPartOf
type: TransitiveProperty
domain: Object
range: Object
comment: Parthood relation that refers from an Aggregate to its Parts.

isComposedOf
type: ObjectProperty
sub property of: hasDirectPart
inverse of: isExclusivelyPartOf
comment: Parthood relation that indicates the direct parts of a CompositeObject. The parts of the CompositeObject are non-shareable, i.e. a part cannot be part of more than one CompositeObject. If the CompositeObject is destroyed, all its parts are destroyed, as well.

isDirectPartOf
type: ObjectProperty
sub property of: isPartOf
comment: Parthood relation that links a Part to the Object on the next aggregation level.

isExclusivelyPartOf
type: ObjectProperty
sub property of: isDirectPartOf
comment: Parthood relation that links a part to a CompositeObject on the next aggregation level.

isPartOf
type: ObjectProperty
sub property of: inter-objectRelation
type: TransitiveProperty
domain: Object
range: Object
comment: Parthood relation that refers from a Part to the Aggregate.

enters
type: ObjectProperty
sub property of: isPredecessorOf
inverse of: hasInput
domain: DirectedArc
range: Node
comment: The relation 'enters' connects an ingoing DirectedArc to its target Node.

hasInput
type: ObjectProperty
sub property of: isSuccessorOf
domain: Node
range: DirectedArc
comment: The relation 'hasInput' connects a Node to an incoming DirectedArc.

hasOutput
type: ObjectProperty
sub property of: isPredecessorOf
inverse of: leaves
domain: Node
range: DirectedArc
comment: The relation 'hasOutput' connects a Node to an outgoing DirectedArc.

isConnectedTo
type: ObjectProperty
sub property of: inter-objectRelation
type: SymmetricProperty
type: TransitiveProperty
comment: The topological relation 'isConnectedTo' represents connectedness between Objects.

isDirectlyConnectedTo
type: ObjectProperty
sub property of: isConnectedTo
type: SymmetricProperty
comment: The topological relation isDirectlyConnectedTo represents the direct connectedness of two objects.

isPredecessorOf
type: ObjectProperty
sub property of: isConnectedTo
inverse of: isSuccessorOf
type: TransitiveProperty
domain: Class
  union of: DirectedArc
  union of: Node
range: Class
  union of: DirectedArc
  union of: Node
comment: The relation 'isPredecessorOf' identifies all Nodes and DirectedArcs that are predecessors of the considered one.

isSuccessorOf
type: ObjectProperty
sub property of: isConnectedTo
type: TransitiveProperty
domain: Class
  union of: DirectedArc
  union of: Node
range: Class
  union of: DirectedArc
  union of: Node
comment: The relation 'isSuccessorOf' identifies all Nodes and DirectedArcs that are successors of the considered one.

leaves
type: ObjectProperty
sub property of: isSuccessorOf
domain: DirectedArc
range: Node
comment: The relation 'leaves' connects an outgoing DirectedArc to its source Node.

sameAs
type: ObjectProperty
sub property of: inter-objectRelation
type: SymmetricProperty
domain: Arc
range: Class
  intersection of: Arc
  intersection of: Restriction
    on property: isDirectlyConnectedTo
    some values from: Node
comment: The relation denotes a correspondence between an Arc and its placeholder in a decomposition hierarchy.

is_catalyst_required
type: DatatypeProperty
type: FunctionalProperty
range: boolean

has_stoichiometric_value
type: DatatypeProperty
range: float

atomicNumber
type: DatatypeProperty
sub property of: uniqueSubstanceID
type: FunctionalProperty
domain: Atom
range: positiveInteger
comment: The atomicNumber (also known as the proton number) is the number of protons found in the nucleus of an Atom.

stoichiometricValue
type: DatatypeProperty
sub property of: relationAttribute
domain: StoichiometricCoefficient
range: int
comment: The attribute stoichiometricValue specifies the numerical value of a StoichiometricCoefficient. It is positive for products and negative for reactants.

CAS RegistryNumber
type: DatatypeProperty
sub property of: uniqueSubstanceID
type: FunctionalProperty
range: string
comment: A CAS_RegistryNumber is a uniqueSubstanceID issued by the Chemical Abstracts Service (CAS) a division of the American Chemical Society. A CAS_RegistryNumber can be assigned to ChemicalSpecies as well as to some Mixtures. A CAS_RegistryNumber includes up to 9 digits, which are separated into 3 groups by hyphens (xxxxxx-xx-x). The first part of the number, starting from the left, has up to 6 digits; the second part has 2 digits. The final part consists of a single check digit or checksum that makes it easy to determine whether a CAS number is valid or not. See http://www.cas.org/EO/regsys.html for details.

InChI
type: DatatypeProperty
sub property of: isomericStructuralFormula
type: FunctionalProperty
range: string
comment: The IUPAC International Chemical Identifier (InChI) is a non-proprietary identifier for chemical substances that can be used in printed and electronic data sources thus enabling easier linking of diverse data and information compilations (Stein et al., 2003). InChI does not require the establishment of a registry system. Unlike the CAS Registry System, it does not depend on the existence of a database of unique substance records to establish the next number for any new MolecularEntity being assigned an InChI. It uses a set of IUPAC structure conventions, and rules for normalization and canonicalization of the structure representation to establish a unique label for a MolecularEntity. For reference, see http://www.iupac.org/inchi/

SMILES
type: DatatypeProperty
sub property of: structuralFormula
type: FunctionalProperty
comment: SMILES (Simplified Molecular Input Line Entry System) is a line notation for unambiguously describing the structure of chemical molecules using ASCII strings.

WLN
type: DatatypeProperty
sub property of: structuralFormula
type: FunctionalProperty
range: string
comment: The Wiswesser line notation (WLN), also known as Wiswesser line formula, is a precise and concise means of expressing structural formulas as character strings. The basic idea is to use letter symbols to denote functional groups and numbers to express the lengths of chains and the sizes of rings. For details, refer to Smith (1968).

canonicalSMILES
type: DatatypeProperty
sub property of: SMILES
sub property of: canonicalStructuralFormula
type: FunctionalProperty
comment: canonicalSMILES is the version of the SMILES specification that applies canonicalization rules to ensure that each ChemicalSpecies has a single, unique SMILES representation.

canonicalStructuralFormula
type: DatatypeProperty
sub property of: structuralFormula
comment: A canonicalStructuralFomula is a structuralFormula that is generated by means of canonicalization algorithms to obtain a unique representation of a MolecularEntity.

chemicalFormula
type: DatatypeProperty
domain: Class
  union of: ChemicalSpecies
  union of: MolecularEntity
range: string
comment: A chemicalFormula is a substanceID that can only be assigned to ChemicalSpecies and/or MolecularEntities. It gives information about the Atoms that constitute a particular MolecularEntity. The attribute chemicalFormula subsumes all types of formulas, such as empiricalFormula, molecularFormula, structuralFormula, etc.

empiricalFormula
type: DatatypeProperty
sub property of: chemicalFormula
type: FunctionalProperty
comment: An empiricalFormula is a chemicalFormula that indicates the relative number of each constituting chemical element of a MolecularEntity. In an empiricalFormula, the letters representing the chemical elements are listed according to the following convention: In organic compounds, C is always cited first, H second and then the rest, in alphabetical order. In non-carbon-containing compounds, strict alphabetical order is adhered to.

isomericSMILES
type: DatatypeProperty
sub property of: SMILES
sub property of: isomericStructuralFormula
type: FunctionalProperty
comment: isomericSMILES is the version of the SMILES specification that includes extensions to support the specification of isotopes, chirality, and configuration about double bonds.

isomericStructuralFormula
type: DatatypeProperty
sub property of: structuralFormula
type: FunctionalProperty
comment: An isomericStructuralFormula is a structuralFormula that allows to distinguish the different isomers of a MolecularEntity.

molecularFormula
type: DatatypeProperty
sub property of: chemicalFormula
type: FunctionalProperty
range: string
comment: A molecularFormula is a chemicalFormula that specifies the (absolute) number of constituting atoms of a MolecularEntity, without indicating how they are linked. In a molecularFormula, the letters representing the chemical elements are listed according to the following convention: In organic compounds, C is always cited first, H second and then the rest, in alphabetical order. In non-carbon-containing compounds, strict alphabetical order is adhered to. For polymers and other macromelocules, parentheses are placed around the repeating unit. For example, a hydrocarbon molecule that is described as: CH3(CH2)50CH3, is a molecule with 50 repeating units. If the number of repeating units is unknown or variable, the letter n may be used to indicate this: CH3(CH2)nCH3. For ions, the charge on a particular atom may be denoted with a right-hand '+' or '-', e.g., 'Na+' or 'Cu,2+'. The total charge on a charged molecule or a polyatomic ion may also be shown in this way, e.g., 'H3O+' or 'SO4,2-'.

name
type: DatatypeProperty
sub property of: substanceID
range: string
comment: The different names of a Substance. Both trivial and systematic names can be indicated here.

structuralFormula
type: DatatypeProperty
sub property of: chemicalFormula
type: FunctionalProperty
range: string
comment: A structuralFormula is a chemicalFormula that supplies information about the types of bonds and the spatial arrangement of the atoms of a MolecularEntity using a linear string notation.

substanceID
type: DatatypeProperty
domain: Substance
comment: A substanceID is a precise identifier for a Substance. A substanceID must be unambiguous, but it is not necessarily unique.

uniqueSubstanceID
type: DatatypeProperty
sub property of: substanceID
type: FunctionalProperty
comment: A uniqueSubstanceID is a unique identifier for a Substance.

differentialIndex
type: DatatypeProperty
domain: DifferentialAlgebraicEquationSystem
range: int
comment: The attribute represents the differential index of a DAE system, as defined by Gear & Petzold (1984).

differentialOrder
type: DatatypeProperty
domain: DifferentialEquationSystem
range: int
comment: The attribute differentialOrder denotes the order of a differential equation, which is defined as the order of the highest derivative of a ModelVariable appearing in the differential equation

indexValue
type: DatatypeProperty
sub property of: index
range: positiveInteger
comment: The attribute indexValue indicates the numerical value of an PortIndex.

lowerLimit
type: DatatypeProperty
sub property of: numericalValue
domain: ModelVariableSpecification
range: float
comment: The attribute lowerLimit defines a lower bound for the numericalValue of a ModelVariableSpecification.

upperLimit
type: DatatypeProperty
sub property of: numericalValue
domain: ModelVariableSpecification
range: float
comment: The attribute upperLimit defines an upper bound for the numericalValue of a ModelVariableSpecification.

handlesDifferentialIndexUpTo
type: DatatypeProperty
domain: DAE SolutionStrategy
range: int
comment: A DAE_SolutionStrategy can only solve DifferentialAlgebraicEquationSystems up to a certain differentialIndex. This restriction is specified through the attribute handlesDifferentialIndexUpTo.

leftChildNodeValue
type: DatatypeProperty
domain: Node
comment: The attribute 'leftChildNodeValue' can be used as a shorthand to substitute a left child Node, the NodeValue of which is represented through the attribute 'nodeValue'.

nodeValue
type: DatatypeProperty
domain: Node
comment: The attribute nodeValue indicates an operand (usually a number) in a mathematical expression.

rightChildNodeValue
type: DatatypeProperty
domain: Node
comment: The attribute 'rightChildNodeValue' can be used as a shorthand to substitute a right child Node, the NodeValue of which is represented through the attribute 'nodeValue'.

numericalValue
type: DatatypeProperty
domain: ScalarValue
comment: The attribute numericalValue specifies the number part of a QuantitativeValue.

value
type: DatatypeProperty
domain: QualitativeValue
comment: The Value attribute holds the actual value of a QualitativeValue.

index
type: DatatypeProperty
sub property of: relationAttribute
type: FunctionalProperty
domain: Index
range: int
comment: indicates the numerical value of an Index

numberOfIterations
type: DatatypeProperty
sub property of: relationAttribute
domain: ForLoop
range: int
comment: indicates the number of iterations of a particular ForLoop

multiplicity
type: DatatypeProperty
sub property of: relationAttribute
type: FunctionalProperty
domain: Multiplicity
range: int
comment: The attribute 'multiplicity' indicates the numerical value of a Multiplicity.

relationAttribute
type: DatatypeProperty
domain: RelationClass
comment: relationAttribute identifies the datatype value that characterizes a relation class

Accumulation
type: Class
subclass of: MaterialAmountPhenomenon
disjoint with: ChemicalReactionPhenomenon
disjoint with: FlowPattern
disjoint with: MolecularTransportPhenomenon
disjoint with: ParticlePhenomenon
disjoint with: PhysicalEquilibriumPhenomenon
comment: Accumulation is a MaterialAmountPhenomenon which denotes the accumulation of a certain extensive properties of the MaterialAmount considered.

AdsorptionPhenomenon
type: Class
subclass of: SurfacePhenomenon
disjoint with: SurfaceReactionPhenomenon
comment: An AdsorptionPhenomenon is an increase in the concentration of a dissolved sub-stance at the interface of a solid and a liquid phase due to the operation of surface forces. Adsorption can also occur at the interface of a solid and a gaseous phase (McNaught & Wilkinson 1997).

ChemicalReactionPhenomenon
type: Class
subclass of: MaterialAmountPhenomenon
disjoint with: FlowPattern
disjoint with: MolecularTransportPhenomenon
disjoint with: ParticlePhenomenon
disjoint with: PhysicalEquilibriumPhenomenon
comment: A ChemicalReactionPhenomenon is a MaterialAmountPhenomenon in which some ChemicalComponent(s) are converted into some other ChemicalComponent(s).

ConductiveTransportRate
type: Class
subclass of: IntraphaseTransport
comment: A ConductiveTransportRate is the transfer of heat by direct contact of particles of matter within a phase per unit time

ContinuousMaterialAmount
type: Class
equivalent class: Class
  intersection of: MaterialAmount
  intersection of: Restriction
    on property: surrounds
    some values from: DispersedMaterialAmount
subclass of: Restriction
  on property: surrounds
  all values from: DispersedMaterialAmount
disjoint with: DispersedMaterialAmount
comment: A ContinuousMaterialAmount in a HeterogeneousMaterialAmount is the MaterialAmount in which the disperse phase is distributed, corresponding to the solvent in a true solution.

ConvectiveExchange
type: Class
subclass of: Exchange
comment: ConvectiveExchange in the most general terms refers to the movement of molecules across the boundary of fluid phases which is the sum of advective and diffusive transport.

ConvectiveTransportRate
type: Class
subclass of: IntraphaseTransport
comment: A ConvectiveTransportRate in the most general terms refers to the movement of molecules within fluid phases which is the sum of advective and diffusive transport.

DispersedMaterialAmount
type: Class
equivalent class: Class
  intersection of: MaterialAmount
  intersection of: Restriction
    on property: isDispersedIn
    some values from: ContinuousMaterialAmount
comment: A DispersedMaterialAmount is a MaterialAmount which is dispersed in some ContinuousMaterialAmount(s).

DynamicViscosityOfNonNewtonFluid
type: Class
subclass of: PhenomenologicalCoefficient
disjoint with: InterphaseTransportCoefficient
disjoint with: ReactionRateCoefficient
comment: DynamicViscosityOfNonNewtonianFluid is a property of non-Newtonian fluids which relates shear stress to shear rate. For a non-Newtonian fluid, this property is not a constant and can be dependent on shear rate or even time.

EnergyHoldUp
type: Class
subclass of: HoldUpVariation
comment: EnergyHoldUp refers to the accumulation of the overall energy in a material amount.

Exchange
type: Class
subclass of: GeneralizedFluxes
comment: Exchange represents the transport of matter or energy across a phase boundary.

ExtensiveProperty
type: Class
subclass of: PhysicalQuantity
comment: An ExtensiveProperty of a system depends on system size or on the amount of material in the system.

FilmConnection
type: Class
equivalent class: Class
  intersection of: MaterialAmountConnection
  intersection of: Restriction
    on property: hasPhenomenon
    some values from: InterfaceTransportPhenomenon
subclass of: Restriction
  on property: hasProperty
  some values from: InterphaseTransportCoefficient
subclass of: Restriction
  on property: hasPermeability
  all values from: Permeability
subclass of: Restriction
  on property: hasPermeableChemicalComponent
  all values from: ChemicalComponent
disjoint with: HeatRadiationConnection
disjoint with: ValveConnection
comment: A FilmConnection is a MaterialAmountConnection dominated by an interface molecular transport phenomenon. It is used to describe molecular transport across the phase interface between two contiguous material amounts or molecular transport through some media with negligible capacity which separates two material amounts (e.g. a membrane between two fluids).

FlowPattern
type: Class
subclass of: MaterialAmountPhenomenon
disjoint with: MolecularTransportPhenomenon
disjoint with: ParticlePhenomenon
disjoint with: PhysicalEquilibriumPhenomenon
comment: FlowPattern is a MaterialAmountPhenomenon which refers to the flow condition of a material amount.

FluidFilm
type: Class
subclass of: SingleFilmConnection
comment: A FluidFilm represents a boundary layer occurring in a fluid phase which allows for conductive or diffusive transport.

GeneralizedAmount
type: Class
subclass of: System
subclass of: Restriction
  on property: hasSubsystem
  all values from: Class
    union of: MaterialAmount
    union of: MaterialAmountConnection
comment: GeneralizedAmount represents a generalization of MaterialAmount and MaterialAmountConnection, as it could be required for the definition of quantity-related properties at a stage of the functional description.

GeneralizedFluxes
type: Class
subclass of: PhysicalQuantity
comment: GeneralizedFluxes include the variation of holdup caused by the transport in a phase or across a phase boundary was well as sources of an extensive property caused by chemical reactios or some external potential field.

HeatRadiationConnection
type: Class
equivalent class: Class
  intersection of: MaterialAmountConnection
  intersection of: Restriction
    on property: hasPhenomenon
    has value: heat radiation
subclass of: Restriction
  on property: hasProperty
  some values from: Class
    union of: DynamicViscosityOfNonNewtonFluid
    union of: ReactionRateCoefficient
disjoint with: ValveConnection
comment: A HeatRadiationConnection is a MaterialAmountConnection whose dominating phenomenon is HeatRadiation.

HeatTransferResistance
type: Class
subclass of: InterphaseTransportCoefficient
disjoint with: MassTransferCoefficient
comment: A HeatTransferResistance is described by the ratio between the temperature difference and the average heat flow across the interface.

HeterogeneousMaterialAmount
type: Class
subclass of: MaterialAmount
comment: A HeterogeneousMaterialAmount is a composite material amount that involves mate-rial amounts with different dispersion states due to phases or particle size.

HoldUpVariation
type: Class
subclass of: GeneralizedFluxes
comment: HoldUpVariation refers to the accumulation of extensive properties over time and is influenced by accumulation phenomena.

HomogeneousMaterialAmount
type: Class
subclass of: MaterialAmount
comment: A HomogeneousMaterialAmount represents a MaterialAmount with a continuous, single phase which is not part of another more complex material amount.

IdeallyMixedMaterialAmount
type: Class
equivalent class: Class
  intersection of: MaterialAmount
  intersection of: Restriction
    on property: hasPhenomenon
    has value: ideal mixing
disjoint with: MaterialAmountAxiom SpatiallyDistributedIntensiveProperty
disjoint with: MaterialAmountWithMolecularTransportPhenomenon
comment: A material amount which is ideally mixed cannot have - a molecular transport phenomenon - an intensive material property which is distributed over a spatial domain

ImpermeableValve
type: Class
subclass of: ValveConnection
disjoint with: PermeableValve
comment: An ImpermeableValve refers to a convective mass transport where no material transport occurs at all due to a given local condition, e.g. a blockage in a pipeline.

InterfaceHeatTransportPhenomenon
type: Class
subclass of: InterfaceTransportPhenomenon
comment: An InterfaceHeatTransportPhenomenon is the transfer of thermal energy or simply heat from a hotter MaterialAmount to a cooler MaterialAmount driven by the temperature difference

InterfaceMassTransportPhenomenon
type: Class
subclass of: InterfaceTransportPhenomenon
comment: A InterfaceMassTransportPhenomenon is any mechanisms by which particles or quantities move from one MaterialAmounts to another.

InterfaceTransportPhenomenon
type: Class
subclass of: MaterialAmountConnectionPhenomenon
disjoint with: SurfacePhenomenon
comment: InterfaceMolecularTransportPhenomenon subsumes transport phenomena that occur at the in-terface between two connected MaterialAmounts.

InterphaseTransportCoefficient
type: Class
subclass of: PhenomenologicalCoefficient
disjoint with: ReactionRateCoefficient
comment: An InterPhaseTransportCoefficient is any physical quantity that is forced by an interface transport phenomenon.

IntraphaseTransport
type: Class
subclass of: GeneralizedFluxes
comment: IntraphaseTransport considers all variants of heat and mass transfer that can occur with a particular phase

MassHoldUp
type: Class
subclass of: HoldUpVariation
comment: MassHoldUp refers to the accumulation of the overall mass covered in a material amount.

MassTransferCoefficient
type: Class
subclass of: InterphaseTransportCoefficient
comment: A MassTransferCoefficient is a constant that relates the mass transfer rate to the product of mass transfer area and an appropriate driving force such as the concen-tration gradient (Seader & Henley 1998).

MaterialAmount
type: Class
subclass of: Device
subclass of: Class
  union of: Restriction
    on property: hasDirectSubsystem
    min cardinality: 3
  union of: Restriction
    on property: hasDirectSubsystem
    cardinality: 0
subclass of: Restriction
  on property: refersToMaterial
  some values from: Material
subclass of: Restriction
  on property: hasProperty
  some values from: VelocityGradiant
subclass of: Restriction
  on property: refersToMaterial
  all values from: Material
subclass of: Restriction
  on property: hasShapeRepresentation
  all values from: Solid
subclass of: Restriction
  on property: hasInput
  all values from: MaterialAmountConnection
subclass of: Restriction
  on property: hasOutput
  all values from: MaterialAmountConnection
subclass of: Restriction
  on property: hasDirectSubsystem
  all values from: Class
    union of: MaterialAmount
    union of: MaterialAmountConnection
subclass of: Restriction
  on property: isDirectSubsystemOf
  all values from: Class
    union of: MaterialAmount
    union of: MaterialAmountConnection
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: MaterialAmountConnection
subclass of: Restriction
  on property: hasPhenomenon
  all values from: MaterialAmountPhenomenon
subclass of: Restriction
  on property: isConsideredUnderAspectOf
  has value: behavior
comment: A MaterialAmount characterizes the time-variant behavior of a chunk of material.

MaterialAmountAxiom SpatiallyDistributedIntensiveProperty
type: Class
subclass of: MaterialAmount
disjoint with: MaterialAmountInPhaseEquilibrium
comment: A material amount whose intensive material amount properties are distributed on a certain spatial domain cannot be - ideally mixed - at phase equilibrium

MaterialAmountConnection
type: Class
subclass of: Connection
subclass of: Class
  union of: Restriction
    on property: hasDirectSubsystem
    min cardinality: 3
  union of: Restriction
    on property: hasDirectSubsystem
    cardinality: 0
subclass of: Restriction
  on property: hasProperty
  some values from: PhenomenologicalCoefficient
subclass of: Restriction
  on property: hasSurfaceGeometry
  all values from: Surface
subclass of: Restriction
  on property: enters
  all values from: MaterialAmount
subclass of: Restriction
  on property: leaves
  all values from: MaterialAmount
subclass of: Restriction
  on property: hasDirectSubsystem
  all values from: Class
    union of: MaterialAmount
    union of: MaterialAmountConnection
subclass of: Restriction
  on property: isDirectSubsystemOf
  all values from: Class
    union of: MaterialAmount
    union of: MaterialAmountConnection
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: MaterialAmount
subclass of: Restriction
  on property: hasPhenomenon
  all values from: MaterialAmountConnectionPhenomenon
subclass of: Restriction
  on property: hasSurfaceGeometry
  max cardinality: 1
comment: A MaterialAmountConnection is a Connection that connects two MaterialAmounts or connects one MaterialAmount and one EnvironmentConnection.

MaterialAmountConnectionPhenomenon
type: Class
subclass of: PhysicochemicalPhenomenon
disjoint with: MaterialAmountPhenomenon
comment: A MaterialAmountConnectionPhenomenon is a PhysicochemicalPhenomenon which occurs at a MaterialAmountConnection

MaterialAmountInPhaseEquilibrium
type: Class
equivalent class: Class
  intersection of: MaterialAmount
  intersection of: Restriction
    on property: hasPhenomenon
    has value: phase equilibrium
disjoint with: MaterialAmountWithMolecularTransportPhenomenon
comment: A material amount which is at phase equilibrium cannot have - a molecular transport phenomenon - an intensive material amount property which is distributed over a spatial domain.

MaterialAmountPhenomenon
type: Class
subclass of: PhysicochemicalPhenomenon
comment: A MaterialAmountPhenomenon is a PhysicochemicalPhenomenon which occurs in a MaterialAmount.

MaterialAmountWithMolecularTransportPhenomenon
type: Class
equivalent class: Class
  intersection of: MaterialAmount
  intersection of: Restriction
    on property: hasPhenomenon
    some values from: MolecularTransportPhenomenon
comment: A material amount which has a molecular transport phenomenon cannot be - ideally mixed - at phase equilibrium

MaterialAmountWithSpatiallyDistributedIntensiveProperties
type: Class
subclass of: MaterialAmount
comment: A MaterialAmountWithSpatiallyDistributedIntensiveProperties may not have any properties indicating an ideal mixing.

MolecularTransportPhenomenon
type: Class
subclass of: MaterialAmountPhenomenon
disjoint with: ParticlePhenomenon
disjoint with: PhysicalEquilibriumPhenomenon
comment: A MolecularTransportPhenomenon is a MaterialAmountPhenomenon in which physical quantities such as mass, energy, and momentum are transported among different locations through molecular motion in the MaterialAmount.

ParticlePhenomenon
type: Class
subclass of: MaterialAmountPhenomenon
disjoint with: PhysicalEquilibriumPhenomenon
comment: A ParticlePhenomenon is a MaterialAmountPhenomenon which occurs with one or more Particles

ParticlePopulation
type: Class
subclass of: MaterialAmount
comment: A ParticlePopulation consists of a (possibly uncounted) number of single particles, which are all present in the same state of aggregation and – in their entirety – can be characterized by means of distribution curves or population balances (Ramkrishna 1985).

ParticulateMaterialAmount
type: Class
equivalent class: Class
  intersection of: HeterogeneousMaterialAmount
  intersection of: Restriction
    on property: containsDirectly
    some values from: SingleParticle
subclass of: MaterialAmount
disjoint with: QuasiHomogeneousMaterialAmount
disjoint with: SingleParticle
comment: A ParticulateMaterialAmount represents the dispersed material amount in a hetero-geneous system which is composed of single particles which typically hold uneven characteristics.

Permeability
type: Class
equivalent class: Class
  one of: impermeable
  one of: permeable
  one of: semi permeable
subclass of: ValueSet
comment: A Permeability denotes a set of chemical components which are permeable in a FilmConnection or a ValveConnection.

PermeableValve
type: Class
subclass of: ValveConnection
comment: A PermeableValve represents convective transport of mass, where all material compounds, energy, and momentum are transported.

PhenomenologicalCoefficient
type: Class
subclass of: PhysicalQuantity
disjoint with: VelocityGradiant
comment: A PhenomenologicalCoefficient summarizes various coefficients employed to characterize fluxes.

PhysicalEquilibriumPhenomenon
type: Class
subclass of: MaterialAmountPhenomenon
comment: A PhysicalEquilibriumPhenomenon is a MaterialAmountPhenomenon that denotes a certain equality of properties within the MaterialAmount considered, which does not involve chemical reactions.

PhysicochemicalPhenomenon
type: Class
subclass of: Phenomenon
comment: A PhysicochemicalPhenomenon is a Phenomenon that can be described by physics or chemistry.

QuasiHomogeneousMaterialAmount
type: Class
subclass of: HeterogeneousMaterialAmount
disjoint with: SingleParticle
comment: A QuasiHomogeneousMaterialAmount assumes at least two parts, a dispersed material amount and a continuous material amount, where one is dispersed in the other. It is characterized by average physical quantities of both parts.

RadiationExchange
type: Class
subclass of: Exchange
comment: RadiationExchange is defined as the emission of heat by one body which travels through a medium or through space and which is ultimately absorbed by another body.

RateOfReaction
type: Class
subclass of: Source
comment: The RateOfReaction of a general PhaseReaction aA + bB + …  pP + qQ + … is defined as r = -1/a * d[A]/dt = -1/b * d[B]/dt =1/p * d[P]/dt = 1/q * d[Q]/dt, where symbols placed inside square brackets denote the concentrations of the species involved in the reaction. Thus, the RateOfReaction is defined as the change in concentration per unit time. Different measures of concentration may be chosen, such as PhaseComponentFraction and Volume-BasedConcentrations. When a catalyst is used, the reaction rate may also be stated on a catalyst weight (mol g−1 s−1) or surface area (mol m−2 s−1) basis.

ReactionRateCoefficient
type: Class
subclass of: PhenomenologicalCoefficient
comment: A ReactionRateCoefficient of any reaction is a constant that relates the reaction rate to the concentration-dependent term in the reaction rate expression. This constant is thus independent of concentration and time (McNaught & Wilkinson 1997).

SemiPermeableFilmConnection
type: Class
equivalent class: Class
  intersection of: ValveConnection
  intersection of: Restriction
    on property: hasPermeability
    has value: semi permeable
  intersection of: Restriction
    on property: hasPhenomenon
    has value: interface mass diffusion
subclass of: Restriction
  on property: hasPermeableChemicalComponent
  some values from: ChemicalComponent
comment: A SemiPermeableValve represents convective transport of mass in which only some selective species in a mixture are transported in addition to energy and momen-tum.

SingleFilmConnection
type: Class
subclass of: FilmConnection
comment: A SingleFilmConnection represents diffusive transport processes across a single boundary layer, e.g. fluid or solid.

SingleParticle
type: Class
equivalent class: Class
  intersection of: MaterialAmount
  intersection of: Restriction
    on property: hasPhenomenon
    some values from: ParticlePhenomenon
comment: A Particle is a MaterialAmount that has some ParticlePhenomena. It is usually of a small size.

SolidFilm
type: Class
subclass of: SingleFilmConnection
comment: A SolidFilm represents a boundary layer occurring in a solid phase which allows for diffusive transport.

Source
type: Class
subclass of: GeneralizedFluxes
comment: A Source is caused by a chemical reaction or some external potential field within a MaterialAmount.

StateVariableGradient
type: Class
subclass of: PhysicalQuantity
comment: A StateVariableGradient is the spatial gradient of an IntensiveThermodynamicStateVariable.

SurfacePhenomenon
type: Class
subclass of: MaterialAmountConnectionPhenomenon
comment: A SurfacePhenomenon is a MaterialAmountConnectionPhenomenon that occurs on a Surface.

SurfaceReactionPhenomenon
type: Class
subclass of: SurfacePhenomenon
comment: A SurfaceReactionPhenomenon is a SurfacePhenomenon that denotes a chemical reaction process which takes place on a surface.

ThreeFilmConnection
type: Class
subclass of: FilmConnection
comment: A ThreeFilmConnection represents diffusive transport processes across a boundary layer in which three films are adjacent to each other, e.g. fluid-solid-fluid.

TwoFilmConnection
type: Class
subclass of: FilmConnection
comment: A TwoFilmConnection represents diffusive transport processes across a boundary layer in which two films are adjacent to each other, e.g. fluid-fluid.

ValveConnection
type: Class
equivalent class: Class
  intersection of: MaterialAmountConnection
  intersection of: Restriction
    on property: hasPhenomenon
    has value: convective material flow
subclass of: Restriction
  on property: refersToMaterial
  some values from: Material
subclass of: Restriction
  on property: refersToMaterial
  all values from: Material
subclass of: Restriction
  on property: refersToMaterial
  cardinality: 1
comment: A ValveConnection refers to convective mass transport which is governed by different states of permeability.

VelocityGradiant
type: Class
subclass of: PhysicalQuantity
comment: A VelocityGradient is the partial derivatives of velocity with respect to the spatial coordinates.

AggregatedProcessStep
type: Class
equivalent class: Class
  intersection of: ProcessStep
  intersection of: Restriction
    on property: hasDirectSubsystem
    some values from: ProcessStep
comment: An AggregatedProcessStep is a ProcessStep which consists of a number of ProcessSteps in a certain sequence.

BatchProcess
type: Class
equivalent class: Class
  intersection of: ProcessState
  intersection of: Restriction
    on property: hasOperationMode
    has value: Batch
disjoint with: ProcessStream
comment: A BatchProcess indicates the batch mode of operation applied to the Process.

By-product
type: Class
subclass of: EndProduct
disjoint with: Co-product
disjoint with: CoreProduct
comment: A Byproduct is an EndProduct whose production is unavoidable while a CoreProduct is produced.

Co-product
type: Class
subclass of: EndProduct
disjoint with: CoreProduct
comment: A Co- product is an EndProduct whose production is unintended.

Combination
type: Class
subclass of: UnitOperation
subclass of: Restriction
  on property: hasInput
  min cardinality: 2
subclass of: Restriction
  on property: hasOutput
  cardinality: 1
disjoint with: EnthalpyChange
disjoint with: Separation
comment: A combination in terms of unit operation means to get together different process steps to achieve a particular one.

CoreProduct
type: Class
subclass of: EndProduct
comment: A CoreProduct is a main (or an intended) EndProduct.

EndProduct
type: Class
subclass of: OutputProduct
disjoint with: WasteProduct
comment: An EndProduct is an OutputProduct that is valuable.

EnthalpyChange
type: Class
subclass of: UnitOperation
subclass of: Restriction
  on property: hasInput
  cardinality: 1
subclass of: Restriction
  on property: hasOutput
  cardinality: 1
disjoint with: Separation
comment: EnthalpyChange in terms of unit operation considers a conversion of energy which often result in a change of the state of aggregation.

Flashing
type: Class
subclass of: Separation
subclass of: Restriction
  on property: hasVapourRatio
  some values from: FlashVaporRatio
subclass of: Restriction
  on property: hasOutput
  some values from: Class
    intersection of: ProcessState
    intersection of: Restriction
      on property: refersToGeneralizedAmount
      some values from: Class
        intersection of: MaterialStream
        intersection of: Restriction
    intersection of: Restriction
      on property: refersToGeneralizedAmount
      cardinality: 1
subclass of: Restriction
  on property: hasOutput
  some values from: Class
    intersection of: ProcessState
    intersection of: Restriction
      on property: refersToGeneralizedAmount
      some values from: Class
        intersection of: MaterialStream
        intersection of: Restriction
    intersection of: Restriction
      on property: refersToGeneralizedAmount
      cardinality: 1
subclass of: Restriction
  on property: hasInput
  all values from: Class
    intersection of: ProcessState
    intersection of: Restriction
      on property: refersToGeneralizedAmount
      some values from: Class
        intersection of: MaterialStream
        intersection of: Restriction
    intersection of: Restriction
      on property: refersToGeneralizedAmount
      cardinality: 1
subclass of: Restriction
  on property: hasVapourRatio
  cardinality: 1
subclass of: Restriction
  on property: hasInput
  cardinality: 1
subclass of: Restriction
  on property: hasOutput
  cardinality: 2
disjoint with: Leaching
comment: Flashing utilized the state of phase equilibrium between a vapor and a liquid phase and the resulting material transport if a mixture with different fugacity is existent. In terms of unit operation this is usually accomplished in a vessel.

Fragmentation
type: Class
subclass of: UnitOperation
comment: Fragmentation in terms of unit operation is the breakup of solid material for further processing.

IntermediateProduct
type: Class
equivalent class: Class
  intersection of: ProcessState
  intersection of: Restriction
    on property: enters
    some values from: ProcessStep
  intersection of: Restriction
    on property: leaves
    some values from: ProcessStep
disjoint with: RawMaterial
comment: An IntermediateProduct is a ChemicalProduct that is produced in a ProcessStep and is used in another ProcessStep in the whole processing system.

Leaching
type: Class
subclass of: Separation
subclass of: Restriction
  on property: hasInput
  some values from: Class
    intersection of: ProcessState
    intersection of: Restriction
      on property: refersToGeneralizedAmount
      all values from: Class
        intersection of: MaterialStream
        intersection of: Restriction
    intersection of: Restriction
      on property: refersToGeneralizedAmount
      cardinality: 1
subclass of: Restriction
  on property: hasInput
  some values from: Class
    intersection of: ProcessState
    intersection of: Restriction
      on property: refersToGeneralizedAmount
      all values from: Class
        intersection of: MaterialStream
        intersection of: Restriction
    intersection of: Restriction
      on property: refersToGeneralizedAmount
      cardinality: 1
subclass of: Restriction
  on property: hasOutput
  some values from: Class
    intersection of: ProcessState
    intersection of: Restriction
      on property: refersToGeneralizedAmount
      all values from: Class
        intersection of: MaterialStream
        intersection of: Restriction
    intersection of: Restriction
      on property: refersToGeneralizedAmount
      cardinality: 1
subclass of: Restriction
  on property: hasOutput
  some values from: Class
    intersection of: ProcessState
    intersection of: Restriction
      on property: refersToGeneralizedAmount
      all values from: Class
        intersection of: MaterialStream
        intersection of: Restriction
    intersection of: Restriction
      on property: refersToGeneralizedAmount
      cardinality: 1
subclass of: Restriction
  on property: hasInput
  cardinality: 2
subclass of: Restriction
  on property: hasOutput
  cardinality: 2
comment: Leaching in terms of unit operation is a particular form of extraction. Usually, a solute, a insolvable carrier and a solvent are applied for solid extraction

Mixing
type: Class
subclass of: Combination
comment: Mixing in terms of unit operations is a special type of combination which results in a mixture which is required for further processing. It is usually accomplished by means of stirrer.

NonReusableWasteProduct
type: Class
subclass of: WasteProduct
comment: A NonReusableWasteProduct is a waste product that can not be reused.

OutputProduct
type: Class
subclass of: ProcessState
subclass of: Restriction
  on property: leaves
  some values from: ProcessStep
subclass of: Restriction
  on property: enters
  cardinality: 0
disjoint with: RawMaterial
comment: An OutputProduct is a Material that is output by a ProcessStep.

PhaseChange
type: Class
subclass of: EnthalpyChange
disjoint with: PressureChange
disjoint with: TemperatureChange
comment: PhaseChange is a specialization of EnthalpyChange an usually it is applied for the purpose of heat exchange between spatially separated phases

PressureChange
type: Class
subclass of: EnthalpyChange
subclass of: Restriction
  on property: hasPressureDifference
  some values from: PressureDifference
subclass of: Restriction
  on property: hasPressureDifference
  all values from: PressureDifference
subclass of: Restriction
  on property: hasPressureDifference
  cardinality: 1
disjoint with: TemperatureChange
comment: By means of a PressureChange a heat content of a particular fluid may be exchanged which may be used for heating or cooling purposes in terms of unit operations.

PressureChangeOfGas
type: Class
subclass of: PressureChange
subclass of: Restriction
  on property: hasInput
  all values from: Class
    intersection of: ProcessState
    intersection of: Class
      intersection of: Restriction
        on property: refersToGeneralizedAmount
        some values from: Class
      intersection of: Restriction
        on property: refersToGeneralizedAmount
        cardinality: 1
disjoint with: PressureChangeOfLiquid

PressureChangeOfLiquid
type: Class
subclass of: PressureChange
subclass of: Restriction
  on property: hasInput
  all values from: Class
    intersection of: ProcessState
    intersection of: Class
      intersection of: Restriction
        on property: refersToGeneralizedAmount
        some values from: Class
      intersection of: Restriction
        on property: refersToGeneralizedAmount
        cardinality: 1

Process
type: Class
equivalent class: Class
  intersection of: AggregatedProcessStep
  intersection of: Class
    complement of: Restriction
      on property: isSubsystemOf
      some values from: ProcessStep
comment: An AggregatedProcessStep representing the entire function of the Process considered

ProcessState
type: Class
subclass of: DirectedConnection
subclass of: Restriction
  on property: refersToGeneralizedAmount
  some values from: GeneralizedAmount
subclass of: Restriction
  on property: enters
  all values from: ProcessStep
subclass of: Restriction
  on property: leaves
  all values from: ProcessStep
subclass of: Restriction
  on property: hasDirectSubsystem
  all values from: Class
    union of: ProcessState
    union of: ProcessStep
subclass of: Restriction
  on property: isDirectSubsystemOf
  all values from: Class
    union of: ProcessState
    union of: ProcessStep
subclass of: Restriction
  on property: isConsideredUnderAspectOf
  has value: function
comment: A ProcessState represents the collectivity of properties of a CertainMaterialAmount which is produced in the associating process step.

ProcessStep
type: Class
subclass of: Device
subclass of: Restriction
  on property: hasInput
  some values from: ProcessState
subclass of: Restriction
  on property: hasOutput
  some values from: ProcessState
subclass of: Restriction
  on property: hasInput
  all values from: ProcessState
subclass of: Restriction
  on property: hasOutput
  all values from: ProcessState
subclass of: Restriction
  on property: hasDirectSubsystem
  all values from: Class
    union of: ProcessState
    union of: ProcessStep
subclass of: Restriction
  on property: isDirectSubsystemOf
  all values from: Class
    union of: ProcessState
    union of: ProcessStep
subclass of: Restriction
  on property: isConsideredUnderAspectOf
  has value: function
comment: A ProcessStep is a certain material processing procedure.

ProcessStream
type: Class
equivalent class: Class
  intersection of: ProcessState
  intersection of: Restriction
    on property: hasOperationMode
    has value: Continuous
comment: A ProcessStream indicated the continuous mode of operation applied to the Process.

RawMaterial
type: Class
subclass of: ProcessState
subclass of: Restriction
  on property: enters
  some values from: ProcessStep
subclass of: Restriction
  on property: leaves
  cardinality: 0
comment: A RawMaterial is a Material that enters a ProcessStep.

Reaction
type: Class
subclass of: ProcessStep
subclass of: Restriction
  on property: hasChemicalReactionNetwork
  some values from: ReactionNetwork
subclass of: Restriction
  on property: hasProperty
  some values from: KeyChemicalComponentConversionRatio
subclass of: Restriction
  on property: hasChemicalReactionNetwork
  all values from: ReactionNetwork
subclass of: Restriction
  on property: hasChemicalReactionNetwork
  cardinality: 1
disjoint with: UnitOperation
comment: A Reaction is a ProcessStep in which some material is converted to some other material through chemical or biochemical reactions

ReusableWasteProduct
type: Class
subclass of: WasteProduct
comment: A ReusableWasteProduct is a WasteProduct that can be reused for production.

Separation
type: Class
subclass of: UnitOperation
subclass of: Restriction
  on property: hasOutput
  min cardinality: 2
comment: Separation in terms of unit operation means to achieve single components of a mixture by means of physical of chemical phenomenon.

TemperatureChange
type: Class
subclass of: EnthalpyChange
subclass of: Restriction
  on property: hasHeatDuty
  cardinality: 1
comment: TemperatureChange in terms of unit operation means to transport the heat content of one material to another and it is applied for heating or cooling purposes.

UnitOperation
type: Class
subclass of: ProcessStep
comment: A UnitOperation is a basic step in a process. This basic step might comprise mixing, separation, enthalpy change and many more to achieve the desired product.

WasteProduct
type: Class
subclass of: OutputProduct
comment: A WasteProduct is an OutputProduct that has no value.

Actionline
type: Class
subclass of: Connection
subclass of: Restriction
  on property: hasDirectSubsystem
  all values from: Class
    union of: Actionline
    union of: ControlComponent
subclass of: Restriction
  on property: hasSubsystem
  all values from: Class
    union of: Actionline
    union of: ControlComponent
subclass of: Restriction
  on property: isDirectSubsystemOf
  all values from: Class
    union of: Actionline
    union of: ControlComponent
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: ControlComponent
subclass of: Restriction
  on property: isDirectlyConnectedTo
  max cardinality: 2
comment: Control Components are connected by actionlines, which represents a specific type of information collection. Actionlines are treated analogous to topological arcs.

ActuatorFunction
type: Class
subclass of: FunctionBlock
comment: ActuatorFunction transforms the output of the Controller into the input of the ControlledSystem.

BranchingPoint
type: Class
subclass of: ControlComponent
comment: BranchingPoint describes the splitting of a controlled system.

ComparingElement
type: Class
subclass of: ControlComponent
comment: ComparingElement indicates whether a action line influence as a feed back or directly.

ControlComponent
type: Class
subclass of: Device
subclass of: Restriction
  on property: hasInput
  all values from: DirectedActionline
subclass of: Restriction
  on property: hasOutput
  all values from: DirectedActionline
subclass of: Restriction
  on property: hasDirectSubsystem
  all values from: Class
    union of: Actionline
    union of: ControlComponent
subclass of: Restriction
  on property: hasSubsystem
  all values from: Class
    union of: Actionline
    union of: ControlComponent
subclass of: Restriction
  on property: isDirectSubsystemOf
  all values from: Class
    union of: Actionline
    union of: ControlComponent
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: Actionline
comment: ControlComponent comprises the different features required for describing control.

ControlLoop
type: Class
subclass of: System
subclass of: Restriction
  on property: hasControlLoopArchitecture
  some values from: ControlLoopArchitectureVT
subclass of: Restriction
  on property: hasSubsystem
  some values from: Actionline
subclass of: Restriction
  on property: hasSubsystem
  some values from: ControlComponent
subclass of: Restriction
  on property: hasControlLoopArchitecture
  all values from: ControlLoopArchitectureVT
subclass of: Restriction
  on property: hasSubsystem
  all values from: Class
    union of: Actionline
    union of: ControlComponent
subclass of: Restriction
  on property: hasControlLoopArchitecture
  cardinality: 1
comment: ControlSystem is a functional subsystem of ProcessControlSystem and deals with functional describtion of the control system

ControlLoopArchitectureVT
type: Class
subclass of: NonExhaustiveValueSet
disjoint with: LinearityVT
disjoint with: ResponseCharacteristicsVT
comment: ControlLoopArchitectureValue type comprises the different types of control loop structures. ControlLoopType is an enumeration of its instances OpenLoopControl, FeedForwardControl, StateFeedbackControl, OutputFeedbackControl and ComplexControlLoop.

ControlledSystem
type: Class
subclass of: FunctionBlock
comment: ControlledSystem describes the functionality of the system to be controlled.

Controller
type: Class
subclass of: FunctionBlock
comment: Controller represents the different types of controller.

DirectedActionline
type: Class
subclass of: Actionline
subclass of: Restriction
  on property: isDirectlyConnectedTo
  cardinality: 0
subclass of: Restriction
  on property: enters
  max cardinality: 1
subclass of: Restriction
  on property: leaves
  max cardinality: 1
comment: DirectedActionline is a specialization of Actionline and likewise the connecting element between ControlComponents. However, the usage of DirectedActionline implies the indication of a directed connection.

FunctionBlock
type: Class
subclass of: ControlComponent
subclass of: Restriction
  on property: hasLinearity
  some values from: LinearityVT
subclass of: Restriction
  on property: hasResponseCharacteristics
  some values from: ResponseCharacteristicsVT
subclass of: Restriction
  on property: hasLinearity
  all values from: LinearityVT
subclass of: Restriction
  on property: hasResponseCharacteristics
  all values from: ResponseCharacteristicsVT
subclass of: Restriction
  on property: hasLinearity
  cardinality: 1
comment: FunctionBlock have a distinct transfer function, which can be used to characterize them.

LinearityVT
type: Class
equivalent class: Class
  one of: linear
  one of: nonlinear
subclass of: ValueSet
disjoint with: ResponseCharacteristicsVT
comment: Linearity is an enumeration of its instances linear and Non-linear.

ResponseCharacteristicsVT
type: Class
subclass of: NonExhaustiveValueSet
comment: ResponseCharacteristics describe the several characteristics how a controlled system may react on a manipulation.

ReversingElement
type: Class
subclass of: ControlComponent
comment: ReversingElement describes the functionality of lead.

SensorFunction
type: Class
subclass of: FunctionBlock
comment: The SensorFunction comprises the entire function of recording, relaying, and writing out ProcessQuantities within other ControlComponents.

AccumulatedCosts
type: Class
equivalent class: Class
  intersection of: Costs
  intersection of: Restriction
    on property: addsUp
    some values from: Costs
disjoint with: EquipmentCosts
disjoint with: IndividualCosts
disjoint with: InstrumentationCosts
disjoint with: PipeCosts
comment: AccumulatedCosts summarize all partial costs that may occur in a ChemicalProcessSystem.

Costs
type: Class
subclass of: ScalarQuantity
subclass of: Restriction
  on property: hasDimension
  has value: amount of money
comment: Cost describes all kinds of costs that may arise with respect to the ChemicalProcessSystem economic evaluation.

CostsForBuildings
type: Class
subclass of: IndividualCosts
disjoint with: CostsForLand
disjoint with: CostsForSystemsRealization
disjoint with: GeneralExpense
disjoint with: InstallationCostsForSystemsRealization
disjoint with: ManufacturingCosts
disjoint with: NonManufacturingFixedCapitalInvestment
disjoint with: ServiceFacilityCosts
disjoint with: WorkingCapital
comment: CostsForBuildings are involved in the erection of all buildings connected with the Plant.

CostsForLand
type: Class
subclass of: IndividualCosts
disjoint with: CostsForSystemsRealization
disjoint with: GeneralExpense
disjoint with: InstallationCostsForSystemsRealization
disjoint with: ManufacturingCosts
disjoint with: NonManufacturingFixedCapitalInvestment
disjoint with: ServiceFacilityCosts
disjoint with: WorkingCapital
comment: CostsForLand cover the land price and the yard improvement costs.

CostsForSystemsRealization
type: Class
subclass of: AccumulatedCosts
subclass of: Restriction
  on property: addsUp
  some values from: InstallationCostsForSystemsRealization
subclass of: Restriction
  on property: addsUp
  some values from: PurchaseCostsForSystemsRealization
subclass of: Restriction
  on property: addsUp
  all values from: Class
    union of: InstallationCostsForSystemsRealization
    union of: PurchaseCostsForSystemsRealization
subclass of: Restriction
  on property: addsUp
  max cardinality: 2
disjoint with: FixedCapitalInvestment
disjoint with: ManufacturingFixedCapitalInvestment
disjoint with: ProductionCosts
disjoint with: PurchaseCostsForSystemsRealization
disjoint with: ServiceFacilityCosts
disjoint with: TotalCPSCosts
disjoint with: TotalCapitalInvestment
comment: CostsForSystemsRealization are directly associated with the ProcessingSubsystem and the OperatingSubsystem.

EconomicPerformance
type: Class
subclass of: System
subclass of: Restriction
  on property: hasProperty
  some values from: Costs
subclass of: Restriction
  on property: hasProperty
  some values from: Earnings
subclass of: Restriction
  on property: evaluates
  all values from: PlantItem
subclass of: Restriction
  on property: isConsideredUnderAspectOf
  has value: performance
comment: EconomicPerformance evaluates a ChemicalProcessSystem from an economic perspective

EquipmentCosts
type: Class
subclass of: Costs
subclass of: Restriction
  on property: isCostOfPlantItem
  some values from: Equipment
subclass of: Restriction
  on property: isCostOfPlantItem
  all values from: Equipment
subclass of: Restriction
  on property: isCostOfPlantItem
  cardinality: 1
disjoint with: IndividualCosts
disjoint with: InstrumentationCosts
disjoint with: PipeCosts
comment: EquipmentCosts are related costs to the Equipment

FixedCapitalInvestment
type: Class
subclass of: AccumulatedCosts
subclass of: Restriction
  on property: addsUp
  some values from: ManufacturingFixedCapitalInvestment
subclass of: Restriction
  on property: addsUp
  some values from: NonManufacturingFixedCapitalInvestment
subclass of: Restriction
  on property: addsUp
  all values from: Class
    union of: ManufacturingFixedCapitalInvestment
    union of: NonManufacturingFixedCapitalInvestment
subclass of: Restriction
  on property: addsUp
  max cardinality: 2
disjoint with: ManufacturingFixedCapitalInvestment
disjoint with: ProductionCosts
disjoint with: PurchaseCostsForSystemsRealization
disjoint with: TotalCPSCosts
disjoint with: TotalCapitalInvestment
disjoint with: WorkingCapital
comment: FixedCapitalInvestment is the capital needed to supply the manufacturing and plant facilities.

GeneralExpense
type: Class
subclass of: IndividualCosts
disjoint with: InstallationCostsForSystemsRealization
disjoint with: ManufacturingCosts
disjoint with: NonManufacturingFixedCapitalInvestment
disjoint with: ServiceFacilityCosts
disjoint with: WorkingCapital
comment: GeneralExpenses are involved in any company’s operation.

IndividualCosts
type: Class
subclass of: Costs
disjoint with: InstrumentationCosts
disjoint with: PipeCosts
comment: IndividualCosts represent costs that do not add up any other Costs.

InstallationCostsForSystemsRealization
type: Class
subclass of: IndividualCosts
disjoint with: ManufacturingCosts
disjoint with: NonManufacturingFixedCapitalInvestment
disjoint with: PurchaseCostsForSystemsRealization
disjoint with: ServiceFacilityCosts
disjoint with: WorkingCapital
comment: InstallationCostsForSystemsRealization involve for example the costs for labor, platforms, and construction.

InstrumentationCosts
type: Class
subclass of: Costs
subclass of: Restriction
  on property: isCostOfPlantItem
  some values from: Instrumentation
subclass of: Restriction
  on property: isCostOfPlantItem
  all values from: Instrumentation
disjoint with: PipeCosts
comment: InstrumentationCosts are related to the ProcessControlSystem.

ManufacturingCosts
type: Class
subclass of: AccumulatedCosts
subclass of: Restriction
  on property: addsUp
  some values from: DirectManufacturingCosts
subclass of: Restriction
  on property: addsUp
  some values from: IndirectManufacturingCosts
disjoint with: NonManufacturingFixedCapitalInvestment
disjoint with: ServiceFacilityCosts
disjoint with: WorkingCapital
comment: ManufacturingCosts are expenses which are directly connected with the manufacturing operation.

ManufacturingFixedCapitalInvestment
type: Class
subclass of: AccumulatedCosts
subclass of: Restriction
  on property: addsUp
  some values from: CostsForBuildings
subclass of: Restriction
  on property: addsUp
  some values from: CostsForLand
subclass of: Restriction
  on property: addsUp
  some values from: CostsForSystemsRealization
subclass of: Restriction
  on property: addsUp
  some values from: ServiceFacilityCosts
subclass of: Restriction
  on property: addsUp
  all values from: Class
    union of: CostsForBuildings
    union of: CostsForLand
    union of: CostsForSystemsRealization
    union of: ServiceFacilityCosts
subclass of: Restriction
  on property: addsUp
  max cardinality: 4
disjoint with: NonManufacturingFixedCapitalInvestment
disjoint with: ProductionCosts
disjoint with: PurchaseCostsForSystemsRealization
disjoint with: TotalCPSCosts
disjoint with: TotalCapitalInvestment

PipeCosts
type: Class
subclass of: Costs
subclass of: Restriction
  on property: isCostOfPlantItem
  some values from: Piping
subclass of: Restriction
  on property: isCostOfPlantItem
  all values from: Piping
comment: PipeCosts are also part of the Plant.

ProductionCosts
type: Class
subclass of: AccumulatedCosts
subclass of: Restriction
  on property: addsUp
  some values from: GeneralExpense
subclass of: Restriction
  on property: addsUp
  some values from: ManufacturingCosts
subclass of: Restriction
  on property: addsUp
  all values from: Class
    union of: GeneralExpense
    union of: ManufacturingCosts
subclass of: Restriction
  on property: addsUp
  max cardinality: 2
disjoint with: PurchaseCostsForSystemsRealization
disjoint with: TotalCPSCosts
disjoint with: TotalCapitalInvestment
comment: ProductionCosts cover the costs for operating the ChemicalProcessSystemRealization and selling the CoreProducts.

PurchaseCostsForSystemsRealization
type: Class
subclass of: AccumulatedCosts
subclass of: Restriction
  on property: addsUp
  some values from: EquipmentCosts
subclass of: Restriction
  on property: addsUp
  some values from: InstrumentationCosts
subclass of: Restriction
  on property: addsUp
  some values from: PipeCosts
subclass of: Restriction
  on property: addsUp
  all values from: Class
    union of: EquipmentCosts
    union of: InstrumentationCosts
    union of: PipeCosts
subclass of: Restriction
  on property: addsUp
  max cardinality: 3
disjoint with: TotalCPSCosts
disjoint with: TotalCapitalInvestment
comment: PurchaseCostsForSystemsRealization are the costs for purchasing the realization elements of the ProcessingSubsystem and the OperatingSubsystem.

ServiceFacilityCosts
type: Class
subclass of: IndividualCosts
disjoint with: WorkingCapital
comment: ServiceFacility costs are related to the costs connected with utilities for supplying stream, water, power, etc., waste disposal, fire protection and other service items.

TotalCPSCosts
type: Class
subclass of: AccumulatedCosts
subclass of: Restriction
  on property: addsUp
  some values from: ProductionCosts
subclass of: Restriction
  on property: addsUp
  some values from: TotalCapitalInvestment
subclass of: Restriction
  on property: addsUp
  all values from: Class
    union of: ProductionCosts
    union of: TotalCapitalInvestment
subclass of: Restriction
  on property: addsUp
  max cardinality: 2
disjoint with: TotalCapitalInvestment
comment: TotalCPSCosts of a ChemicalProcessSystem include all costs that are related to design, construction, and maintenance of the ChemicalProcessSystem, and the production and selling of EndProducts.

TotalCapitalInvestment
type: Class
subclass of: AccumulatedCosts
subclass of: Restriction
  on property: addsUp
  some values from: FixedCapitalInvestment
subclass of: Restriction
  on property: addsUp
  some values from: WorkingCapital
subclass of: Restriction
  on property: addsUp
  all values from: Class
    union of: FixedCapitalInvestment
    union of: WorkingCapital
subclass of: Restriction
  on property: addsUp
  max cardinality: 2
comment: TotalCapitalInvestment is the sum of the FixedCapitalInvestment and the WorkingCapital.

WorkingCapital
type: Class
subclass of: IndividualCosts
comment: WorkingCapital is the capital needed for the operations of a plant.

Apparatus
type: Class
subclass of: PieceOfEquipment
disjoint with: Machine
comment: An Apparatus is a PieceOfEquipment which mainly consists of non-moving parts and provides space for materials to be processed.

Equipment
type: Class
equivalent class: Class
  union of: GroupOfEquipment
  union of: PieceOfEquipment
subclass of: PlantItem
disjoint with: Fixture
disjoint with: Instrumentation
disjoint with: Piping
comment: Equipment is a PlantIitem that is capable of independently realizing one or more Process Steps.

Fixture
type: Class
subclass of: PlantItem
disjoint with: Instrumentation
disjoint with: Piping
comment: A Fixture is a PlantItem that is part of Equipment and therefore not capable of independently realizing a ProcessStep. The function of a PlantItem essentially depends on the required Fixtures.

GroupOfEquipment
type: Class
equivalent class: Class
  intersection of: Equipment
  intersection of: Restriction
    on property: hasSubsystem
    some values from: Equipment
  intersection of: Restriction
    on property: hasSubsystem
    some values from: Instrumentation
  intersection of: Restriction
    on property: hasSubsystem
    some values from: Piping
disjoint with: PieceOfEquipment
comment: A GroupOfEquipment is a Supersystem of Equipment that comprises of a number of Equipment, Piping and Instrumentation that realizes one or more CompositeProcessSteps.

Instrument
type: Class
subclass of: Instrumentation
subclass of: Restriction
  on property: hasConnector
  all values from: InstrumentationConnection
subclass of: Restriction
  on property: hasConnector
  max cardinality: 2
comment: An Instrument is a devices used to measure or control multiple or complex material Properties.

Instrumentation
type: Class
equivalent class: Class
  union of: Instrument
  union of: Loop
subclass of: PlantItem
disjoint with: Piping
comment: Instrumentation is about measuring and control. Instrumentation may comprise instruments as well as loops.

InstrumentationConnection
type: Class
subclass of: PlantItemInterface
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: Class
    union of: Nozzle
    union of: PipeSegmentEnd
subclass of: Restriction
  on property: isDirectlyConnectedTo
  max cardinality: 1
disjoint with: Nozzle
disjoint with: PipeSegmentEnd

Loop
type: Class
subclass of: Instrumentation
subclass of: Restriction
  on property: hasSubsystem
  some values from: Instrumentation
comment: A Loop, including instruments, is arranged in such a fashion as to try to regulate a variable of a certain controlled system.

Machine
type: Class
subclass of: PieceOfEquipment
subclass of: Restriction
  on property: hasEfficiency
  all values from: QuantitativeValue
subclass of: Restriction
  on property: hasPowerOutput
  all values from: QuantitativeValue
comment: A Machine is any mechanical or electrical device that transmits or modifies energy to perform or assist in the desired performance

Multiplicity
type: Class
subclass of: Multiplicity
subclass of: Restriction
  on property: indicatesMultiplicityOf
  some values from: PlantItem
subclass of: Restriction
  on property: indicatesMultiplicityOf
  all values from: PlantItem
subclass of: Restriction
  on property: indicatesMultiplicityOf
  cardinality: 1
subclass of: Restriction
  on property: multiplicity
  cardinality: 1

Nozzle
type: Class
subclass of: PlantItemInterface
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: Class
    union of: InstrumentationConnection
    union of: PipeSegmentEnd
subclass of: Restriction
  on property: isDirectlyConnectedTo
  max cardinality: 1
disjoint with: PipeSegmentEnd
comment: A Nozzle represents the interface through which a plant item that owns it can be connected to another PlantItem or to the environment of a Plant.

PieceOfEquipment
type: Class
subclass of: Equipment
subclass of: Restriction
  on property: hasConnector
  all values from: Nozzle
subclass of: Restriction
  on property: hasFixture
  all values from: Fixture
comment: A PieceOfEquipment is an elementary unit in the sense that it does not include other Equipments or Pipes.

Pipe
type: Class
equivalent class: Class
  intersection of: Piping
  intersection of: Class
    union of: Class
      intersection of: Restriction
        on property: hasDirectSubsystem
        some values from: PipeSegment
      intersection of: Restriction
        on property: hasSubsystem
        some values from: Instrument
    union of: Restriction
      on property: hasDirectSubsystem
      some values from: PipeSegment
disjoint with: PipeFitting
disjoint with: PipeSegment
disjoint with: PipingNetwork
comment: A Pipe can be used to connect one PlantItem to another PlantItem or to the environment of a Plant.

PipeFitting
type: Class
subclass of: Piping
disjoint with: PipeSegment
disjoint with: PipingNetwork
comment: Fittings are used in PipingNetworks to connect straight Pipe sections, to adapt to different sizes or shapes or forking of Piping.

PipeSegment
type: Class
subclass of: Piping
subclass of: Restriction
  on property: hasConnector
  all values from: PipeSegmentEnd
subclass of: Restriction
  on property: hasConnector
  cardinality: 2
disjoint with: PipingNetwork
comment: A PipeSegment is the elementary part of Piping. A Pipe is assembled of a number of PipeSegments.

PipeSegmentEnd
type: Class
subclass of: PlantItemInterface
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: Class
    union of: InstrumentationConnection
    union of: Nozzle
    union of: PipeSegmentEnd
subclass of: Restriction
  on property: isDirectlyConnectedTo
  max cardinality: 1
comment: A PipeSegmentEnd is an on or off-page Connector to an other Pipe, PieceOfEquipment or Instrumentation.

Piping
type: Class
equivalent class: Class
  union of: Pipe
  union of: PipeFitting
  union of: PipeSegment
  union of: PipingNetwork
subclass of: PlantItem
comment: A Piping is a plant item which is used for fluid transport. It may connect Equipment or/and Instruments.

PipingNetwork
type: Class
equivalent class: Class
  intersection of: Piping
  intersection of: Class
    union of: Class
      intersection of: Restriction
        on property: hasSubsystem
        some values from: Pipe
      intersection of: Restriction
        on property: hasSubsystem
        some values from: PipeFitting
    union of: Restriction
      on property: hasSubsystem
      some values from: Pipe
subclass of: Restriction
  on property: hasSubsystem
  some values from: PipingNetwork
comment: A PipingNetwork is an agglomeration of Pipes and PipeFittings used to connect multiple PiecesOfEquipment.

Plant
type: Class
subclass of: GroupOfEquipment
subclass of: Restriction
  on property: hasSubsystem
  some values from: ProcessControlSystem
subclass of: Restriction
  on property: isExclusivelySubsystemOf
  cardinality: 0

PlantItem
type: Class
subclass of: System
subclass of: Restriction
  on property: hasConstructionMaterial
  some values from: Substance
subclass of: Restriction
  on property: hasShapeRepresentation
  all values from: Solid
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: PlantItem
subclass of: Restriction
  on property: realizes
  all values from: ProcessStep
subclass of: Restriction
  on property: isConsideredUnderAspectOf
  has value: realization
comment: A PlantItem is an object which exists, in a material form, in a ChemicalProcessSystem and in which one or more ProcessSteps could be performed.

ControllingInstrument
type: Class
subclass of: Instrument
subclass of: ProcessControlDevice
comment: ControllingDevice is a direct subsystem of ProcessControlSystem and represents all controlling units in the process required

DirectedInformationProcessing
type: Class
subclass of: InformationProcessing
subclass of: Restriction
  on property: enters
  all values from: ProcessControlDevice
subclass of: Restriction
  on property: leaves
  all values from: ProcessControlDevice
subclass of: Restriction
  on property: isDirectlyConnectedTo
  cardinality: 0
subclass of: Restriction
  on property: enters
  max cardinality: 1
subclass of: Restriction
  on property: leaves
  max cardinality: 1

Human-ProcessCommunicationDevice
type: Class
subclass of: ProcessControlDevice
comment: Human-ProcessCommunicationDevice is a direct subsystem of ProcessControlDevice and descibes the human-machine interface by means of hardware

InformationProcessing
type: Class
subclass of: Connection
subclass of: Restriction
  on property: hasDirectSubsystem
  all values from: Class
    union of: InformationProcessing
    union of: ProcessControlDevice
subclass of: Restriction
  on property: hasSubsystem
  all values from: Class
    union of: InformationProcessing
    union of: ProcessControlDevice
subclass of: Restriction
  on property: isDirectSubsystemOf
  all values from: Class
    union of: InformationProcessing
    union of: ProcessControlDevice
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: Class
    union of: ControllingInstrument
    union of: Human-ProcessCommunicationDevice
    union of: MeasuringInstrument
subclass of: Restriction
  on property: isDirectlyConnectedTo
  max cardinality: 2
comment: InformationProcessingDevice is a direct subsystem of ProcessControlSystem and describes the processing by means of hardware components

MeasuringInstrument
type: Class
subclass of: Instrument
subclass of: ProcessControlDevice
comment: MeasuringDevice is a direct subsystem of ProcessControlSystem and represents all measuring units in the process required

ProcessControlDevice
type: Class
equivalent class: Class
  union of: ControllingInstrument
  union of: Human-ProcessCommunicationDevice
  union of: MeasuringInstrument
subclass of: Device
subclass of: Restriction
  on property: hasInput
  all values from: DirectedInformationProcessing
subclass of: Restriction
  on property: hasOutput
  all values from: DirectedInformationProcessing
subclass of: Restriction
  on property: hasDirectSubsystem
  all values from: Class
    union of: InformationProcessing
    union of: ProcessControlDevice
subclass of: Restriction
  on property: hasSubsystem
  all values from: Class
    union of: InformationProcessing
    union of: ProcessControlDevice
subclass of: Restriction
  on property: isDirectSubsystemOf
  all values from: Class
    union of: InformationProcessing
    union of: ProcessControlDevice
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: InformationProcessing
comment: ProcessControlSystem is a constitutional subsystem of the OperationSystem and describes the realization of the operating subsystem.

ProcessControlSystem
type: Class
equivalent class: Class
  intersection of: System
  intersection of: Restriction
    on property: hasDirectSubsystem
    some values from: ControllingInstrument
  intersection of: Restriction
    on property: hasDirectSubsystem
    some values from: Human-ProcessCommunicationDevice
  intersection of: Restriction
    on property: hasDirectSubsystem
    some values from: InformationProcessing
  intersection of: Restriction
    on property: hasDirectSubsystem
    some values from: MeasuringInstrument
subclass of: Supersystem
comment: ProcessControlSystem is a constitutional subsystem of the OperationSystem and describes the realization of the operating subsystem.

ChemicalProcessSystem
type: Class
subclass of: System
subclass of: Restriction
  on property: hasFunctionalAspect
  some values from: Process
subclass of: Restriction
  on property: hasPerformanceAspect
  some values from: EconomicPerformance
subclass of: Restriction
  on property: hasRealizationAspect
  some values from: Plant
comment: The ChemicalProcessSystem is a TechnicalSystem which is designed, built, and run in order to produce a chemical compound.

ProcessUnit
type: Class
subclass of: System
subclass of: Restriction
  on property: hasBehavioralAspect
  some values from: MaterialAmount
subclass of: Restriction
  on property: hasFunctionalAspect
  some values from: ProcessStep
subclass of: Restriction
  on property: hasPerformanceAspect
  some values from: EconomicPerformance
subclass of: Restriction
  on property: hasRealizationAspect
  some values from: PlantItem
subclass of: Restriction
  on property: hasBehavioralAspect
  all values from: MaterialAmount
subclass of: Restriction
  on property: hasFunctionalAspect
  all values from: ProcessStep
subclass of: Restriction
  on property: hasPerformanceAspect
  all values from: EconomicPerformance
subclass of: Restriction
  on property: hasRealizationAspect
  all values from: PlantItem
comment: ProcessUnit comprises ChemicaProcessSystem parts that are considered under specific aspects but do not represent the entire ChemicalProcessSystem.

Activity
type: Class
subclass of: PhaseComponentProperty
disjoint with: ActivityCoefficient
disjoint with: Fugacity
disjoint with: FugacityCoefficient
disjoint with: PartialMolarQuantity
disjoint with: PhaseComponentConcentration
comment: The activity of some PhaseComponent is the ratio of the PhaseComponent’s Fugacity to the Fugacity in its standard state.

ActivityCoefficient
type: Class
subclass of: PhaseComponentProperty
disjoint with: Fugacity
disjoint with: FugacityCoefficient
disjoint with: PartialMolarQuantity
disjoint with: PhaseComponentConcentration
comment: The ActivityCoefficient of a PhaseComponent is the ratio of its Fugacity in the actual PhaseSystem, divided by its Fugacity in an ideal mixture.

Composition
type: Class
subclass of: PropertySet
subclass of: Restriction
  on property: comprisesDirectly
  some values from: PhaseComponentConcentration
subclass of: Restriction
  on property: comprisesDirectly
  all values from: PhaseComponentConcentration
disjoint with: PhysicalContext
comment: Composition represents the composition of a SinglePhase by assembling the concentrations of the different PhaseComponents that constitute a single phase.

Density
type: Class
subclass of: ThermodynamicStateProperty
disjoint with: Pressure
disjoint with: SpecificEnthalpy
disjoint with: SpecificGibbsFreeEnergy
disjoint with: SpecificVolume
disjoint with: Temperature
comment: The mass of a PhaseSystem divided by its volume. It is the reciprocal of SpecificVolume.

DiffusionCoefficient
type: Class
subclass of: TransportPhenomenaProperty
disjoint with: DynamicViscosity
disjoint with: ThermalConductivity
comment: Proportionality constant, relating the flux of amount of some PhaseComponent to its concentration gradient.

DynamicViscosity
type: Class
subclass of: TransportPhenomenaProperty
disjoint with: ThermalConductivity
comment: For a laminar flow of a fluid, the ratio of the shear stress to the VelocityGradient perpendicular to the plane of shear (McNaught & Wilkinson, 1997).

Fugacity
type: Class
subclass of: PhaseComponentProperty
disjoint with: FugacityCoefficient
disjoint with: PartialMolarQuantity
disjoint with: PhaseComponentConcentration
comment: The fugacity of a PhaseComponent.

FugacityCoefficient
type: Class
subclass of: PhaseComponentProperty
disjoint with: PartialMolarQuantity
disjoint with: PhaseComponentConcentration
comment: Ratio of Fugacity to the partial pressure of a PhaseComponent.

IntensiveProperty
type: Class
subclass of: PhysicalQuantity
comment: An IntensiveProperty is a PhysicalQuantity, the Value of which does not depend on the system size or the amount of material in the system.

IntensiveThermodynamicStateVariable
type: Class
equivalent class: Class
  union of: PhaseComponentProperty
  union of: ThermodynamicStateProperty
subclass of: IntensiveProperty
comment: An IntensiveThermodynamicStateVariable is an IntensiveProperty that characterizes the (macroscopic) thermodynamic state of a PhaseSystem.

Mass-BasedPhaseRatio
type: Class
subclass of: PhaseRatio
disjoint with: MolarPhaseRatio
disjoint with: VolumetricPhaseRatio
comment: The ratio of the mass of a SinglePhaseInMultiphaseSystem divided by the mass of the MultiphaseSystem.

MassFraction
type: Class
subclass of: PhaseComponentFraction
subclass of: Restriction
  on property: hasDimension
  has value: mass fraction
disjoint with: MoleFraction
disjoint with: VolumeFraction
comment: The mass of a PhaseComponent divided by the total mass of all PhaseComponents of a PhaseSystem.

MolarPhaseRatio
type: Class
subclass of: PhaseRatio
disjoint with: VolumetricPhaseRatio
comment: The ratio of the of the (molar) amount of substance of a SinglePhaseInMultiphaseSystem divided by the the (molar) amount of substance of the MultiphaseSystem.

Molarity
type: Class
subclass of: Volume-BasedConcentration
disjoint with: PartialDensity
disjoint with: Volume-VolumePercentage
comment: The Molarity (aka amount concentration) is the molar amount of a PhaseComponent divided by the volume of the SinglePhase.

MoleFraction
type: Class
subclass of: PhaseComponentFraction
subclass of: Restriction
  on property: hasDimension
  has value: molar fraction
disjoint with: VolumeFraction
comment: The number of moles of a PhaseComponent divided by the total number of moles of all PhaseComponents in the PhaseSystem.

MultiphaseSystem
type: Class
equivalent class: Class
  intersection of: PhaseSystem
  intersection of: Restriction
    on property: isComposedOfSubsystem
    some values from: SinglePhase
subclass of: Restriction
  on property: isComposedOfSubsystem
  all values from: Class
    union of: PhaseInterface
    union of: SinglePhase
subclass of: Restriction
  on property: isComposedOfSubsystem
  min cardinality: 2
disjoint with: SinglePhase
comment: A MultiphaseSystem is a PhaseSystem that consists of two or more SinglePhases.

PartialDensity
type: Class
subclass of: Volume-BasedConcentration
disjoint with: Volume-VolumePercentage
comment: Mass of a PhaseComponent divided by the volume of the PhaseSystem.

PartialMolarEnthalpy
type: Class
subclass of: PartialMolarQuantity
disjoint with: PartialMolarVolume
comment: The partial derivative of the SpecificEnthalpy with respect to the number of moles of one PhaseComponent.

PartialMolarQuantity
type: Class
subclass of: PhaseComponentProperty
disjoint with: PhaseComponentConcentration
comment: A PartialMolarQuantity is the partial derivative of the considered molar quantity with respect to the number of moles of one PhaseComponent. The temperature, pressure, and the number of moles of all other PhaseComponents are held constant in the partial molar derivate. The class subsumes all kinds of Partialmolar quantities, such as PartialMolarEnthalpy or PartialMolarVolume.

PartialMolarVolume
type: Class
subclass of: PartialMolarQuantity
comment: The partial derivative of the SpecificVolume with respect to the number of moles of one PhaseComponent.

PhaseComponent
type: Class
subclass of: System
subclass of: Restriction
  on property: representsOccurenceOf
  some values from: ChemicalComponent
subclass of: Restriction
  on property: hasProperty
  some values from: PhaseComponentConcentration
subclass of: Restriction
  on property: isExclusivelySubsystemOf
  some values from: SinglePhase
subclass of: Restriction
  on property: representsOccurenceOf
  all values from: ChemicalComponent
subclass of: Restriction
  on property: hasProperty
  all values from: PhaseComponentProperty
subclass of: Restriction
  on property: isExclusivelySubsystemOf
  all values from: SinglePhase
subclass of: Restriction
  on property: representsOccurenceOf
  cardinality: 1
comment: A PhaseComponent represents the occurrence of a ChemicalComponent in a PhaseSystem.

PhaseComponentConcentration
type: Class
subclass of: PhaseComponentProperty
comment: PhaseComponentConcentration subsumes the different concentration measures for a certain PhaseComponent within a PhaseSystem.

PhaseComponentFraction
type: Class
subclass of: PhaseComponentConcentration
disjoint with: Volume-BasedConcentration
comment: In general, the ratio of two PhysicalQuantities of the same kind, the numerator quantity applying to one particular PhaseComponent of a SinlgePhase, and the denominator to the sum of quantities of all PhaseComponents of that SinglePhase. Concretely, a PhaseComponentFraction subsumes the following concentration measures: MassFraction, VolumeFraction, and MoleFraction.

PhaseComponentProperty
type: Class
equivalent class: Class
  intersection of: IntensiveProperty
  intersection of: Restriction
    on property: isPropertyOf
    some values from: PhaseComponent
subclass of: Restriction
  on property: isPropertyOf
  all values from: PhaseComponent
disjoint with: PhaseInterfaceProperty
disjoint with: PhaseReactionProperty
disjoint with: PhaseSystemProperty
comment: An IntensiveProperty that characterizes a PhaseComponent.

PhaseEquilibriumRatio
type: Class
subclass of: PhaseComponentProperty
comment: A PhaseEquilibriumRatio of a PhaseComponent in a MultiphaseSystem is a PhaseComponentProperty that denotes the ratio of the MoleFraction of this PhaseComponent in one specific SinglePhase to that in another specific SinglePhase; both SinglePhases are part of the MultiphaseSystem.

PhaseInterface
type: Class
subclass of: Connection
subclass of: System
subclass of: Restriction
  on property: isDirectlyConnectedTo
  some values from: SinglePhase
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: SinglePhase
subclass of: Restriction
  on property: isExclusivelySubsystemOf
  all values from: MultiphaseSystem
subclass of: Restriction
  on property: isDirectlyConnectedTo
  cardinality: 2
comment: The interface between two SinglePhases.

PhaseInterfaceProperty
type: Class
equivalent class: Class
  intersection of: IntensiveProperty
  intersection of: Restriction
    on property: isPropertyOf
    some values from: PhaseInterface
disjoint with: PhaseReactionProperty
disjoint with: PhaseSystemProperty
comment: An IntensiveProperty is an IntensiveProperty that characterizes the interface between two SinglePhases.

PhaseRatio
type: Class
equivalent class: Class
  union of: Mass-BasedPhaseRatio
  union of: MolarPhaseRatio
  union of: VolumetricPhaseRatio
subclass of: SinglePhaseInMultiphaseSystemProperty
comment: A PhaseRatio characterizes the proportion of a SinglePhase in a MultiphaseSystem on a mass, molar, or volume basis.

PhaseReactionProperty
type: Class
disjoint with: PhaseSystemProperty
comment: A PhaseReactionProperty is an IntensiveProperty that is a property of the occurence of a ChemicalReaction in a PhaseSystem or at a PhaseInterface.

PhaseSystem
type: Class
equivalent class: Class
  union of: MultiphaseSystem
  union of: SinglePhase
subclass of: System
subclass of: Restriction
  on property: has physical context
  some values from: PhysicalContext
subclass of: Restriction
  on property: has physical context
  all values from: PhysicalContext
subclass of: Restriction
  on property: has physical context
  cardinality: 1
comment: A PhaseSystem represents the macroscopic thermodynamic behavior of Material in some PhysicalContext.

PhaseSystemProperty
type: Class
equivalent class: Class
  intersection of: IntensiveProperty
  intersection of: Restriction
    on property: isPropertyOf
    some values from: PhaseSystem
subclass of: Restriction
  on property: isPropertyOf
  all values from: PhaseSystem
comment: A PhaseSystemProperty is an IntensiveProperty that characterizes a PhaseSystem. It can be described or calculated without reference to the shape, size, or amount of a particular occurrence of a material. In the case of calculation, this is consistent with the usage of general-purpose physical property packages, where such information is not required as the input for the calculation.

PhysicalContext
type: Class
subclass of: PropertySet
subclass of: Restriction
  on property: comprisesDirectly
  max cardinality: 2
comment: A PhysicalContext of a PhaseSystem is a set of IntensiveThermodynamicStateProperties with known values which are sufficient for determining other Properties of interest of the PhaseSystem.

Pressure
type: Class
subclass of: ThermodynamicStateProperty
subclass of: Restriction
  on property: hasDimension
  has value: pressure
disjoint with: SpecificEnthalpy
disjoint with: SpecificGibbsFreeEnergy
disjoint with: SpecificVolume
disjoint with: Temperature
comment: The (total absolute) pressure of a PhaseSystem

ReactionEquilibriumConstant
type: Class
subclass of: PhaseReactionProperty
comment: According to the IUPAC Compendium (McNaught & Wilkinson, 1997), the EquilibriumConstant is a PhysicalQuantity characterizing a chemical equilibrium of a PhaseReaction. It is defined by an expression of type K = x_1^nu_1 * x_2^nu_2 * ... x_i^nu_i , where nu_i is the StoichiometricCoefficient of a reactant (negative) or product (positive) of the reaction, and x_i stands for a PhysicalQuantity which can be the equilibrium value either of Pressure, Fugacity, Molarity, MolarFraction, molality, or Activity. Depending on the chosen quantity, one obtains one of the following types of EquilibriumConstant: pressure based, fugacity based, concentration based, amount fraction based, molality based, relative activity based, or standard equilibrium constant, respectively. These different types can be modeled as subclasses of the EquilibriumConstant.

SinglePhase
type: Class
subclass of: PhaseSystem
subclass of: Restriction
  on property: hasStateOfAggregation
  some values from: StateOfAggregation
subclass of: Restriction
  on property: has composition
  some values from: Composition
subclass of: Restriction
  on property: isComposedOfSubsystem
  some values from: PhaseComponent
subclass of: Restriction
  on property: hasStateOfAggregation
  all values from: StateOfAggregation
subclass of: Restriction
  on property: has composition
  all values from: Composition
subclass of: Restriction
  on property: isComposedOfSubsystem
  all values from: PhaseComponent
subclass of: Restriction
  on property: hasStateOfAggregation
  cardinality: 1
subclass of: Restriction
  on property: has composition
  cardinality: 1
comment: A SinglePhase is a finite volume of material within which the physical properties are uniformly constant, i.e., do not experience any abrupt change in passing from one point in the volume to another.

SinglePhaseInMultiphaseSystem
type: Class
equivalent class: Class
  intersection of: SinglePhase
  intersection of: Restriction
    on property: isExclusivelySubsystemOf
    some values from: MultiphaseSystem
subclass of: Restriction
  on property: isExclusivelySubsystemOf
  all values from: MultiphaseSystem
comment: A SinglePhase that is part of a MulitphaseSystem

SinglePhaseInMultiphaseSystemProperty
type: Class
subclass of: PhaseSystemProperty
subclass of: Restriction
  on property: isPropertyOf
  all values from: SinglePhaseInMultiphaseSystem
disjoint with: ThermodynamicStateProperty
disjoint with: TransportPhenomenaProperty
comment: Class used for grouping the Properties of a SinglePhaseInMultiphaseSystem.

SpecificEnthalpy
type: Class
subclass of: ThermodynamicStateProperty
disjoint with: SpecificGibbsFreeEnergy
disjoint with: SpecificVolume
disjoint with: Temperature
comment: SpecificEnthalpy denotes enthalpy per unit mass, i.e., the enthalpy of a PhaseSystem divided by its mass. It is defined by the equation h = u + p*v, where u represents the specific internal energy, p the Pressure, and v the SpecificVolume of the PhaseSystem. The SI unit for SpecificEnthalpy is joules per kilogram.

SpecificGibbsFreeEnergy
type: Class
subclass of: ThermodynamicStateProperty
disjoint with: SpecificVolume
disjoint with: Temperature
comment: SpecificGibbsFreeEnergy denotes the Gibbs free energy per unit mass, i.e., the Gibbs free energy of a PhaseSystem divided by its mass. It is defined by the equation g = u + p*v - T*s, where u represents the specific internal energy, p the Pressure, v the SpecificVolume, T the Temperature, and s the specific entropy of the PhaseSystem. The SI unit for the SpecificGibbsFreeEnerty is joules per kilogram

SpecificVolume
type: Class
subclass of: ThermodynamicStateProperty
disjoint with: Temperature
comment: The volume of a PhaseSystem divided by its mass. It is the reciprocal of Density.

StateOfAggregation
type: Class
subclass of: ExtensibleValueSet
comment: StateOfAggregation describes the physical state of a SinglePhase; solid, liquid, and gaseous are predefined instances of StateOfAggregation.

SurfaceTension
type: Class
subclass of: PhaseInterfaceProperty
comment: Work required to increase a surface area divided by that area. When two phases are studied it is often called interfacial tension (McNaught & Wilkinson, 1997). The SI unit of SurfaceTension is newtons per meter, or joules per square metre).

Temperature
type: Class
subclass of: ThermodynamicStateProperty
subclass of: Restriction
  on property: hasDimension
  has value: thermodynamic temperature
comment: The temperature of a PhaseSystem

ThermalConductivity
type: Class
subclass of: TransportPhenomenaProperty
comment: TheThermalConductivity is the coefficient relating the heat flux to the temperature gradient.

ThermodynamicStateProperty
type: Class
subclass of: PhaseSystemProperty
disjoint with: TransportPhenomenaProperty
comment: A ThermodynamicStateProperty is a PhaseSystemProperty that can serve as an IntensiveThermodynamicStateVariable (i.e., characterize the thermodynamic state of a PhaseSystem).

TransportPhenomenaProperty
type: Class
subclass of: PhaseSystemProperty
subclass of: Restriction
  on property: isPropertyOf
  all values from: SinglePhase
comment: A TransportPhenomenaProperty is a PhaseSystemProperty that subsumes DynamicViscosity, HeatConductivity, and Diffusion Coefficient.

TypeOfSolid
type: Class
equivalent class: Class
  one of: HydrateH
  one of: HydrateI
  one of: HydrateII
  one of: PureSolid
  one of: SolidSolution
subclass of: StateOfAggregation
comment: TypeOfSolid allows to further characterize the solid state of matter, according to the CAPE-OPEN Open Interface Specification “Thermodynamic and Physical properties” (Drewitz et al., 2006).

Volume-BasedConcentration
type: Class
subclass of: PhaseComponentConcentration
comment: Volume-BasedConcentration denotes the concentration of a certain PhaseComponent in a PhaseSystem with respect to the colume of PhaseSystem

Volume-VolumePercentage
type: Class
subclass of: Volume-BasedConcentration
comment: Volume of a PhaseComponent, divided by the total volume of the PhaseSystem. For ideal mixtures, this is the same as the VolumeFraction.

VolumeFraction
type: Class
subclass of: PhaseComponentFraction
subclass of: Restriction
  on property: hasDimension
  has value: volume fraction
comment: The volume of a PhaseComponent divided by the sum of volumes of all PhaseComponents of thePhaseSystem prior to mixing. For ideal mixtures, this equals to the Volume-Volume percentage.

VolumetricPhaseRatio
type: Class
subclass of: PhaseRatio
comment: The ratio of the volume of a SinglePhaseInMultiphaseSystem to the volume of the MultiphaseSystem.

Anion
type: Class
equivalent class: Class
  intersection of: Ion
  intersection of: Restriction
    on property: hasCharge
    some values from: NegativeIonicCharge
disjoint with: Cation
comment: An Anion is a monoatomic or polyatomic species having one or more elementary charges of the electron (McNaught & Wilkinson, 1997).

Atom
type: Class
subclass of: MolecularGroup
subclass of: MonoatomicEntity
subclass of: Restriction
  on property: hasCharge
  cardinality: 0
disjoint with: MonoatomicIon
comment: The smallest particle still characterizing a chemical element (McNaught & Wilkinson, 1997).

Cation
type: Class
equivalent class: Class
  intersection of: Ion
  intersection of: Restriction
    on property: hasCharge
    some values from: PositiveIonicCharge
comment: A Cation is a monoatomic or polyatomic species having one or more elementary charges of the proton (McNaught & Wilkinson, 1997).

HeteroatomicMolecularEntity
type: Class
subclass of: PolyatomicEntity
subclass of: MolecularEntity
disjoint with: HomoatomicMolecularEntity
comment: A HeteroatomicMolecularEntity is a MolecularEntity consisting of two or more [distinct] chemical elements. [http://www.ebi.ac.uk/ontology-lookup/browse.do?ontName=CHEBI, CHEBI:37577]

HomoatomicMolecularEntity
type: Class
subclass of: MolecularEntity
comment: A HomoatomicMolecularEntity is a MolecularEntity consisting of one or more Atoms of the same element. [http://www.ebi.ac.uk/ontology-lookup/browse.do?ontName=CHEBI, CHEBI:33259]

Ion
type: Class
equivalent class: Class
  intersection of: MolecularEntity
  intersection of: Restriction
    on property: hasCharge
    some values from: IonicCharge
subclass of: Restriction
  on property: hasCharge
  all values from: IonicCharge
subclass of: Restriction
  on property: hasCharge
  cardinality: 1
comment: An Ion is an atomic or molecular particle having a net electric charge (McNaught & Wilkinson, 1997).

MolecularGroup
type: Class
subclass of: MolecularEntity
comment: A linked collection of Atoms or a single Atom within a MolecularEntity.

Molecule
type: Class
subclass of: PolyatomicEntity
subclass of: Restriction
  on property: hasCharge
  cardinality: 0
disjoint with: PolyatomicIon
comment: A Molecule is an electrically neutral PolyatomicEntity "An electrically neutral entity consisting of more than one atom" [IUPAC o.J.]

MonoatomicAnion
type: Class
equivalent class: Class
  intersection of: MonoatomicIon
  intersection of: Restriction
    on property: hasCharge
    some values from: NegativeIonicCharge
subclass of: Restriction
  on property: hasCharge
  has value: -e
disjoint with: MonoatomicCation
comment: A MonoatomicAnion is a MonoatomicEntity that has a NegativeIonicCharge.

MonoatomicCation
type: Class
equivalent class: Class
  intersection of: MonoatomicIon
  intersection of: Restriction
    on property: hasCharge
    some values from: PositiveIonicCharge
subclass of: Restriction
  on property: hasCharge
  has value: e
comment: A MonoatomicCation is a MonoatomicEntity that has a PositiveIonicCharge.

MonoatomicEntity
type: Class
equivalent class: Class
  union of: Atom
  union of: MonoatomicIon
subclass of: HomoatomicMolecularEntity
subclass of: MolecularEntity
subclass of: Restriction
  on property: contains
  cardinality: 0
disjoint with: PolyatomicEntity
comment: A MolecularEntity consisting of a single Atom [http://www.ebi.ac.uk/ontology-lookup/browse.do?ontName=CHEBI, CHEBI:33238]

MonoatomicIon
type: Class
equivalent class: Class
  intersection of: MonoatomicEntity
  intersection of: Restriction
    on property: hasCharge
    some values from: IonicCharge
subclass of: Class
  union of: MonoatomicAnion
  union of: MonoatomicCation
subclass of: Restriction
  on property: hasCharge
  all values from: IonicCharge
subclass of: Restriction
  on property: hasCharge
  cardinality: 1
comment: A MonoatomicIon is a MonoatomicEntity that has an IonicCharge.

PolyatomicAnion
type: Class
equivalent class: Class
  intersection of: PolyatomicIon
  intersection of: Restriction
    on property: hasCharge
    some values from: NegativeIonicCharge
subclass of: Restriction
  on property: hasCharge
  all values from: NegativeIonicCharge
disjoint with: PolyatomicCation
comment: A PolyatomicAnion is an Anion consisting of more than one Atom. [http://www.ebi.ac.uk/ontology-lookup/browse.do?ontName=CHEBI, CHEBI:33273]

PolyatomicCation
type: Class
equivalent class: Class
  intersection of: PolyatomicIon
  intersection of: Restriction
    on property: hasCharge
    some values from: PositiveIonicCharge
subclass of: Restriction
  on property: hasCharge
  all values from: PositiveIonicCharge
comment: A PolyatomicCation is an Cation consisting of more than one Atom. [http://www.ebi.ac.uk/ontology-lookup/browse.do?ontName=CHEBI, CHEBI:33702]

PolyatomicEntity
type: Class
subclass of: MolecularEntity
comment: Any MolecularEntity consisting of more than one Atom is a PolyatomicEntity [http://www.ebi.ac.uk/ontology-lookup/browse.do?ontName=CHEBI, CHEBI:36357]

PolyatomicIon
type: Class
equivalent class: Class
  intersection of: PolyatomicEntity
  intersection of: Restriction
    on property: hasCharge
    some values from: IonicCharge
subclass of: Restriction
  on property: hasCharge
  all values from: IonicCharge
subclass of: Restriction
  on property: hasCharge
  cardinality: 1
comment: A PolyatomicIon is an Ion consisting of more than one Atom. [http://www.ebi.ac.uk/ontology-lookup/browse.do?ontName=CHEBI, CHEBI:36358]

ConstitutionalUnit
type: Class
subclass of: MolecularGroup
comment: A MolecularGroup comprising a part of the essential structure of a Macromolecule.

End-Group
type: Class
subclass of: ConstitutionalUnit
comment: An End-Group is a ConstitutionalUnit that is an extremity of a Macromolecule or OligomerMolecule (McNaught & Wilkinson, 1997).

Macromolecule
type: Class
subclass of: Molecule
subclass of: Restriction
  on property: containsDirectly
  some values from: ConstitutionalUnit
subclass of: Restriction
  on property: hasMacroscopicAppearance
  all values from: Polymer
subclass of: Restriction
  on property: containsDirectly
  all values from: ConstitutionalUnit
disjoint with: MonomerMolecule
disjoint with: OligomerMolecule
comment: A Molecule of high MolecularWeight, the structure of which essentially comprises the multiple repetition of units derived, actually or conceptually, from molecules of low MolecularWeight (McNaught & Wilkinson, 1997)

Monomer
type: Class
subclass of: ChemicalSpecies
subclass of: Restriction
  on property: hasMolecularStructure
  all values from: MonomerMolecule
disjoint with: Oligomer
disjoint with: Polymer
comment: A Substance composed of MonomerMolecules (McNaught & Wilkinson, 1997).

MonomerMolecule
type: Class
subclass of: Molecule
subclass of: Restriction
  on property: hasMacroscopicAppearance
  all values from: Monomer
disjoint with: OligomerMolecule
comment: A Molecule which can undergo polymerization thereby contributing ConstitutionalUnits to the essential structure of a Macromolecule (McNaught & Wilkinson, 1997).

MonomerUnit
type: Class
subclass of: ConstitutionalUnit
comment: A MonomerUnit is the largest ConstitutionalUnit contributed by a single monomer molecule (IUPAC) A MonomerUnit is a ConstitutionalUnit resulting from a monomer residue which has been polymerized. In contrast, a RepeatingUnit, is the shortest sequence that can be found repeatedly in a Macromolecule. (aka structural unit)

Oligomer
type: Class
subclass of: ChemicalSpecies
subclass of: Restriction
  on property: hasMolecularStructure
  all values from: OligomerMolecule
disjoint with: Polymer
comment: A Substance composed of OligomerMolecules (McNaught & Wilkinson, 1997).

OligomerMolecule
type: Class
subclass of: Molecule
subclass of: Restriction
  on property: hasMacroscopicAppearance
  all values from: Oligomer
comment: A Molecule of intermediate MolecularWeight, the structure of which essentially comprises a small plurality of units derived, actually or conceptually, from Molecules of lower MolecularWeight. A Molecule is regarded as having an intermediate MolecularWeight if it has properties which do vary significantly with the removal of one or a few of the units. (McNaught & Wilkinson, 1997).

Polymer
type: Class
subclass of: ChemicalSpecies
subclass of: Restriction
  on property: hasMolecularStructure
  all values from: Macromolecule
comment: A Substance composed of Macromolecules (McNaught & Wilkinson, 1997).

RepeatingUnit
type: Class
subclass of: ConstitutionalUnit
comment: A RepeatingUnit is the shortest ConstitutionalUnit that can be found repeatedly in a Macromolecule.

ChemicalReaction
type: Class
subclass of: System
subclass of: Restriction
  on property: hasProduct
  some values from: Class
    union of: ChemicalSpecies
    union of: MolecularEntity
subclass of: Restriction
  on property: hasReactant
  some values from: Class
    union of: ChemicalSpecies
    union of: MolecularEntity
subclass of: Restriction
  on property: hasProduct
  all values from: Class
    union of: ChemicalSpecies
    union of: MolecularEntity
subclass of: Restriction
  on property: hasReactant
  all values from: Class
    union of: ChemicalSpecies
    union of: MolecularEntity
subclass of: Restriction
  on property: hasStoichiometricCoefficient
  all values from: StoichiometricCoefficient
subclass of: Restriction
  on property: hasProduct
  min cardinality: 1
subclass of: Restriction
  on property: hasReactant
  min cardinality: 1
subclass of: Restriction
  on property: hasStoichiometricCoefficient
  min cardinality: 2
subclass of: Restriction
  on property: is_catalyst_required
  cardinality: 1
comment: A ChemicalReaction converts some ChemicalSpecies (or MolecularEntities) into some other ChemicalSpecies (or MolecularEntities).

CompositeReaction
type: Class
equivalent class: Class
  intersection of: SingleReaction
  intersection of: Restriction
    on property: isComposedOfSubsystem
    some values from: ElementaryReaction
subclass of: SingleReaction
subclass of: Restriction
  on property: isComposedOfSubsystem
  all values from: ElementaryReaction
subclass of: Restriction
  on property: isComposedOfSubsystem
  min cardinality: 2
disjoint with: ElementaryReaction
comment: A CompositeReaction is a ChemicalReaction that can be decomposed into several ElementaryReactions. Examples are parallel reactions (simultaneously occurring ElementaryReactions that form different products from a single set of reactants) and stepwise reactions (a set of consecutive ElementaryReactions with at least one reaction intermediate).

ElementaryReaction
type: Class
equivalent class: Class
  intersection of: SingleReaction
  intersection of: Restriction
    on property: isExclusivelySubsystemOf
    some values from: CompositeReaction
subclass of: Restriction
  on property: isExclusivelySubsystemOf
  all values from: CompositeReaction
subclass of: Restriction
  on property: isExclusivelySubsystemOf
  cardinality: 1
comment: An ElementaryReaction is a ChemicalReaction for which no reaction intermediates have been detected or need to be postulated in order to describe the ChemicalReaction on a molecular scale. An ElementaryReaction is assumed to occur in a single step and to pass through a single transition state (McNaught & Wilkinson, 1997).

StoichiometricCoefficient
type: Class
subclass of: UniqueOriginN-aryRelation
subclass of: Restriction
  on property: indicatesMultiplicityOf
  some values from: Class
    union of: ChemicalSpecies
    union of: MolecularEntity
subclass of: Restriction
  on property: indicatesMultiplicityOf
  all values from: ChemicalComponent
subclass of: Restriction
  on property: indicatesMultiplicityOf
  cardinality: 1
subclass of: Restriction
  on property: stoichiometricValue
  cardinality: 1
comment: A StoichiometricCoefficient indicates the multiplicity of a ChemicalSpecies or MolecularEntity that participates in a ChemicalReaction.

ChemicalComponent
type: Class
equivalent class: Class
  union of: ChemicalSpecies
  union of: PseudoComponent
subclass of: Substance
subclass of: Restriction
  on property: hasProperty
  all values from: ChemicalComponentConstant
disjoint with: Mixture
disjoint with: MolecularEntity
comment: The class ChemicalComponent subsumes ChemicalSpecies and PseudoComponents.

ChemicalComponentConstant
type: Class
subclass of: ScalarQuantity
subclass of: Restriction
  on property: isPropertyOf
  all values from: ChemicalComponent
subclass of: Restriction
  on property: hasValue
  cardinality: 1
comment: A ChemicalComponentConstant is a constant Property of a ChemicalComponent.

ChemicalSpecies
type: Class
subclass of: ChemicalComponent
subclass of: Restriction
  on property: hasMolecularStructure
  all values from: MolecularEntity
subclass of: Restriction
  on property: hasMolecularStructure
  max cardinality: 1
subclass of: Restriction
  on property: InChI
  max cardinality: 1
subclass of: Restriction
  on property: SMILES
  max cardinality: 1
subclass of: Restriction
  on property: WLN
  max cardinality: 1
subclass of: Restriction
  on property: empiricalFormula
  max cardinality: 1
subclass of: Restriction
  on property: molecularFormula
  max cardinality: 1
disjoint with: PseudoComponent
comment: A ChemicalSpecies represents pure Substances at the macroscopic scale. It consists of an “ensemble of chemically identical molecular entities […]. The term is applied equally to a set of chemically identical atomic or molecular structural units in a solid array. […] The wording of the definition […] is intended to embrace both cases such as graphite, sodium chloride or a surface oxide, where the basic structural units may not be capable of isolated existence, as well as those cases where they are.” (McNaught & Wilkinson, 1997).

CriticalMolarVolume
type: Class
subclass of: ChemicalComponentConstant
subclass of: Restriction
  on property: hasValue
  all values from: Class
    intersection of: ScalarValue
    intersection of: Restriction
      on property: hasUnitOfMeasure
      all values from: Class
        intersection of: UnitOfMeasure
        intersection of: Restriction
subclass of: Restriction
  on property: hasDimension
  has value: molar volume
disjoint with: CriticalPressure
disjoint with: CriticalTemperature
disjoint with: MolecularWeight
disjoint with: TriplePointPressure
disjoint with: TriplePointTemperature
comment: The CriticalMolarVolume is the volume of one mole of a substance at the CriticalTemperature and CriticalPressure.

CriticalPressure
type: Class
subclass of: ChemicalComponentConstant
subclass of: Restriction
  on property: hasValue
  all values from: Class
    intersection of: ScalarValue
    intersection of: Restriction
      on property: hasUnitOfMeasure
      all values from: Class
        intersection of: UnitOfMeasure
        intersection of: Restriction
subclass of: Restriction
  on property: hasDimension
  has value: pressure
disjoint with: CriticalTemperature
disjoint with: MolecularWeight
disjoint with: TriplePointPressure
disjoint with: TriplePointTemperature
comment: The minimum pressure which would suffice to liquefy a Substance at its CriticalTemperature. Above the CriticalPressure, increasing the temperature will not cause a fluid to vaporize to give a two-phase system (McNaught & Wilkinson, 1997).

CriticalTemperature
type: Class
subclass of: ChemicalComponentConstant
subclass of: Restriction
  on property: hasValue
  all values from: Class
    intersection of: ScalarValue
    intersection of: Restriction
      on property: hasUnitOfMeasure
      all values from: Class
        intersection of: UnitOfMeasure
        intersection of: Restriction
subclass of: Restriction
  on property: hasDimension
  has value: thermodynamic temperature
disjoint with: MolecularWeight
disjoint with: TriplePointPressure
disjoint with: TriplePointTemperature
comment: That temperature, characteristic of each gas, above which it is not possible to liquefy a given gas (McNaught & Wilkinson, 1997). The CriticalTemperature of a material is the temperature above which distinct liquid and gas phases do not exist. As the CriticalTemperature is approached, the properties of the gas and liquid phases become the same. Above the CriticalTemperature, there is only one phase. [Wikipedia, 2006]

Mixture
type: Class
subclass of: Substance
subclass of: Restriction
  on property: containsDirectly
  all values from: ChemicalComponent
subclass of: Restriction
  on property: chemicalFormula
  cardinality: 0
disjoint with: MolecularEntity
comment: A Mixture is a Substance that contains two or more ChemicalComponents. The mixture class can represent two different things: (a) a loose collection of segregate chemical components, or (b) a compound material formed by several blended chemical components. The composition of a Mixture is not fixed.

MolecularEntity
type: Class
subclass of: Substance
subclass of: Restriction
  on property: hasCharge
  all values from: IonicCharge
subclass of: Restriction
  on property: hasMacroscopicAppearance
  all values from: ChemicalSpecies
subclass of: Restriction
  on property: contains
  all values from: MolecularGroup
subclass of: Restriction
  on property: hasCharge
  max cardinality: 1
subclass of: Restriction
  on property: chemicalFormula
  min cardinality: 1
subclass of: Restriction
  on property: InChI
  max cardinality: 1
subclass of: Restriction
  on property: SMILES
  max cardinality: 1
subclass of: Restriction
  on property: WLN
  max cardinality: 1
subclass of: Restriction
  on property: empiricalFormula
  max cardinality: 1
subclass of: Restriction
  on property: molecularFormula
  max cardinality: 1
comment: The class MolecularEntity characterizes Substances at the atomic scale. It represents “any constitutionally or isotopically distinct atom, molecule, ion, ion pair, radical, radical ion, complex, conformer etc., identifiable as a separately distinguishable entity. MolecularEntity is used […] as a general term for singular entities, irrespective of their nature” (McNaught & Wilkinson, 1997).

MolecularWeight
type: Class
subclass of: ChemicalComponentConstant
subclass of: Restriction
  on property: hasValue
  all values from: Class
    intersection of: ScalarValue
    intersection of: Restriction
      on property: hasUnitOfMeasure
      all values from: Class
        intersection of: UnitOfMeasure
        intersection of: Restriction
subclass of: Restriction
  on property: hasDimension
  has value: molecular mass
disjoint with: TriplePointPressure
disjoint with: TriplePointTemperature
comment: Ratio of the mass of one molecule of a Substance, relative to the unified atomic mass unit (which is equal to 1/12 the mass of one atom of carbon-12). Also known as (relative) molar mass or (relative) molecular mass.

PseudoComponent
type: Class
subclass of: ChemicalComponent
subclass of: Restriction
  on property: chemicalFormula
  cardinality: 0
subclass of: Restriction
  on property: isomericStructuralFormula
  cardinality: 0
comment: A PseudoComponent is an auxiliary concept, which represents the averaged properties of a number of ChemicalSpecies. PseudoComponents are often assumed to exist in the context of physical property calculations of complex multicomponent mixtures, such as petroleum, fatty alcohols, or polymers.

Substance
type: Class
subclass of: System
subclass of: Restriction
  on property: substanceID
  min cardinality: 1
subclass of: Restriction
  on property: CAS RegistryNumber
  max cardinality: 1

TriplePointPressure
type: Class
subclass of: ChemicalComponentConstant
subclass of: Restriction
  on property: hasValue
  all values from: Class
    intersection of: ScalarValue
    intersection of: Restriction
      on property: hasUnitOfMeasure
      all values from: Class
        intersection of: UnitOfMeasure
        intersection of: Restriction
subclass of: Restriction
  on property: hasDimension
  has value: pressure
disjoint with: TriplePointTemperature
comment: The triple point of a Substance is given by the temperature and pressure at which three phases (gas, liquid, and solid) of that Substance coexist in thermodynamic equilibrium.

TriplePointTemperature
type: Class
subclass of: ChemicalComponentConstant
subclass of: Restriction
  on property: hasValue
  all values from: Class
    intersection of: ScalarValue
    intersection of: Restriction
      on property: hasUnitOfMeasure
      all values from: Class
        intersection of: UnitOfMeasure
        intersection of: Restriction
subclass of: Restriction
  on property: hasDimension
  has value: thermodynamic temperature
comment: The triple point of a Substance is given by the temperature and pressure at which three phases (gas, liquid, and solid) of that Substance coexist in thermodynamic equilibrium.

CapacityFCIModel
type: Class
subclass of: FixedCapitalInvestmentModel
disjoint with: Detailed-itemFCIModel
disjoint with: FactorialFCIModel
comment: CapacityFCIModels are based on FixedCapitalInvestments of past design projects that are similar to the current ChemicalProcessSystem. Besides, some relating factors (e.g. turn-over ratio), exponential power ratios or more complex relations are given.

CostModel
type: Class
equivalent class: Class
  intersection of: EconomicPerformanceModel
  intersection of: Restriction
    on property: hasModelVariable
    some values from: Class
      intersection of: ModelVariable
      intersection of: Restriction
        on property: correspondsToQuantity
        some values from: Costs
comment: A MathematicalModel to estimate the investment costs of a ChemicalProcessSystem.

Detailed-itemFCIModel
type: Class
subclass of: FixedCapitalInvestmentModel
disjoint with: FactorialFCIModel
comment: Detailed-itemFCIModel requires careful determination of all individual direct and indirect cost items. For such models, extensive data and large amounts of engineering time are necessary. Therefore, this type of estimate is almost exclusively prepared by contractors bidding on complete and all-inclusive work from finished drawings and specifications.

DifferentialFactorialModel
type: Class
subclass of: FactorialFCIModel
disjoint with: GlobalFactorialModel
comment: Within DifferentialFactorialModels, different factors are used for the costs of the FixedCapitalInvestment. Examples are modular estimate models, where individual modules consisting of a group of similar items are considered separately and their costs are then summarized. [Guthrie, K.: Data and techniques for preliminary capital cost estimation, Chemical Engineering 24 (3), pp. 114-142, 1969]

EconomicPerformanceModel
type: Class
equivalent class: Class
  intersection of: MathematicalModel
  intersection of: Restriction
    on property: models
    some values from: EconomicPerformance
subclass of: Restriction
  on property: models
  all values from: EconomicPerformance
comment: An EconomicPerformanceModel models the EconomicPerformance of a ChemicalProcessSystem.

FactorialFCIModel
type: Class
subclass of: FixedCapitalInvestmentModel
comment: FactorialFCIModels rely on the fact that the percentages of the different costs within the FixedCapitalInvestment are similar for different ChemicalProcessSystems. Based on one or several known costs (for example the equipment costs), the fixed capital investment is estimated using some factors that are derived from cost records, published data and experience.

FixedCapitalInvestmentModel
type: Class
equivalent class: Class
  intersection of: CostModel
  intersection of: Restriction
    on property: hasModelVariable
    some values from: Class
      intersection of: ModelVariable
      intersection of: Restriction
        on property: correspondsToQuantity
        some values from: FixedCapitalInvestment
comment: FixeCapitalInvestmentModels (FCI models) are MathematicalModels that are used to estimate the FixedCapitalInvestment of a ChemicalProcessSystem.

GlobalFactorialModel
type: Class
subclass of: FactorialFCIModel
comment: A GlobalFactorialModel estimates the FixedCapitalIinvestment by multiplying the basic EquipmentCost by some factor. This factor depends among other things on the type of chemical process involved, required materials of construction, and the location of the ChemicalProcessSystem realization. Examples for global factors are the ones proposed by [Lang47]. This model can be extended to calculate the TotalCapitalInvestment. Lang, H.J.: Engineering Approach to Preliminary Cost Estimates, Chemical Engineering, pp. 130-133 (September 1947).

PowerFactorModel
type: Class
subclass of: CapacityFCIModel
disjoint with: Step Counting Model
disjoint with: TurnoverRatioModel
comment: The PowerFactorModel relates the fixed capital investment of a new chemical process system to the one of similar, previously constructed systems by an exponential power ratio. [Peters, M.S. and Timmerhaus, K.D.: Plant Design and Economics for Chemical Engineers, McGraw-Hill, New York, 1991]

SixTenthsRuleModel
type: Class
subclass of: PowerFactorModel
comment: The SixTenthsRuleModel is a PowerFactorModel with x=0.6.

Step Counting Model
type: Class
subclass of: CapacityFCIModel
disjoint with: TurnoverRatioModel
comment: StepCountingModel are based on the assumption that the FixedCapitalInvestment can be estimated from the number of process steps (depending on the specific approach, composite process steps or unit operations and reactions are used) multiplied with the costs per process step and some correcting factors. The costs of the process steps are estimated from their capacity and some other factors. [Vogt, M.: Neuere Methoden der Investitionsrechnung in der Chemischen Industrie, Diploma thesis, Technische Universität Berlin, 1996]

TurnoverRatioModel
type: Class
subclass of: CapacityFCIModel
comment: The TurnoverRatioModel is a fast evaluation method for order-of-magnitude estimates. The turnover ratio is defined as the ratio of gross annual sales to FixedCapitalInvestment. Values of turnover ratios for different types of chemical processes are for example given by [Schembra91] and [Vogt96]. Schembra, M. (1991). Daten und Methoden zur Vorkalkulation des Anlagekapitalbedarfs von Chemieanlagen, PhD thesis Technische Universität Berlin. Vogt, M. (1996). Neuere Methoden der Investitionsrechnung in der Chemischen Industrie, Diploma thesis, Technische Universität Berlin.

Unit-costEstimateModel
type: Class
subclass of: DifferentialFactorialModel
comment: Unit-costEstimateModels are based on detailed estimates of the main purchase costs for a CPS_realization (either obtained from quotations or from cost records and published data).

AlgebraicEquationSystem
type: Class
equivalent class: Class
  union of: LinearAlgebraicSystem
  union of: NonlinearAlgebraicSystem
subclass of: MathematicalModel
subclass of: Restriction
  on property: hasLinearity
  some values from: Linearity
subclass of: Restriction
  on property: hasLinearity
  all values from: Linearity
subclass of: Restriction
  on property: hasLinearity
  cardinality: 1
disjoint with: DifferentialAlgebraicEquationSystem
disjoint with: DifferentialEquationSystem
comment: An AlgebraicEquationSystem is a MathematicalModel which solely consists of algebraic equations.

DAE Explicitness
type: Class
equivalent class: Class
  one of: fully implicit
  one of: semi-explicit
subclass of: EquationSystemCharacteristics
disjoint with: Linearity
disjoint with: ModelRepresentationForm
disjoint with: NumericalStiffness
disjoint with: ODE Explicitness
disjoint with: VariablesType
comment: Characterizes the explicitness of a DAE system

DifferentialAlgebraicEquationSystem
type: Class
equivalent class: Class
  union of: OrdinaryDifferentialAlgebraicSystem
  union of: PartialDifferentialAlgebraicSystem
subclass of: MathematicalModel
subclass of: Restriction
  on property: hasDAE Explicitness
  some values from: DAE Explicitness
subclass of: Restriction
  on property: hasLinearity
  some values from: Linearity
subclass of: Restriction
  on property: hasDAE Explicitness
  all values from: DAE Explicitness
subclass of: Restriction
  on property: hasLinearity
  all values from: Linearity
subclass of: Restriction
  on property: hasDAE Explicitness
  cardinality: 1
subclass of: Restriction
  on property: hasLinearity
  cardinality: 1
subclass of: Restriction
  on property: differentialIndex
  cardinality: 1
disjoint with: DifferentialEquationSystem
comment: A DifferentialAlgebraicEquationSystem (DAE system) is a MathematicalModel that comprises both algebraic and differential equations.

DifferentialEquationSystem
type: Class
equivalent class: Class
  union of: OrdinaryDifferentialEquationSystem
  union of: PartialDifferentialEquationSystem
subclass of: MathematicalModel
subclass of: Restriction
  on property: differentialOrder
  cardinality: 1
comment: A DifferentialEquationSystem is a MathematicalModel that solely consists of differential equations.

EquationSystemCharacteristics
type: Class
subclass of: FixedValueSet
comment: The EquationSystemCharacteristics characterize the model equations of a MathematicalModel.

LinearAlgebraicSystem
type: Class
equivalent class: Class
  intersection of: AlgebraicEquationSystem
  intersection of: Restriction
    on property: hasLinearity
    has value: linear
disjoint with: NonlinearAlgebraicSystem
comment: A LinearAlgebraicSystem is an AlgebraicSystem which contains only linear equations.

Linearity
type: Class
equivalent class: Class
  one of: linear
  one of: nonlinear
subclass of: EquationSystemCharacteristics
disjoint with: ModelRepresentationForm
disjoint with: NumericalStiffness
disjoint with: ODE Explicitness
disjoint with: VariablesType
comment: Characterizes the linearity of a (Differential)AlgebrailEquationSystem.

ModelRepresentationForm
type: Class
equivalent class: Class
  one of: closed form
  one of: open form
subclass of: EquationSystemCharacteristics
disjoint with: NumericalStiffness
disjoint with: ODE Explicitness
disjoint with: VariablesType
comment: A MathematicalModel may appear in two forms, as indicated by the ModelRepresentationForm: - An open-form model is solved by an external algorithm. One can freely choose the inputs and outputs of the open-form model. - A closed-form model includes an underlying numerical algorithm that solves the model equations. The algorithm accepts only a fixed set of input variables, and consequently returns only a fixed set of output variables.

NonlinearAlgebraicSystem
type: Class
equivalent class: Class
  intersection of: AlgebraicEquationSystem
  intersection of: Restriction
    on property: hasLinearity
    has value: nonlinear
comment: A NonlinearAlgebraicSystem is an AlgebraicEquationSystem that is characterized as nonlinear.

NumericalStiffness
type: Class
equivalent class: Class
  one of: nonstiff
  one of: stiff
subclass of: EquationSystemCharacteristics
disjoint with: ODE Explicitness
disjoint with: VariablesType
comment: In mathematics, a stiff equation is a differential equation for which certain numerical methods for solving the equation are numerically unstable, unless the step size is taken to be extremely small. It has proved difficult to formulate a precise definition of stiffness, but the main idea is that the equation includes some terms that can lead to rapid variation in the solution (Wikipedia, 2007).

ODE Explicitness
type: Class
equivalent class: Class
  one of: explicit formulation
  one of: implicit formulation
subclass of: EquationSystemCharacteristics
disjoint with: VariablesType
comment: Characterizes the explicitness of an OrdinaryDifferentialEquationSystem, which can be given in implicit_formulation or explicit_formulation.

OrdinaryDifferentialAlgebraicSystem
type: Class
subclass of: DifferentialAlgebraicEquationSystem
disjoint with: PartialDifferentialAlgebraicSystem
comment: An OrdinaryDifferentialAlgebraicSystem is a DifferentialAlgebraicSystem system which comprises ordinary differential equations as well as algebraic equations.

OrdinaryDifferentialEquationSystem
type: Class
subclass of: DifferentialEquationSystem
subclass of: Restriction
  on property: hasNumericalStiffness
  some values from: NumericalStiffness
subclass of: Restriction
  on property: hasODE explicitness
  some values from: ODE Explicitness
subclass of: Restriction
  on property: hasNumericalStiffness
  all values from: NumericalStiffness
subclass of: Restriction
  on property: hasODE explicitness
  all values from: ODE Explicitness
subclass of: Restriction
  on property: hasNumericalStiffness
  cardinality: 1
subclass of: Restriction
  on property: hasODE explicitness
  cardinality: 1
disjoint with: PartialDifferentialEquationSystem
comment: An OrdinaryDifferentialEquationSystem (ODE system) is a DifferentialEquationSystem which solely consists of ordinary differential equations.

PartialDifferentialAlgebraicSystem
type: Class
subclass of: DifferentialAlgebraicEquationSystem
comment: A PartialDifferentialAlgebraicSystem comprises both partial differential equations and algebraic equations.

PartialDifferentialEquationSystem
type: Class
subclass of: DifferentialEquationSystem
comment: A PartialDifferentialEquationSystem (PDE system) is a DifferentialEquationSystem which consists of partial differential equations.

VariablesType
type: Class
equivalent class: Class
  one of: continuous model
  one of: discrete model
  one of: mixed model
subclass of: EquationSystemCharacteristics
comment: A VariablesType indicates whether the ModelVariables of a MathematicalModel are all continuous, all discrete, or partly continuous and partly discrete: - A continuous_model denotes a MathematicalModel in which all the ModelVariables are continuous. - A discrete_model denotes a MathematicalModel in which all the ModelVariables are discrete. An example of a mixed_model is an integer model. - A mixed_model denotes a MathematicalModel in which some of the model variables are discrete while the others are continuous. An example of a mixed_model is a mixed integer model.

Constant
type: Class
subclass of: ModelVariable
subclass of: Restriction
  on property: hasValue
  all values from: Class
    intersection of: ModelVariableSpecification
    intersection of: Restriction
      on property: numericalValue
      cardinality: 1
subclass of: Restriction
  on property: hasValue
  cardinality: 1
disjoint with: Parameter
disjoint with: StateVariable
comment: A Constant is a specified ModelVariable (i.e., an input variable), the ModelVariableSpecification of which has a constant numericalValue in all simulation runs.

Coupling
type: Class
subclass of: PropertySet
subclass of: Restriction
  on property: comprisesDirectly
  some values from: ModelPort
subclass of: Restriction
  on property: comprisesDirectly
  all values from: ModelPort
subclass of: Restriction
  on property: comprisesDirectly
  cardinality: 2
disjoint with: ModelPort
comment: A Coupling connects two ModelPorts of different Submodels, thereby defining equality equations between the ModelVariables comprised in the two ModelPorts.

MathematicalModel
type: Class
subclass of: Model
subclass of: Restriction
  on property: hasModelRepresentationForm
  some values from: ModelRepresentationForm
subclass of: Restriction
  on property: hasVariablesType
  some values from: VariablesType
subclass of: Restriction
  on property: hasModelVariable
  some values from: ModelVariable
subclass of: Restriction
  on property: hasModelRepresentationForm
  all values from: ModelRepresentationForm
subclass of: Restriction
  on property: hasVariablesType
  all values from: VariablesType
subclass of: Restriction
  on property: hasCoupling
  all values from: Coupling
subclass of: Restriction
  on property: hasModelPort
  all values from: ModelPort
subclass of: Restriction
  on property: hasModelVariable
  all values from: ModelVariable
subclass of: Restriction
  on property: hasModelRepresentationForm
  cardinality: 1
subclass of: Restriction
  on property: hasVariablesType
  cardinality: 1
comment: A MathematicalModel is a Model that uses mathematical language to describe the modeled System.

ModelPort
type: Class
subclass of: PropertySet
subclass of: Restriction
  on property: comprisesDirectly
  some values from: ModelVariable
subclass of: Restriction
  on property: isOrderedBy
  all values from: PortIndex
subclass of: Restriction
  on property: comprisesDirectly
  all values from: ModelVariable
comment: A ModelPort is a collection of ModelVariables that can participate in a connection with another MathematicalModel. Thus, a model port has the function to identify and to bundle the 'public' variables of a MathematicalModel. Optionally, a ModelPort can be ordered by a PortIndex.

ModelVariable
type: Class
equivalent class: Class
  union of: Constant
  union of: Parameter
  union of: StateVariable
subclass of: PhysicalQuantity
subclass of: Restriction
  on property: hasValue
  some values from: ModelVariableSpecification
subclass of: Restriction
  on property: hasValue
  all values from: ModelVariableSpecification
comment: A ModelVariable represents a PhysicalQuantity involved in a MathematicalModel, the Value of which can be either supplied or solved by an evaluation of the MathematicalModel.

ModelVariableSpecification
type: Class
subclass of: QuantitativeValue
subclass of: Class
  union of: Class
    intersection of: Restriction
      on property: lowerLimit
      cardinality: 1
    intersection of: Restriction
      on property: upperLimit
      cardinality: 1
  union of: Restriction
    on property: numericalValue
    cardinality: 1
subclass of: Restriction
  on property: hasUnitOfMeasure
  all values from: UnitOfMeasure
subclass of: Restriction
  on property: hasUnitOfMeasure
  max cardinality: 1
comment: A ModelVariableSpecification specifies a ModelVariable in terms of its numerical value (or limits of its numeric value) and its unit of measurement.

ModeledObject
type: Class
equivalent class: Class
  intersection of: System
  intersection of: Restriction
    on property: isModeledBy
    some values from: Model
comment: A System that is modeled by means of a MathematicalModel is denoted as a ModeledObject.

Parameter
type: Class
subclass of: ModelVariable
subclass of: Restriction
  on property: hasValue
  all values from: Class
    intersection of: ModelVariableSpecification
    intersection of: Restriction
      on property: numericalValue
      cardinality: 1
disjoint with: StateVariable
comment: A Parameter is a specified ModelVariable (i.e., an input variable), the ModelVariableSpecification of which has may take different numericalValue in different simulation runs.

PortIndex
type: Class
subclass of: Index
subclass of: Restriction
  on property: determinesPositionOf
  some values from: ModelVariable
subclass of: Restriction
  on property: isIndexOf
  some values from: ModelPort
subclass of: Restriction
  on property: determinesPositionOf
  all values from: ModelVariable
subclass of: Restriction
  on property: isIndexOf
  all values from: ModelPort
subclass of: Restriction
  on property: isIndexOf
  cardinality: 1
subclass of: Restriction
  on property: indexValue
  cardinality: 1
comment: A PortIndex orders the ModelVariables comprised in a ModelPort by assigning each of them an indexValue. In a Coupling, ModelVariables with the same indexValue are coupled to each other.

StateVariable
type: Class
subclass of: ModelVariable
subclass of: Restriction
  on property: hasValue
  all values from: Class
    intersection of: ModelVariableSpecification
    intersection of: Restriction
      on property: lowerLimit
      cardinality: 1
    intersection of: Restriction
      on property: upperLimit
      cardinality: 1
comment: A StateVariable is an unspecified ModelVariable. Its ModelVariableSpecification either indicates the upperLimit and lowerLimit of the ModelVariable (before solving the model) or its numericalValue (after solving the model).

Submodel
type: Class
equivalent class: Class
  intersection of: MathematicalModel
  intersection of: Restriction
    on property: isDirectSubsystemOf
    some values from: MathematicalModel
subclass of: Restriction
  on property: isDirectSubsystemOf
  all values from: MathematicalModel
comment: A MathematicalModel can be decomposed into Submodels.

AlgebraicModelSolutionStrategy
type: Class
subclass of: ModelSolutionStrategy
subclass of: Restriction
  on property: solves
  all values from: AlgebraicEquationSystem
disjoint with: DAE SolutionStrategy
disjoint with: ODE SolutionStrategy
disjoint with: PartialDifferentialAlgebraicModelSolutionStrategy
comment: An AlgebraicModelSolutionStrategy is a ModelSolutionStrategy for solving AlgebraicEquationSystems.

DAE SolutionStrategy
type: Class
subclass of: ModelSolutionStrategy
subclass of: Restriction
  on property: applies
  some values from: AlgebraicModelSolutionStrategy
subclass of: Restriction
  on property: applies
  some values from: ODE SolutionStrategy
subclass of: Restriction
  on property: applies
  all values from: Class
    union of: AlgebraicModelSolutionStrategy
    union of: ODE SolutionStrategy
subclass of: Restriction
  on property: solves
  all values from: DifferentialAlgebraicEquationSystem
subclass of: Restriction
  on property: applies
  cardinality: 2
subclass of: Restriction
  on property: handlesDifferentialIndexUpTo
  cardinality: 1
disjoint with: ODE SolutionStrategy
disjoint with: PartialDifferentialAlgebraicModelSolutionStrategy
comment: A DAE_SolutionStrategy is a ModelSolutionStrategy for solving DifferentialAlgebraicEquationSystems. Examples are implicit Runge-Kutta, BDF, etc.

LinearAlgebraicModelSolutionStrategy
type: Class
subclass of: AlgebraicModelSolutionStrategy
subclass of: Restriction
  on property: solves
  all values from: LinearAlgebraicSystem
disjoint with: NonlinearAlgebraicModelSolutionStrategy
comment: A LinearAlgebraicModelSolutionStrategy is ModelSolutionStrategy for solving LinearAlgebraicSystems. An example is Gauss-elimination.

ModelSolutionStrategy
type: Class
subclass of: System
subclass of: Restriction
  on property: solves
  some values from: MathematicalModel
subclass of: Restriction
  on property: applies
  all values from: ModelSolutionStrategy
subclass of: Restriction
  on property: solves
  all values from: MathematicalModel
comment: A ModelSolutionStrategy is a (typcially numerical) algorithm that can be used to solve mathematical models.

NonlinearAlgebraicModelSolutionStrategy
type: Class
subclass of: AlgebraicModelSolutionStrategy
subclass of: Restriction
  on property: solves
  all values from: NonlinearAlgebraicSystem
comment: A NonlinearAlgebraicModelSolutionStrategy is a ModelSolutionStrategy for solving NonlinearAlgebraicSystem. An example is the Newton's method.

ODE SolutionStrategy
type: Class
subclass of: ModelSolutionStrategy
subclass of: Restriction
  on property: hasTypeOfInvolvedSteps
  some values from: TypeOfInvolvedSteps
subclass of: Restriction
  on property: hasTypeOfInvolvedSteps
  all values from: TypeOfInvolvedSteps
subclass of: Restriction
  on property: solves
  all values from: OrdinaryDifferentialEquationSystem
subclass of: Restriction
  on property: hasTypeOfInvolvedSteps
  cardinality: 1
disjoint with: PartialDifferentialAlgebraicModelSolutionStrategy
comment: An ODE_SolutionStrategy is a ModelSolutionStrategy for solving OrdinaryDifferentialEquationSystems.

PartialDifferentialAlgebraicModelSolutionStrategy
type: Class
subclass of: ModelSolutionStrategy
subclass of: Restriction
  on property: solves
  all values from: PartialDifferentialAlgebraicSystem
comment: A PartialDifferentialAlgebraicModelSolutionStrategy is a ModelSolutionStrategy for solving PartialDifferentialAlgebraicSystems.

SolutionStrategyForExplixcitODEs
type: Class
subclass of: ODE SolutionStrategy
subclass of: Restriction
  on property: solves
  all values from: Class
    intersection of: OrdinaryDifferentialEquationSystem
    intersection of: Restriction
      on property: hasODE explicitness
      has value: explicit formulation
disjoint with: SolutionStrategyForImplicitODEs
comment: A SolutionStrategyForExplixcitODEs is used to solve ordinary differential equation systems that are given in an explicit_formulation. Examples are explicit Euler, explicit Runge-Kutta, etc.

SolutionStrategyForImplicitODEs
type: Class
subclass of: ODE SolutionStrategy
subclass of: Restriction
  on property: solves
  all values from: Class
    intersection of: OrdinaryDifferentialEquationSystem
    intersection of: Restriction
      on property: hasODE explicitness
      has value: implicit formulation
comment: A SolutionStrategyForIImplicitODEs is used to solve OrdinaryDifferentialEquationSystems that are given in an implicit_formulation. Examples are implicit Euler, implicit Runge-Kutta, etc.

TypeOfInvolvedSteps
type: Class
equivalent class: Class
  one of: multi-step method
  one of: one-step method
subclass of: FixedValueSet
comment: A type of involved step denotes whether an ordinary differential equation solution strategy is of one-step nature or multi-step nature. - A one-step_method characterizes an ODESolutionStrategy that uses information of one integration step. Examples are various Runge-Kutta methods. - A multi-step_method characterizes an ODESolutionStrategy that uses information of multiple integration steps. Examples are Adams, BDF, etc.

Law
type: Class
subclass of: ProcessModel
subclass of: Restriction
  on property: isAssociatedWith
  some values from: PhysicochemicalPhenomenon
subclass of: Restriction
  on property: isAssociatedWith
  all values from: PhysicochemicalPhenomenon
subclass of: Restriction
  on property: isDirectSubsystemOf
  all values from: ProcessModel
subclass of: Restriction
  on property: isAssociatedWith
  max cardinality: 1
disjoint with: PropertyModel
comment: A Law constitutes the mathematical representation of a scientific law. It usually forms part of an overall ProcessModel.

ModelingPrinciple
type: Class
equivalent class: Class
  one of: data driven
  one of: first-principles
  one of: hybrid
subclass of: FixedValueSet
comment: A ModelingPrinciple represents the principle following which the ProcessModel is developed.

ProcessModel
type: Class
equivalent class: Class
  intersection of: MathematicalModel
  intersection of: Restriction
    on property: models
    some values from: Class
      union of: ProcessUnit
      union of: Material
      union of: Restriction
        on property: isSubsystemOf
        some values from: ProcessUnit
      union of: Restriction
        on property: isSubsystemOf
        some values from: Material
subclass of: Restriction
  on property: hasModelVariable
  some values from: Class
    intersection of: ModelVariable
    intersection of: Restriction
      on property: correspondsToQuantity
      some values from: Class
        intersection of: PhysicalQuantity
        intersection of: Restriction
subclass of: Restriction
  on property: hasModelingPrinciple
  some values from: ModelingPrinciple
subclass of: Restriction
  on property: hasModelingPrinciple
  all values from: ModelingPrinciple
subclass of: Restriction
  on property: models
  all values from: Class
    union of: ProcessUnit
    union of: Material
    union of: Restriction
      on property: isSubsystemOf
      some values from: ProcessUnit
    union of: Restriction
      on property: isSubsystemOf
      some values from: Material
subclass of: Restriction
  on property: hasModelingPrinciple
  cardinality: 1
comment: A ProcessModel is a MathematicalModel that models a ProcessUnit or a Material, or subsystems of these.

PropertyModel
type: Class
subclass of: ProcessModel
subclass of: Restriction
  on property: isDirectSubsystemOf
  some values from: ProcessModel
subclass of: Restriction
  on property: isDirectSubsystemOf
  all values from: ProcessModel
comment: A PropertyModel forms part of an overall ProcessModel. It represents a mathematical correlation for the computation of one designated ModelVariable, which corresponds to one specific PhysicalQuantity. Examples are vapor pressure correlations or activity coefficient models.

PrefixedDerivedUnit
type: Class
equivalent class: Restriction
  on property: isDefinedBy
  some values from: Class
    intersection of: Node
    intersection of: Restriction
      on property: hasLeftChild
      some values from: Class
        intersection of: Node
        intersection of: Restriction
subclass of: SI DerivedUnit
comment: A PrefixedDerivedUnit is an SI_Unit with an SI_Prefix. Examples are kJ (kilo-joule), hPa (hecto-pascal), or mm (milli-meter).

SI BaseUnit
type: Class
equivalent class: Class
  one of: A
  one of: K
  one of: cd
  one of: kg
  one of: m
  one of: mol
  one of: s
subclass of: SI Unit
subclass of: Operand
disjoint with: SI DerivedUnit
comment: The seven base units of the SI system are: ampere, candela, kelvin, kilogram, meter, mole, and second (BIPM, 2006).

SI DerivedUnit
type: Class
subclass of: SI Unit
subclass of: Restriction
  on property: isDefinedBy
  all values from: Node
subclass of: Restriction
  on property: isDefinedBy
  max cardinality: 1
comment: "Derived units are units which may be expressed in terms of base units by means of the mathematical symbols of multiplication and division. Certain derived units have been given special names and symbols, and these special names and symbols may themselves be used in combination with those for base and other derived units to express the units of other quantities" (BIPM, 2006).

SI Prefix
type: Class
equivalent class: Class
  one of: atto
  one of: centi
  one of: deca
  one of: deci
  one of: exa
  one of: femto
  one of: giga
  one of: hecto
  one of: kilo
  one of: mega
  one of: micro
  one of: milli
  one of: nano
  one of: peta
  one of: pico
  one of: tera
  one of: yocto
  one of: yotta
  one of: zepto
  one of: zetta
subclass of: Operand
comment: An SI prefix can be used to prefix any SI unit to produce a multiple or submultiple of the original unit (BIPM, 2006). So far (as of 2006), the following 20 prefixes have been approved by the General Conference on Weights and Measures: yotta, zetta, exa, peta, tera, giga, mega, kilo, hecto, deca, deci, centi, milli, micro, nano, pico, femto, atto, zepto, yocto.

SI Unit
type: Class
equivalent class: Class
  union of: SI BaseUnit
  union of: SI DerivedUnit
subclass of: UnitOfMeasure
comment: An SI_Unit is Unit that complies with the SI system of units (cf. BIPM, 2006).

BaseArea
type: Class
subclass of: SideArea
disjoint with: LateralSurfaceArea
comment: The base is the bottom of a solid. If the top is parallel to the bottom (as in a trapezoid or prism), both the top and bottom are called bases. The BaseArea is the SurfaceArea of (one of) the base(s).

Cone
type: Class
subclass of: Solid
subclass of: Restriction
  on property: has area
  some values from: BaseArea
subclass of: Restriction
  on property: has area
  some values from: LateralSurfaceArea
subclass of: Restriction
  on property: has length
  some values from: Height
subclass of: Restriction
  on property: has area
  all values from: Class
    union of: BaseArea
    union of: LateralSurfaceArea
disjoint with: Cuboid
disjoint with: Cylinder
disjoint with: Sphere
comment: A three dimensional figure with a single base tapering to an apex. The base can be any simple closed curve. [http://www.mathwords.com/c/cone.htm]

Cuboid
type: Class
subclass of: Solid
subclass of: Restriction
  on property: has area
  some values from: SideArea
subclass of: Restriction
  on property: has length
  some values from: EdgeLength
subclass of: Restriction
  on property: has area
  all values from: SideArea
subclass of: Restriction
  on property: has length
  all values from: EdgeLength
subclass of: Restriction
  on property: has area
  cardinality: 3
subclass of: Restriction
  on property: has length
  cardinality: 3
disjoint with: Cylinder
disjoint with: Sphere
comment: A closed box composed of three pairs of rectangular faces placed opposite each other and joined at right angles to each other, also known as a rectangular parallelepiped. [Weisstein, Eric W. "Cuboid." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/Cuboid.html]

Cylinder
type: Class
subclass of: Solid
subclass of: Restriction
  on property: has area
  some values from: BaseArea
subclass of: Restriction
  on property: has area
  some values from: LateralSurfaceArea
subclass of: Restriction
  on property: has length
  some values from: Height
subclass of: Restriction
  on property: has area
  all values from: Class
    union of: BaseArea
    union of: LateralSurfaceArea
subclass of: Restriction
  on property: has area
  min cardinality: 3
disjoint with: Sphere
comment: A Solid with parallel congruent bases. The bases can be shaped like any closed plane figure (not necessarily a circle) and must be oriented identically. [http://www.mathwords.com/c/cylinder.htm]

Diameter
type: Class
subclass of: ScalarQuantity
subclass of: Restriction
  on property: hasDimension
  has value: length
disjoint with: EdgeLength
disjoint with: Height
disjoint with: Radius
disjoint with: TotalSurfaceArea
disjoint with: Volume
comment: The length of a line segment between two points on a Disk or Sphere which passes through the center of the Disk or Sphere.

Disk
type: Class
subclass of: Surface
subclass of: Restriction
  on property: has length
  some values from: Class
    union of: Diameter
    union of: Radius
subclass of: Restriction
  on property: has length
  all values from: Class
    union of: Diameter
    union of: Radius
subclass of: Restriction
  on property: has length
  cardinality: 1
disjoint with: Rectangle
comment: A Disk is the union of a circle and its interior [http://www.mathwords.com/d/disk.htm]. A circle is given by the set of points in a plane that are equidistant from a given point.

EdgeLength
type: Class
subclass of: ScalarQuantity
subclass of: Restriction
  on property: hasDimension
  has value: length
disjoint with: Height
disjoint with: Radius
disjoint with: SurfaceArea
disjoint with: TotalSurfaceArea
disjoint with: Volume
comment: The length of a (straight) edge of a Surface or Solid

Height
type: Class
subclass of: ScalarQuantity
subclass of: Restriction
  on property: hasDimension
  has value: length
disjoint with: Radius
disjoint with: TotalSurfaceArea
disjoint with: Volume
comment: The shortest distance between the base of a geometric figure and its top, whether that top is an opposite vertex, an apex, or another base. [http://www.mathwords.com/a/altitude.htm]

LateralSurfaceArea
type: Class
subclass of: SideArea
comment: The SurfaceArea of a single lateral surface of a solid (i.e., any SideArea that is not a BaseArea).

Radius
type: Class
subclass of: ScalarQuantity
subclass of: Restriction
  on property: hasDimension
  has value: length
disjoint with: SurfaceArea
disjoint with: TotalSurfaceArea
disjoint with: Volume
comment: The length of the line segment between the center and a point on a circle or Sphere.

Rectangle
type: Class
subclass of: Surface
subclass of: Restriction
  on property: has length
  some values from: EdgeLength
subclass of: Restriction
  on property: has length
  all values from: EdgeLength
subclass of: Restriction
  on property: has length
  cardinality: 2
comment: A box shape on a plane. Formally, a rectangle is a quadrilateral with four congruent angles (all 90°). [http://www.mathwords.com/r/rectangle.htm]

RightCircularCone
type: Class
subclass of: RightCone
subclass of: Restriction
  on property: has length
  all values from: Height
subclass of: Restriction
  on property: has area
  cardinality: 2
subclass of: Restriction
  on property: has length
  cardinality: 1
comment: A RightCone with a base that is a circle.

RightCircularCylinder
type: Class
subclass of: RightCylinder
subclass of: Restriction
  on property: has length
  some values from: Class
    union of: Diameter
    union of: Radius
subclass of: Restriction
  on property: has length
  all values from: Class
    union of: Diameter
    union of: Height
    union of: Radius
subclass of: Restriction
  on property: has area
  cardinality: 3
subclass of: Restriction
  on property: has length
  cardinality: 2
comment: A RightCylinder with bases that are circles [http://www.mathwords.com/r/right_circular_cylinder.htm]

RightCone
type: Class
subclass of: Cone
comment: A Cone that has its apex aligned directly above the center of its base [http://www.mathwords.com/r/right_cone.htm].

RightCylinder
type: Class
subclass of: Cylinder
comment: A Cylinder which has bases aligned one directly above the other [http://www.mathwords.com/r/right_cylinder.htm]

SideArea
type: Class
subclass of: SurfaceArea
subclass of: Restriction
  on property: isPropertyOf
  all values from: Solid
disjoint with: TotalSurfaceArea
comment: The area of one particular exterior surface of a Solid. This concept should be applied only if the Solid has several distinguishable exterior surfaces. Otherwise (e.g., for a Sphere) use TotalSufaceArea A SideArea can either be a ScalarQuantity or a VectorQuantity. In case of the latter, the vector is perpendicular to the surface (i.e., it has the same orientation as the surface normal), and its Euclidean norm equals the area of the surface.

Solid
type: Class
subclass of: System
subclass of: Restriction
  on property: has area
  some values from: SurfaceArea
subclass of: Restriction
  on property: has volume
  some values from: Volume
subclass of: Restriction
  on property: has area
  all values from: SurfaceArea
subclass of: Restriction
  on property: has volume
  all values from: Volume
subclass of: Restriction
  on property: has volume
  cardinality: 1
comment: Solid (aka Geometric Solid or Solid Geometric Figure) is a collective term for all bounded three-dimensional geometric figures. This includes polyhedra, pyramids, prisms, cylinders, cones, spheres, ellipsoids, etc. [http://www.mathwords.com/s/solid.htm]

Sphere
type: Class
subclass of: Solid
subclass of: Restriction
  on property: has length
  some values from: Class
    union of: Diameter
    union of: Radius
subclass of: Restriction
  on property: has area
  all values from: TotalSurfaceArea
subclass of: Restriction
  on property: has length
  all values from: Class
    union of: Diameter
    union of: Radius
subclass of: Restriction
  on property: has area
  cardinality: 1
subclass of: Restriction
  on property: has length
  cardinality: 1
comment: A Solid consisting of all points equidistant from a given point. This point is the center of the sphere. [http://www.mathwords.com/s/sphere.htm]

Surface
type: Class
subclass of: System
subclass of: Restriction
  on property: has area
  some values from: SurfaceArea
subclass of: Restriction
  on property: has area
  all values from: SurfaceArea
subclass of: Restriction
  on property: has area
  cardinality: 1
comment: a two-dimensional submanifold of three-dimensional Euclidean space

SurfaceArea
type: Class
equivalent class: Class
  union of: SideArea
  union of: TotalSurfaceArea
subclass of: PhysicalQuantity
subclass of: Restriction
  on property: hasDimension
  has value: area
comment: The area of a Surface or of (one of) the exterior surface(s) of a Solid. More precisely, the class alternatively denotes - the area of a Surface, or - the area of a single exterior surface of a Solid, or - the total area of the exterior surface(s) of a Solid.

TotalSurfaceArea
type: Class
subclass of: SurfaceArea
subclass of: ScalarQuantity
disjoint with: Volume
comment: The total area of a Surface or of (all) the exterior surface(s) of a Solid.

Volume
type: Class
subclass of: ScalarQuantity
subclass of: Restriction
  on property: hasDimension
  has value: volume
comment: The total amount of space enclosed in a Solid [http://www.mathwords.com/v/volume.htm]

BinaryOperator
type: Class
subclass of: FunctionalOperator
disjoint with: UnaryOperator
comment: A BinaryOperator denotes a binary operation between two expression. Typical binary operations are addition, subtraction, multiplication, division, and exponentiation. Labels and definitions of binary operators are taken from Appendix C "Content Markup Definition" of MathML v2.0, http://www.w3.org/TR/MathML2/appendixc.html

FunctionalOperator
type: Class
equivalent class: Class
  union of: BinaryOperator
  union of: UnaryOperator
subclass of: Operator
disjoint with: RelationalOperator
comment: A FunctionalOperator denotes a mathematical function.

InternalNode
type: Class
equivalent class: Class
  intersection of: Node
  intersection of: Class
    union of: Restriction
      on property: hasChild
      some values from: Node
    union of: Restriction
      on property: leftChildNodeValue
      cardinality: 1
    union of: Restriction
      on property: rightChildNodeValue
      cardinality: 1
  intersection of: Restriction
    on property: hasParent
    some values from: Node
subclass of: Class
  union of: Class
    intersection of: Class
      union of: Class
        intersection of: Restriction
      union of: Class
        intersection of: Restriction
      union of: Class
        intersection of: Restriction
    intersection of: Restriction
      on property: hasNodeValue
      some values from: UnaryOperator
  union of: Class
    intersection of: Class
      union of: Class
        intersection of: Restriction
      union of: Restriction
        on property: hasChild
        cardinality: 2
    intersection of: Restriction
      on property: hasNodeValue
      some values from: BinaryOperator
subclass of: Restriction
  on property: hasNodeValue
  all values from: FunctionalOperator
disjoint with: Leaf
disjoint with: RootNode
comment: A node that has a parent node as well as a child. The child may be represented either as a node or through the attribute leftChildNodeValue or rightChildNodeValue.

Leaf
type: Class
subclass of: Node
subclass of: Restriction
  on property: hasNodeValue
  all values from: Operand
subclass of: Restriction
  on property: hasChild
  cardinality: 0
subclass of: Restriction
  on property: leftChildNodeValue
  cardinality: 0
subclass of: Restriction
  on property: rightChildNodeValue
  cardinality: 0
disjoint with: RootNode
comment: A Leaf is a Node without any children.

Node
type: Class
equivalent class: Class
  union of: InternalNode
  union of: Leaf
  union of: RootNode
subclass of: Node
subclass of: Class
  union of: Class
    intersection of: Restriction
      on property: hasLeftChild
      cardinality: 0
    intersection of: Restriction
      on property: leftChildNodeValue
      max cardinality: 1
  union of: Class
    intersection of: Restriction
      on property: hasLeftChild
      max cardinality: 1
    intersection of: Restriction
      on property: leftChildNodeValue
      cardinality: 0
subclass of: Class
  union of: Class
    intersection of: Restriction
      on property: hasNodeValue
      cardinality: 0
    intersection of: Restriction
      on property: nodeValue
      cardinality: 1
  union of: Class
    intersection of: Restriction
      on property: hasNodeValue
      cardinality: 1
    intersection of: Restriction
      on property: nodeValue
      cardinality: 0
subclass of: Class
  union of: Class
    intersection of: Restriction
      on property: hasRightChild
      cardinality: 0
    intersection of: Restriction
      on property: rightChildNodeValue
      max cardinality: 1
  union of: Class
    intersection of: Restriction
      on property: hasRightChild
      max cardinality: 1
    intersection of: Restriction
      on property: rightChildNodeValue
      cardinality: 0
subclass of: Restriction
  on property: hasLeftChild
  all values from: Node
subclass of: Restriction
  on property: hasNodeValue
  all values from: NodeValue
subclass of: Restriction
  on property: hasParent
  all values from: Node
subclass of: Restriction
  on property: hasRightChild
  all values from: Node
subclass of: Restriction
  on property: hasLeftChild
  max cardinality: 1
subclass of: Restriction
  on property: hasNodeValue
  max cardinality: 1
subclass of: Restriction
  on property: hasRightChild
  max cardinality: 1
subclass of: Restriction
  on property: leftChildNodeValue
  max cardinality: 1
subclass of: Restriction
  on property: nodeValue
  max cardinality: 1
subclass of: Restriction
  on property: rightChildNodeValue
  max cardinality: 1
disjoint with: NodeValue
comment: Binary trees can be used to represent mathematical expressions: specifically the combinations of operators, operands, and order of evaluation. The leaves of such an expression tree are operands in the expression, and the internal nodes are the operators. For example, the relation (1+2)*3 < 4 can be represented by the following tree: < / \ * 4 / \ + 3 / \ 1 2

NodeValue
type: Class
equivalent class: Class
  union of: Operand
  union of: Operator
subclass of: NonExhaustiveValueSet
comment: A NodeValue represents a component part of mathematical expression. It can be either an Operator or an Operand.

Operand
type: Class
subclass of: NodeValue
disjoint with: Operator
comment: An Operand is one of the inputs of an Operator.

Operator
type: Class
equivalent class: Class
  union of: FunctionalOperator
  union of: RelationalOperator
subclass of: NodeValue
comment: An Operator is either a RelationalOperator or a FunctionalOperator.

RelationalOperator
type: Class
subclass of: Operator
comment: A RelationalOperator denotes a mathematical relation, such as equality or greater than, between two expressions. Labels and definitions of relational operators are taken from Appendix C "Content Markup Definition" of MathML v2.0, http://www.w3.org/TR/MathML2/appendixc.html

RootNode
type: Class
equivalent class: Class
  intersection of: Node
  intersection of: Restriction
    on property: hasParent
    cardinality: 0
subclass of: Class
  union of: Class
    intersection of: Class
      union of: Class
        intersection of: Restriction
      union of: Restriction
        on property: hasChild
        cardinality: 2
    intersection of: Restriction
      on property: hasNodeValue
      some values from: Class
        union of: BinaryOperator
        union of: RelationalOperator
  union of: Class
    intersection of: Class
      union of: Restriction
        on property: hasChild
        cardinality: 1
      union of: Restriction
        on property: leftChildNodeValue
        cardinality: 1
      union of: Restriction
        on property: rightChildNodeValue
        cardinality: 1
    intersection of: Restriction
      on property: hasNodeValue
      some values from: UnaryOperator
subclass of: Restriction
  on property: hasNodeValue
  all values from: Operator
comment: A RootNode is the root element of a binary tree. All other Nodes are descendents of the RootNode.

UnaryOperator
type: Class
subclass of: FunctionalOperator
comment: A UnaryOperator denotes a mathematical operation which takes a single argument. Typical binary operations are squaring, root extraction, or factorial. Labels and definitions of unary operators are taken from Appendix C "Content Markup Definition" of MathML v2.0, http://www.w3.org/TR/MathML2/appendixc.html

ElectricityAndMagnetism
type: Class
subclass of: DerivedDimension
disjoint with: Mechanics
disjoint with: PeriodicPhenomena
disjoint with: SpaceAndTime
disjoint with: Thermodynamics
comment: The class ElectricityAndMagnetism subsumes DerivedDimensions that are connected with the phenomena of electricity or magnetism.

Mechanics
type: Class
subclass of: DerivedDimension
disjoint with: PeriodicPhenomena
disjoint with: SpaceAndTime
disjoint with: Thermodynamics
comment: The class Mechanics subsumes DerivedDimensions that are of relevance for the field of mechanics.

PeriodicPhenomena
type: Class
subclass of: DerivedDimension
disjoint with: SpaceAndTime
disjoint with: Thermodynamics
comment: The class PeriodicPhenomena subsumes DerivedDimensions with a periodic character, such as frequency or period.

SpaceAndTime
type: Class
subclass of: DerivedDimension
disjoint with: Thermodynamics
comment: The class SpaceAndTime subsumes DerivedDimensions that can be derived from the base dimensions length and time.

Thermodynamics
type: Class
subclass of: DerivedDimension
comment: The class Thermodynamics subsumes DerivedDimensions that are of relevance in the area of heat transfer and thermodynamics.

BaseDimension
type: Class
equivalent class: Class
  one of: amount of substance
  one of: electric current
  one of: length
  one of: luminous intensity
  one of: mass
  one of: thermodynamic temperature
  one of: time
subclass of: Operand
subclass of: PhysicalDimension
disjoint with: DerivedDimension
disjoint with: SupplementaryDimension
comment: Most PhysicalDimensions can be mathematically derived from a small set of dimensions that we call BaseDimensions. Such a set of base dimensions is chosen by convention. In OntoCAPE, we adopt the base dimensions of the SI system of units (BIPM, 2006), which are length, time, thermodynamic temperature, mass, amount of substance, electric current, and luminous intensity.

DerivedDimension
type: Class
subclass of: PhysicalDimension
subclass of: Restriction
  on property: isDefinedBy
  all values from: Node
subclass of: Restriction
  on property: isDefinedBy
  max cardinality: 1
disjoint with: SupplementaryDimension
comment: A DerivedDimension is a PhysicalDimension that can be defined as a product of powers of the BaseDimensions. For example, the DerivedDimension ‘velocity’ can be defined as the ratio of the BaseDimensions ‘length’ and ‘time’.

SupplementaryDimension
type: Class
subclass of: Operand
subclass of: PhysicalDimension
comment: This class subsumes fundamental dimensions that do not form part of the SI system of units and therefore not classified under the BaseDimension class.

AngularCoordinate
type: Class
equivalent class: Class
  intersection of: SpatialCoordinate
  intersection of: Restriction
    on property: hasDimension
    has value: plane angle
subclass of: Restriction
  on property: refersToAxis
  all values from: CurvilinearCoordinateSystemAxis
disjoint with: StraightCoordinate
comment: An AngularCoordinate is an angle that acts as a SpatialCoordinate.

CartesianCoordinateSystem
type: Class
subclass of: SpatialCoordinateSystem
subclass of: Restriction
  on property: hasAxis
  some values from: CartesianCoordinateSystemAxis
subclass of: Restriction
  on property: hasCoordinate
  some values from: StraightCoordinate
subclass of: Restriction
  on property: hasAxis
  all values from: CartesianCoordinateSystemAxis
subclass of: Restriction
  on property: hasCoordinate
  all values from: StraightCoordinate
disjoint with: CurvilinearCoordinateSystem
comment: A CartesianCoordinateSystem is a SpatialCoordinateSystem, the coordinate surfaces of which are planes (in 3D) or straight lines (in 2D).

CartesianCoordinateSystemAxis
type: Class
subclass of: SpatialCoordinateSystemAxis
disjoint with: CurvilinearCoordinateSystemAxis
comment: A CartesianCoordinateSystemAxis is an axis of a CartesianCoordinateSystem.

CurvilinearCoordinateSystem
type: Class
equivalent class: Class
  intersection of: SpatialCoordinateSystem
  intersection of: Restriction
    on property: hasAxis
    some values from: CurvilinearCoordinateSystemAxis
subclass of: Restriction
  on property: hasCoordinate
  some values from: AngularCoordinate
subclass of: Restriction
  on property: hasCoordinate
  some values from: StraightCoordinate
comment: A CurvilinearCoordinateSystem is a SpatialCoordinateSystem the coordinate surfaces of which are curved surfaces (in 3D) or curved lines (in 2D).

CurvilinearCoordinateSystemAxis
type: Class
subclass of: SpatialCoordinateSystemAxis
comment: A CurvilinearCoordinateSystemAxis is an axis of a CurvilinearCoordinateSystem.

CylindricalCoordinateSystem
type: Class
subclass of: 3DSpatialCoordinateSystem
subclass of: Restriction
  on property: hasAxis
  some values from: CartesianCoordinateSystemAxis
subclass of: Restriction
  on property: hasAxis
  some values from: CurvilinearCoordinateSystemAxis
subclass of: Restriction
  on property: hasAxis
  has value: r-axis
subclass of: Restriction
  on property: hasAxis
  has value: theta-axis
subclass of: Restriction
  on property: hasAxis
  has value: z-axis
disjoint with: SphericalCoordinateSystem
disjoint with: 3DCartesianCoordinateSystem
comment: A CylindricalCoordinateSystem is an orthogonal 3DSpatialCoordinateSystem that has cylindrical coordinates (i.e., radius, height, and azimuth angle). It is especially suited to describe positions on rotationally symmetrical shapes like cylinders or cones.

PlanarCoordinateSystem
type: Class
subclass of: SpatialCoordinateSystem
subclass of: Restriction
  on property: hasAxis
  cardinality: 2
subclass of: Restriction
  on property: hasCoordinate
  cardinality: 2
disjoint with: 3DSpatialCoordinateSystem
comment: A PlanarCoordinateSystem is a SspatialCoordinateSystem for describing positions located on a two-dimensional plane.

PolarCoordinateSystem
type: Class
subclass of: PlanarCoordinateSystem
subclass of: Restriction
  on property: hasAxis
  some values from: CurvilinearCoordinateSystemAxis
subclass of: Restriction
  on property: hasAxis
  all values from: CurvilinearCoordinateSystemAxis
subclass of: Restriction
  on property: hasAxis
  has value: r-axis
subclass of: Restriction
  on property: hasAxis
  has value: theta-axis
disjoint with: 2DCartesianCoordinateSystem
comment: A PolarCoordinateSystem is a PlanarCoordinateSystem that has polar coordinates (i.e., radius and polar angle). It is especially suited for describing positions on a circle or ellipse.

SpatialCoordinate
type: Class
equivalent class: Class
  union of: AngularCoordinate
  union of: StraightCoordinate
subclass of: Coordinate
subclass of: Restriction
  on property: refersToAxis
  all values from: SpatialCoordinateSystemAxis
disjoint with: TemporalCoordinate
comment: A SpatialCoordinate is a Coordinate that denotes a spatial position.

SpatialCoordinateSystem
type: Class
subclass of: CoordinateSystem
subclass of: Restriction
  on property: hasAxis
  some values from: SpatialCoordinateSystemAxis
subclass of: Restriction
  on property: hasCoordinate
  some values from: SpatialCoordinate
subclass of: Restriction
  on property: hasAxis
  all values from: SpatialCoordinateSystemAxis
subclass of: Restriction
  on property: hasCoordinate
  all values from: SpatialCoordinate
subclass of: Restriction
  on property: hasAxis
  max cardinality: 3
subclass of: Restriction
  on property: hasCoordinate
  max cardinality: 3
disjoint with: Spatio-TemporalCoordinateSystem
disjoint with: TemporalCoordinateSystem
comment: A SpatialCoordinateSystem is a CoordinateSystem for describing spatial positions.

SpatialCoordinateSystemAxis
type: Class
subclass of: CoordinateSystemAxis
disjoint with: TemporalCoordinateSystemAxis
comment: A SpatialCoordinateSystemAxis is the CoordinateSystemAxis of some SpatialCoordinateSystem.

SpatialPoint
type: Class
subclass of: CoordinateSet
subclass of: Restriction
  on property: comprisesDirectly
  some values from: SpatialCoordinate
subclass of: Restriction
  on property: comprisesDirectly
  all values from: SpatialCoordinate
subclass of: Restriction
  on property: comprisesDirectly
  max cardinality: 3
disjoint with: TimePeriod
comment: A SpatialPoint is a point in space; it is represented through a CoordinateSet comprising up to 3 SpatialCoordinates.

Spatio-TemporalCoordinateSystem
type: Class
subclass of: CoordinateSystem
subclass of: Restriction
  on property: hasAxis
  some values from: SpatialCoordinateSystemAxis
subclass of: Restriction
  on property: hasAxis
  some values from: TemporalCoordinateSystemAxis
subclass of: Restriction
  on property: hasCoordinate
  some values from: SpatialCoordinate
subclass of: Restriction
  on property: hasCoordinate
  some values from: TemporalCoordinate
subclass of: Restriction
  on property: hasAxis
  all values from: Class
    union of: SpatialCoordinateSystemAxis
    union of: TemporalCoordinateSystemAxis
subclass of: Restriction
  on property: hasCoordinate
  all values from: Class
    union of: SpatialCoordinate
    union of: TemporalCoordinate
subclass of: Restriction
  on property: hasAxis
  max cardinality: 4
subclass of: Restriction
  on property: hasCoordinate
  max cardinality: 4
disjoint with: TemporalCoordinateSystem
comment: A Spatio-temporalCoordinateSystem denotes positions in space and time.

SphericalCoordinateSystem
type: Class
subclass of: 3DSpatialCoordinateSystem
subclass of: Restriction
  on property: hasAxis
  some values from: CurvilinearCoordinateSystemAxis
subclass of: Restriction
  on property: hasAxis
  all values from: CurvilinearCoordinateSystemAxis
subclass of: Restriction
  on property: hasAxis
  has value: phi-axis
subclass of: Restriction
  on property: hasAxis
  has value: r-axis
subclass of: Restriction
  on property: hasAxis
  has value: theta-axis
disjoint with: 3DCartesianCoordinateSystem
comment: A SphericalCoordinateSystem is an orthogonal 3DSpatialCoordinateSystem that has spherical coordinates (i.e., radius, azimuth angle, and zenith angle). It is especially suited for describing positions on a sphere or spheroid.

StraightCoordinate
type: Class
equivalent class: Class
  intersection of: SpatialCoordinate
  intersection of: Restriction
    on property: hasDimension
    has value: length
comment: A StraightCoordinate is a distance that acts as a SpatialCoordinate.

TemporalCoordinate
type: Class
subclass of: Coordinate
subclass of: Restriction
  on property: refersToAxis
  all values from: TemporalCoordinateSystemAxis
subclass of: Restriction
  on property: hasDimension
  has value: time
comment: A TemporalCoordinate is a Coordinate that denotes a temporal position.

TemporalCoordinateSystem
type: Class
subclass of: CoordinateSystem
subclass of: Restriction
  on property: hasAxis
  some values from: TemporalCoordinateSystemAxis
subclass of: Restriction
  on property: hasCoordinate
  some values from: TemporalCoordinate
subclass of: Restriction
  on property: hasAxis
  all values from: TemporalCoordinateSystemAxis
subclass of: Restriction
  on property: hasCoordinate
  all values from: TemporalCoordinate
subclass of: Restriction
  on property: hasAxis
  cardinality: 1
subclass of: Restriction
  on property: hasCoordinate
  cardinality: 1
comment: A TemporalCoordinateSystem is a CoordinateSystem for describing temporal positions.

TemporalCoordinateSystemAxis
type: Class
subclass of: CoordinateSystemAxis
comment: A TemporalCoordinateSystemAxis is the CoordinateSystemAxis of some TemporalCoordinateSystem.

TimePeriod
type: Class
subclass of: ScalarQuantity
subclass of: Restriction
  on property: hasValue
  all values from: Class
    intersection of: ScalarValue
    intersection of: Restriction
      on property: hasStartingTime
      all values from: Class
        intersection of: CoordinateValue
        intersection of: Restriction
subclass of: Restriction
  on property: hasValue
  all values from: Class
    intersection of: ScalarValue
    intersection of: Restriction
      on property: hasStartingTime
      max cardinality: 1
subclass of: Restriction
  on property: hasDimension
  has value: time
comment: A TimePeriod is a ScalarQuantity that denotes the temporal duration of a period of time. Optionally, the starting time of the TimePeriod can be indicated.

2DCartesianCoordinateSystem
type: Class
subclass of: CartesianCoordinateSystem
subclass of: PlanarCoordinateSystem
subclass of: Restriction
  on property: hasAxis
  some values from: CartesianCoordinateSystemAxis
subclass of: Restriction
  on property: hasAxis
  all values from: CartesianCoordinateSystemAxis
subclass of: Restriction
  on property: hasAxis
  has value: x-axis
subclass of: Restriction
  on property: hasAxis
  has value: y-axis
comment: A 2DCartesianCoordinateSystem is an orthogonal PlanarCoordinateSystem that has two straight, perpendicular Axes: the x-axis (aka abscissa) and the y-axis (aka ordinate). A 2DCartesianCoordinateSystem has a positive orientation (i.e., the x-axis points right and the y-axis points up).

3DCartesianCoordinateSystem
type: Class
subclass of: CartesianCoordinateSystem
subclass of: 3DSpatialCoordinateSystem
subclass of: Restriction
  on property: hasAxis
  some values from: CartesianCoordinateSystemAxis
subclass of: Restriction
  on property: hasAxis
  all values from: CartesianCoordinateSystemAxis
subclass of: Restriction
  on property: hasAxis
  has value: x-axis
subclass of: Restriction
  on property: hasAxis
  has value: y-axis
subclass of: Restriction
  on property: hasAxis
  has value: z-axis
comment: A 3DCartesianCoordinateSystem is an orthogonal 3DSpatialCoordinateSystem that has three straight, perpendicular axes: the x-axis, the y-axis, and the z-axis. A 3DCartesianCoordinateSystem has a positive (right-handed) orientation; that is, the xy-plane is horizontal, the z-axis points up, and the x-axis and the y-axis form a positively oriented 2DCartesianCoordinateSystem in the xy-plane if observed from above the xy-plane.

3DSpatialCoordinateSystem
type: Class
subclass of: SpatialCoordinateSystem
subclass of: Restriction
  on property: hasAxis
  cardinality: 3
subclass of: Restriction
  on property: hasCoordinate
  cardinality: 3
comment: A 3DSpatialCoordinateSystem is a SpatialCoordinateSystem for describing positions in 3D space.

Coordinate
type: Class
subclass of: ScalarQuantity
subclass of: Restriction
  on property: refersToAxis
  some values from: CoordinateSystemAxis
subclass of: Restriction
  on property: isPropertyOf
  some values from: CoordinateSystem
subclass of: Restriction
  on property: refersToAxis
  all values from: CoordinateSystemAxis
subclass of: Restriction
  on property: hasValue
  all values from: CoordinateValue
subclass of: Restriction
  on property: isPropertyOf
  all values from: CoordinateSystem
subclass of: Restriction
  on property: refersToAxis
  cardinality: 1
disjoint with: PhysicalConstant
comment: A Coordinate is a property of a CoordinateSystem. The Values of a Coordinate constitute an "absolute" or "final" backdrop for the observation of some Properties.

CoordinateSet
type: Class
equivalent class: Class
  intersection of: PropertySet
  intersection of: Restriction
    on property: comprisesDirectly
    some values from: Coordinate
  intersection of: Restriction
    on property: comprisesDirectly
    all values from: Coordinate
subclass of: Restriction
  on property: isPropertyOf
  all values from: CoordinateSystem
subclass of: Restriction
  on property: comprisesDirectly
  min cardinality: 2
comment: A CoordinateSet groups some Coordinates which logically belong together.

CoordinateSystem
type: Class
equivalent class: Class
  intersection of: System
  intersection of: Restriction
    on property: hasCoordinate
    some values from: Coordinate
subclass of: Restriction
  on property: hasAxis
  some values from: CoordinateSystemAxis
subclass of: Restriction
  on property: hasAxis
  all values from: CoordinateSystemAxis
subclass of: Restriction
  on property: hasCoordinate
  all values from: Coordinate
comment: A CoordinateSystem constitutes a frame of reference for the observation of Properties owned by other Systems.

CoordinateValue
type: Class
equivalent class: Class
  intersection of: ScalarValue
  intersection of: Restriction
    on property: isValueOf
    some values from: Coordinate
subclass of: Restriction
  on property: isBackdropOf
  some values from: QuantitativeValue
subclass of: Restriction
  on property: isValueOf
  all values from: Coordinate
subclass of: Restriction
  on property: isObservedAgainstBackdrop
  cardinality: 0
disjoint with: Restriction
  on property: isObservedAgainstBackdrop
  some values from: Value
comment: A CoordinateValue serves as a backdrop for some Values, yet it cannot have a backdrop of its own.

Connection
type: Class
subclass of: System
subclass of: Restriction
  on property: hasDirectSubsystem
  all values from: Class
    union of: Connection
    union of: ConnectionPoint
    union of: Device
subclass of: Restriction
  on property: hasSubsystem
  all values from: Class
    union of: Connection
    union of: ConnectionPoint
    union of: Device
    union of: Port
subclass of: Restriction
  on property: isDirectSubsystemOf
  all values from: Class
    union of: Connection
    union of: Device
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: Device
subclass of: Restriction
  on property: isDirectlyConnectedTo
  max cardinality: 2
disjoint with: Device
comment: Connections are those elements of a NetworkSystem that represent the linkages between the Devices.

ConnectionPoint
type: Class
subclass of: SystemInterface
subclass of: Restriction
  on property: isSubsystemOf
  some values from: Connection
subclass of: Restriction
  on property: isDirectSubsystemOf
  all values from: Connection
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: Port
subclass of: Restriction
  on property: isDirectlyConnectedTo
  max cardinality: 1
disjoint with: Port
comment: A ConnectionPoint represents the interface through which a Connection can be connected to the Port of a device. ConnectionPoints may have certain attributes that further specify the type of connection. ConnectionPoints are subsystems of the corresponding Connection or DirectedConnection, respectively.

Device
type: Class
subclass of: System
subclass of: Restriction
  on property: hasInput
  all values from: DirectedConnection
subclass of: Restriction
  on property: hasOutput
  all values from: DirectedConnection
subclass of: Restriction
  on property: hasDirectSubsystem
  all values from: Class
    union of: Connection
    union of: Device
    union of: Port
subclass of: Restriction
  on property: hasSubsystem
  all values from: Class
    union of: Connection
    union of: ConnectionPoint
    union of: Device
    union of: Port
subclass of: Restriction
  on property: isDirectSubsystemOf
  all values from: Class
    union of: Connection
    union of: Device
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: Connection
comment: Devices are the crucial elements of a NetworkSystem, holding the major functionality.

DirectedConnection
type: Class
subclass of: Connection
subclass of: Restriction
  on property: enters
  all values from: Device
subclass of: Restriction
  on property: leaves
  all values from: Device
subclass of: Restriction
  on property: isDirectlyConnectedTo
  cardinality: 0
subclass of: Restriction
  on property: enters
  max cardinality: 1
subclass of: Restriction
  on property: leaves
  max cardinality: 1
comment: DirectedConnection is a specialization of Connection and represents likewise the connecting element between Devices. However, the usage of DirectedConnection implies the indication of a directed interconnection.

EnvironmentConnection
type: Class
equivalent class: Class
  intersection of: Connection
  intersection of: Restriction
    on property: isDirectlyConnectedTo
    some values from: Device
  intersection of: Restriction
    on property: isDirectlyConnectedTo
    cardinality: 1
subclass of: Restriction
  on property: hasDirectSubsystem
  cardinality: 0
subclass of: Restriction
  on property: isDirectSubsystemOf
  cardinality: 0

NetworkSystem
type: Class
equivalent class: Class
  intersection of: CompositeSystem
  intersection of: Restriction
    on property: isComposedOfSubsystem
    some values from: Connection
  intersection of: Restriction
    on property: isComposedOfSubsystem
    some values from: Device
subclass of: Class
  union of: Connection
  union of: Device
subclass of: Restriction
  on property: isComposedOfSubsystem
  all values from: Class
    union of: Connection
    union of: Device
comment: A NetworkSystem is a system that is composed of some Connections and some Devices.

Port
type: Class
subclass of: SystemInterface
subclass of: Restriction
  on property: isSubsystemOf
  some values from: Device
subclass of: Restriction
  on property: isDirectSubsystemOf
  all values from: Device
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: ConnectionPoint
subclass of: Restriction
  on property: isDirectlyConnectedTo
  max cardinality: 1
comment: Ports represents the interfaces through which Devices are connected to Connections. A Port may have certain attributes that characterize the type of the connection.

Aspect
type: Class
subclass of: NonExhaustiveValueSet
disjoint with: PhysicalDimension
disjoint with: UnitOfMeasure
disjoint with: Phenomenon
comment: An aspect represents a particular viewpoint of a system. An instance of the aspect class explicitly denominates that viewpoint.

AspectSystem
type: Class
equivalent class: Class
  intersection of: ExclusiveSubsystem
  intersection of: Restriction
    on property: isConsideredUnderAspectOf
    some values from: Aspect
subclass of: Restriction
  on property: representsAspectOf
  some values from: CompositeSystem
subclass of: Restriction
  on property: isConsideredUnderAspectOf
  all values from: Aspect
subclass of: Restriction
  on property: representsAspectOf
  all values from: CompositeSystem
subclass of: Restriction
  on property: isConsideredUnderAspectOf
  cardinality: 1
subclass of: Restriction
  on property: representsAspectOf
  cardinality: 1
disjoint with: SystemInterface
comment: An AspectSystem is an ExclusiveSubsystem that contains those system components, relationships, and constraints that are of relevance to a particular Aspect.

CompositeSystem
type: Class
equivalent class: Restriction
  on property: isComposedOfSubsystem
  some values from: System
subclass of: Supersystem
subclass of: Restriction
  on property: hasAspectSystem
  all values from: AspectSystem
subclass of: Restriction
  on property: isComposedOfSubsystem
  all values from: System
comment: A CompositeSystem is a System that is composed of other Systems.

ConstantProperty
type: Class
equivalent class: Class
  intersection of: Property
  intersection of: Restriction
    on property: hasValue
    cardinality: 1
comment: A ConstantProperty is a Property that has exactly one Value.

ElementarySystem
type: Class
equivalent class: Class
  intersection of: Subsystem
  intersection of: Class
    complement of: Supersystem
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: ElementarySystem
subclass of: Restriction
  on property: hasDirectSubsystem
  cardinality: 0
disjoint with: Supersystem
comment: An ElementarySystem is a Subsystem that cannot further partitioned into Subsystems.

ExclusiveSubsystem
type: Class
equivalent class: Restriction
  on property: isExclusivelySubsystemOf
  some values from: System
subclass of: Subsystem
subclass of: Restriction
  on property: isExclusivelySubsystemOf
  all values from: System
comment: An ExclusiveSubsystem is a direct subsystem of a CompositeSystem; it cannot be a direct subsystem of any other System.

ExtensibleValueSet
type: Class
subclass of: ValueEnumeration
disjoint with: FixedValueSet
comment: An ExtensibleValueSet is a ValueEnumeration which, unlike a FixedValueSet, is not defined by an (exhaustive) enumeration of its instances. Thus, the number of possible values may change at run time.

FirstLevelSubsystem
type: Class
equivalent class: Restriction
  on property: isDirectSubsystemOf
  some values from: TopLevelSystem
subclass of: Subsystem
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: FirstLevelSubsystem
disjoint with: SecondLevelSubsystem
comment: A Subsystem at the first level of decomposition.

FixedValueSet
type: Class
subclass of: ValueEnumeration
comment: A FixedValueSet is a ValueEnumeration that is defined by an exhaustive enumeration of its instances. Thus, the number of possible values is fixed.

InternalProperties
type: Class
equivalent class: Class
  intersection of: Property
  intersection of: Restriction
    on property: isPropertyOf
    some values from: Class
      intersection of: System
      intersection of: Restriction
        on property: isSubsystemOf
        has value: S
comment: The 'internal Properties' of a System are the Properties of its constituent Subsystems. They can be specified by means of a query class and thus inferred by reasoner. Such a query class must be defined individually for each System instance. The query class InternalProperties exemplarily demonstrates this approach for a sample System S.

Model
type: Class
equivalent class: Class
  intersection of: System
  intersection of: Restriction
    on property: models
    some values from: System
subclass of: Restriction
  on property: models
  all values from: System
comment: A Model is a system that is used to enable the understanding of or the command over the original system, or to replace the original system. Model system and original system share certain characteristics that are of relevance to the task at hand (Wüsteneck, 1963).

PhysicalConstant
type: Class
subclass of: ScalarQuantity
subclass of: Restriction
  on property: hasValue
  some values from: ScalarValue
subclass of: Restriction
  on property: hasValue
  cardinality: 1
subclass of: Restriction
  on property: isPropertyOf
  cardinality: 0
comment: A PhysicalConstant is a ScalarQuantity, the Value of which is believed to be both universal in nature and invariant over time. Examples are the elementary charge, the gravitational constant, Planck's constant, and the speed of light in the vacuum.

PhysicalDimension
type: Class
equivalent class: Class
  union of: BaseDimension
  union of: DerivedDimension
  union of: SupplementaryDimension
subclass of: NonExhaustiveValueSet
disjoint with: UnitOfMeasure
disjoint with: Phenomenon
comment: A PhysicalDimension is a characteristic associated with PhysicalQuantities and UnitsOfMeasure for purposes of organization or differentiation. Mass, length, and force are exemplary instances of PhysicalDimension.

PhysicalQuantity
type: Class
equivalent class: Class
  intersection of: Property
  intersection of: Restriction
    on property: hasDimension
    some values from: PhysicalDimension
subclass of: Restriction
  on property: hasDimension
  all values from: PhysicalDimension
subclass of: Restriction
  on property: hasValue
  all values from: QuantitativeValue
subclass of: Restriction
  on property: hasDimension
  cardinality: 1
comment: A PhysicalQuantity is a Property that has quantifiable Values. The concept includes scalars as well as vectors and higher-order tensors. Moreover, it comprises both physical quantities, such as mass or velocity, and nonphysical quantities, such as amount of money or rate of inflation

Property
type: Class
subclass of: Object
subclass of: Restriction
  on property: hasValue
  all values from: Value
subclass of: Restriction
  on property: isPropertyOf
  all values from: System
subclass of: Restriction
  on property: isInfluencedBy
  all values from: Phenomenon
subclass of: Restriction
  on property: isPropertyOf
  max cardinality: 1
disjoint with: System
disjoint with: Value
comment: The Property class represents the individual properties (traits, qualities) of a System, which distinguish the System from others. Typical examples are Size, Color, or Weight, which are modeled as subclasses of Property.

PropertySet
type: Class
equivalent class: Class
  intersection of: Property
  intersection of: Restriction
    on property: comprisesDirectly
    some values from: Property
subclass of: Restriction
  on property: comprisesDirectly
  all values from: Property
subclass of: Restriction
  on property: hasValue
  cardinality: 0
disjoint with: Restriction
  on property: hasValue
  some values from: Value
comment: A Property set constitutes an (unordered) collection of Properties, which may be of different types.

QualitativeValue
type: Class
subclass of: Value
subclass of: Class
  union of: Class
    intersection of: Restriction
      on property: qualitativeValue
      cardinality: 0
    intersection of: Restriction
      on property: value
      cardinality: 1
  union of: Class
    intersection of: Restriction
      on property: qualitativeValue
      cardinality: 1
    intersection of: Restriction
      on property: value
      cardinality: 0
subclass of: Class
  union of: Restriction
    on property: qualitativeValue
    some values from: ValueEnumeration
  union of: Restriction
    on property: value
    cardinality: 1
subclass of: Restriction
  on property: qualitativeValue
  all values from: ValueEnumeration
disjoint with: QuantitativeValue
comment: A QualitativeValue is a value that is not (numerically) quantifiable.

QuantitativeValue
type: Class
equivalent class: Class
  intersection of: Value
  intersection of: Restriction
    on property: isValueOf
    some values from: PhysicalQuantity
subclass of: Restriction
  on property: isValueOf
  all values from: PhysicalQuantity
comment: A QuantitativeValue is the value of a PhysicalQuantity.

ScalarQuantity
type: Class
subclass of: PhysicalQuantity
subclass of: Restriction
  on property: hasValue
  all values from: ScalarValue
comment: A ScalarQuantity is a scalar-valued PhysicalQuantity.

ScalarValue
type: Class
subclass of: QuantitativeValue
subclass of: Restriction
  on property: hasUnitOfMeasure
  all values from: UnitOfMeasure
subclass of: Restriction
  on property: isValueOf
  all values from: ScalarQuantity
subclass of: Restriction
  on property: hasUnitOfMeasure
  max cardinality: 1
subclass of: Restriction
  on property: numericalValue
  cardinality: 1
comment: A ScalarValue is the value of a ScalarQuantity.

SecondLevelSubsystem
type: Class
equivalent class: Restriction
  on property: isDirectSubsystemOf
  some values from: FirstLevelSubsystem
subclass of: Subsystem
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: SecondLevelSubsystem
comment: A Subsystem at the second level of decomposition.

Subsystem
type: Class
equivalent class: Class
  intersection of: System
  intersection of: Restriction
    on property: isSubsystemOf
    some values from: System
subclass of: Restriction
  on property: isSubsystemOf
  all values from: System
disjoint with: TopLevelSystem
comment: A Subsystem is a System that is a constituent of another System.

Supersystem
type: Class
equivalent class: Class
  intersection of: System
  intersection of: Restriction
    on property: hasSubsystem
    some values from: System
subclass of: Restriction
  on property: hasSubsystem
  all values from: System
comment: A Supersystem is a System that has some constituent Subsystems.

System
type: Class
subclass of: Object
subclass of: Restriction
  on property: contains
  all values from: System
subclass of: Restriction
  on property: hasCharacteristic
  all values from: Class
    union of: ScalarValue
    union of: ValueEnumeration
subclass of: Restriction
  on property: hasProperty
  all values from: Property
subclass of: Restriction
  on property: isModeledBy
  all values from: Model
subclass of: Restriction
  on property: isRelatedTo
  all values from: System
disjoint with: Value
comment: The System class denotes all kind of systems, which may be physical or abstract

SystemEnvironment
type: Class
equivalent class: Class
  intersection of: System
  intersection of: Class
    complement of: Class
      one of: S
  intersection of: Class
    complement of: Restriction
      on property: hasSubsystem
      has value: S
  intersection of: Class
    complement of: Restriction
      on property: isSubsystemOf
      has value: S
  intersection of: Restriction
    on property: isDirectlyRelatedTo
    has value: S
disjoint with: Class
  one of: S
comment: The ImmediateEnvironment of a given System S consists of all Systems that are directly related to S. It can be specified by means of a query class. As the environment concept is relative, such a query class must be defined individually for each System instance. The query class SystemEnvironment exemplarily demonstrates the approach for sample System S.

SystemInterface
type: Class
subclass of: ExclusiveSubsystem
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: SystemInterface
subclass of: Restriction
  on property: isDirectlyConnectedTo
  max cardinality: 1
comment: The class SystemInterface represents the interface through which a System can be connected to another System.

TopLevelSystem
type: Class
equivalent class: Class
  intersection of: Supersystem
  intersection of: Class
    complement of: Subsystem
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: TopLevelSystem
subclass of: Restriction
  on property: isDirectSubsystemOf
  cardinality: 0
comment: A TopLevelSystem is a Supersystem that is not a constituent of some other System.

UnitOfMeasure
type: Class
subclass of: NonExhaustiveValueSet
subclass of: Restriction
  on property: hasDimension
  some values from: PhysicalDimension
subclass of: Restriction
  on property: hasDimension
  all values from: PhysicalDimension
subclass of: Restriction
  on property: hasDimension
  cardinality: 1
disjoint with: Phenomenon
comment: A UnitOfMeasure is a standard measure for the ScalarValue of a of PhysicalQuantity.

Value
type: Class
subclass of: Object
subclass of: Restriction
  on property: isBackdropOf
  all values from: Value
subclass of: Restriction
  on property: isObservedAgainstBackdrop
  all values from: Value
subclass of: Restriction
  on property: isValueOf
  all values from: Property
subclass of: Restriction
  on property: isValueOf
  max cardinality: 1
comment: The Value class denotes the different values of a Property.

ValueEnumeration
type: Class
equivalent class: Class
  union of: ExtensibleValueSet
  union of: FixedValueSet
subclass of: FeatureSpace
comment: A ValueEnumeration specifies a (finite) set of possible values of a QualitativeValue.

Phenomenon
type: Class
subclass of: NonExhaustiveValueSet
comment: A Phenomenon denotes a typical mode of behavior exhibited by a TechnicalSystem, thus providing a qualitative description of a recurring SystemBehavior.

SystemBehavior
type: Class
equivalent class: Restriction
  on property: representsBehaviorOf
  some values from: TechnicalSystem
subclass of: AspectSystem
subclass of: Restriction
  on property: hasPerformanceMeasure
  all values from: SystemPerformance
subclass of: Restriction
  on property: hasPhenomenon
  all values from: Phenomenon
subclass of: Restriction
  on property: isConstrainedBy
  all values from: SystemRealization
subclass of: Restriction
  on property: isConsideredUnderAspectOf
  has value: behavior
disjoint with: SystemFunction
disjoint with: SystemPerformance
disjoint with: SystemRealization
disjoint with: SystemRequirements
comment: The SystemBehavior describes how a TechnicalSystem operates under certain conditions; this description can be of qualitative or quantitative nature.

SystemFunction
type: Class
equivalent class: Restriction
  on property: representsFunctionOf
  some values from: TechnicalSystem
subclass of: AspectSystem
subclass of: Restriction
  on property: fulfills
  all values from: SystemRequirements
subclass of: Restriction
  on property: hasPerformanceMeasure
  all values from: SystemPerformance
subclass of: Restriction
  on property: isRealizedBy
  all values from: SystemRealization
subclass of: Restriction
  on property: isConsideredUnderAspectOf
  has value: function
disjoint with: SystemPerformance
disjoint with: SystemRealization
disjoint with: SystemRequirements
comment: A system function describes the desired behavior of a technical system from a de-vice-centric perspective (cf. Chandrasekaran and Josephson 2000). To indicate the system function of a technical system, the conceptual design of the technical system must be specified in terms of the underlying physicochemical and/or technical principles.

SystemPerformance
type: Class
equivalent class: Restriction
  on property: representsPerformanceOf
  some values from: TechnicalSystem
subclass of: AspectSystem
subclass of: Restriction
  on property: evaluates
  all values from: AspectSystem
subclass of: Restriction
  on property: isConsideredUnderAspectOf
  has value: performance
disjoint with: SystemRealization
disjoint with: SystemRequirements
comment: The system performance concept constitutes a performance measure for the evalua-tion and benchmarking of technical systems. Different performance measures are possible, depending on the chosen evaluation criterion. Typical criteria would be safety, reliability, ecological performance, and economic performance.

SystemRealization
type: Class
equivalent class: Restriction
  on property: representsRealizationOf
  some values from: TechnicalSystem
subclass of: AspectSystem
subclass of: Restriction
  on property: constrains
  all values from: SystemBehavior
subclass of: Restriction
  on property: hasPerformanceMeasure
  all values from: SystemPerformance
subclass of: Restriction
  on property: realizes
  all values from: SystemFunction
subclass of: Restriction
  on property: isConsideredUnderAspectOf
  has value: realization
disjoint with: SystemRequirements
comment: The SystemRealization represents the physical (or virtual) constitution of the TechnicalSystem. In case of a physical system, the SystemRealization describes the system’s physical structure, including its geometrical and mechanical properties. In case of a non-physical system, the SystemRealization reflects the logical or abstract structure of the system; moreover, it may describe the (physical) implementation of the non-physical system.

SystemRequirements
type: Class
equivalent class: Restriction
  on property: representsRequirementsOf
  some values from: TechnicalSystem
subclass of: AspectSystem
subclass of: Restriction
  on property: hasPerformanceMeasure
  all values from: SystemPerformance
subclass of: Restriction
  on property: isAchievedThrough
  all values from: SystemFunction
subclass of: Restriction
  on property: isConsideredUnderAspectOf
  has value: requirements
comment: The system requirements specify the desired behavior of a technical system from an environment-centric perspective (cf. Chandrasekaran and Josephson 2000). From the perspective of systems requirements, the technical system is viewed as a black box: Its structure and the underling physical and technical principles are not con-sidered; only the effect on the environment is specified.

TechnicalSystem
type: Class
subclass of: System
subclass of: Restriction
  on property: hasBehavioralAspect
  all values from: SystemBehavior
subclass of: Restriction
  on property: hasFunctionalAspect
  all values from: SystemFunction
subclass of: Restriction
  on property: hasPerformanceAspect
  all values from: SystemPerformance
subclass of: Restriction
  on property: hasRealizationAspect
  all values from: SystemRealization
subclass of: Restriction
  on property: hasRequirementsAspect
  all values from: SystemRequirements
subclass of: Restriction
  on property: hasBehavioralAspect
  max cardinality: 1
subclass of: Restriction
  on property: hasFunctionalAspect
  max cardinality: 1
subclass of: Restriction
  on property: hasPerformanceAspect
  max cardinality: 1
subclass of: Restriction
  on property: hasRealizationAspect
  max cardinality: 1
subclass of: Restriction
  on property: hasRequirementsAspect
  max cardinality: 1
comment: A TechnicalSystem is a System which has been developed in an engineering design process. The criterion to qualify as a TechnicalSystem is “to be designed in order to fulfill some required function” (Bayer, 2003). Thus, the TechnicalSystem concept may denote all kind of technical artifacts, such as chemical plants, cars, computer systems, or infrastructure systems like a sewage water system. But also non-technical artifacts like chemical products and even non-physical artifacts, such as software programs or mathematical models, can be considered as Technical Systems.

Array
type: Class
subclass of: CompositeObject
subclass of: Restriction
  on property: isOrderedBy
  some values from: Index
subclass of: Restriction
  on property: isComposedOf
  some values from: Element
subclass of: Restriction
  on property: isOrderedBy
  all values from: Index
subclass of: Restriction
  on property: isComposedOf
  all values from: Element
subclass of: Restriction
  on property: isOrderedBy
  min cardinality: 2
comment: An Array is an ordered list that is composed of two or more Elements. The position of an Element within the Array is specified by the Index.

Element
type: Class
subclass of: PartOfCompositeObject
subclass of: Restriction
  on property: hasIndex
  some values from: Index
subclass of: Restriction
  on property: isExclusivelyPartOf
  some values from: Array
subclass of: Restriction
  on property: isExclusivelyPartOf
  all values from: Array
comment: An Element is part of an Array. Its position within the Array is determined by an Index.

Index
type: Class
equivalent class: Restriction
  on property: determinesPositionOf
  some values from: Element
subclass of: CoequalN-aryRelation
subclass of: Restriction
  on property: isIndexOfArray
  some values from: Array
subclass of: Restriction
  on property: determinesPositionOf
  all values from: Element
subclass of: Restriction
  on property: isIndexOfArray
  all values from: Array
subclass of: Restriction
  on property: determinesPositionOf
  cardinality: 1
subclass of: Restriction
  on property: isIndexOfArray
  cardinality: 1
subclass of: Restriction
  on property: index
  cardinality: 1
comment: An Index represents the n-ray relation between an Array, one of its Elements, and the integer datatype value that denotes the position of the Element in the Array.

InternalNode
type: Class
equivalent class: Class
  intersection of: Node
  intersection of: Restriction
    on property: hasChild
    some values from: Node
  intersection of: Restriction
    on property: hasParent
    some values from: Node
subclass of: Restriction
  on property: hasChild
  min cardinality: 1
disjoint with: Leaf
disjoint with: RootNode
comment: An InternalNode is a Node that has one parent and at least one child.

Leaf
type: Class
equivalent class: Class
  intersection of: Node
  intersection of: Restriction
    on property: hasChild
    cardinality: 0
subclass of: Restriction
  on property: hasParent
  some values from: Node
disjoint with: RootNode
comment: A Leaf is a Node without any children.

Node
type: Class
equivalent class: Class
  union of: InternalNode
  union of: Leaf
  union of: RootNode
subclass of: Object
subclass of: Restriction
  on property: hasLeftChild
  all values from: Node
subclass of: Restriction
  on property: hasParent
  all values from: Node
subclass of: Restriction
  on property: hasRightChild
  all values from: Node
subclass of: Restriction
  on property: hasLeftChild
  max cardinality: 1
subclass of: Restriction
  on property: hasRightChild
  max cardinality: 1
comment: A Node is the basic element of a binary tree. It can be linked to up to two child Nodes.

RootNode
type: Class
equivalent class: Class
  intersection of: Node
  intersection of: Restriction
    on property: hasParent
    cardinality: 0
subclass of: Restriction
  on property: hasChild
  some values from: Node
comment: A RootNode is the root element of a binary tree. All other Nodes are descendents of the RootNode.

FirstElement
type: Class
subclass of: ListElement
subclass of: Restriction
  on property: nextElement
  some values from: ListElement
subclass of: Restriction
  on property: previousElement
  cardinality: 0
disjoint with: InternalElement
disjoint with: LastElement
comment: The first ListElement of a LinkedList.

InternalElement
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: nextElement
    some values from: ListElement
  intersection of: Restriction
    on property: previousElement
    some values from: ListElement
subclass of: ListElement
disjoint with: LastElement
comment: A ListElement that is neither the first nor the last element of a LinkedList.

LastElement
type: Class
subclass of: ListElement
subclass of: Restriction
  on property: previousElement
  some values from: ListElement
subclass of: Restriction
  on property: nextElement
  cardinality: 0
comment: The last ListElement of a LinkedList.

LinkedList
type: Class
subclass of: CompositeObject
subclass of: Restriction
  on property: isComposedOf
  some values from: ListElement
subclass of: Restriction
  on property: isComposedOf
  all values from: ListElement
comment: A LinkedList is formed by a sequence of ListElements, each pointing to the next as well as to the previous ListElement.

ListElement
type: Class
subclass of: PartOfCompositeObject
subclass of: Restriction
  on property: isExclusivelyPartOf
  some values from: LinkedList
subclass of: Restriction
  on property: nextElement
  all values from: ListElement
subclass of: Restriction
  on property: previousElement
  all values from: ListElement
subclass of: Restriction
  on property: isExclusivelyPartOf
  all values from: LinkedList
subclass of: Restriction
  on property: nextElement
  max cardinality: 1
subclass of: Restriction
  on property: previousElement
  max cardinality: 1
comment: A ListElement is an element of a LinkedList; it may point to a next as well as to a previous ListElement.

ForLoop
type: Class
subclass of: CoequalN-aryRelation
subclass of: Restriction
  on property: statementFor i
  some values from: Object
subclass of: Restriction
  on property: finalStatement
  all values from: Class
    intersection of: Object
    intersection of: Restriction
      on property: sameObject
      some values from: Class
        intersection of: Object
        intersection of: Restriction
subclass of: Restriction
  on property: initialStatement
  all values from: Class
    intersection of: Object
    intersection of: Restriction
      on property: sameObject
      some values from: Class
        intersection of: Object
        intersection of: Restriction
subclass of: Restriction
  on property: statementFor i
  all values from: Object
subclass of: Restriction
  on property: statementFor iPlus1
  all values from: Class
    intersection of: Object
    intersection of: Restriction
      on property: sameObject
      some values from: Class
        intersection of: Object
        intersection of: Restriction
subclass of: Restriction
  on property: statementFor i
  min cardinality: 1
subclass of: Restriction
  on property: numberOfIterations
  cardinality: 1
comment: A ForLoop is used to represent structures that consist of repetitive, interlinked objects.

Member
type: Class
equivalent class: Class
  intersection of: Part
  intersection of: Restriction
    on property: hasMultiplicity
    some values from: Multiplicity
subclass of: Restriction
  on property: isDirectPartOf
  some values from: Multiset
subclass of: Restriction
  on property: hasMultiplicity
  all values from: Multiplicity
subclass of: Restriction
  on property: isDirectPartOf
  all values from: Multiset
comment: A Member is an element of a Multiset; it has a multiplicity that indicates the number of its appearances in the multiset.

Multiplicity
type: Class
equivalent class: Restriction
  on property: indicatesMultiplicityOf
  some values from: Member
subclass of: UniqueOriginN-aryRelation
subclass of: Restriction
  on property: refersToMultiset
  some values from: Multiset
subclass of: Restriction
  on property: indicatesMultiplicityOf
  all values from: Member
subclass of: Restriction
  on property: refersToMultiset
  all values from: Multiset
subclass of: Restriction
  on property: indicatesMultiplicityOf
  cardinality: 1
subclass of: Restriction
  on property: refersToMultiset
  cardinality: 1
subclass of: Restriction
  on property: multiplicity
  cardinality: 1
comment: The Multiplicity of a Member indicates the number of its appearances in the associated Multiset.

Multiset
type: Class
equivalent class: Class
  intersection of: Aggregate
  intersection of: Restriction
    on property: hasDirectPart
    some values from: Member
subclass of: Restriction
  on property: hasDirectPart
  all values from: Member
comment: A Multiset differs from an ordinary Aggregate in that each of its parts (Members) has an associated Multiplicity, which indicates the number of its appearances in the Multiset.

CoequalN-aryRelation
type: Class
subclass of: RelationClass
subclass of: Restriction
  on property: hasOrigin
  cardinality: 0
subclass of: Restriction
  on property: hasTarget
  cardinality: 0
disjoint with: DirectedN-aryRelation
comment: CoequalN-aryRelation describes an n-ary relation among three or more individuals or dataype values. None of the individuals involved in the relation stands out as the origins (or owner) of the relation.

DirectedN-aryRelation
type: Class
equivalent class: Class
  intersection of: RelationClass
  intersection of: Restriction
    on property: hasOrigin
    some values from: Object
subclass of: Class
  union of: Class
    intersection of: Restriction
      on property: hasTarget
      min cardinality: 1
    intersection of: Restriction
      on property: relationAttribute
      min cardinality: 1
  union of: Restriction
    on property: hasTarget
    min cardinality: 2
subclass of: Restriction
  on property: hasTarget
  some values from: Class
    union of: FeatureSpace
    union of: Object
subclass of: Restriction
  on property: hasOrigin
  all values from: Object
subclass of: Restriction
  on property: hasTarget
  all values from: Class
    union of: FeatureSpace
    union of: Object
subclass of: Restriction
  on property: hasTargetObject
  all values from: Object
comment: DirectedN-aryRelation describes an n-ary relation among three or more individuals or datatype values. Some of the individuals involved in the n-ary relation are distinguished from the others in that they are origins of the relation.

FeatureSpace
type: Class
equivalent class: Class
  union of: NonExhaustiveValueSet
  union of: ValuePartition
  union of: ValueSet
disjoint with: Object
disjoint with: RelationClass
comment: An entity can be characterized by means of descriptive features (qualities, characteristics). There are various ways how to model the values of such features, for example by representing the values as partitions of a classes or as enumerations of individuals (cf. http://www.w3.org/TR/swbp-specified-values/ for a detailed discussion of this issue). A feature space defines the range of values that a particular feature can take, and the class FeatureSpace subsumes the different ways to define such a feature space.

NonExhaustiveValueSet
type: Class
subclass of: FeatureSpace
disjoint with: ValuePartition
disjoint with: ValueSet
comment: A NonExhaustiveValueSet is a FeatureSpace that represents its possible values through individuals. These individuals, which are typically declared to be all different from each other, are instances of the NonExhaustiveValueSet. Note that, in contrast to a ValueSet, this class is not defined by an (exhaustive) enumeration of its instances. Thus, the number of individuals may change at run time.

Object
type: Class
subclass of: Thing
subclass of: Restriction
  on property: inter-objectRelation
  all values from: Object
subclass of: Restriction
  on property: isInvolvedInN-aryRelation
  all values from: RelationClass
subclass of: Restriction
  on property: isOriginOf
  all values from: DirectedN-aryRelation
subclass of: Restriction
  on property: isTargetOf
  all values from: RelationClass
disjoint with: RelationClass
comment: Object is a generic concept that subsumes all the (physical and abstract) entities that exist in an application domain.
version info: TODO: Check if Object and RelationClass can be made disjoint

RelationClass
type: Class
equivalent class: Class
  union of: CoequalN-aryRelation
  union of: DirectedN-aryRelation
subclass of: Thing
subclass of: Class
  union of: Class
    intersection of: Restriction
      on property: involves
      min cardinality: 2
    intersection of: Restriction
      on property: relationAttribute
      min cardinality: 1
  union of: Restriction
    on property: involves
    min cardinality: 3
subclass of: Restriction
  on property: involvesObject
  some values from: Object
subclass of: Restriction
  on property: involves
  all values from: Class
    union of: FeatureSpace
    union of: Object
subclass of: Restriction
  on property: involvesObject
  all values from: Object
comment: The OWL language merely provides language primitives to establish binary relations between two individuals or between an individual and a datatype value. To create an n-ary relation that links three or more individuals or datatype values, an auxiliary RelationClass needs to be introduced, which acts as an intermediate node. RelationClass is a generic concept that subsumes the different types of n-ary relations that can be defined (cf. http://www.w3.org/TR/swbp-n-aryRelations/).

UniqueOriginN-aryRelation
type: Class
subclass of: DirectedN-aryRelation
subclass of: Restriction
  on property: hasOrigin
  cardinality: 1
comment: An UniqueOriginN-aryRelation is a relation among three or more individuals or datatype values. Exactly one of the individuals involved in the relation is distinguished from the others in that it is the origin of the relation.

ValuePartition
type: Class
subclass of: FeatureSpace
disjoint with: ValueSet
comment: A ValuePartition is a FeatureSpace that represents its possible values through disjoint subclasses. These subclasses exhaustively partition the feature space and can in turn be further subpartitioned. It is possible to define alternative partitionings of the same feature space. Further details about this particular type of feature space can be found on http://www.w3.org/TR/swbp-specified-values/ ("Pattern 2: Values as subclasses partitioning a feature").

ValueSet
type: Class
subclass of: FeatureSpace
comment: A ValueSet is a FeatureSpace that represents its possible values through individuals. These individuals, which are typically declared to be all different from each other, are instances of the ValueSet. The ValueSet is sufficiently defined by an exhaustive enumeration of its instances.

Aggregate
type: Class
equivalent class: Class
  intersection of: Object
  intersection of: Restriction
    on property: hasPart
    some values from: Object
subclass of: Restriction
  on property: hasPart
  all values from: Object
disjoint with: PartOnly
comment: An Object that has one or more distinct parts.

AggregateOnly
type: Class
equivalent class: Class
  intersection of: Class
    intersection of: Aggregate
    intersection of: Class
      complement of: Part
  intersection of: Restriction
    on property: isDirectPartOf
    cardinality: 0
subclass of: Aggregate
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: AggregateOnly
disjoint with: Part
comment: An Object that has one or more distinct Parts and is not part of any Object itself.

CompositeObject
type: Class
equivalent class: Restriction
  on property: isComposedOf
  some values from: Object
subclass of: Aggregate
subclass of: Restriction
  on property: isComposedOf
  all values from: Object
comment: An Object that is composed of one or more Objects. The parts of the CompositeObject are non-shareable, i.e. an Object that is part of a CompositeObject cannot be part of another CompositeObject.

FirstLevelPart
type: Class
equivalent class: Restriction
  on property: isDirectPartOf
  some values from: AggregateOnly
subclass of: Part
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: FirstLevelPart
disjoint with: SecondLevelPart
comment: A Part at the first level of decomposition.

Part
type: Class
equivalent class: Class
  intersection of: Object
  intersection of: Restriction
    on property: isPartOf
    some values from: Object
subclass of: Restriction
  on property: isPartOf
  all values from: Object
comment: An Object that is part of another Object. A Part can be part of more than one Object.

PartOfCompositeObject
type: Class
equivalent class: Restriction
  on property: isExclusivelyPartOf
  some values from: Object
subclass of: Part
subclass of: Restriction
  on property: isExclusivelyPartOf
  all values from: Object
subclass of: Restriction
  on property: isExclusivelyPartOf
  cardinality: 1
comment: An Object that is part of a CompositeObject. The parts of the CompositeObject are non-shareable, i.e. an Object that is part of a CompositeObject cannot be part of another CompositeObject.

PartOnly
type: Class
equivalent class: Class
  intersection of: Class
    intersection of: Part
    intersection of: Class
      complement of: Aggregate
  intersection of: Restriction
    on property: hasDirectPart
    cardinality: 0
subclass of: Part
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: PartOnly

Arc
type: Class
subclass of: Object
subclass of: Restriction
  on property: hasDirectPart
  all values from: Class
    union of: Arc
    union of: ConnectionPoint
    union of: Node
subclass of: Restriction
  on property: hasPart
  all values from: Class
    union of: Arc
    union of: ConnectionPoint
    union of: Node
    union of: Port
subclass of: Restriction
  on property: isDirectPartOf
  all values from: Class
    union of: Arc
    union of: Node
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: Node
subclass of: Restriction
  on property: isDirectlyConnectedTo
  max cardinality: 2
disjoint with: Node
comment: Arc is a specialization of Object and represents the connecting element between Nodes.

ConnectionPoint
type: Class
subclass of: Connector
subclass of: Restriction
  on property: isPartOf
  some values from: Arc
subclass of: Restriction
  on property: isDirectPartOf
  all values from: Arc
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: Port
disjoint with: Port
comment: ConnectionPoint represents the interface through which an Arc can be connected to the Port of a Node. ConnectionPoints may have certain attributes that further specify the type of connection. ConnectionPoints are Parts of the corresponding Arc.

Connector
type: Class
subclass of: Part
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: Connector
subclass of: Restriction
  on property: isDirectlyConnectedTo
  max cardinality: 1
comment: A Connector represent the interface through which an Object can be connected to another. Typically, the possible connections of the Connector are further restrained, for instance by postulating that certain properties of the connected Connectors need to match for a feasible connection.

DirectedArc
type: Class
subclass of: Arc
subclass of: Restriction
  on property: enters
  all values from: Node
subclass of: Restriction
  on property: leaves
  all values from: Node
subclass of: Restriction
  on property: isDirectlyConnectedTo
  cardinality: 0
subclass of: Restriction
  on property: enters
  max cardinality: 1
subclass of: Restriction
  on property: leaves
  max cardinality: 1
comment: DirectedArc is a specialization of Arc and represents likewise the connecting element between Nodes. However, the usage of DirectedArc implies the indication of a direction.

Node
type: Class
subclass of: Object
subclass of: Restriction
  on property: hasDirectPart
  all values from: Class
    union of: Arc
    union of: Node
    union of: Port
subclass of: Restriction
  on property: hasPart
  all values from: Class
    union of: Arc
    union of: ConnectionPoint
    union of: Node
    union of: Port
subclass of: Restriction
  on property: isDirectPartOf
  all values from: Class
    union of: Arc
    union of: Node
subclass of: Restriction
  on property: hasInput
  all values from: DirectedArc
subclass of: Restriction
  on property: hasOutput
  all values from: DirectedArc
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: Arc
comment: Node is a specialization of object and is used to model the crucial elements (joints) which are connected by arcs.

Port
type: Class
subclass of: Connector
subclass of: Restriction
  on property: isPartOf
  some values from: Node
subclass of: Restriction
  on property: isDirectPartOf
  all values from: Node
subclass of: Restriction
  on property: isDirectlyConnectedTo
  all values from: ConnectionPoint
comment: Ports represents the interface of nodes to connection points and are parts of the corresponding node

agglomeration
type: NamedIndividual
type: ParticlePhenomenon
comment: Agglomeration is a ParticlePhenomenon which denotes the agglomeration of Particles in a DispersiveMaterialAmount.

breakage
type: NamedIndividual
type: ParticlePhenomenon
comment: Breakage is a ParticlePhenomenon which denotes the breakage of Particles in a DispersiveMaterialAmount.

chemical reaction equilibrium
type: NamedIndividual
type: ChemicalReactionPhenomenon
comment: An EquilibriumChemicalReaction is a ChemicalReactionPhenomenon in which a ChemicalReaction reaches its maximum conversion.

convective material flow
type: NamedIndividual
type: MaterialAmountConnectionPhenomenon
comment: A ConvectiveMaterialFlow is a MaterialAmountConnectionPhenomenon that denotes the transport of material by convection.

energy accumulation
type: NamedIndividual
type: Accumulation
comment: EnergyAccumulation is Accumulation of energy.

equilibrium adsorption
type: NamedIndividual
type: AdsorptionPhenomenon
comment: An EquilibriumAdsorption is an AdsorptionPhenomenon that denotes the equilibrium of an adsorption process.

equilibrium surface reaction
type: NamedIndividual
type: SurfaceReactionPhenomenon
comment: An EquilibriumSurfaceReaction is a SurfaceReactionPhenomenon that denotes an equilibrium surface reaction process.

growth
type: NamedIndividual
type: ParticlePhenomenon
comment: Growth is a ParticlePhenomenon which denotes the growth of Particles.

heat conduction
type: NamedIndividual
type: MolecularTransportPhenomenon
comment: HeatConduction is a MolecularTransportPhenomenon in which heat is transported among different locations in a material amount.

heat radiation
type: NamedIndividual
type: MaterialAmountConnectionPhenomenon
comment: A HeatRadiation is a MaterialAmountConnectionPhenomenon that denotes the radiation of heat.

ideal mixing
type: NamedIndividual
type: FlowPattern
comment: An IdealMixing flow pattern a FlowPattern which results in a static MaterialAmount with uniform properties.

interface heat conduction
type: NamedIndividual
type: InterfaceTransportPhenomenon
comment: InterfaceHeatConduction is an InterfaceMolecularTransportPhenomenon that denotes heat conduction across some interface.

interface mass diffusion
type: NamedIndividual
type: InterfaceTransportPhenomenon
comment: InterfaceMassDiffusion is an InterfaceMolecularTransportPhenomenon that denotes mass diffusion across some interface.

laminar flow
type: NamedIndividual
type: FlowPattern
comment: A LaminarFlow is a non-turbulent streamline flow in parallel layers with regular, smooth fluid motion that occurs when the Reynolds is smaller than the critical Reynolds number.

mass accumulation
type: NamedIndividual
type: Accumulation
comment: MassAccumulation is Accumulation of mass.

mass diffusion
type: NamedIndividual
type: MolecularTransportPhenomenon
comment: A MassDiffusion is a MolecularTransportPhenomenon in which mass of certain ChemicalComponent(s) is transported among different locations in a MaterialAmount.

mechanical equilibrium
type: NamedIndividual
type: PhysicalEquilibriumPhenomenon
comment: A MechanicalEquilibrium is a PhysicalEquilibriumPhenomenon that denotes equality of pressure within the material amount considered.

momentum accumulation
type: NamedIndividual
type: Accumulation
comment: MomentumAccumulation is Accumulation of momentum.

non-equilibrium adsorption
type: NamedIndividual
type: AdsorptionPhenomenon
comment: A NonEquilibriumAdsorption is an AdsorptionPhenomenon that denotes a non-equilibrium adsorption process.

non-equilibrium chemical reaction
type: NamedIndividual
type: ChemicalReactionPhenomenon
comment: A NonChemicalReactionEquilibrium is a ChemicalReactionPhenomenon in which a ChemicalReaction occurs and has not reached its equilibrium.

non-equilibrium surface reaction
type: NamedIndividual
type: SurfaceReactionPhenomenon
comment: A NonEquilibriumSurfaceReaction is a SurfaceReactionPhenomenon that denotes a non-equilibrium surface reaction process.

nucleation
type: NamedIndividual
type: ParticlePhenomenon
comment: Nucleation is a ParticlePhenomenon which denotes the nucleation of Particles in a DispersiveMaterialAmount.

particle population accumulation
type: NamedIndividual
type: Accumulation
comment: A ParticlePopulationAccumulation is an AccumulationPhenomenon which causes the variation of the ParticleNumber in a DispersedMaterialAmount.

phase equilibrium
type: NamedIndividual
type: PhysicalEquilibriumPhenomenon
comment: A PhaseEquilibrium is a PhysicalEquilibriumPhenomena that denotes the MaterialAmount considered is in phase equilibrium.

phase interface equilibrium
type: NamedIndividual
type: MaterialAmountConnectionPhenomenon
comment: A PhaseEquilibrium is a MaterialAmountConnectionPhenomenon which denotes that the mass transfer resistance vanishes at the phase interface between two parities connected by the MaterialAmountConnection considered.

phase interface viscous momentum transport
type: NamedIndividual
type: InterfaceTransportPhenomenon
comment: A PhaseInterfaceViscousMomentumTransport is an InterfaceMolecularTransportPhenomenon that denotes a viscous momentum transport across a phase interface.

surface mass diffusion
type: NamedIndividual
type: SurfacePhenomenon
comment: SurfaceMassDiffusion is a SurfacePhenomenon that denotes diffusive mass transport along a surface.

thermal equilibrium
type: NamedIndividual
type: PhysicalEquilibriumPhenomenon
comment: A ThermalEquilibrium is a PhysicalEquilibriumPhenomenon that denotes equality of temperature within the MaterialAmount considered.

turbulent flow
type: NamedIndividual
type: FlowPattern
comment: A TurbulentFlow is a flow in which velocity at any point varies erratically.

viscous momentum transport
type: NamedIndividual
type: MolecularTransportPhenomenon
comment: A ViscousMomentumTransport is a MolecularTransportPhenomenon in which momentum is transported among different locations in a material amount.

ComplexControlLoop
type: NamedIndividual
type: ControlLoopArchitectureVT
comment: ComplexControlLoop is not yet specifically defined control loop which may be composed of other control loop elements.

D-Element
type: NamedIndividual
type: ResponseCharacteristicsVT
comment: D-Element is a derivative part of a controller which is applied for smoother control trajectories since it reduces the magnitude of the overshoot produced by the integral component.

FeedForwardControl
type: NamedIndividual
type: ControlLoopArchitectureVT
comment: A system which exhibits FeedForwardControl responds to a measured disturbance in a pre-defined way before the disturbance effects the control variable.

I-Element
type: NamedIndividual
type: ResponseCharacteristicsVT
comment: I-Element is a integrative part of a controller which force the signal to approach the setpoint quicker than a proportional controller alone and eliminate steady state error.

OpenLoopControl
type: NamedIndividual
type: ControlLoopArchitectureVT
comment: OpenLoopControl is a type of architecture which computes its input into a system using only the current state and its model of the system.

OutputFeedbackControl
type: NamedIndividual
type: ControlLoopArchitectureVT
comment: OutputFeedbackControl is applied when the output of the system is fed back into the system as part of its input.

P-Element
type: NamedIndividual
type: ResponseCharacteristicsVT
comment: P-Element is a proportional part of a controller which responds to a change in the process variable proportional to the current measured error value.

PID-Element
type: NamedIndividual
type: ResponseCharacteristicsVT
comment: PID-Element combines all features provided by the P-, I- and D-Element of a controller.

PT1-Element
type: NamedIndividual
type: ResponseCharacteristicsVT
comment: PT1-Element deals with time-delay in controlled system to avoid instability.

StateFeedbackControl
type: NamedIndividual
type: ControlLoopArchitectureVT
comment: StateFeedbackControl is a method employed in feedback control.

linear
type: NamedIndividual
type: LinearityVT
different from: nonlinear
comment: Linear refers to the behavior of the ControlledSystem.

nonlinear
type: NamedIndividual
type: LinearityVT
comment: Nonlinear refers to the behavior of the ControlledSystem which cannot be described as a linear function of the state of that system.

ElementaryCharge
type: NamedIndividual
type: PhysicalConstant
has dimension: electric charge
has value: e
comment: The ElementaryCharge is a fundamental PhysicalConstant that denotes the electric charge carried by a single proton, or equivalently, the negative of the electric charge carried by a single electron.

-2e
type: NamedIndividual
type: NegativeIonicCharge
numerical value: -3.204353E-19
comment: _-2e is a ScalarValue; it is defined by the equation _-2e = (-2) * e

-3e
type: NamedIndividual
type: NegativeIonicCharge
numerical value: -4.8065294E-19
comment: _-3e is a ScalarValue; it is defined by the equation _-3e = (-3) * e

-e
type: NamedIndividual
type: NegativeIonicCharge
numerical value: 1.6021765E-19
comment: _-e is a ScalarValue; it is defined by the equation _-e = (-1) * e

2e
type: NamedIndividual
type: PositiveIonicCharge
numerical value: 3.204353E-19
comment: _2e is a ScalarValue; it is defined by the equation _2e = 2 * e.

3e
type: NamedIndividual
type: PositiveIonicCharge
numerical value: 4.8065294E-19
comment: _3e is a ScalarValue; it is defined by the equation _3e = 3 * e.

e
type: NamedIndividual
type: PositiveIonicCharge
is value of: ElementaryCharge
numerical value: 1.6021765E-19
comment: The ScalarValue e represents the value of the ElementaryCharge.

closed form
type: NamedIndividual
type: ModelRepresentationForm
different from: open form
comment: A closed-form model includes an underlying numerical algorithm that solves the model equations. The algorithm accepts only a fixed set of input variables, and consequently returns only a fixed set of output variables.

continuous model
type: NamedIndividual
type: VariablesType
different from: discrete model
different from: mixed model
comment: A continuous_model denotes a MathematicalModel in which all the ModelVariables are continuous.

discrete model
type: NamedIndividual
type: VariablesType
different from: mixed model
comment: A discrete_model denotes a MathematicalModel in which all the ModelVariables are discrete. An example of a discrete_model is an integer model.

explicit formulation
type: NamedIndividual
type: ODE Explicitness
different from: implicit formulation
comment: In an explicit_formulation, the OrdinaryDifferentialAlgebraicSystem is explicitly solved for the highest-order derivative y^(n), i.e., F(x, y, y', y'', ... y^(n-1) ) = y^(n)

fully implicit
type: NamedIndividual
type: DAE Explicitness
different from: semi-explicit
comment: A DifferentialAlgebraicEquationSystem is fully_implicit if it has the form F(x, x', u, t) = 0

implicit formulation
type: NamedIndividual
type: ODE Explicitness
comment: In an implicit_formulation, the ordinary differential algebraic system is not solved for the highest-order derivative, i.e., F(x, y, y', y'', y''' ...) = 0

linear
type: NamedIndividual
type: Linearity
different from: nonlinear
comment: Characterizes a linear equation system

mixed model
type: NamedIndividual
type: VariablesType
comment: A mixed_model denotes a MathematicalModel in which some of the ModelVariables are discrete while the others are continuous. An example of a mixed_model is a mixed integer model.

nonlinear
type: NamedIndividual
type: Linearity
comment: Characterizes a nonlinear equation system

nonstiff
type: NamedIndividual
type: NumericalStiffness
different from: stiff
comment: Characterizes a nonstiff differential equation.

open form
type: NamedIndividual
type: ModelRepresentationForm
comment: An open-form model is solved by an external algorithm. One can freely choose the inputs and outputs of the open-form model.

semi-explicit
type: NamedIndividual
type: DAE Explicitness
comment: A DifferentialAlgebraicEquationSystem is semi-explict if it has the form f(x, u, t) = x' g(x, u, t) = 0

stiff
type: NamedIndividual
type: NumericalStiffness
comment: Characterizes a stiff differential equation.

multi-step method
type: NamedIndividual
type: TypeOfInvolvedSteps
different from: one-step method
comment: A multi-step_method characterizes an ODE_SolutionStrategy that uses information of multiple integration steps. Examples are Adams, BDF, etc.

one-step method
type: NamedIndividual
type: TypeOfInvolvedSteps
comment: A one-step_method characterizes an ODE_SolutionStrategy that uses information of one integration step. Examples are various Runge-Kutta methods.

data driven
type: NamedIndividual
type: ModelingPrinciple
different from: first-principles
comment: Following the data_driven ModelingPrinciple, a ProcessModel is derived from the Values of the Properties of a ModeledObject. Examples of this type of models are neural network models.

first-principles
type: NamedIndividual
type: ModelingPrinciple
comment: Following the first-principles ModelingPrinciple, the ProcessModel is based on established physical laws and mechanisms..

hybrid
type: NamedIndividual
type: ModelingPrinciple
comment: A hybrid ModelingPrinciple applies both the first-principles and the data_driven approach

A
type: NamedIndividual
type: SI BaseUnit
has dimension: electric current
comment: ampere The ampere is that constant current which, if maintained in two straight parallel conductors of infinite length, of negligible circular cross-section, and placed 1 meter apart in vacuum, would produce between these conductors a force equal to 2e-7 newton per meter of length (http://www.bipm.fr/en/si/si_brochure/chapter2/2-1/2-1-1/ampere.html).

K
type: NamedIndividual
type: SI BaseUnit
has dimension: thermodynamic temperature
comment: kelvin The kelvin is the fraction 1/273.16 of the thermodynamic temperature of the triple point of water (http://www.bipm.fr/en/si/si_brochure/chapter2/2-1/2-1-1/kelvin.html).

atto
type: NamedIndividual
type: SI Prefix
comment: factor: 1e–18 symbol: a

cd
type: NamedIndividual
type: SI BaseUnit
has dimension: luminous intensity
comment: candela The candela is the luminous intensity, in a given direction, of a source that emits monochromatic radiation of frequency 540e12 hertz an that has a radiant intensitiy in that direction of 1/683 watt per steradian (http://www.bipm.fr/en/si/si_brochure/chapter2/2-1/2-1-1/candela.html).

centi
type: NamedIndividual
type: SI Prefix
comment: factor: 1e–2 symbol: c

deca
type: NamedIndividual
type: SI Prefix
comment: factor: 1e1 symbol: da

deci
type: NamedIndividual
type: SI Prefix
comment: factor: 1e–1 symbol: d

exa
type: NamedIndividual
type: SI Prefix
comment: factor: 1e18 symbol: E

femto
type: NamedIndividual
type: SI Prefix
comment: factor: 1e–15 symbol: f

giga
type: NamedIndividual
type: SI Prefix
comment: factor: 1e9 symbol: G

hecto
type: NamedIndividual
type: SI Prefix
comment: factor: 1e2 symbol: h

kg
type: NamedIndividual
type: SI BaseUnit
has dimension: mass
comment: kilogram The kilogram is the unit of mass; it is equal to the mass of the international prototype of the kilogram (http://www.bipm.fr/en/si/si_brochure/chapter2/2-1/2-1-1/kilogram.html).

kilo
type: NamedIndividual
type: SI Prefix
comment: factor: 1e3 symbol: k

m
type: NamedIndividual
type: SI BaseUnit
has dimension: length
comment: meter The meter is the length of the path travelled by light in a vacuum during a time interval of 1/299,792,458 of a second (http://www.bipm.fr/en/si/si_brochure/chapter2/2-1/2-1-1/metre.html).

mega
type: NamedIndividual
type: SI Prefix
comment: factor: 1e6 symbol: M

micro
type: NamedIndividual
type: SI Prefix
comment: factor: 1e–6 symbol: µ

milli
type: NamedIndividual
type: SI Prefix
comment: factor: 1e–3 symbol: m

mol
type: NamedIndividual
type: SI BaseUnit
has dimension: amount of substance
comment: mole The mole is the amount of substance of a system which contains as many elementary entities as there are atoms in 0.012 kilogram of carbon 12. When the mole is used, the elementary entities must be specified and may be atoms, molecules, ions, electrons, other particles, or specified groups of such particles. (http://www.bipm.fr/en/si/si_brochure/chapter2/2-1/2-1-1/mole.html)

nano
type: NamedIndividual
type: SI Prefix
comment: factor: 1e–9 symbol: n

peta
type: NamedIndividual
type: SI Prefix
comment: factor: 1e15 symbol: P

pico
type: NamedIndividual
type: SI Prefix
comment: factor: 1e–12 symbol: p

s
type: NamedIndividual
type: SI BaseUnit
has dimension: time
comment: second The second is the duration of 9,192,631,770 periods of the radiation corresponing to the transition between the two hyperfine levels of the ground state of the caesium-133 atom (http://www.bipm.fr/en/si/si_brochure/chapter2/2-1/2-1-1/second.html).

tera
type: NamedIndividual
type: SI Prefix
comment: factor: 1e12 symbol: T

yocto
type: NamedIndividual
type: SI Prefix
comment: factor: 1e–24 symbol: y

yotta
type: NamedIndividual
type: SI Prefix
comment: factor: 1e24 symbol: Y

zepto
type: NamedIndividual
type: SI Prefix
comment: factor: 1e–21 symbol: z

zetta
type: NamedIndividual
type: SI Prefix
comment: factor: 1e21 symbol: Z

C
type: NamedIndividual
type: SI DerivedUnit
is defined by: COULOMB
has dimension: electric charge
comment: The coulomb (symbol: C) is the SI unit of electric charge.

CAD
type: NamedIndividual
type: SI DerivedUnit
has dimension: amount of money
comment: Canadian Dollar (currency used in Canada)

CELSIUS
type: NamedIndividual
type: Node
has left child: KELVIN
has node value: plus
right child node value: 273.15

CHF
type: NamedIndividual
type: SI DerivedUnit
has dimension: amount of money
comment: Swiss Franc (currency used in Switzerland, Liechtenstein)

CNY
type: NamedIndividual
type: SI DerivedUnit
has dimension: amount of money
comment: Yuan Renminbi (currency used in mainland China)

CUBIC METER
type: NamedIndividual
type: Node
has left child: METER
has node value: power
right child node value: 3

Celsius
type: NamedIndividual
type: SI DerivedUnit
is defined by: CELSIUS
has dimension: thermodynamic temperature
comment: °C

EUR
type: NamedIndividual
type: SI DerivedUnit
has dimension: amount of money
comment: Euro (currency used in Austria, Belgium, Finland, France [except Pacific territories using CFP franc], Germany, Greece, Ireland, Italy, Luxembourg, Netherlands [except Aruba and the Netherlands Antilles using Aruban florin and Antillean guilder respectively], Portugal, Slovenia, Spain, as well as Monaco, San Marino, Vatican City, Andorra, Montenegro, Kosovo)

GBP
type: NamedIndividual
type: SI DerivedUnit
has dimension: amount of money
comment: Pound Sterling (currency used in the United Kingdom)

HERTZ
type: NamedIndividual
type: Node
has node value: divide
has right child: SECOND
left child node value: 1.0

Hz
type: NamedIndividual
type: SI DerivedUnit
is defined by: HERTZ
has dimension: frequency
comment: Hertz

J
type: NamedIndividual
type: SI DerivedUnit
is defined by: JOULE
has dimension: work
comment: Joule

JPY
type: NamedIndividual
type: SI DerivedUnit
has dimension: amount of money
comment: Japanese yen (currency used in Japan)

J per K
type: NamedIndividual
type: SI DerivedUnit
is defined by: JOULE PER KELVIN
has dimension: entropy
comment: Joule per Kelvin - J/K

J per kg.K
type: NamedIndividual
type: SI DerivedUnit
is defined by: JOULE PER KILOGRAM.KELVIN
has dimension: specific entropy
comment: Joule per kilogram Kelvin - J/(kg.K)

N
type: NamedIndividual
type: SI DerivedUnit
is defined by: NEWTON
has dimension: force
comment: Newton

N.m
type: NamedIndividual
type: SI DerivedUnit
is defined by: NEWTON.METER
has dimension: moment of force
comment: Newton meter

N per m
type: NamedIndividual
type: SI DerivedUnit
is defined by: NEWTON PER METER
has dimension: surface tension
comment: Newton per meter - N/m

Pa
type: NamedIndividual
type: SI DerivedUnit
is defined by: PASCAL
has dimension: pressure
comment: Pascal

Pa.s
type: NamedIndividual
type: SI DerivedUnit
is defined by: PASCAL.SECOND
has dimension: dynamic viscosity
comment: Pascal second

RUB
type: NamedIndividual
type: SI DerivedUnit
has dimension: amount of money
comment: Russian Ruble (currency used in Russia, Abkhazia, South Ossetia)

SECOND SQUARED
type: NamedIndividual
type: Node
has left child: SECOND
has node value: power
right child node value: 2

SQUARE METER
type: NamedIndividual
type: Node
has left child: METER
has node value: power
right child node value: 2

USD
type: NamedIndividual
type: SI DerivedUnit
has dimension: amount of money
comment: US Dollar (currency used in American Samoa, British Indian Ocean Territory, Ecuador, El Salvador, Guam, Haiti, Marshall Islands, Micronesia, Northern Mariana Islands, Palau, Panama, Puerto Rico, East Timor, Turks and Caicos Islands, United States, Virgin Islands)

W
type: NamedIndividual
type: SI DerivedUnit
is defined by: WATT
has dimension: power
comment: Watt

W per m.K
type: NamedIndividual
type: SI DerivedUnit
is defined by: WATT PER METER.KELVIN
has dimension: thermal conductivity
comment: Watt per meter Kelvin - W/(m.K)

cubic m per kg
type: NamedIndividual
type: SI DerivedUnit
is defined by: CUBIC METER PER KILOGRAM
has dimension: specific volume
comment: cubic meter per kilogram- (m.m.m)/kg

kJ
type: NamedIndividual
type: PrefixedDerivedUnit
is defined by: KILOJOULE
has dimension: work
comment: kilojoule

kW
type: NamedIndividual
type: PrefixedDerivedUnit
is defined by: KILOWATT
has dimension: power
comment: kilowatt

kg per cubic m
type: NamedIndividual
type: SI DerivedUnit
is defined by: KILOGRAM PER CUBIC METER
has dimension: density
comment: kilogram per cubic meter - kg/(m.m.m)

km
type: NamedIndividual
type: PrefixedDerivedUnit
is defined by: KILOMETER
has dimension: length
comment: kilometer

m.m
type: NamedIndividual
type: SI DerivedUnit
is defined by: SQUARE METER
has dimension: area
comment: square meter - m.m

m.m.m
type: NamedIndividual
type: SI DerivedUnit
is defined by: CUBIC METER
has dimension: volume
comment: cubic meter - m.m.m

m.m.m per mol
type: NamedIndividual
type: SI DerivedUnit
is defined by: CUBIC METER PER MOLE
has dimension: molar volume
comment: cubic meter per mole

m per s
type: NamedIndividual
type: SI DerivedUnit
is defined by: METER PER SECOND
has dimension: velocity
comment: meter per second - m/s

rad
type: NamedIndividual
type: SI DerivedUnit
is defined by: RADIAN
has dimension: oscillation phase
comment: Radian

rad per s
type: NamedIndividual
type: SI DerivedUnit
is defined by: RADIAN PER SECOND
has dimension: angular velocity
comment: radian per second - rad/s

rad per s squared
type: NamedIndividual
type: SI DerivedUnit
is defined by: RADIAN PER SECOND SQUARED
has dimension: angular acceleration
comment: radian per second squared - rad/(s.s)

cos
type: NamedIndividual
type: UnaryOperator
comment: Unary operator that represents the cos function.

divide
type: NamedIndividual
type: BinaryOperator
different from: minus
different from: plus
different from: power
different from: root
different from: times
comment: Binary division operator that is used indicate the mathematical operation A "divided by" B.

eq
type: NamedIndividual
type: RelationalOperator
different from: gt
different from: lt
different from: neq
comment: the relational operator "equals"

exp
type: NamedIndividual
type: UnaryOperator
comment: Unary operator that represents the exponentiation function.

factorial
type: NamedIndividual
type: UnaryOperator
comment: Unary operator used to construct factorials. Factorials are defined by n! = n*(n-1)* ... * 1

geq
type: NamedIndividual
type: RelationalOperator
different from: lt
comment: the relational operator "greater than or equal"

gt
type: NamedIndividual
type: RelationalOperator
different from: leq
different from: lt
comment: the relational operator "greater than"

leq
type: NamedIndividual
type: RelationalOperator
comment: the relational operator "lesser than or equal"

ln
type: NamedIndividual
type: UnaryOperator
comment: Unary operator that represents the ln function (natural logarithm)

lt
type: NamedIndividual
type: RelationalOperator
comment: the relational operator "less than"

minus
type: NamedIndividual
type: BinaryOperator
different from: plus
different from: power
different from: root
different from: times
comment: This is the binary subtraction operator. It constructs the mathematical operation A "minus" B.

neq
type: NamedIndividual
type: RelationalOperator
comment: the relational operator "equals"

plus
type: NamedIndividual
type: BinaryOperator
different from: power
different from: root
different from: times
comment: Binary addition operator http://www.w3.org/TR/MathML2/appendixc.html#cedef.plus

power
type: NamedIndividual
type: BinaryOperator
different from: root
different from: times
comment: This is the binary powering operator that is used to construct expressions such as A "to the power of" B. In particular, it is the operation for which A "to the power of" 2 is equivalent to A*A. http://www.w3.org/TR/MathML2/appendixc.html#cedef.power.

root
type: NamedIndividual
type: BinaryOperator
different from: times
comment: This is the binary operator used to construct the nth root of an expression. The first argument "a" is the expression and the second object "n" denotes the root, as in ( a ) ^ (1/n) http://www.w3.org/TR/MathML2/appendixc.html#cedef.root

sin
type: NamedIndividual
type: UnaryOperator
comment: Unary operator that represents the sin function.

times
type: NamedIndividual
type: BinaryOperator
comment: Binary multiplication operator http://www.w3.org/TR/MathML2/appendixc.html#cedef.times

ACCELERATION
type: NamedIndividual
type: Node
has left child: VELOCITY
has node value: divide
has right child: TIME
comment: velocity/time

AREA
type: NamedIndividual
type: Node
has left child: LENGTH
has node value: power
right child node value: 2
comment: length^2

MOLAR VOLUME
type: NamedIndividual
type: Node
has left child: VOLUME
has node value: divide
has right child: AMOUNT OF SUBSTANCE
comment: volume/amount_of_substance

MOLECULAR MASS
type: NamedIndividual
type: Node
has left child: MASS
has node value: divide
has right child: AMOUNT OF SUBSTANCE
comment: mass/amount_of_substance

VELOCITY
type: NamedIndividual
type: Node
has left child: LENGTH
has node value: divide
has right child: TIME
comment: length/time

VOLUME
type: NamedIndividual
type: Node
has left child: LENGTH
has node value: power
is left child of: MOLAR VOLUME
right child node value: 3
comment: length^3

acceleration
type: NamedIndividual
type: SpaceAndTime
is defined by: ACCELERATION
is defined by: AREA
comment: the first time derivative from velocity [Chertov, 1997]

angular acceleration
type: NamedIndividual
type: SpaceAndTime
comment: the first time derivative from the angular velocity [Chertov, 1997]

angular velocity
type: NamedIndividual
type: SpaceAndTime
comment: the first time derivative from the deflection angle [Chertov, 1997]

area
type: NamedIndividual
type: SpaceAndTime
is defined by: AREA
comment: characterizes the plane and curved surfaces of a physical body [Chertov, 1997]

damping coefficient
type: NamedIndividual
type: PeriodicPhenomena
comment: the inverse to the time interval during which the amplitude decrease e times [Chertov, 1997]

density
type: NamedIndividual
type: Mechanics
comment: the ratio of the mass to the volume of a body´s element [Chertov, 1997]

dynamic viscosity
type: NamedIndividual
type: Mechanics
comment: the coefficient of proportinality in the internal friction force formula [Chertov, 1997]

electric charge
type: NamedIndividual
type: ElectricityAndMagnetism
is defined by: ELECTRIC CHARGE
comment: The measure equal to the product of electic current into time during which the current flows [Chertov]

entropy
type: NamedIndividual
type: Thermodynamics
comment: the ratio of an infinitely small quantity of heat transmitted to a system to the temperature [Chertov, 1997]

force
type: NamedIndividual
type: Mechanics
comment: the degree of mechanical influence exerted on a body by other bodies [Chertov, 1997]

frequency
type: NamedIndividual
type: PeriodicPhenomena
comment: the inverse to the period [Chertov, 1997]

heat capacity
type: NamedIndividual
type: Thermodynamics
comment: the ratio of heat required to warm a physical body to the difference in temperature [Chertov, 1997]

heat flow rate
type: NamedIndividual
type: Thermodynamics
comment: the ratio of the quantity of heat which passes a surface to time [Chertov, 1997]

internal energy
type: NamedIndividual
type: Thermodynamics
comment: the energy from the random thermal movement of all microparticles in a system [Chertov, 1997]

kinematic viscosity
type: NamedIndividual
type: Mechanics
comment: the ratio of the dynamic viscosity of a medium to its density [Chertov, 1997]

mass fraction
type: NamedIndividual
type: DerivedDimension
comment: The mass of some particular substance per total mass

molar fraction
type: NamedIndividual
type: DerivedDimension
comment: The amount of some particular substance per total amount of substance

molar volume
type: NamedIndividual
type: DerivedDimension
is defined by: MOLAR VOLUME
comment: the volume of one mole of material

molecular mass
type: NamedIndividual
type: DerivedDimension
is defined by: MOLECULAR MASS
comment: The molecular mass of a substance (less accurately called molecular weight) is the mass of one molecule of that substance, relative to the unified atomic mass unit u (equal to 1/12 the mass of one atom of carbon-12). [Wikipedia]

moment of force
type: NamedIndividual
type: Mechanics
comment: in relation to a certain point, the product of the force and the arm, i.e. the distance between the direction of the force and the point [Chertov, 1997]

moment of inertia
type: NamedIndividual
type: Mechanics
comment: the mass of a material point per square distance to the axis of rotation [Chertov, 1997]

momentum
type: NamedIndividual
type: Mechanics
comment: the mass of a physical body at its velocity [Chertov, 1997]

oscillation phase
type: NamedIndividual
type: PeriodicPhenomena
comment: independent variable of a function describing the quantity which changes according the law of harmonic vibrations [Chertov, 1997]

period
type: NamedIndividual
type: PeriodicPhenomena
comment: the time interval during which a cycle of periodic process is completed [Chertov, 1997]

plane angle
type: NamedIndividual
type: SpaceAndTime
comment: geometric figure formed by two rays (sides of the angle) extending from one point [Chertov, 1997]

power
type: NamedIndividual
type: Mechanics
comment: the ratio of work to time interval during which the work is completed [Chertov, 1997]

pressure
type: NamedIndividual
type: Mechanics
comment: the ratio between the perpendicular force acting on a surface element to the area of the element [Chertov, 1997]

quantity of heat
type: NamedIndividual
type: Thermodynamics
comment: the part of internal energy which is transferred spontaneously, with no external influence from more to less heated physical body [Chertov, 1997]

rotational frequency
type: NamedIndividual
type: PeriodicPhenomena
comment: the number of rotations completed in a second [Chertov, 1997]

solid angle
type: NamedIndividual
type: SpaceAndTime
comment: the part of space enclosed within one cavity of conical surface with a closed directrix [Chertov, 1997]

specific entropy
type: NamedIndividual
type: Thermodynamics
comment: the ratio of entropy to the mass of a system [Chertov, 1997]

specific heat capacity
type: NamedIndividual
type: Thermodynamics
comment: the ratio of the heat capacity of a uniform physical body to its mass [Chertov, 1997]

specific volume
type: NamedIndividual
type: Mechanics
comment: the ratio of the volume to the mass of a body´s element [Chertov, 1997]

surface tension
type: NamedIndividual
type: Mechanics
comment: the ratio of between the force, acting on a segment of the free surface contour perpendicular to the contour and tangentially to the surface, and the length of the segment [Chertov, 1997]

temperature coefficient
type: NamedIndividual
type: Thermodynamics
comment: the ratio of the relative change in a physical quantity to the temperature change reckoned from the initial temperature [Chertov, 1997]

thermal conductivity
type: NamedIndividual
type: Thermodynamics
comment: the density of heat flux produced by heat conductivity at temperature gradient [Chertov, 1997]

velocity
type: NamedIndividual
type: SpaceAndTime
is defined by: VELOCITY
comment: the first time derivative from movement [Chertov, 1997]

volume
type: NamedIndividual
type: SpaceAndTime
is defined by: VOLUME
comment: characterizes physical bodies [Chertov, 1997]

volume fraction
type: NamedIndividual
type: DerivedDimension
comment: The volume of some particular substance per total volume

work
type: NamedIndividual
type: Mechanics
comment: the scalar product of force into an elementary displacement [Chertov, 1997]

AMOUNT OF MONEY
type: NamedIndividual
type: Leaf
has node value: amount of money
comment: Auxiliary individual for the definition of DerivedDimensions that are derivable from the FundamentalDimension of ' amount_of_money'.

AMOUNT OF SUBSTANCE
type: NamedIndividual
type: Leaf
has node value: amount of substance
comment: Auxiliary individual for the definition of DerivedDimensions that are derivable from the BaseDimension of ' amount_of_substance'.

ELECTRIC CURRENT
type: NamedIndividual
type: Leaf
has node value: electric current
is left child of: ELECTRIC CHARGE
comment: Auxiliary individual for the definition of DerivedDimensions that are derivable from the BaseDimension of ' electric_current'.

LENGTH
type: NamedIndividual
type: Leaf
has node value: length
comment: Auxiliary individual for the definition of DerivedDimensions that are derivable from the BaseDimension of ' length'.

LUMINOUS INTENSITY
type: NamedIndividual
type: Leaf
has node value: luminous intensity
comment: Auxiliary individual for the definition of DerivedDimensions that are derivable from the BaseDimension of ' luminous_intensity'.

MASS
type: NamedIndividual
type: Leaf
has node value: mass
comment: Auxiliary individual for the definition of DerivedDimensions that are derivable from the BaseDimension of ' mass'.

THERMODYNAMIC TEMPERATURE
type: NamedIndividual
type: Leaf
has node value: thermodynamic temperature
comment: Auxiliary individual for the definition of DerivedDimensions that are derivable from the BaseDimension of ' thermodynamic_temperature'.

TIME
type: NamedIndividual
type: Leaf
has node value: time
is right child of: ELECTRIC CHARGE
comment: Auxiliary individual for the definition of DerivedDimensions that are derivable from the BaseDimension of ' time'.

amount of money
type: NamedIndividual
type: SupplementaryDimension
different from: identity dimension
comment: An amount of money in an arbitrary currency.

amount of substance
type: NamedIndividual
type: BaseDimension
comment: The number of elementary entities contained in a body (or a system of bodies). [Chertov, 1997]

electric current
type: NamedIndividual
type: BaseDimension
comment: The time derivative from an electric charge sustained by a charge carrier through an observed surface. [Chertov, 1997]

identity dimension
type: NamedIndividual
type: SupplementaryDimension
comment: According to Gruber & Olsen (1994) the identity_dimension is defined as the identity element for multiplication over PhysicalDimensions. That means that the product of the identity_dimension and any other PhysicalDimension is that other PhysicalDimension.

length
type: NamedIndividual
type: BaseDimension
comment: The physical dimension which characterizes the space and distance traveled by bodies or their parts along a given line. [Chertov, 1997]

luminous intensity
type: NamedIndividual
type: BaseDimension
comment: The radiant flux emitted by a source of radiation in a given direction inside a small solid angle in relation to this solid angle. [Chertov, 1997]

mass
type: NamedIndividual
type: BaseDimension
comment: The physical dimension which characterizes the inert and gravitational properties of material objects. [Chertov, 1997]

thermodynamic temperature
type: NamedIndividual
type: BaseDimension
comment: The temperature calculated according to a thermodynamic temperature scale from absolute zero. [Chertov, 1997]

time
type: NamedIndividual
type: BaseDimension
comment: The physical dimension characterizing the successive change in phenomena and the states of matter which determines the duration of phenomenal being. [Chertov, 1997]

CoordinatedUniversalTime
type: NamedIndividual
type: TemporalCoordinate
refers to axis: t-axis
comment: A CoordinatedUniversalTime is a TemporalCoordinate of an UTC-System; it measures the date-time according to the international time standard UTC.

UTC-System
type: NamedIndividual
type: TemporalCoordinateSystem
has axis: t-axis
has coordinate: CoordinatedUniversalTime
comment: The UTC-System is a TemporalCoordinateSystem that measures the date-time according to the international time standard UTC (Coordinated Universal Time), disseminated by the International Bureau of Weights and Measures (BIPM, 2007).

phi-axis
type: NamedIndividual
type: CurvilinearCoordinateSystemAxis
different from: theta-axis
comment: The individual denotes the phi-axis of a spherical coordinate system. Phi is the zenith angle between the z-axis and the r-axis. Its value range lies between 0 and .

r-axis
type: NamedIndividual
type: CurvilinearCoordinateSystemAxis
comment: The r-axis corresponds to the radial coordinate, which denotes the distance (i.e., radius) between a point and the origin of a SpatialCoordinateSystem.

t-axis
type: NamedIndividual
type: TemporalCoordinateSystemAxis
comment: The default axis of a TemporalCoordinateSystem.

theta-axis
type: NamedIndividual
type: CurvilinearCoordinateSystemAxis
comment: The individual denotes the theta-axis of a polar coordinate system, spherical coordinate system, or cylindrical coordinate system. Theta is the azimuth or polar angle located in the xy-plane of a positive CartesianCoordinateSystem; it is defined as the angle between the polar axis (which is equivalent to the x-axis of a CartesianCoordinateSystem) and the projection of the r-axis onto the xy-plane. The value range of theta lies between 0 and .

x-axis
type: NamedIndividual
type: CartesianCoordinateSystemAxis
comment: The individual denotes the x-axis of a positive CartesianCoordinateSystem.

y-axis
type: NamedIndividual
type: CartesianCoordinateSystemAxis
comment: The individual denotes the y-axis of a positive CartesianCoordinateSystem.

z-axis
type: NamedIndividual
type: CartesianCoordinateSystemAxis
comment: The individual denotes the z-axis of a positive CartesianCoordinateSystem or CylindricalCoordinateSystem.

S
type: NamedIndividual
type: System
comment: Sample system; used for the construction of the query classes SystemEnvironment and InternalProperties.

behavior
type: NamedIndividual
type: Aspect
comment: Explicitly designates a behavioral AspectSystem.

function
type: NamedIndividual
type: Aspect
comment: Explicitly designates a functional AspectSystem.

performance
type: NamedIndividual
type: Aspect
comment: Explicitly designates an AspectSystem that represents the aspect of performance.

realization
type: NamedIndividual
type: Aspect
comment: Explicitly designates an AspectSystem that represents the aspect of realization.

requirements
type: NamedIndividual
type: Aspect
comment: Explicitly designates an AspectSystem that represents the aspect of requirements.

Restriction
on property: refersToMaterial
some values from: Class
  intersection of: Material
  intersection of: Restriction
    on property: thermodynamicBehavior
    some values from: Class
      union of: Class
        intersection of: MultiphaseSystem
        intersection of: Restriction
      union of: Class
        intersection of: SinglePhase
        intersection of: Restriction
      union of: Restriction
        on property: isComposedOfSubsystem
        some values from: Class
      union of: Restriction
        on property: isComposedOfSubsystem
        cardinality: 1

Restriction
on property: isComposedOfSubsystem
cardinality: 1

Restriction
on property: hasChild
cardinality: 1

Restriction
on property: leftChildNodeValue
cardinality: 0

Restriction
on property: rightChildNodeValue
cardinality: 0

Restriction
on property: leftChildNodeValue
cardinality: 0

Restriction
on property: rightChildNodeValue
cardinality: 1

Restriction
on property: leftChildNodeValue
cardinality: 1

Restriction
on property: rightChildNodeValue
cardinality: 0

Restriction
on property: leftChildNodeValue
cardinality: 1

Restriction
on property: rightChildNodeValue
cardinality: 1

Restriction
on property: leftChildNodeValue
cardinality: 1

Restriction
on property: rightChildNodeValue
cardinality: 1