process.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 ontology module 'process' provides concepts a functional description of an chemical process system at an early stage of design. The following classes and relations from other ontology modules are used within 'process': <owl:Class rdf:about="http://OntoCAPE/material/material.owl#Material"> <owl:Class rdf:about="http://OntoCAPE/material/phase_system/phase_system.owl#ReactionNetwork"> <owl:Class rdf:about="http://OntoCAPE/material/phase_system/phase_system.owl#MultiphaseSystem"> <owl:Class rdf:about="http://OntoCAPE/material/phase_system/phase_system.owl#SinglePhase"> <owl:Class rdf:about="http://OntoCAPE/material/phase_system/phase_system.owl#SinglePhaseInMultiphaseSystem"> <owl:Class rdf:about="http://OntoCAPE/upper_level/system.owl#ScalarQuantity"> <owl:Class rdf:about="http://OntoCAPE/upper_level/network_system.owl#DirectedConnection"> <owl:Class rdf:about="http://OntoCAPE/material/phase_system/phase_system.owl#ReactionNetwork"> <owl:Class rdf:about="http://OntoCAPE/upper_level/network_system.owl#Device"> <owl:Class rdf:about="http://OntoCAPE/upper_level/system.owl#Property"> <owl:ObjectProperty rdf:about="http://OntoCAPE/material/phase_system/phase_system.owl#hasStateOfAggregation"> <owl:ObjectProperty rdf:about="http://OntoCAPE/upper_level/system.owl#isComposedOfSubsystem"> <owl:ObjectProperty rdf:about="http://OntoCAPE/upper_level/system.owl#hasProperty"> <owl:ObjectProperty rdf:about="http://OntoCAPE/material/material.owl#thermodynamicBehavior"> <owl:ObjectProperty rdf:about="http://OntoCAPE/upper_level/network_system.owl#enters"> <owl:ObjectProperty rdf:about="http://OntoCAPE/upper_level/network_system.owl#leaves"> <owl:ObjectProperty rdf:about="http://OntoCAPE/upper_level/system.owl#hasDimension"> <owl:ObjectProperty rdf:about="http://OntoCAPE/upper_level/system.owl#isSubsystemOf"> <owl:ObjectProperty rdf:about="http://OntoCAPE/upper_level/system.owl#hasDirectSubsystem"> <owl:ObjectProperty rdf:about="http://OntoCAPE/upper_level/system.owl#isDirectSubsyst…
version info: 2.0

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.

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: 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
  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.

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: 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
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
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
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.

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

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.

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.

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.

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.

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.

Aspect
type: Class
subclass of: NonExhaustiveValueSet
disjoint with: PhysicalDimension
disjoint with: UnitOfMeasure
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: http://OntoCAPE/upper_level/system.owl#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
subclass of: NonExhaustiveValueSet
disjoint with: UnitOfMeasure
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: 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: http://OntoCAPE/upper_level/system.owl#S
  intersection of: Class
    complement of: Restriction
      on property: hasSubsystem
      has value: http://OntoCAPE/upper_level/system.owl#S
  intersection of: Class
    complement of: Restriction
      on property: isSubsystemOf
      has value: http://OntoCAPE/upper_level/system.owl#S
  intersection of: Restriction
    on property: isDirectlyRelatedTo
    has value: http://OntoCAPE/upper_level/system.owl#S
disjoint with: Class
  one of: http://OntoCAPE/upper_level/system.owl#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
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.

http://OntoCAPE/upper_level/system.owl#S
type: NamedIndividual
type: System
comment: Sample system; used for the construction of the query classes SystemEnvironment and InternalProperties.