isPowerStateOf
type: ObjectProperty
domain: PowerState
range: Appliance
comment: Shows the Appliance that the PowerState belongs to

DeviceInterface
type: DatatypeProperty
type: FunctionalProperty
domain: Device
range: Datatype
  one of: Ethernet
  one of: USB
  one of: WiFi

PowerStateValue
type: DatatypeProperty
type: FunctionalProperty
domain: PowerState
range: Datatype
  one of: Off
  one of: On

energyClass
type: DatatypeProperty
domain: Appliance
range: Datatype
  one of: A
  one of: B
  one of: C
  one of: D
  one of: E
  one of: F
  one of: G

type
type: DatatypeProperty
type: FunctionalProperty
domain: CommunicationProtocol
range: Datatype
  one of: Wired
  one of: Wireless

Actuator
type: Class
subclass of: Device
comment: Models devices that take actions and alter the state of the world (but are not Sensors)

ActuatorOperation
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: causesFact
    min cardinality: 1
  intersection of: Restriction
    on property: causesFact
    cardinality: 0
subclass of: Operation
disjoint with: SensoryOperation
comment: Operation that results in a change of the world's state i.e. hasEffect object property has a value

ActuatorSensor
type: Class
subclass of: Actuator
subclass of: Sensor
comment: Models devices that can partially perceive the state of the world and change it as well (are both Sensors and Actuators)

CO2level
type: Class
subclass of: EnvironmentalParameter
subclass of: Restriction
  on property: measuringUnit
  has value: ppm

Context
type: Class
disjoint with: User
comment: Models tha current situation surrounding an entity, at a certain time. Thus, is a set of Location, Time, and many environmental parameters.

Device
type: Class
subclass of: Hardware
comment: Models Smart Devices, usually classified as either Sensors or Actuators. These devices can be service-enabled.

Energy
type: Class
subclass of: Parameter
comment: An Energy amount

Fact
type: Class
comment: A Fact models a known literal or predicate that is valid for the World Model.

Humidity
type: Class
subclass of: EnvironmentalParameter
subclass of: Restriction
  on property: measuringUnit
  has value: percentage

Location
type: Class
comment: Location models the abstract notion of whereabouts. It can be specified further through subclasses.

Luminance
type: Class
subclass of: EnvironmentalParameter
subclass of: Restriction
  on property: measuringUnit
  has value: lm/m^2

MultiSensor
type: Class
subclass of: Device
comment: Models arrays of (single) Sensors (e.g. Sensor boards)

Noise
type: Class
subclass of: EnvironmentalParameter
subclass of: Restriction
  on property: measuringUnit
  has value: dB

Operation
type: Class
disjoint with: User
comment: A Service Operation is an actual function that can be invoked as an RPC. It has inherently Input and Output types. In the model it also has Preconditions and Effects.

PLC
type: Class
subclass of: WiredCommunicationProtocol
comment: Power Line Communications, wired communication protocol for smart devices

PowerConsumption
type: Class
subclass of: Parameter
subclass of: Restriction
  on property: measuringUnit
  has value: watt
comment: A Power amount

PowerState
type: Class
subclass of: Fact
comment: A PowerState models the current supply for an Electric Appliance. A PowerState has a value. e.g. off value means that the Appliance that has this PowerState is off. PowerState is also a subclass of Fact. e.g. a PowerState of value off, means that the connected Appliance is currently off.

Pressure
type: Class
subclass of: EnvironmentalParameter
subclass of: Restriction
  on property: measuringUnit
  has value: Atm

Sensor
type: Class
subclass of: Device
comment: Models devices that can partially perceive the state of the world (but cannot change it i.e. are not Actuators)

SensoryOperation
type: Class
equivalent class: Restriction
  on property: hasOutput
  min cardinality: 1
subclass of: Operation
comment: Operation that returns a parameter.

Service
type: Class
subclass of: Service
subclass of: Restriction
  on property: hasServiceModel
  max cardinality: 1

SwitchAction
type: Class
subclass of: Action
subclass of: Restriction
  on property: causesFact
  all values from: PowerState
comment: A Switch Action turns an electric Appliance On or Off (i.e. switches

Temperature
type: Class
subclass of: EnvironmentalParameter
subclass of: Restriction
  on property: measuringUnit
  has value: celcius

WiredCommunicationProtocol
type: Class
equivalent class: Restriction
  on property: type
  has value: Wired
subclass of: CommunicationProtocol

WirelessCommunicationProtocol
type: Class
equivalent class: Restriction
  on property: type
  has value: Wireless
subclass of: CommunicationProtocol

Z-Wave
type: Class
subclass of: WirelessCommunicationProtocol
subclass of: Restriction
  on property: frequency
  has value: 868.42

Zigbee
type: Class
subclass of: WirelessCommunicationProtocol
subclass of: Restriction
  on property: frequency
  has value: 868