ProcessOntology.owl
type: Ontology
version info: 1.12 Process and Profiles Ontology
comment: an ontology to represent applications, processes, profiles and patterns for smart home operation
imports: time
version IRI: ProcessOntology 1.12.owl

capturesActivity
type: ObjectProperty
comment: relation to Action or Process that is carried out by human actor and cannot be captured on the base of simple sensors (e.g. dancing, reading a book, resting)
domain: AbstractAimProfile

hasActiveTime
type: ObjectProperty
comment: the active time of a specific pattern value.
range: Interval
domain: ProcessParameter

hasAssociatedDevice
type: ObjectProperty
comment: the device that is associated with a certain process
domain: Process

hasBaseProfile
type: ObjectProperty
comment: base profile that is associated to a general profile that addresses the general state.
comment: this property was known as "hasAssociatedProfile" in prior versions of the ontology
domain: Profile
range: Profile

hasFocusObjective
type: ObjectProperty
comment: the object of supervision (e.g. room, device) of a specific patten or profile.
domain: Class
  union of: Pattern
  union of: Profile

hasInfluenceOn
type: ObjectProperty
comment: current situation parameter or pattern influence an application
range: Application
domain: Class
  union of: CurrentSituationParameter
  union of: Pattern

hasProcessDomain
type: ObjectProperty
comment: the domain of a process which is usually a part of the observed building (e.g. zone, room)
comment: this property was known as "hasDomain" in prior versions of the ontology
domain: Process

hasProfileParameterValue
type: ObjectProperty
comment: parameter of a profile
sub property of: topObjectProperty
range: ProcessParameter
domain: Profile
inverse of: isProfileParameterValueOf

hasProfileRange
type: ObjectProperty
comment: range of the parameter of the associated profile
domain: Profile
range: RangeParameter

hasSampleTime
type: ObjectProperty
comment: the time when a specific profile value was retrieved.
range: Interval
domain: ProcessParameter

hasScheduledValue
type: ObjectProperty
comment: the pattern value scheduled for a certain time interval
domain: Pattern
range: ProcessParameter
inverse of: isScheduledValueOf

hasScope
type: ObjectProperty
comment: the scope of a profile (e.g. daily, weekly, monthly)
domain: Profile
range: ScopeParameter

influencesParameterValue
type: ObjectProperty
comment: the process influences a certain process parameter value
comment: this property was known as "changesParameterValue" in prior versions of the ontology
range: CurrentSituationParameter
domain: Process
inverse of: parameterValueInfluencedBy

involvesCommand
type: ObjectProperty
comment: command to start a certain process
domain: Process

isBasedOn
type: ObjectProperty
comment: a pattern is based on one or more profiles that are the basis for the calculated pattern values
domain: Pattern
range: Profile

perceivedThrough
type: ObjectProperty
comment: for connection between a current value and the sensors through which this value can be perceived.
domain: CurrentSituationParameter

realizedBy
type: ObjectProperty
comment: the high-level application may be realized by one or more elementary processes
domain: Application
range: Process

records
type: ObjectProperty
comment: The time a profile was recorded as instant.
comment: this property was known as "recordedAt" in prior versions of the ontology
range: Interval
domain: Profile

supervisesCurrentValue
type: ObjectProperty
type: FunctionalProperty
comment: supervises the current state of a device or zone
comment: this property was known as "supervisesState" in prior versions of the ontology
range: CurrentSituationParameter
domain: Profile

supervisesDevice
type: ObjectProperty
comment: the device(e.g. sensor) that perceives the observed current state value
domain: Profile
property chain axiom: supervisesCurrentValue
property chain axiom: perceivedThrough

validFor
type: ObjectProperty
comment: this property was known as "validForPeriod" in prior versions of the ontology
sub property of: topObjectProperty
range: Interval
domain: Pattern

hasMaxValue
type: DatatypeProperty
comment: has been created to define the maximum allowed profile range value
sub property of: hasValue

hasMinValue
type: DatatypeProperty
comment: has been created to define the minimum allowed value of a profile range.
sub property of: hasValue

hasRateOfActuation
type: DatatypeProperty
comment: How often the system consults profiles (patterns) and executes changes. This parameter is expressed in minutes.
range: int
domain: UnsupervisedControlForShutterGroupsApplication

hasReliability
type: DatatypeProperty
type: FunctionalProperty
comment: This is a value on how strong a pattern is. similar to likelihood
domain: Pattern
range: Datatype
  on datatype: float
  with restrictions:
    max inclusive: 1.0
range: Datatype
  on datatype: float
  with restrictions:
    min inclusive: 0.0

hasRepresentativeness
type: DatatypeProperty
type: FunctionalProperty
comment: This is a value on how strong a pattern is. similar to likelihood
domain: Pattern
range: Datatype
  on datatype: float
  with restrictions:
    min inclusive: 0.0
range: Datatype
  on datatype: float
  with restrictions:
    max inclusive: 1.0

hasSampleRate
type: DatatypeProperty
comment: Sample rate for profiles is stated in minutes
range: int
domain: Profile

February
type: Class
subclass of: DateTimeDescription
subclass of: Restriction
  on property: month
  has value: --02
subclass of: Restriction
  on property: unitType
  has value: unitMonth

Abscence
type: Class
equivalent class: Class
  intersection of: OccupancyParameter
  intersection of: Restriction
    on property: hasValue
    has value: false

Application
type: Class
subclass of: Restriction
  on property: isInfluencedBy
  some values from: Class
    union of: CurrentSituationParameter
    union of: Pattern
subclass of: Restriction
  on property: realizedBy
  some values from: Process
comment: applications are goals for autonomous agents.

ComfortRelativeHumidityPattern
type: Class
equivalent class: Class
  intersection of: Pattern
  intersection of: Restriction
    on property: hasScheduledValue
    some values from: HumidityParameter
  intersection of: Restriction
    on property: isBasedOn
    some values from: ComfortRelativeHumidityProfile
comment: this concept was known as "RelativeHumidityPattern" in prior versions of the ontology

CurrentSituationParameter
type: Class
equivalent class: Class
  intersection of: ProcessParameter
  intersection of: Restriction
    on property: perceivedThrough
    some values from: Thing
  intersection of: Restriction
    on property: hasValue
    some values from: Literal
comment: Parameter that describes the current situation in a part of the building

DHWRecirculationApplication
type: Class
subclass of: Application
subclass of: Restriction
  on property: isInfluencedBy
  some values from: HotWaterConsumptionPattern
comment: Domestic Hot Water Recirculation

DailyProfile
type: Class
equivalent class: Class
  intersection of: Profile
  intersection of: Restriction
    on property: hasScope
    has value: Daily
comment: a daily profile is a collection of time-related data that represents user behavior for a single day.

DeviceCentricProcess
type: Class
equivalent class: Class
  intersection of: Process
  intersection of: Restriction
    on property: hasAssociatedDevice
    some values from: Thing
  intersection of: Restriction
    on property: involvesCommand
    some values from: Thing
comment: processes that are related with a specific device.

DoubleValuedParameter
type: Class
subclass of: ProcessParameter
subclass of: Restriction
  on property: hasValue
  some values from: Literal
subclass of: Restriction
  on property: hasSampleTime
  some values from: Interval
comment: this class was known as "DoubleValuedSituationParameter" in prior versions of the ontology

ElectricitySpotPriceProfile
type: Class
subclass of: Profile
subclass of: Restriction
  on property: hasProfileParameterValue
  all values from: EnergyParameter
subclass of: Restriction
  on property: supervisesCurrentValue
  all values from: EnergyParameter
subclass of: Restriction
  on property: hasProfileParameterValue
  some values from: EnergyParameter
comment: this class was known as "ElectricitySpotPricesProfile" in prior versions of the ontology

GeneralCommandForShutterGroupsApplication
type: Class
subclass of: Application
subclass of: Restriction
  on property: isInfluencedBy
  some values from: ShutterLevelPattern
comment: general command for blinds/shutter groups

GeneralShutterCommandProfile
type: Class
subclass of: Profile
subclass of: Restriction
  on property: hasBaseProfile
  some values from: ShutterLevelProfile
subclass of: Restriction
  on property: hasProfileParameterValue
  all values from: CountingParameter
subclass of: Restriction
  on property: hasProfileParameterValue
  some values from: CountingParameter
subclass of: Restriction
  on property: supervisesCurrentValue
  all values from: ShutterLevelParameter
comment: general blinds/shutter profile

HotWaterConsumptionProfile
type: Class
subclass of: Profile
subclass of: Restriction
  on property: hasProfileParameterValue
  all values from: HotWaterParameter
subclass of: Restriction
  on property: supervisesCurrentValue
  all values from: HotWaterParameter
subclass of: Restriction
  on property: hasProfileParameterValue
  some values from: HotWaterParameter
comment: this class was known as "HotWaterDemandProfile" in prior versions of the ontology

HumidityParameter
type: Class
subclass of: LevelParameter
subclass of: Restriction
  on property: hasUnit
  has value: Percent

HumidityProcess
type: Class
equivalent class: Class
  intersection of: Process
  intersection of: Restriction
    on property: influencesParameterValue
    some values from: HumidityParameter
subclass of: Process
comment: this class was known as "HumidifyingProcess" in prior versions of the ontology

Last10DaysPattern
type: Class
subclass of: LastDaysPattern
subclass of: Restriction
  on property: isBasedOn
  on class: DailyProfile
  min qualified cardinality: 10
disjoint with: Last20DaysPattern

Last20DaysPattern
type: Class
subclass of: LastDaysPattern
subclass of: Restriction
  on property: isBasedOn
  on class: DailyProfile
  min qualified cardinality: 20

LastDaysPattern
type: Class
subclass of: Pattern
subclass of: Restriction
  on property: isBasedOn
  some values from: DailyProfile
comment: pattern that resembles the user behavior of the last few recorded days

LevelParameter
type: Class
subclass of: ProcessParameter
subclass of: Restriction
  on property: hasSampleTime
  some values from: Interval
subclass of: Restriction
  on property: hasValue
  some values from: Literal
subclass of: Restriction
  on property: hasUnit
  some values from: Literal
comment: this class was known as "LevelSituationParameter" in prior versions of the ontology

LightLevelProfile
type: Class
subclass of: Profile
subclass of: Restriction
  on property: hasProfileParameterValue
  some values from: LightingParameter
subclass of: Restriction
  on property: supervisesCurrentValue
  all values from: LightingParameter
subclass of: Restriction
  on property: hasProfileParameterValue
  all values from: LightingParameter
subclass of: Restriction
  on property: supervisesCurrentValue
  cardinality: 1

LightingUserReadjustmentProfile
type: Class
subclass of: Profile
subclass of: Restriction
  on property: hasProfileParameterValue
  some values from: CountingParameter
subclass of: Restriction
  on property: supervisesCurrentValue
  all values from: LightingParameter
subclass of: Restriction
  on property: hasProfileParameterValue
  all values from: CountingParameter
subclass of: Restriction
  on property: hasProfileFocusObjective
  cardinality: 1

LineConsumptionProfile
type: Class
subclass of: Profile
subclass of: Restriction
  on property: supervisesCurrentValue
  all values from: EnergyParameter
subclass of: Restriction
  on property: hasProfileParameterValue
  all values from: EnergyParameter
subclass of: Restriction
  on property: hasProfileParameterValue
  some values from: EnergyParameter
comment: this concept was known as "PowerLineConsumptionProfile" in prior versions of the ontology

LineStatusParameter
type: Class
subclass of: DoubleValuedParameter
comment: this concept was known as "PowerLineStatusParameter" in prior versions of the ontology

LineStatusProfile
type: Class
subclass of: Profile
subclass of: Restriction
  on property: supervisesCurrentValue
  all values from: LineStatusParameter
subclass of: Restriction
  on property: hasProfileParameterValue
  some values from: LineStatusParameter
subclass of: Restriction
  on property: hasProfileParameterValue
  all values from: LineStatusParameter
comment: this concept was known as "PowerLineStatusProfile" in prior versions of the ontology

MultipleDayPattern
type: Class
subclass of: Pattern
subclass of: Restriction
  on property: isBasedOn
  on class: DailyProfile
  min qualified cardinality: 2
comment: pattern that represents user behavior over more than one day

OccupancyParameter
type: Class
subclass of: DoubleValuedParameter
subclass of: Restriction
  on property: hasValue
  some values from: boolean
subclass of: Restriction
  on property: hasUnit
  has value: Boolean

Pattern
type: Class
subclass of: Restriction
  on property: hasScheduledValue
  some values from: ValueParameter
subclass of: Restriction
  on property: validFor
  some values from: Interval
subclass of: Restriction
  on property: isBasedOn
  some values from: Profile
subclass of: Restriction
  on property: hasInfluenceOn
  some values from: Application
subclass of: Class
  intersection of: Restriction
    on property: hasRepresentativeness
    all values from: Datatype
      on datatype: float
      with restrictions:
        min inclusive: 0.0
  intersection of: Restriction
    on property: hasRepresentativeness
    all values from: Datatype
      on datatype: float
      with restrictions:
        max inclusive: 1.0
subclass of: Class
  intersection of: Restriction
    on property: hasReliability
    all values from: Datatype
      on datatype: float
      with restrictions:
        min inclusive: 0.0
  intersection of: Restriction
    on property: hasReliability
    all values from: Datatype
      on datatype: float
      with restrictions:
        max inclusive: 1.0
subclass of: Restriction
  on property: hasPatternFocusObjective
  some values from: Thing
comment: patterns represent repeating user behaviour. a pattern generator uses profiles to generate patterns.

Presence
type: Class
equivalent class: Class
  intersection of: OccupancyParameter
  intersection of: Restriction
    on property: hasValue
    has value: true

Process
type: Class
subclass of: Restriction
  on property: hasProcessDomain
  some values from: Thing
subclass of: Restriction
  on property: influencesParameterValue
  some values from: ProcessParameter
comment: actions that may change the state of the building

Profile
type: Class
subclass of: Restriction
  on property: hasScope
  some values from: ScopeParameter
subclass of: Restriction
  on property: hasSampleRate
  some values from: Literal
subclass of: Restriction
  on property: supervisesCurrentValue
  some values from: CurrentSituationParameter
subclass of: Restriction
  on property: hasProfileRange
  some values from: RangeParameter
subclass of: Restriction
  on property: records
  some values from: Interval
subclass of: Restriction
  on property: hasProfileParameterValue
  some values from: ValueParameter
subclass of: Restriction
  on property: hasProfileFocusObjective
  some values from: Thing
comment: a profile is a collection of time-related data that corresponds to a certain phenomenon and represents its behavior. profiles represent punctual user behavior, and form basic building elements for patterns and recurring behavior.

RangeParameter
type: Class
subclass of: ProcessParameter
subclass of: Restriction
  on property: hasMinValue
  some values from: Literal
subclass of: Restriction
  on property: hasUnit
  some values from: Literal
subclass of: Restriction
  on property: hasMaxValue
  some values from: Literal
comment: the range of the profile parameters (min,max) that is needed for pattern generation

RelativeHumidityUserReadjustmentProfile
type: Class
subclass of: Profile
subclass of: Restriction
  on property: supervisesCurrentValue
  all values from: HumidityParameter
subclass of: Restriction
  on property: hasProfileParameterValue
  some values from: CountingParameter
subclass of: Restriction
  on property: hasProfileFocusObjective
  cardinality: 1
subclass of: Restriction
  on property: hasProfileParameterValue
  all values from: CountingParameter

ScopeParameter
type: Class
equivalent class: Class
  one of: Yearly
  one of: Monthly
  one of: Weekly
  one of: Hourly
  one of: Seasonal
  one of: Daily
subclass of: ProcessParameter
comment: this concept was known as "ProfileScopeParameter" in prior versions of the ontology

SeasonalPattern
type: Class
equivalent class: Class
  intersection of: Pattern
  intersection of: Restriction
    on property: validFor
    some values from: Restriction
      on property: hasDateTimeDescription
      some values from: Restriction
        on property: month
        some values from: gMonth
comment: patterns that are valid at a certain time of the year

SelfCheckingApplication
type: Class
subclass of: Application
comment: can be taken as measure for user satisfaction according to user interaction with the system.

SelfCheckingRelHumidityManagementApplication
type: Class
subclass of: SelfCheckingApplication
subclass of: Restriction
  on property: isInfluencedBy
  some values from: RelHumidityUserReadjustmentPattern
comment: this concept was known as "SelfCheckingRelativeHumidityManagementApplication" in prior versions of the ontology

SelfCheckingShutterManagementApplication
type: Class
subclass of: SelfCheckingApplication
subclass of: Restriction
  on property: isInfluencedBy
  some values from: GeneralShutterCommandPattern
subclass of: Restriction
  on property: isInfluencedBy
  some values from: ShutterUserReadjustmentPattern
comment: self Checking, blinds/shutter management

SetpointLevelProfile
type: Class
equivalent class: Class
  intersection of: Profile
  intersection of: Restriction
    on property: hasProfileParameterValue
    some values from: LevelParameter
comment: Setpoint or Level Profile

ShutterLevelProfile
type: Class
subclass of: Profile
subclass of: Restriction
  on property: hasProfileParameterValue
  all values from: ShutterLevelParameter
subclass of: Restriction
  on property: hasProfileParameterValue
  some values from: ShutterLevelParameter
subclass of: Restriction
  on property: supervisesCurrentValue
  all values from: ShutterLevelParameter
comment: blinds/shutter profile to record level states

ShutterUserReadjustmentProfile
type: Class
subclass of: Profile
subclass of: Restriction
  on property: hasProfileParameterValue
  all values from: CountingParameter
subclass of: Restriction
  on property: hasProfileFocusObjective
  cardinality: 1
subclass of: Restriction
  on property: hasProfileParameterValue
  some values from: CountingParameter
subclass of: Restriction
  on property: supervisesCurrentValue
  all values from: ShutterLevelParameter
comment: user readjustment blinds/shutter profile

SingleDayPattern
type: Class
subclass of: Pattern
subclass of: Restriction
  on property: isBasedOn
  some values from: DailyProfile
comment: pattern that represents user habits for exactly one day of week

SpecificAimProfile
type: Class
equivalent class: Class
  intersection of: Profile
  intersection of: Restriction
    on property: hasProfileFocusObjective
    cardinality: 1
comment: This concept is realized for specific profiles that are just valid for one special appliance or use case.

TemperatureUserReadjustmentProfile
type: Class
subclass of: Profile
subclass of: Restriction
  on property: hasProfileParameterValue
  all values from: CountingParameter
subclass of: Restriction
  on property: hasProfileParameterValue
  some values from: CountingParameter
subclass of: Restriction
  on property: hasProfileFocusObjective
  cardinality: 1
subclass of: Restriction
  on property: supervisesCurrentValue
  all values from: TemperatureParameter

UnsupervisedControlForShutterGroupsApplication
type: Class
subclass of: Application
subclass of: Restriction
  on property: isInfluencedBy
  some values from: ShutterLevelPattern
subclass of: Restriction
  on property: isInfluencedBy
  some values from: CurrentSituationParameter
subclass of: Restriction
  on property: hasRateOfActuation
  some values from: int
comment: unsupervised control for blinds/shutter groups

UsageProfile
type: Class
equivalent class: Class
  intersection of: Profile
  intersection of: Restriction
    on property: hasProfileParameterValue
    some values from: DoubleValuedParameter
comment: Usage or Status Profile

UserReadjustmentProfile
type: Class
equivalent class: Class
  intersection of: Profile
  intersection of: Restriction
    on property: hasProfileParameterValue
    some values from: CountingParameter
  intersection of: Restriction
    on property: hasProfileFocusObjective
    cardinality: 1

ValueParameter
type: Class
equivalent class: Class
  intersection of: ProcessParameter
  intersection of: Restriction
    on property: hasValue
    some values from: Literal
subclass of: ProcessParameter
comment: parameters that are used to represent values of profiles and current values

Class
intersection of: Pattern
intersection of: Restriction
  on property: validFor
  some values from: Restriction
    on property: hasDateTimeDescription
    some values from: Class
      union of: Restriction
        on property: month
        has value: --09
      union of: Restriction
        on property: month
        has value: --10
      union of: Restriction
        on property: month
        has value: --11

Class
intersection of: Pattern
intersection of: Restriction
  on property: validFor
  some values from: Restriction
    on property: hasDateTimeDescription
    some values from: Class
      union of: Restriction
        on property: month
        has value: --03
      union of: Restriction
        on property: month
        has value: --04
      union of: Restriction
        on property: month
        has value: --05

Class
intersection of: Pattern
intersection of: Restriction
  on property: validFor
  some values from: Restriction
    on property: hasDateTimeDescription
    some values from: Class
      union of: Restriction
        on property: month
        has value: --06
      union of: Restriction
        on property: month
        has value: --07
      union of: Restriction
        on property: month
        has value: --08

Class
intersection of: Pattern
intersection of: Restriction
  on property: validFor
  some values from: Restriction
    on property: hasDateTimeDescription
    some values from: Class
      union of: Restriction
        on property: month
        has value: --02
      union of: Restriction
        on property: month
        has value: --12