WeatherOntology.owl
type: Ontology
version info: 1.00
comment: smart home ontology for weather phenomena and exterior conditions
version IRI: WeatherOntology 1.00.owl
imports: time

reportsWeatherForTimeInterval
type: ObjectProperty
comment: this property holds an interval that denotes the time in the future (offset) for which the weather is reported
domain: WeatherReport
range: Interval

location
type: ObjectProperty
comment: The relation between something and the point, or other geometrical thing in space, where it is. For example, the realtionship between a radio tower and a Point with a given lat and long. Or a relationship between a park and its outline as a closed arc of points, or a road and its location as a arc (a sequence of points). Clearly in practice there will be limit to the accuracy of any such statement, but one would expect an accuracy appropriate for the size of the object and uses such as mapping .
range: SpatialThing

hasCloudCoverValue
type: DatatypeProperty
type: FunctionalProperty
domain: CloudCover
range: Datatype
  on datatype: nonNegativeInteger
  with restrictions:
    max exclusive: 10

hasDirection
type: DatatypeProperty
type: FunctionalProperty
domain: Wind
range: Datatype
  on datatype: float
  with restrictions:
    max exclusive: 360.0

hasLatitude
type: DatatypeProperty
type: FunctionalProperty
domain: WeatherState
range: Datatype
  on datatype: float
  with restrictions:
    max inclusive: 90.0
range: Datatype
  on datatype: float
  with restrictions:
    min inclusive: -90.0

hasLongitude
type: DatatypeProperty
type: FunctionalProperty
domain: WeatherState
range: Datatype
  on datatype: float
  with restrictions:
    max inclusive: 180.0
range: Datatype
  on datatype: float
  with restrictions:
    min inclusive: -180.0

hasProbability
type: DatatypeProperty
type: FunctionalProperty
domain: Precipitation
range: Datatype
  on datatype: float
  with restrictions:
    max inclusive: 1.0
range: Datatype
  on datatype: float
  with restrictions:
    min inclusive: 0.0

hasSunAngleNoon
type: DatatypeProperty
type: FunctionalProperty
domain: SunAboveHorizon
range: Datatype
  on datatype: float
  with restrictions:
    min inclusive: -23.5
range: Datatype
  on datatype: float
  with restrictions:
    max inclusive: 90.0

alt
type: DatatypeProperty
comment: altitude
comment: The WGS84 altitude of a SpatialThing (decimal meters above the local reference ellipsoid).
domain: SpatialThing

latitude
type: DatatypeProperty
comment: The WGS84 latitude of a SpatialThing (decimal degrees).
domain: SpatialThing

longitude
type: DatatypeProperty
comment: The WGS84 longitude of a SpatialThing (decimal degrees)
domain: SpatialThing

AboveRoomTemperature
type: Class
equivalent class: Class
  intersection of: Temperature
  intersection of: Restriction
    on property: hasValue
    all values from: Datatype
      on datatype: float
      with restrictions:
        min exclusive: 25.0

AboveZeroTemperature
type: Class
equivalent class: Class
  intersection of: Temperature
  intersection of: Restriction
    on property: hasValue
    all values from: Datatype
      on datatype: float
      with restrictions:
        min exclusive: 0.0

AtmosphericPressure
type: Class
subclass of: WeatherPhenomenon
subclass of: Restriction
  on property: hasValue
  qualified cardinality: 1
  on data range: Datatype
    on datatype: float
    with restrictions:
      min exclusive: 0.0

BelowOrZeroTemperature
type: Class
equivalent class: Class
  intersection of: Temperature
  intersection of: Restriction
    on property: hasValue
    all values from: Datatype
      on datatype: float
      with restrictions:
        max inclusive: 0.0

BelowRoomTemperature
type: Class
equivalent class: Class
  intersection of: Temperature
  intersection of: Restriction
    on property: hasValue
    all values from: Datatype
      on datatype: float
      with restrictions:
        max exclusive: 20.0

CloudCover
type: Class
subclass of: WeatherPhenomenon
subclass of: Class
  intersection of: Restriction
    on property: hasCloudCoverValue
    qualified cardinality: 1
    on data range: Datatype
      on datatype: nonNegativeInteger
      with restrictions:
        max exclusive: 10
  intersection of: Restriction
    on property: hasCloudAltitude
    max qualified cardinality: 1
    on data range: nonNegativeInteger

CurrentWeatherReport
type: Class
equivalent class: Class
  intersection of: WeatherReport
  intersection of: Restriction
    on property: forecastFor
    some values from: Restriction
      on property: inDateTime
      some values from: Restriction
        on property: hour
        has value: 0
disjoint with: ForecastWeatherReport

CurrentWeatherReportFromSensor
type: Class
equivalent class: Class
  intersection of: WeatherReport
  intersection of: Restriction
    on property: forecastFor
    some values from: Restriction
      on property: inDateTime
      some values from: Restriction
        on property: hour
        has value: 0
  intersection of: Restriction
    on property: hasSource
    some values from: SensorSource

CurrentWeatherReportFromService
type: Class
equivalent class: Class
  intersection of: WeatherReport
  intersection of: Restriction
    on property: forecastFor
    some values from: Restriction
      on property: inDateTime
      some values from: Restriction
        on property: hour
        has value: 0
  intersection of: Restriction
    on property: hasSource
    some values from: ServiceSource

DewPoint
type: Class
subclass of: WeatherPhenomenon
subclass of: Restriction
  on property: hasValue
  qualified cardinality: 1
  on data range: float
comment: The dewpoint temperature is the temperature at which the air can no longer hold all of its water vapor, and some of the water vapor must condense into liquid water. The dew point is always lower than (or equal to) the air temperature.

DryHumidity
type: Class
equivalent class: Class
  intersection of: Humidity
  intersection of: Restriction
    on property: hasValue
    all values from: Datatype
      on datatype: float
      with restrictions:
        max exclusive: 0.6

ExtremeFrost
type: Class
equivalent class: Class
  intersection of: Temperature
  intersection of: Restriction
    on property: hasValue
    all values from: Datatype
      on datatype: float
      with restrictions:
        max exclusive: -25.0

ExtremeHeat
type: Class
equivalent class: Class
  intersection of: Temperature
  intersection of: Restriction
    on property: hasValue
    all values from: Datatype
      on datatype: float
      with restrictions:
        min inclusive: 36.0

Forecast12HoursWeatherReport
type: Class
equivalent class: Class
  intersection of: WeatherReport
  intersection of: Restriction
    on property: forecastFor
    some values from: Restriction
      on property: inDateTime
      some values from: Restriction
        on property: hour
        has value: 12

Forecast15HoursWeatherReport
type: Class
equivalent class: Class
  intersection of: WeatherReport
  intersection of: Restriction
    on property: forecastFor
    some values from: Restriction
      on property: inDateTime
      some values from: Restriction
        on property: hour
        has value: 15

Forecast18HoursWeatherReport
type: Class
equivalent class: Class
  intersection of: WeatherReport
  intersection of: Restriction
    on property: forecastFor
    some values from: Restriction
      on property: inDateTime
      some values from: Restriction
        on property: hour
        has value: 18

Forecast1HourWeatherReport
type: Class
equivalent class: Class
  intersection of: WeatherReport
  intersection of: Restriction
    on property: forecastFor
    some values from: Restriction
      on property: inDateTime
      some values from: Restriction
        on property: hour
        has value: 1

Forecast21HoursWeatherReport
type: Class
equivalent class: Class
  intersection of: WeatherReport
  intersection of: Restriction
    on property: forecastFor
    some values from: Restriction
      on property: inDateTime
      some values from: Restriction
        on property: hour
        has value: 21

Forecast24HoursWeatherReport
type: Class
equivalent class: Class
  intersection of: WeatherReport
  intersection of: Restriction
    on property: forecastFor
    some values from: Restriction
      on property: inDateTime
      some values from: Restriction
        on property: hour
        has value: 24

Forecast2HoursWeatherReport
type: Class
equivalent class: Class
  intersection of: WeatherReport
  intersection of: Restriction
    on property: forecastFor
    some values from: Restriction
      on property: inDateTime
      some values from: Restriction
        on property: hour
        has value: 2

Forecast3HoursWeatherReport
type: Class
equivalent class: Class
  intersection of: WeatherReport
  intersection of: Restriction
    on property: forecastFor
    some values from: Restriction
      on property: inDateTime
      some values from: Restriction
        on property: hour
        has value: 3

Forecast6HoursWeatherReport
type: Class
equivalent class: Class
  intersection of: WeatherReport
  intersection of: Restriction
    on property: forecastFor
    some values from: Restriction
      on property: inDateTime
      some values from: Restriction
        on property: hour
        has value: 6

Forecast9HoursWeatherReport
type: Class
equivalent class: Class
  intersection of: WeatherReport
  intersection of: Restriction
    on property: forecastFor
    some values from: Restriction
      on property: inDateTime
      some values from: Restriction
        on property: hour
        has value: 9

Frost
type: Class
equivalent class: Class
  intersection of: Temperature
  intersection of: Restriction
    on property: hasValue
    all values from: Datatype
      on datatype: float
      with restrictions:
        min exclusive: -25.0
  intersection of: Restriction
    on property: hasValue
    all values from: Datatype
      on datatype: float
      with restrictions:
        max exclusive: 0.0

Heat
type: Class
equivalent class: Class
  intersection of: Temperature
  intersection of: Restriction
    on property: hasValue
    all values from: Datatype
      on datatype: float
      with restrictions:
        min inclusive: 30.0
  intersection of: Restriction
    on property: hasValue
    all values from: Datatype
      on datatype: float
      with restrictions:
        max exclusive: 36.0

HeavyPrecipitation
type: Class
equivalent class: Class
  intersection of: Precipitation
  intersection of: Restriction
    on property: hasIntensity
    all values from: Datatype
      on datatype: float
      with restrictions:
        min exclusive: 30.0

HighSolarRadiation
type: Class
equivalent class: Class
  intersection of: SolarRadiation
  intersection of: Restriction
    on property: hasValue
    all values from: Datatype
      on datatype: float
      with restrictions:
        min inclusive: 400.0

Humidity
type: Class
subclass of: WeatherPhenomenon
subclass of: Restriction
  on property: hasValue
  qualified cardinality: 1
  on data range: float

Hurricane
type: Class
equivalent class: Class
  intersection of: Wind
  intersection of: Restriction
    on property: hasSpeed
    some values from: Datatype
      on datatype: float
      with restrictions:
        min exclusive: 32.0

ImprobablePrecipitation
type: Class
equivalent class: Class
  intersection of: Precipitation
  intersection of: Restriction
    on property: hasIntensity
    all values from: Datatype
      on datatype: float
      with restrictions:
        min exclusive: 0.0
  intersection of: Restriction
    on property: hasProbability
    all values from: Datatype
      on datatype: float
      with restrictions:
        max inclusive: 0.3

LightPrecipitation
type: Class
equivalent class: Class
  intersection of: Precipitation
  intersection of: Restriction
    on property: hasIntensity
    all values from: Datatype
      on datatype: float
      with restrictions:
        min exclusive: 0.0
  intersection of: Restriction
    on property: hasIntensity
    all values from: Datatype
      on datatype: float
      with restrictions:
        max exclusive: 5.0

LightWind
type: Class
equivalent class: Class
  intersection of: Wind
  intersection of: Restriction
    on property: hasSpeed
    some values from: Datatype
      on datatype: float
      with restrictions:
        min exclusive: 0.0
  intersection of: Restriction
    on property: hasSpeed
    some values from: Datatype
      on datatype: float
      with restrictions:
        max inclusive: 10.0

LowSolarRadiation
type: Class
equivalent class: Class
  intersection of: SolarRadiation
  intersection of: Restriction
    on property: hasValue
    all values from: Datatype
      on datatype: float
      with restrictions:
        min inclusive: 50.0
  intersection of: Restriction
    on property: hasValue
    all values from: Datatype
      on datatype: float
      with restrictions:
        max exclusive: 400.0

MediumPrecipitation
type: Class
equivalent class: Class
  intersection of: Precipitation
  intersection of: Restriction
    on property: hasIntensity
    all values from: Datatype
      on datatype: float
      with restrictions:
        min exclusive: 5.0
  intersection of: Restriction
    on property: hasIntensity
    all values from: Datatype
      on datatype: float
      with restrictions:
        max exclusive: 30.0

MoistHumidity
type: Class
equivalent class: Class
  intersection of: Humidity
  intersection of: Restriction
    on property: hasValue
    all values from: Datatype
      on datatype: float
      with restrictions:
        min exclusive: 0.9

MostlyCloudy
type: Class
equivalent class: Class
  intersection of: CloudCover
  intersection of: Restriction
    on property: hasCloudCoverValue
    some values from: Datatype
      on datatype: nonNegativeInteger
      with restrictions:
        min exclusive: 5
  intersection of: Restriction
    on property: hasCloudCoverValue
    some values from: Datatype
      on datatype: nonNegativeInteger
      with restrictions:
        max exclusive: 8

NeglectibleSolarRadiation
type: Class
equivalent class: Class
  intersection of: SolarRadiation
  intersection of: Restriction
    on property: hasValue
    all values from: Datatype
      on datatype: float
      with restrictions:
        min inclusive: 0.0
  intersection of: Restriction
    on property: hasValue
    all values from: Datatype
      on datatype: float
      with restrictions:
        max exclusive: 50.0

NoCloudCover
type: Class
equivalent class: Class
  intersection of: CloudCover
  intersection of: Restriction
    on property: hasCloudCoverValue
    has value: 0

NoPrecipitation
type: Class
equivalent class: Class
  intersection of: Precipitation
  intersection of: Restriction
    on property: hasIntensity
    has value: 0.0

NoWind
type: Class
equivalent class: Class
  intersection of: Wind
  intersection of: Restriction
    on property: hasSpeed
    has value: 0.0

OptimumHumidity
type: Class
equivalent class: Class
  intersection of: Humidity
  intersection of: Restriction
    on property: hasValue
    all values from: Datatype
      on datatype: float
      with restrictions:
        min inclusive: 0.6
  intersection of: Restriction
    on property: hasValue
    all values from: Datatype
      on datatype: float
      with restrictions:
        max inclusive: 0.9

Overcast
type: Class
equivalent class: Class
  intersection of: CloudCover
  intersection of: Restriction
    on property: hasCloudCoverValue
    has value: 8

PartlyCloudy
type: Class
equivalent class: Class
  intersection of: CloudCover
  intersection of: Restriction
    on property: hasCloudCoverValue
    some values from: Datatype
      on datatype: nonNegativeInteger
      with restrictions:
        min exclusive: 0
  intersection of: Restriction
    on property: hasCloudCoverValue
    some values from: Datatype
      on datatype: nonNegativeInteger
      with restrictions:
        max exclusive: 5

Precipitation
type: Class
subclass of: WeatherPhenomenon
subclass of: Class
  intersection of: Restriction
    on property: hasProbability
    all values from: Datatype
      on datatype: float
      with restrictions:
        min inclusive: 0.0
  intersection of: Restriction
    on property: hasProbability
    all values from: Datatype
      on datatype: float
      with restrictions:
        max inclusive: 1.0
  intersection of: Restriction
    on property: hasIntensity
    qualified cardinality: 1
    on data range: float
  intersection of: Restriction
    on property: hasProbability
    max qualified cardinality: 1
    on data range: float

ProbablePrecipitation
type: Class
equivalent class: Class
  intersection of: Precipitation
  intersection of: Restriction
    on property: hasIntensity
    all values from: Datatype
      on datatype: float
      with restrictions:
        min exclusive: 0.0
  intersection of: Restriction
    on property: hasProbability
    all values from: Datatype
      on datatype: float
      with restrictions:
        min inclusive: 0.6

RoomTemperature
type: Class
equivalent class: Class
  intersection of: Temperature
  intersection of: Restriction
    on property: hasValue
    all values from: Datatype
      on datatype: float
      with restrictions:
        min inclusive: 20.0
  intersection of: Restriction
    on property: hasValue
    all values from: Datatype
      on datatype: float
      with restrictions:
        max inclusive: 25.0

SolarRadiation
type: Class
subclass of: WeatherPhenomenon
subclass of: Restriction
  on property: hasValue
  some values from: Datatype
    on datatype: float
    with restrictions:
      min inclusive: 0.0

Storm
type: Class
equivalent class: Class
  intersection of: Wind
  intersection of: Restriction
    on property: hasSpeed
    some values from: Datatype
      on datatype: float
      with restrictions:
        min exclusive: 20.0

StrongWind
type: Class
equivalent class: Class
  intersection of: Wind
  intersection of: Restriction
    on property: hasSpeed
    some values from: Datatype
      on datatype: float
      with restrictions:
        min exclusive: 10.0
  intersection of: Restriction
    on property: hasSpeed
    some values from: Datatype
      on datatype: float
      with restrictions:
        max inclusive: 20.0

SunAboveHorizon
type: Class
subclass of: WeatherPhenomenon
subclass of: Restriction
  on property: hasSunAngleNoon
  qualified cardinality: 1
  on data range: float

Temperature
type: Class
subclass of: WeatherPhenomenon
subclass of: Restriction
  on property: hasValue
  qualified cardinality: 1
  on data range: float

UnknownCloudCover
type: Class
equivalent class: Class
  intersection of: CloudCover
  intersection of: Restriction
    on property: hasValue
    has value: 9.0

WeatherReport
type: Class
subclass of: Restriction
  on property: reportsWeatherForTimeInterval
  on class: Interval
  qualified cardinality: 1
subclass of: Restriction
  on property: location
  on class: point
  qualified cardinality: 1
subclass of: Restriction
  on property: hasPriority
  qualified cardinality: 1
  on data range: positiveInteger
subclass of: Restriction
  on property: hasSource
  on class: WeatherReportSource
  qualified cardinality: 1
subclass of: Restriction
  on property: reportsWeatherObservation
  on class: WeatherState
  qualified cardinality: 1
subclass of: Restriction
  on property: createdAt
  on class: TemporalEntity
  qualified cardinality: 1

WeatherState
type: Class
subclass of: Restriction
  on property: hasWeatherPhenomenon
  on class: Humidity
  max qualified cardinality: 1
subclass of: Restriction
  on property: hasWeatherPhenomenon
  on class: Wind
  max qualified cardinality: 1
subclass of: Restriction
  on property: hasWeatherCondition
  on class: WeatherCondition
  max qualified cardinality: 1
subclass of: Restriction
  on property: hasWeatherPhenomenon
  on class: SolarRadiation
  max qualified cardinality: 1
subclass of: Restriction
  on property: hasWeatherPhenomenon
  on class: AtmosphericPressure
  max qualified cardinality: 1
subclass of: Restriction
  on property: hasWeatherPhenomenon
  on class: CloudCover
  max qualified cardinality: 3
subclass of: Restriction
  on property: hasWeatherPhenomenon
  on class: Temperature
  max qualified cardinality: 1
subclass of: Restriction
  on property: hasWeatherPhenomenon
  on class: DewPoint
  max qualified cardinality: 1
subclass of: Restriction
  on property: hasObservationTime
  on class: Class
    union of: Instant
    union of: Interval
  qualified cardinality: 1
subclass of: Restriction
  on property: hasWeatherPhenomenon
  on class: Precipitation
  max qualified cardinality: 1

Wind
type: Class
subclass of: WeatherPhenomenon
subclass of: Class
  intersection of: Restriction
    on property: hasDirection
    qualified cardinality: 1
    on data range: Datatype
      on datatype: float
      with restrictions:
        max exclusive: 360.0
  intersection of: Restriction
    on property: hasSpeed
    qualified cardinality: 1
    on data range: float

point
type: Class
subclass of: SpatialThing
comment: Uniquely identified by lat/long/alt. i.e. spaciallyIntersects(P1, P2) :- lat(P1, LAT), long(P1, LONG), alt(P1, ALT), lat(P2, LAT), long(P2, LONG), alt(P2, ALT). sameThing(P1, P2) :- type(P1, Point), type(P2, Point), spaciallyIntersects(P1, P2).
comment: A point, typically described using a coordinate system relative to Earth, such as WGS84.

SpatialThing
type: Class
comment: Anything with spatial extent, i.e. size, shape, or position. e.g. people, places, bowling balls, as well as abstract areas like cubes.

DateTime040620120600
type: NamedIndividual
type: DateTimeDescription
day: ---04
month: --06
year: 2012
hour: 6
unit type: unitHour

DateTime040620120703
type: NamedIndividual
type: DateTimeDescription
day: ---04
month: --06
year: 2012
hour: 7
comment: Granularity hour is enough for weather information
unit type: unitHour

DateTime040620120900
type: NamedIndividual
type: DateTimeDescription
day: ---04
month: --06
year: 2012
hour: 9
unit type: unitHour

DateTime040620121200
type: NamedIndividual
type: DateTimeDescription
day: ---04
month: --06
hour: 12
year: 2012
unit type: unitHour

DateTime040620121500
type: NamedIndividual
type: DateTimeDescription
day: ---04
month: --06
hour: 15
year: 2012
unit type: unitHour

DateTime040620121800
type: NamedIndividual
type: DateTimeDescription
day: ---04
month: --06
hour: 18
year: 2012
unit type: unitHour

DateTime040620122100
type: NamedIndividual
type: DateTimeDescription
day: ---04
month: --06
year: 2012
hour: 21
unit type: unitHour

DateTime0Hours
type: NamedIndividual
type: DateTimeDescription
hour: 0
unit type: unitHour

DateTime11Hours
type: NamedIndividual
type: DateTimeDescription
hour: 11
unit type: unitHour

DateTime14Hours
type: NamedIndividual
type: DateTimeDescription
hour: 14
unit type: unitHour

DateTime2Hours
type: NamedIndividual
type: DateTimeDescription
hour: 2
unit type: unitHour

DateTime5Hours
type: NamedIndividual
type: DateTimeDescription
hour: 5
unit type: unitHour

DateTime8Hours
type: NamedIndividual
type: DateTimeDescription
hour: 8
unit type: unitHour

Precipitation040620120900
type: NamedIndividual
type: Precipitation
has intensity: 0.4

Precipitation040620121500
type: NamedIndividual
type: Precipitation
has intensity: 0.0

Precipitation040620121800
type: NamedIndividual
type: Precipitation
has intensity: 55.0

Precipitation040620122100
type: NamedIndividual
type: Precipitation
has intensity: 1.1

Temperature040620120900
type: NamedIndividual
type: Temperature
has value: 17.0

Temperature040620121500
type: NamedIndividual
type: Temperature
has value: 15.3

Temperature040620121800
type: NamedIndividual
type: Temperature
has value: 21.0

Temperature040620122100
type: NamedIndividual
type: Temperature
has value: 13.2

Vienna Austria
type: NamedIndividual
type: point
longitude: 16.22
alt: 177
latitude: 48.12

Wind040620120900
type: NamedIndividual
type: Wind
has direction: 305.3
has speed: 4.2

Wind040620121500
type: NamedIndividual
type: Wind
has direction: 308.2
has speed: 5.5

Wind040620121800
type: NamedIndividual
type: Wind
has speed: 23.5
has direction: 303.6

Wind040620122100
type: NamedIndividual
type: Wind
has speed: 3.8
has direction: 302.0

Restriction
on property: forecastFor
some values from: Restriction
  on property: inDateTime
  some values from: Restriction
    on property: hour
    some values from: Datatype
      on datatype: nonNegativeInteger
      with restrictions:
        min exclusive: 0

Restriction
on property: forecastFor
some values from: Restriction
  on property: inDateTime
  some values from: Restriction
    on property: hour
    some values from: Datatype
      on datatype: nonNegativeInteger
      with restrictions:
        min exclusive: 12

Restriction
on property: forecastFor
some values from: Restriction
  on property: inDateTime
  some values from: Restriction
    on property: hour
    all values from: Datatype
      on datatype: nonNegativeInteger
      with restrictions:
        min exclusive: 12

Restriction
on property: inDateTime
some values from: Restriction
  on property: hour
  some values from: Datatype
    intersection of: Datatype
      on datatype: nonNegativeInteger
      with restrictions:
        min inclusive: 6
    intersection of: Datatype
      on datatype: nonNegativeInteger
      with restrictions:
        max inclusive: 12

Restriction
on property: inDateTime
some values from: Restriction
  on property: hour
  all values from: Datatype
    intersection of: Datatype
      on datatype: nonNegativeInteger
      with restrictions:
        min inclusive: 6
    intersection of: Datatype
      on datatype: nonNegativeInteger
      with restrictions:
        max inclusive: 12

Restriction
on property: inDateTime
some values from: Restriction
  on property: hour
  some values from: Datatype
    intersection of: Datatype
      on datatype: nonNegativeInteger
      with restrictions:
        min exclusive: 0
    intersection of: Datatype
      on datatype: nonNegativeInteger
      with restrictions:
        max exclusive: 6

Restriction
on property: inDateTime
some values from: Restriction
  on property: hour
  all values from: Datatype
    intersection of: Datatype
      on datatype: nonNegativeInteger
      with restrictions:
        min exclusive: 0
    intersection of: Datatype
      on datatype: nonNegativeInteger
      with restrictions:
        max exclusive: 6