AbnormalArea
type: Class
comment: AbnormalArea is an area that has some anomalies compared to other areas of the same building element. This area is caused by the BuildingDefect, and it usually has some variations in the values of some attributes.
subclass of: Restriction
  on property: isLocatedAtBuildingElement
  some values from: BuildingElement
disjoint with: IndoorSpace

Angle1
type: NamedIndividual
determines: TransitionDexterityRequirement Indoor
has unit: degree
has value: 90.0
type: Angle

Angle2 1
type: NamedIndividual
determines: TransitionDexterityRequirement Indoor
has unit: degree
has value: 60.0
type: Angle

Angle2 2
type: NamedIndividual
has unit: degree
has value: 80.0
type: Angle

Angle3
type: NamedIndividual
determines: TransitionDexterityRequirement Indoor
has unit: degree
has value: 105.0
type: Angle

Angle4
type: NamedIndividual
determines: TransitionDexterityRequirement Indoor
has unit: degree
has value: 120.0
type: Angle

AuxiliaryEquipment
type: Class
comment: AuxiliaryEquipment includes any equipment, devices, or sensors supporting the robot performing specific inspection tasks.
disjoint with: IndoorSpace

Building
type: Class
subclass of: Restriction
  on property: hasBuildingExterior
  some values from: BuildingExterior
subclass of: Restriction
  on property: hasBuildingInterior
  some values from: BuildingInterior
subclass of: Restriction
  on class: Site
  on property: isLocatedAtSite
  qualified cardinality: 1
disjoint with: IndoorSpace

BuildingDefect
type: Class
comment: BuildingDefect is defined as a failing or shortcoming in the function, performance, statutory, or user requirements of a building, and might manifest itself within the BuildingElement of the affected building.
subclass of: Restriction
  on property: causesAbnormalArea
  some values from: AbnormalArea
subclass of: Restriction
  on property: isLocatedAt
  some values from: BuildingElement
disjoint with: IndoorSpace

BuildingElement
type: Class
comment: BuildingElement is defined as all elements that are primarily part of an existing building. These elements could be from the BuildingInterior or the BuildingExterior.
disjoint with: IndoorSpace

BuildingExterior
type: Class
comment: BuildingExterior includes all elements exposed to the Site of the building.
subclass of: Restriction
  on property: hasBuildingElement
  some values from: BuildingElement
subclass of: Restriction
  on class: Site
  on property: hasSite
  qualified cardinality: 1
disjoint with: IndoorSpace

BuildingInterior
type: Class
comment: BuildingInterior includes all elements exposed to the inside of the building and IndoorSpace bounded by the elements.
subclass of: Restriction
  on property: hasBuildingElement
  some values from: BuildingElement
subclass of: Restriction
  on property: hasIndoorSpace
  some values from: IndoorSpace
disjoint with: IndoorSpace

Capability
type: Class
comment: Capability describes the manifested behavioral features of the robot system.
disjoint with: IndoorSpace

Ceramics2
type: NamedIndividual
determines: AdhesionMechanismRequirement Indoor
is ferromagnetic: false
is smooth: true
type: SurfaceMaterial

Depth2
type: NamedIndividual
has unit: cm
has value: 5.0
type: Depth

DetectableAttribute
type: Class
comment: DetectableAttribute refers to attributes whose values would change due to defects.
subclass of: Attribute
subclass of: Restriction
  on property: hasUnit
  some values from: string
subclass of: Restriction
  on property: hasValue
  some values from: double

Dustiness1
type: NamedIndividual
determines: AdhesionMechanismRequirement Indoor
has dustiness level: low
type: Dustiness

Dustiness2
type: NamedIndividual
determines: AdhesionMechanismRequirement Indoor
has dustiness level: medium
type: Dustiness

Dustiness3
type: NamedIndividual
determines: AdhesionMechanismRequirement Indoor
has dustiness level: high
type: Dustiness

Dustiness4
type: NamedIndividual
determines: AdhesionMechanismRequirement Indoor
has dustiness level: low
type: Dustiness

EnvironmentalCondition
type: Class
comment: EnvironmentalCondition describes environmental conditions of the building Site and IndoorSpace, which includes AverageAnnualAirTemperature, AverageAnnualAirHumidity, AirPressure, Visibility, and AverageAnnualWindSpeed, SignalReceptionCondition.
disjoint with: IndoorSpace

Glass3
type: NamedIndividual
determines: AdhesionMechanismRequirement Indoor
is ferromagnetic: false
is smooth: true
type: SurfaceMaterial

InclinationAngle1
type: NamedIndividual
determines: AdhesionMechanismRequirement Indoor
has unit: degree
has value: 180.0
type: InclinationAngle

InclinationAngle2
type: NamedIndividual
determines: AdhesionMechanismRequirement Indoor
has unit: degree
has value: 90.0
type: InclinationAngle

InclinationAngle3
type: NamedIndividual
determines: AdhesionMechanismRequirement Indoor
has unit: degree
has value: 90.0
type: InclinationAngle

InclinationAngle4
type: NamedIndividual
determines: AdhesionMechanismRequirement Indoor
has unit: degree
has value: 80.0
type: InclinationAngle

IndoorSpace1
type: NamedIndividual
has physical constraints to robots: HeightConstraint1
has signal reception condition: good
type: IndoorSpace

InspectionSpeed1
type: NamedIndividual
determines: VelocityRequirement Indoor
has unit: m/min
has value: 10.0
type: Speed

ObstacleDepth1
type: NamedIndividual
determines: ObstacleOvercomingAbilityRequirement Indoor
has unit: mm
has value: 10.0
type: Attribute
type: Depth

ObstacleDepth2
type: NamedIndividual
determines: ObstacleOvercomingAbilityRequirement Indoor
has unit: mm
has value: 15.0
type: Attribute
type: Depth

ObstacleDepth3
type: NamedIndividual
determines: ObstacleOvercomingAbilityRequirement Indoor
has unit: mm
has value: 20.0
type: Attribute
type: Depth

ObstacleHeight1
type: NamedIndividual
determines: ObstacleOvercomingAbilityRequirement Indoor
has unit: mm
has value: 30.0
type: Attribute
type: Height

ObstacleHeight2
type: NamedIndividual
determines: ObstacleOvercomingAbilityRequirement Indoor
has unit: mm
has value: 20.0
type: Attribute
type: Height

ObstacleHeight3
type: NamedIndividual
determines: ObstacleOvercomingAbilityRequirement Indoor
has unit: mm
has value: 12.0
type: Attribute
type: Height

ObstacleWidth1
type: NamedIndividual
determines: ObstacleOvercomingAbilityRequirement Indoor
has unit: mm
has value: 15.0
type: Attribute
type: Width

ObstacleWidth2
type: NamedIndividual
determines: ObstacleOvercomingAbilityRequirement Indoor
has unit: mm
has value: 20.0
type: Width

ObstacleWidth3
type: NamedIndividual
determines: ObstacleOvercomingAbilityRequirement Indoor
has unit: mm
has value: 40.0
type: Width

ObstacleWidth4
type: NamedIndividual
determines: ObstacleOvercomingAbilityRequirement Indoor
has unit: mm
has value: 10.0
type: Width

PhysicalConstraintToRobot
type: Class
comment: PhysicalConstraintToRobot means the maximum size of the space or area that the BuildingElement or the IndoorSpace can provide for the robot movement.
subclass of: Restriction
  on property: determines
  some values from: SizeRequirement

Robot
type: Class
comment: Robot refers exclusively to mobile robots in the context of building inspection robots. It is a programmed actuated mechanism able to move around at a RobotMovementMedium of its WorkEnvironment and conduct RobotBehavior with a degree of autonomy.
subclass of: Restriction
  on property: hasRobotComponent
  some values from: RobotComponent
subclass of: Restriction
  on property: movesAtMovementMedium
  some values from: RobotMovementMedium
subclass of: Restriction
  on property: worksIn
  some values from: WorkEnvironment

RobotMovementMedium
type: Class
comment: RobotMovementMedium is what the robot relies on for its movement.

RobotSystem
type: Class
comment: RobotSystem is defined as an artificial system formed by robots and AuxiliaryEquipment
subclass of: Restriction
  on property: hasCapability
  some values from: Capability

StructuralCharacteristic
type: Class
comment: StructuralCharacteristic refers to generic features necessary to describe the physical and structural aspects of a robot system.
subclass of: Attribute

SurfaceOrientation1
type: NamedIndividual
determines: AdhesionMechanismRequirement Indoor
is inverted: true
type: SurfaceOrientation

SurfaceOrientation234
type: NamedIndividual
determines: AdhesionMechanismRequirement Indoor
is inverted: false
type: SurfaceOrientation

Wallpaper1
type: NamedIndividual
determines: AdhesionMechanismRequirement Indoor
is ferromagnetic: false
is smooth: false
type: SurfaceMaterial

Wallpaper4
type: NamedIndividual
determines: AdhesionMechanismRequirement Indoor
is ferromagnetic: false
is smooth: false
type: SurfaceMaterial

WorkEnvironment
type: Class
comment: WorkEnvironment is the environment where the robot is exposed to.
subclass of: Restriction
  on property: hasRobotMovementMedium
  some values from: RobotMovementMedium