SmartHomeWeather

IRI:
http://paul.staroch.name/thesis/SmartHomeWeather.owl#
Current version:
1.0
Authors:
http://paul.staroch.name/foaf/staroch.rdf#paul
Contributors:
Mario Kofler
http://paul.staroch.name/foaf/staroch.rdf#paul
Publisher:
http://paul.staroch.name/foaf/staroch.rdf#paul
Imported Ontologies:
http://purl.oclc.org/NET/muo/ucum/ (visualise it with LODE)
http://www.w3.org/2006/time (visualise it with LODE)
Other visualisation:
Ontology source

Table of Content

  1. Introduction
  2. Classes
  3. Object Properties
  4. Data Properties
  5. Named Individuals
  6. Annotation Properties
  7. General Axioms
  8. Namespace Declarations

Introduction

A ontology defining weather-related concepts and properties being relevant to smart home systems that provide predictive control.

Classes

above room temperaturec back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#AboveRoomTemperature

A WeatherPhenomenon describing a temperature of more than 25 degrees Celsius.
is equivalent to
weather phenomenonc and (has temperature valueop some (measured inop value degree celsius) and (numerical valuedp some ) and (numerical valuedp some ))

airing weatherc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#AiringWeather

is equivalent to
fair weatherc and pleasant temperature weatherc

astronomical twilightc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#AstronomicalTwilight

is equivalent to
weather phenomenonc and (has sun directionop some (measured inop value degree) and (numerical valuedp some )) and (has sun elevation angleop some (measured inop value degree) and (numerical valuedp some ) and (numerical valuedp some ))

atmospheric pressurec back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#AtmosphericPressure

A WeatherPhenomenon specifying atmospheric pressure using the hasPressure property (in hPa/mbar on MSL).
is equivalent to
weather phenomenonc and (has pressure valueop some (measured inop value hectopascal) and (numerical valuedp some float))
is disjoint with
cloud coverc, dew pointc, humidityc, precipitationc, solar radiationc, sun positionc, temperaturec, windc

below room temperaturec back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#BelowRoomTemperature

A WeatherPhenomenon describing a temperature of less than 20 degrees Celsius.
is equivalent to
weather phenomenonc and (has temperature valueop some (measured inop value degree celsius) and (numerical valuedp some ) and (numerical valuedp some ))

calmc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Calm

A WeatherPhenomenon describing a wind speed of less than 1 m/s.
is equivalent to
weather phenomenonc and (has wind speedop some (measured inop value metres per second) and (numerical valuedp some ) and (numerical valuedp some ))

calm weatherc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#CalmWeather

is equivalent to
weather statec and ((has weather phenomenonop some calmc) or (has weather phenomenonop some light windc))

civil twilightc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#CivilTwilight

is equivalent to
weather phenomenonc and (has sun directionop some (measured inop value degree) and (numerical valuedp some )) and (has sun elevation angleop some (measured inop value degree) and (numerical valuedp some ) and (numerical valuedp some ))

clear skyc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#ClearSky

A WeatherPhenomenon describing a cloud layer with cloud cover 0 (clear sky). NOTE: This class only specifies a single cloud layer. It does not make any statement about other cloud layers.
is equivalent to
weather phenomenonc and (has cloud coverop some (measured inop value okta) and (numerical valuedp value 0))

clear weatherc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#ClearWeather

is equivalent to
weather statec and ((has weather phenomenonop some clear skyc) or (has weather phenomenonop some partly cloudyc))

cloud coverc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#CloudCover

A WeatherPhenomenon giving information about a cloud layer. There are two properties: hasCloudCover gives the cloud cover of this layer in okta (an integer in the interval [0-9] where 0 is clear sky, 8 is overcast and 9 is unknown). hasCloudAltitude gives the altitude of that cloud layer. If there is more than one cloud layer, for each cloud layer another WeatherPhenomenon must be created and linked to the appropriate WeatherState.
is equivalent to
weather phenomenonc and (has cloud coverop some (measured inop value okta) and (numerical valuedp some ))
is disjoint with
atmospheric pressurec, dew pointc, humidityc, precipitationc, solar radiationc, sun positionc, temperaturec, windc

cloudy weatherc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#CloudyWeather

is equivalent to
weather statec and ((has weather phenomenonop some mostly cloudyc) or (has weather phenomenonop some overcastc))

coldc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Cold

is equivalent to
weather phenomenonc and (has temperature valueop some (measured inop value degree celsius) and (numerical valuedp some ) and (numerical valuedp some ))

cold weatherc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#ColdWeather

is equivalent to
weather statec and ((has weather phenomenonop some coldc) or (has weather phenomenonop some frostc))

current weather reportc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#CurrentWeatherReport

A WeatherState describing the current weather.
is equivalent to
weather reportc and (has start timeop some has duration description some hours value 0)
is disjoint with
forecast weather reportc

current weather report from sensorc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#CurrentWeatherReportFromSensor

A WeatherState about the current weather based on data retrieved from a (collection of) sensor(s), e.g. it is connected to an instance of SensorSource via the hasSource property.
is equivalent to
current weather reportc and weather report from sensorc

current weather report from servicec back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#CurrentWeatherReportFromService

A WeatherState about the current weather based on data retrieved from an internet service, e.g. it is connected to an instance of ServiceSource via the hasSource property.
is equivalent to
current weather reportc and weather report from servicec

dayc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Day

is equivalent to
weather phenomenonc and (has sun directionop some (measured inop value degree) and (numerical valuedp some )) and (has sun elevation angleop some (measured inop value degree) and (numerical valuedp some ))

dew pointc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#DewPoint

A WeatherPhenomenon specifying the dew point. The actual value is specified in degrees Celsius using the hasDewPoint property.
is equivalent to
weather phenomenonc and (has dew point valueop some (measured inop value degree celsius) and (numerical valuedp some float))
is disjoint with
atmospheric pressurec, cloud coverc, humidityc, precipitationc, solar radiationc, sun positionc, temperaturec, windc

directional windc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#DirectionalWind

A WeatherPhenomenon giving information about wind. There are two properties: hasWindDirection gives the cloud cover of this layer in degrees (an integer in the interval [0-359] where 0 is North, 90 is East etc.). hasWindSpeed is a float specifying wind speed in m/s.
is equivalent to
weather phenomenonc and (has wind directionop some (measured inop value degree) and (numerical valuedp some )) and (has wind speedop some (measured inop value metres per second) and (numerical valuedp some ))

dryc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Dry

A WeatherPhenomenon describing a humidity of less than 40 percent.
is equivalent to
weather phenomenonc and (has humidity valueop some (measured inop value percent) and (numerical valuedp some ) and (numerical valuedp some ))

dry weatherc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#DryWeather

is equivalent to
weather statec and ((has weather phenomenonop some dryc) or (has weather phenomenonop some very dryc))

east windc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#EastWind

A WeatherPhenomenon giving information about wind. There are two properties: hasWindDirection gives the cloud cover of this layer in degrees (an integer in the interval [0-359] where 0 is North, 90 is East etc.). hasWindSpeed is a float specifying wind speed in m/s.
is equivalent to
weather phenomenonc and (has wind directionop some (measured inop value degree) and (numerical valuedp some ) and (numerical valuedp some )) and (has wind speedop some (measured inop value metres per second) and (numerical valuedp some ))

extremely heavy rainc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#ExtremelyHeavyRain

is equivalent to
weather phenomenonc and (has precipitation intensityop some (measured inop value millimetres per hour) and (numerical valuedp some ) and (numerical valuedp some )) and (has precipitation probabilityop some (measured inop value percent) and (numerical valuedp some ))

fair weatherc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#FairWeather

is equivalent to
calm weatherc and clear weatherc and no rain weatherc

forecast weather reportc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#ForecastWeatherReport

A WeatherState describing the weather for some time in the future.
is equivalent to
weather reportc and (has start timeop some has duration description some hours some )
is disjoint with
current weather reportc

forecast1 hour weather reportc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Forecast1HourWeatherReport

A WeatherState describing the weather in one hour.
is equivalent to
weather reportc and (has start timeop some has duration description some hours value 1)
is disjoint with
forecast12 hours weather reportc, forecast15 hours weather reportc, forecast18 hours weather reportc, forecast21 hours weather reportc, forecast24 hours weather reportc, forecast2 hours weather reportc, forecast3 hours weather reportc, forecast6 hours weather reportc, forecast9 hours weather reportc

forecast12 hours weather reportc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Forecast12HoursWeatherReport

A WeatherState describing the weather in 12 hours.
is equivalent to
weather reportc and (has start timeop some has duration description some hours value 12)
is disjoint with
forecast15 hours weather reportc, forecast18 hours weather reportc, forecast1 hour weather reportc, forecast21 hours weather reportc, forecast24 hours weather reportc, forecast2 hours weather reportc, forecast3 hours weather reportc, forecast6 hours weather reportc, forecast9 hours weather reportc

forecast15 hours weather reportc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Forecast15HoursWeatherReport

A WeatherState describing the weather in 15 hours.
is equivalent to
weather reportc and (has start timeop some has duration description some hours value 15)
is disjoint with
forecast12 hours weather reportc, forecast18 hours weather reportc, forecast1 hour weather reportc, forecast21 hours weather reportc, forecast24 hours weather reportc, forecast2 hours weather reportc, forecast3 hours weather reportc, forecast6 hours weather reportc, forecast9 hours weather reportc

forecast18 hours weather reportc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Forecast18HoursWeatherReport

A WeatherState describing the weather in 18 hours.
is equivalent to
weather reportc and (has start timeop some has duration description some hours value 18)
is disjoint with
forecast12 hours weather reportc, forecast15 hours weather reportc, forecast1 hour weather reportc, forecast21 hours weather reportc, forecast24 hours weather reportc, forecast2 hours weather reportc, forecast3 hours weather reportc, forecast6 hours weather reportc, forecast9 hours weather reportc

forecast2 hours weather reportc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Forecast2HoursWeatherReport

A WeatherState describing the weather in two hours.
is equivalent to
weather reportc and (has start timeop some has duration description some hours value 2)
is disjoint with
forecast12 hours weather reportc, forecast15 hours weather reportc, forecast18 hours weather reportc, forecast1 hour weather reportc, forecast21 hours weather reportc, forecast24 hours weather reportc, forecast3 hours weather reportc, forecast6 hours weather reportc, forecast9 hours weather reportc

forecast21 hours weather reportc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Forecast21HoursWeatherReport

A WeatherState describing the weather in 21 hours.
is equivalent to
weather reportc and (has start timeop some has duration description some hours value 21)
is disjoint with
forecast12 hours weather reportc, forecast15 hours weather reportc, forecast18 hours weather reportc, forecast1 hour weather reportc, forecast24 hours weather reportc, forecast2 hours weather reportc, forecast3 hours weather reportc, forecast6 hours weather reportc, forecast9 hours weather reportc

forecast24 hours weather reportc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Forecast24HoursWeatherReport

A WeatherState describing the weather in 21 hours.
is equivalent to
weather reportc and (has start timeop some has duration description some hours value 24)
is disjoint with
forecast12 hours weather reportc, forecast15 hours weather reportc, forecast18 hours weather reportc, forecast1 hour weather reportc, forecast21 hours weather reportc, forecast2 hours weather reportc, forecast3 hours weather reportc, forecast6 hours weather reportc, forecast9 hours weather reportc

forecast3 hours weather reportc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Forecast3HoursWeatherReport

A WeatherState describing the weather in three hours.
is equivalent to
weather reportc and (has start timeop some has duration description some hours value 3)
is disjoint with
forecast12 hours weather reportc, forecast15 hours weather reportc, forecast18 hours weather reportc, forecast1 hour weather reportc, forecast21 hours weather reportc, forecast24 hours weather reportc, forecast2 hours weather reportc, forecast6 hours weather reportc, forecast9 hours weather reportc

forecast6 hours weather reportc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Forecast6HoursWeatherReport

A WeatherState describing the weather in 6 hours.
is equivalent to
weather reportc and (has start timeop some has duration description some hours value 6)
is disjoint with
forecast12 hours weather reportc, forecast15 hours weather reportc, forecast18 hours weather reportc, forecast1 hour weather reportc, forecast21 hours weather reportc, forecast24 hours weather reportc, forecast2 hours weather reportc, forecast3 hours weather reportc, forecast9 hours weather reportc

forecast9 hours weather reportc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Forecast9HoursWeatherReport

A WeatherState describing the weather in 9 hours.
is equivalent to
weather reportc and (has start timeop some has duration description some hours value 9)
is disjoint with
forecast12 hours weather reportc, forecast15 hours weather reportc, forecast18 hours weather reportc, forecast1 hour weather reportc, forecast21 hours weather reportc, forecast24 hours weather reportc, forecast2 hours weather reportc, forecast3 hours weather reportc, forecast6 hours weather reportc

frostc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Frost

A WeatherPhenomenon describing a temperature of less than 0 degrees Celsius.
is equivalent to
weather phenomenonc and (has temperature valueop some (measured inop value degree celsius) and (numerical valuedp some ))

heatc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Heat

A WeatherPhenomenon describing a temperature of more than 30 degrees Celsius.
is equivalent to
weather phenomenonc and (has temperature valueop some (measured inop value degree celsius) and (numerical valuedp some ))

heavy rainc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#HeavyRain

is equivalent to
weather phenomenonc and (has precipitation intensityop some (measured inop value millimetres per hour) and (numerical valuedp some ) and (numerical valuedp some )) and (has precipitation probabilityop some (measured inop value percent) and (numerical valuedp some ))

high pressurec back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#HighPressure

A WeatherPhenomenon describing an atmospheric pressure between 1018 hPa and 1028 hPa.
is equivalent to
weather phenomenonc and (has pressure valueop some (measured inop value hectopascal) and (numerical valuedp some ) and (numerical valuedp some ))

high radiationc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#HighRadiation

is equivalent to
weather phenomenonc and (has solar radiation valueop some (measured inop value watts per square meter) and (numerical valuedp some ) and (numerical valuedp some ))

hot weatherc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#HotWeather

is equivalent to
weather statec and (has weather phenomenonop some heatc)

hourc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Hour

This class describes a duration of hours.
has super-classes
duration description
years exactly 0
weeks exactly 0
months exactly 0
seconds exactly 0
minutes exactly 0
days exactly 0
hours exactly 1

humidityc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Humidity

A WeatherPhenomenon specifying relative humidity. Relative umidity specified using the hasHumidity property (in the interval [0,1]).
is equivalent to
weather phenomenonc and (has humidity valueop some (measured inop value percent) and (numerical valuedp some ) and (numerical valuedp some ))
is disjoint with
atmospheric pressurec, cloud coverc, dew pointc, precipitationc, solar radiationc, sun positionc, temperaturec, windc

hurricanec back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Hurricane

A WeatherPhenomenon describing a wind speed of more than 32 m/s.
is equivalent to
weather phenomenonc and (has wind speedop some (measured inop value metres per second) and (numerical valuedp some ))

light rainc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#LightRain

is equivalent to
weather phenomenonc and (has precipitation intensityop some (measured inop value millimetres per hour) and (numerical valuedp some ) and (numerical valuedp some )) and (has precipitation probabilityop some (measured inop value percent) and (numerical valuedp some ))

light windc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#LightWind

A WeatherPhenomenon describing a wind speed of less than 1 m/s.
is equivalent to
weather phenomenonc and (has wind speedop some (measured inop value metres per second) and (numerical valuedp some ) and (numerical valuedp some ))

long range forecast reportc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#LongRangeForecastReport

A WeatherState describing the weather for more than 12 hours in the future.
is equivalent to
weather reportc and (has start timeop some has duration description some hours some )

low pressurec back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#LowPressure

A WeatherPhenomenon describing an atmospheric pressure between 998 hPa and 1008 hPa.
is equivalent to
weather phenomenonc and (has pressure valueop some (measured inop value hectopascal) and (numerical valuedp some ) and (numerical valuedp some ))

low radiationc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#LowRadiation

is equivalent to
weather phenomenonc and (has solar radiation valueop some (measured inop value watts per square meter) and (numerical valuedp some ) and (numerical valuedp some ))

medium radiationc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#MediumRadiation

is equivalent to
weather phenomenonc and (has solar radiation valueop some (measured inop value watts per square meter) and (numerical valuedp some ) and (numerical valuedp some ))

medium rainc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#MediumRain

is equivalent to
weather phenomenonc and (has precipitation intensityop some (measured inop value millimetres per hour) and (numerical valuedp some ) and (numerical valuedp some )) and (has precipitation probabilityop some (measured inop value percent) and (numerical valuedp some ))

medium range forecast reportc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#MediumRangeForecastReport

A WeatherState describing the weather for more than 3 and less than 12 hours in the future.
is equivalent to
weather reportc and (has start timeop some has duration description some (hours some ) and (hours some ))

moistc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Moist

A WeatherPhenomenon describing a humidity of more than 70 percent.
is equivalent to
weather phenomenonc and (has humidity valueop some (measured inop value percent) and (numerical valuedp some ) and (numerical valuedp some ))

moist weatherc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#MoistWeather

is equivalent to
weather statec and ((has weather phenomenonop some moistc) or (has weather phenomenonop some very moistc))

mostly cloudyc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#MostlyCloudy

A WeatherPhenomenon describing a cloud layer with cloud cover 5, 6 or 7 (mostly cloudy). NOTE: This class only specifies a single cloud layer. It does not make any statement about other cloud layers.
is equivalent to
weather phenomenonc and (has cloud coverop some (measured inop value okta) and (numerical valuedp some ) and (numerical valuedp some ))

nautical twilightc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#NauticalTwilight

is equivalent to
weather phenomenonc and (has sun directionop some (measured inop value degree) and (numerical valuedp some )) and (has sun elevation angleop some (measured inop value degree) and (numerical valuedp some ) and (numerical valuedp some ))

nightc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Night

is equivalent to
weather phenomenonc and (has sun directionop some (measured inop value degree) and (numerical valuedp some )) and (has sun elevation angleop some (measured inop value degree) and (numerical valuedp some ))

no awning weatherc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#NoAwningWeather

is equivalent to
weather statec and (severe weatherc or (has weather phenomenonop some strong windc))

no radiationc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#NoRadiation

is equivalent to
weather phenomenonc and (has solar radiation valueop some (measured inop value watts per square meter) and (numerical valuedp value 0.0))

no rainc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#NoRain

A WeatherPhenomenon describing the absence of precipitation, either because the probability for precipitation is 0 (specified by the property hasPrecipitationProbability) or because the amount of precipitation per hour is 0 (specified by the property hasPrecipitationValue) or both.
is equivalent to
weather phenomenonc and (has precipitation intensityop some (measured inop value millimetres per hour) and (numerical valuedp value 0.0)) and (has precipitation probabilityop some (measured inop value percent) and (numerical valuedp some ) and (numerical valuedp some ))

no rain weatherc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#NoRainWeather

is equivalent to
weather statec and (has weather phenomenonop some no rainc)

normal humidityc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#NormalHumidity

is equivalent to
weather phenomenonc and (has humidity valueop some (measured inop value percent) and (numerical valuedp some ) and (numerical valuedp some ))

normal pressurec back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#NormalPressure

A WeatherPhenomenon describing an atmospheric pressure between 1008 hPa and 1018 hPa.
is equivalent to
weather phenomenonc and (has pressure valueop some (measured inop value hectopascal) and (numerical valuedp some ) and (numerical valuedp some ))

north windc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#NorthWind

A WeatherPhenomenon giving information about wind. There are two properties: hasWindDirection gives the cloud cover of this layer in degrees (an integer in the interval [0-359] where 0 is North, 90 is East etc.). hasWindSpeed is a float specifying wind speed in m/s.
is equivalent to
weather phenomenonc and (has wind directionop some ((numerical valuedp some ) or (numerical valuedp some )) and (measured inop value degree)) and (has wind speedop some (measured inop value metres per second) and (numerical valuedp some ))

overcastc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Overcast

A WeatherPhenomenon describing a cloud layer with cloud cover 8 (overcast). NOTE: This class only specifies a single cloud layer. It does not make any statement about other cloud layers.
is equivalent to
weather phenomenonc and (has cloud coverop some (measured inop value okta) and (numerical valuedp value 8))

partly cloudyc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#PartlyCloudy

A WeatherPhenomenon describing a cloud layer with cloud cover 1, 2, 3 or 4 (partly cloudy). NOTE: This class only specifies a single cloud layer. It does not make any statement about other cloud layers.
is equivalent to
weather phenomenonc and (has cloud coverop some (measured inop value okta) and (numerical valuedp some ) and (numerical valuedp some ))

pleasant temperature weatherc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#PleasantTemperatureWeather

is equivalent to
weather statec and ((has weather phenomenonop some above room temperaturec) or (has weather phenomenonop some below room temperaturec) or (has weather phenomenonop some room temperaturec))

pointc back to ToC or Class ToC

IRI: http://www.w3.org/2003/01/geo/wgs84_pos#Point

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).
has super-classes
SpatialThingc

precipitationc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Precipitation

A WeatherPhenomenon describing both precipitation probability (property hasPrecipitationProbability, in the interval [0,1]) and the amount of precipitation (property hasPrecipitationValue, in mm/h).
is equivalent to
weather phenomenonc and (has precipitation intensityop some (measured inop value millimetres per hour) and (numerical valuedp some float)) and (has precipitation probabilityop some (measured inop value percent) and (numerical valuedp some ) and (numerical valuedp some ))
is disjoint with
atmospheric pressurec, cloud coverc, dew pointc, humidityc, solar radiationc, sun positionc, temperaturec, windc

rainy weatherc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#RainyWeather

is equivalent to
weather statec and ((has weather phenomenonop some extremely heavy rainc) or (has weather phenomenonop some heavy rainc) or (has weather phenomenonop some light rainc) or (has weather phenomenonop some medium rainc) or (has weather phenomenonop some tropical storm rainc))

room temperaturec back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#RoomTemperature

A WeatherPhenomenon describing a temperature between 20 and 25 degrees Celsius.
is equivalent to
weather phenomenonc and (has temperature valueop some (measured inop value degree celsius) and (numerical valuedp some ) and (numerical valuedp some ))

sensor sourcec back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#SensorSource

A WeatherStateSource as a (collection of) sensor(s).
has super-classes
weather report sourcec
is disjoint with
service sourcec

service sourcec back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#ServiceSource

A WeatherStateSource as an internet service.
has super-classes
weather report sourcec
is disjoint with
sensor sourcec

severe weatherc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#SevereWeather

is equivalent to
stormy weatherc and very rainy weatherc

short range forecast reportc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#ShortRangeForecastReport

A WeatherState describing the weather for more at most 3 hours in the future.
is equivalent to
weather reportc and (has start timeop some has duration description some (hours some ) and (hours some ))

solar radiationc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#SolarRadiation

A WeatherPhenomenon describing sun radiation using the hasSunRadiation property (in W/m²).
is equivalent to
weather phenomenonc and (has solar radiation valueop some (measured inop value watts per square meter) and (numerical valuedp some ))
is disjoint with
atmospheric pressurec, cloud coverc, dew pointc, humidityc, precipitationc, sun positionc, temperaturec, windc

solar twilightc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#SolarTwilight

is equivalent to
weather phenomenonc and (has sun directionop some (measured inop value degree) and (numerical valuedp some )) and (has sun elevation angleop some (measured inop value degree) and (numerical valuedp some )) and (has sun elevation angleop some (measured inop value degree) and (numerical valuedp some ) and (numerical valuedp some ))

south windc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#SouthWind

A WeatherPhenomenon giving information about wind. There are two properties: hasWindDirection gives the cloud cover of this layer in degrees (an integer in the interval [0-359] where 0 is North, 90 is East etc.). hasWindSpeed is a float specifying wind speed in m/s.
is equivalent to
weather phenomenonc and (has wind directionop some (measured inop value degree) and (numerical valuedp some ) and (numerical valuedp some )) and (has wind speedop some (measured inop value metres per second) and (numerical valuedp some ))

SpatialThingc back to ToC or Class ToC

IRI: http://www.w3.org/2003/01/geo/wgs84_pos#SpatialThing

Anything with spatial extent, i.e. size, shape, or position. e.g. people, places, bowling balls, as well as abstract areas like cubes.
has sub-classes
pointc
is in domain of
altdp, latdp, longdp
is in range of
locationop

stormc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Storm

A WeatherPhenomenon describing a wind speed of more than 20 m/s.
is equivalent to
weather phenomenonc and (has wind speedop some (measured inop value metres per second) and (numerical valuedp some ))

stormy weatherc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#StormyWeather

is equivalent to
weather statec and ((has weather phenomenonop some hurricanec) or (has weather phenomenonop some stormc))

strong windc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#StrongWind

A WeatherPhenomenon describing a wind speed of less than 1 m/s.
is equivalent to
weather phenomenonc and (has wind speedop some (measured inop value metres per second) and (numerical valuedp some ) and (numerical valuedp some ))

sun below horizonc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#SunBelowHorizon

is equivalent to
weather phenomenonc and (has sun directionop some (measured inop value degree) and (numerical valuedp some )) and (has sun elevation angleop some (measured inop value degree) and (numerical valuedp some ))

sun from eastc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#SunFromEast

is equivalent to
weather phenomenonc and (has sun directionop some (measured inop value degree) and (numerical valuedp some ) and (numerical valuedp some )) and (has sun elevation angleop some (measured inop value degree) and (numerical valuedp some ) and (numerical valuedp some ))

sun from northc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#SunFromNorth

is equivalent to
weather phenomenonc and (has sun directionop some (((numerical valuedp some ) and (numerical valuedp some )) or (numerical valuedp some )) and (measured inop value degree)) and (has sun elevation angleop some (measured inop value degree) and (numerical valuedp some ) and (numerical valuedp some ))

sun from southc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#SunFromSouth

is equivalent to
weather phenomenonc and (has sun directionop some ((numerical valuedp some ) and (numerical valuedp some )) and (measured inop value degree)) and (has sun elevation angleop some (measured inop value degree) and (numerical valuedp some ) and (numerical valuedp some ))

sun from westc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#SunFromWest

is equivalent to
weather phenomenonc and (has sun directionop some ((numerical valuedp some ) and (numerical valuedp some )) and (measured inop value degree)) and (has sun elevation angleop some (measured inop value degree) and (numerical valuedp some ) and (numerical valuedp some ))

sun positionc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#SunPosition

A WeatherPhenomenon describing the sun's position at solar noon. The property hasSunAngleNoon specifies the angle of the sun above horizon in degrees Celsius.
is equivalent to
weather phenomenonc and (has sun directionop some (measured inop value degree) and (numerical valuedp some )) and (has sun elevation angleop some (measured inop value degree) and (numerical valuedp some ) and (numerical valuedp some ))
is disjoint with
atmospheric pressurec, cloud coverc, dew pointc, humidityc, precipitationc, solar radiationc, temperaturec, windc

sun protection weatherc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#SunProtectionWeather

is equivalent to
clear weatherc and (has weather phenomenonop some dayc)

temperaturec back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Temperature

A WeatherPhenomenon specifying temperature. The actual temperature is specified using the hasTemperature property (in degrees Celsius).
is equivalent to
weather phenomenonc and (has temperature valueop some (measured inop value degree celsius) and (numerical valuedp some float))
is disjoint with
atmospheric pressurec, cloud coverc, dew pointc, humidityc, precipitationc, solar radiationc, sun positionc, windc

thunderstormc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Thunderstorm

is equivalent to
severe weatherc and (has conditionop value thunder)

tropical storm rainc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#TropicalStormRain

is equivalent to
weather phenomenonc and (has precipitation intensityop some (measured inop value millimetres per hour) and (numerical valuedp some )) and (has precipitation probabilityop some (measured inop value percent) and (numerical valuedp some ))

twilightc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Twilight

is equivalent to
weather phenomenonc and (has sun directionop some (measured inop value degree) and (numerical valuedp some )) and (has sun elevation angleop some (measured inop value degree) and (numerical valuedp some ) and (numerical valuedp some ))

unknown cloud coverc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#UnknownCloudCover

is equivalent to
weather phenomenonc and (has cloud coverop some (measured inop value okta) and (numerical valuedp value 9))

very dryc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#VeryDry

is equivalent to
weather phenomenonc and (has humidity valueop some (measured inop value percent) and (numerical valuedp some ) and (numerical valuedp some ))

very high pressurec back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#VeryHighPressure

A WeatherPhenomenon describing an atmospheric pressure of more than 1028 hPa.
is equivalent to
weather phenomenonc and (has pressure valueop some (measured inop value hectopascal) and (numerical valuedp some ))

very high radiationc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#VeryHighRadiation

is equivalent to
weather phenomenonc and (has solar radiation valueop some (measured inop value watts per square meter) and (numerical valuedp some ))

very low pressurec back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#VeryLowPressure

A WeatherPhenomenon describing an atmospheric pressure of less than 998 hPa.
is equivalent to
weather phenomenonc and (has pressure valueop some (measured inop value hectopascal) and (numerical valuedp some ))

very moistc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#VeryMoist

is equivalent to
weather phenomenonc and (has humidity valueop some (measured inop value percent) and (numerical valuedp some ) and (numerical valuedp some ))

very rainy weatherc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#VeryRainyWeather

is equivalent to
weather statec and ((has weather phenomenonop some extremely heavy rainc) or (has weather phenomenonop some heavy rainc) or (has weather phenomenonop some tropical storm rainc))

weather conditionc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#WeatherCondition

A WeatherCondition is a simple description of the state of the weather. Currently there are: Cloud, Fog, LightCloud, PartlyCloud, Rain, Sleet, Snow, Sun, Thunder. Several instances of WeatherCondition can be associated with the same instance of WeatherPhenomenon using the hasCondition property. That way, it is possible to describe a thunderstorm that comes with rain.
is equivalent to
{ snow , thunder , fog , rain , light cloud , sun , sleet , partly cloud , cloud }
has super-classes
thingc
is in range of
has conditionop
has members
cloudni, fogni, light cloudni, partly cloudni, rainni, sleetni, snowni, sunni, thunderni
is disjoint with
weather phenomenonc, weather reportc, weather report sourcec, weather statec

weather phenomenonc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#WeatherPhenomenon

A WeatherPhenomenon specifies information about the weather (temperature, humidity etc.) for a certain WeatherState. It is linked to the WeatherState using the belongsToState property. For specifying the weather information, there exist several data properties: hasTemperature, hasHumidity, hasDewPoint, hasWindSpeed, hasWindDirection, hasPrecipitationProbability, hasPrecipitationValue, hasPressure, hasCloudCover, hasCloudAltitude, hasSunRadiation and hasSunAngleNoon.
is in domain of
has cloud altitudeop, has cloud coverop, has dew point valueop, has humidity valueop, has precipitation intensityop, has precipitation probabilityop, has pressure valueop, has solar radiation valueop, has sun directionop, has sun elevation angleop, has temperature valueop, has wind directionop, has wind speedop
is in range of
has weather phenomenonop
is disjoint with
weather conditionc, weather reportc, weather report sourcec, weather statec

weather reportc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#WeatherReport

A WeatherObservation puts together all the information known at a certain time about both the current and the future weather at a certain location. Using the mandatory properties location a Point -- having latitude, longitude and altitude -- the location this WeatherObservation belongs to is specified. The property hasObservation time gives the time when the data has been collected. A WeatherObservation can have an arbitrary number of WeatherStates. Each of them gives some information about either the current state of the weather or the weather predicted for some time in the future.
has super-classes
has end timeop some interval and (has duration description exactly 1 )
has start timeop some interval and (has duration description exactly 1 )
has prioritydp some positive integer
locationop some pointc
has observation timeop some instant and (in date time exactly 1 )
has conditionop max 3 weather conditionc
has sourceop some weather report sourcec
has weather stateop some weather statec
is in domain of
has end timeop, has observation timeop, has prioritydp, has sourceop, has start timeop, has weather stateop
is disjoint with
weather conditionc, weather phenomenonc, weather report sourcec, weather statec

weather report from sensorc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#WeatherReportFromSensor

is equivalent to
weather reportc and (has sourceop some sensor sourcec)

weather report from servicec back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#WeatherReportFromService

is equivalent to
weather reportc and (has sourceop some service sourcec)

weather report sourcec back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#WeatherReportSource

WeatherStateSource represents a source of weather data, either from a (collection of) sensor(s) (sub-concept SensorSource) or from an internet service (ServiceSource). WeatherStateSource is connected to WeatherState via the hasSource/isSourceOf properties.
has super-classes
thingc
sensor sourcec or service sourcec
has sub-classes
sensor sourcec, service sourcec
is in range of
has sourceop
is disjoint with
weather conditionc, weather phenomenonc, weather reportc, weather statec

weather statec back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#WeatherState

A WeatherState is a set of weather information (temperature, humidity etc.). It is assigned to exactly one WeatherObservation (properties belongsToWeatherObservation/hasWeatherState), has a priority (property hasPriority) and has a source (where the weather information comes from, properties hasSource/isSourceOf). The weather information itself (temperature, humidity etc.) is provided using instances of WeatherPhenomenon that are connected using the belongsToState/hasWeatherPhenomenon properties.
is in domain of
has conditionop, has next weather stateop, has weather phenomenonop
is in range of
has next weather stateop, has weather stateop
is disjoint with
weather conditionc, weather phenomenonc, weather reportc, weather report sourcec

west windc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#WestWind

A WeatherPhenomenon giving information about wind. There are two properties: hasWindDirection gives the cloud cover of this layer in degrees (an integer in the interval [0-359] where 0 is North, 90 is East etc.). hasWindSpeed is a float specifying wind speed in m/s.
is equivalent to
weather phenomenonc and (has wind directionop some (measured inop value degree) and (numerical valuedp some ) and (numerical valuedp some )) and (has wind speedop some (measured inop value metres per second) and (numerical valuedp some ))

windc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Wind

A WeatherPhenomenon giving information about wind. There are two properties: hasWindDirection gives the cloud cover of this layer in degrees (an integer in the interval [0-359] where 0 is North, 90 is East etc.). hasWindSpeed is a float specifying wind speed in m/s.
is equivalent to
weather phenomenonc and (has wind speedop some (measured inop value metres per second) and (numerical valuedp some ))
is disjoint with
atmospheric pressurec, cloud coverc, dew pointc, humidityc, precipitationc, solar radiationc, sun positionc, temperaturec

windy weatherc back to ToC or Class ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#WindyWeather

is equivalent to
weather statec and (stormy weatherc or (has weather phenomenonop some strong windc))

Object Properties

belongs to weather reportop back to ToC or Object Property ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#belongsToWeatherReport

Inverse property of hasWeatherState.
has super-properties
top object property
is inverse of
has weather stateop

belongs to weather stateop back to ToC or Object Property ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#belongsToWeatherState

Inverse property of hasWeatherPhenomenon.
is inverse of
has weather phenomenonop

has cloud altitudeop back to ToC or Object Property ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#hasCloudAltitude

has characteristics: functional

has super-properties
quality valueop
has domain
weather phenomenonc
has range
(measured inop value meter) and (numerical valuedp some integer)

has cloud coverop back to ToC or Object Property ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#hasCloudCover

has characteristics: functional

has super-properties
quality valueop
has domain
weather phenomenonc
has range
(measured inop value okta) and (numerical valuedp some )

has conditionop back to ToC or Object Property ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#hasCondition

Links a WeatherCondition to a WeatherPhenomenon. A WeatherPhenomenon can be associated with an arbitrary number of instances of WeatherCondition.
has domain
weather statec
has range
weather conditionc

has dew point valueop back to ToC or Object Property ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#hasDewPointValue

has characteristics: functional

has super-properties
quality valueop
has domain
weather phenomenonc
has range
(measured inop value degree celsius) and (numerical valuedp some float)

has end timeop back to ToC or Object Property ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#hasEndTime

has characteristics: functional

has domain
weather reportc
has range
interval and (has duration description exactly 1 date time description)

has humidity valueop back to ToC or Object Property ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#hasHumidityValue

has characteristics: functional

has super-properties
quality valueop
has domain
weather phenomenonc
has range
(measured inop value percent) and (numerical valuedp some ) and (numerical valuedp some )

has next weather stateop back to ToC or Object Property ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#hasNextWeatherState

has characteristics: functional, inverse functional

has domain
weather statec
has range
weather statec
is inverse of
has previous weather stateop

has observation timeop back to ToC or Object Property ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#hasObservationTime

has characteristics: functional

has domain
weather reportc
has range
instant and (in date time exactly 1 )

has precipitation intensityop back to ToC or Object Property ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#hasPrecipitationIntensity

has characteristics: functional

has super-properties
quality valueop
has domain
weather phenomenonc
has range
(measured inop value millimetres per hour) and (numerical valuedp some )

has precipitation probabilityop back to ToC or Object Property ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#hasPrecipitationProbability

has characteristics: functional

has super-properties
quality valueop
has domain
weather phenomenonc
has range
(measured inop value percent) and (numerical valuedp some ) and (numerical valuedp some )

has pressure valueop back to ToC or Object Property ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#hasPressureValue

has characteristics: functional

has super-properties
quality valueop
has domain
weather phenomenonc
has range
(measured inop value hectopascal) and (numerical valuedp some float)

has previous weather stateop back to ToC or Object Property ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#hasPreviousWeatherState

is inverse of
has next weather stateop

has solar radiation valueop back to ToC or Object Property ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#hasSolarRadiationValue

has characteristics: functional

has super-properties
quality valueop
has domain
weather phenomenonc
has range
(measured inop value watts per square meter) and (numerical valuedp some )

has sourceop back to ToC or Object Property ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#hasSource

Associates a WeatherStateSource with a WeatherState, i.e. specifies where a WeatherState's data comes from. One WeatherState can only have one WeatherStateSource.

has characteristics: functional

has domain
weather reportc
has range
weather report sourcec
is inverse of
is source ofop

has start timeop back to ToC or Object Property ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#hasStartTime

has characteristics: functional

has domain
weather reportc
has range
interval and (has duration description exactly 1 date time description)

has sun directionop back to ToC or Object Property ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#hasSunDirection

has characteristics: functional

has super-properties
quality valueop
has domain
weather phenomenonc
has range
(measured inop value degree) and (numerical valuedp some )

has sun elevation angleop back to ToC or Object Property ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#hasSunElevationAngle

has characteristics: functional

has super-properties
quality valueop
has domain
weather phenomenonc
has range
(measured inop value degree) and (numerical valuedp some ) and (numerical valuedp some )

has temperature valueop back to ToC or Object Property ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#hasTemperatureValue

has characteristics: functional

has super-properties
quality valueop
has domain
weather phenomenonc
has range
(measured inop value degree celsius) and (numerical valuedp some float)

has weather phenomenonop back to ToC or Object Property ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#hasWeatherPhenomenon

Associates a WeatherPhenomenon to its WeatherState. One WeatherPhenomenon can only belong to one WeatherState, but one WeatherState can have an arbitrary number of instances of WeatherPhenomenon.

has characteristics: inverse functional

has domain
weather statec
has range
weather phenomenonc
is inverse of
belongs to weather stateop

has weather stateop back to ToC or Object Property ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#hasWeatherState

Associates a WeatherState to a WeatherObservation. One WeatherState can only be associated with one WeatherObservation.

has characteristics: functional, inverse functional

has domain
weather reportc
has range
weather statec
is inverse of
belongs to weather reportop

has wind directionop back to ToC or Object Property ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#hasWindDirection

has characteristics: functional

has super-properties
quality valueop
has domain
weather phenomenonc
has range
(measured inop value degree) and (numerical valuedp some )

has wind speedop back to ToC or Object Property ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#hasWindSpeed

has characteristics: functional

has super-properties
quality valueop
has domain
weather phenomenonc
has range
(measured inop value metres per second) and (numerical valuedp some )

is source ofop back to ToC or Object Property ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#isSourceOf

Inverse property of hasSource.
is inverse of
has sourceop

locationop back to ToC or Object Property ToC

IRI: http://www.w3.org/2003/01/geo/wgs84_pos#location

has characteristics: functional

has super-properties
based nearop
has range
SpatialThingc

Data Properties

altdp back to ToC or Data Property ToC

IRI: http://www.w3.org/2003/01/geo/wgs84_pos#alt

has characteristics: functional

has domain
SpatialThingc

has prioritydp back to ToC or Data Property ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#hasPriority

Specifies the priority of a WeatherState (a positive integer). The higher this value is compared to another WeatherState's priority, the more the WeatherState takes precedence over the other WeatherState.

has characteristics: functional

has super-properties
top data property
has domain
weather reportc
has range
positive integer

latdp back to ToC or Data Property ToC

IRI: http://www.w3.org/2003/01/geo/wgs84_pos#lat

has characteristics: functional

has domain
SpatialThingc

longdp back to ToC or Data Property ToC

IRI: http://www.w3.org/2003/01/geo/wgs84_pos#long

has characteristics: functional

has super-properties
top data property
has domain
SpatialThingc

numerical valuedp back to ToC or Data Property ToC

IRI: http://purl.oclc.org/NET/muo/muo#numericalValue

has characteristics: functional

has domain
quality valuec

Named Individuals

cloudni back to ToC or Named Individual ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Cloud

belongs to
weather conditionc

cloud coverageni back to ToC or Named Individual ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#cloudCoverage

belongs to
physical qualityc

fogni back to ToC or Named Individual ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Fog

belongs to
weather conditionc

hectopascalni back to ToC or Named Individual ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#hectopascal

belongs to
simple derived unitc

irradianceni back to ToC or Named Individual ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#irradiance

belongs to
physical qualityc

light cloudni back to ToC or Named Individual ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#LightCloud

belongs to
weather conditionc

metres per secondni back to ToC or Named Individual ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#metresPerSecond

belongs to
complex derived unitc

millimeterni back to ToC or Named Individual ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#millimeter

belongs to
simple derived unitc

millimetres per hourni back to ToC or Named Individual ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#millimetresPerHour

belongs to
complex derived unitc

oktani back to ToC or Named Individual ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#okta

belongs to
unit of measurementc

partly cloudni back to ToC or Named Individual ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#PartlyCloud

belongs to
weather conditionc

paulni back to ToC or Named Individual ToC

IRI: http://paul.staroch.name/foaf/staroch.rdf#paul

belongs to
personc

precipitation intensityni back to ToC or Named Individual ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#precipitationIntensity

belongs to
physical qualityc

rainni back to ToC or Named Individual ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Rain

belongs to
weather conditionc

sleetni back to ToC or Named Individual ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Sleet

belongs to
weather conditionc

snowni back to ToC or Named Individual ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Snow

belongs to
weather conditionc

speedni back to ToC or Named Individual ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#speed

belongs to
physical qualityc

square meterni back to ToC or Named Individual ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#squareMeter

belongs to
simple derived unitc

sunni back to ToC or Named Individual ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Sun

belongs to
weather conditionc

thunderni back to ToC or Named Individual ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#Thunder

belongs to
weather conditionc

watts per square meterni back to ToC or Named Individual ToC

IRI: http://paul.staroch.name/thesis/SmartHomeWeather.owl#wattsPerSquareMeter

belongs to
complex derived unitc

Annotation Properties

code1ap back to ToC or Annotation Property ToC

IRI: http://purl.oclc.org/NET/muo/ucum/code1

code2ap back to ToC or Annotation Property ToC

IRI: http://purl.oclc.org/NET/muo/ucum/code2

dateap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/date

derives fromap back to ToC or Annotation Property ToC

IRI: http://purl.oclc.org/NET/muo/muo#derivesFrom

descriptionap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/description

measures qualityap back to ToC or Annotation Property ToC

IRI: http://purl.oclc.org/NET/muo/muo#measuresQuality

modifier prefixap back to ToC or Annotation Property ToC

IRI: http://purl.oclc.org/NET/muo/muo#modifierPrefix

pref symbolap back to ToC or Annotation Property ToC

IRI: http://purl.oclc.org/NET/muo/muo#prefSymbol

titleap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/title

General Axioms

All Disjoint Classes back to ToC

forecast12 hours weather reportc, forecast15 hours weather reportc, forecast18 hours weather reportc, forecast1 hour weather reportc, forecast21 hours weather reportc, forecast24 hours weather reportc, forecast2 hours weather reportc, forecast3 hours weather reportc, forecast6 hours weather reportc, forecast9 hours weather reportc

All Disjoint Classes back to ToC

weather conditionc, weather phenomenonc, weather reportc, weather report sourcec, weather statec

All Disjoint Classes back to ToC

atmospheric pressurec, cloud coverc, dew pointc, humidityc, precipitationc, solar radiationc, sun positionc, temperaturec, windc

Namespace Declarations back to ToC

default namespace
http://paul.staroch.name/thesis/SmartHomeWeather.owl#
0-1
http://xmlns.com/foaf/0.1/
2006
http://www.w3.org/2006/
dc
http://purl.org/dc/elements/1.1/
fraction
http://purl.oclc.org/NET/muo/ucum/unit/fraction/
length
http://purl.oclc.org/NET/muo/ucum/unit/length/
muo
http://purl.oclc.org/NET/muo/muo#
ns
http://creativecommons.org/ns#
owl
http://www.w3.org/2002/07/owl#
physical-quality
http://purl.oclc.org/NET/muo/ucum/physical-quality/
plane-angle
http://purl.oclc.org/NET/muo/ucum/unit/plane-angle/
power
http://purl.oclc.org/NET/muo/ucum/unit/power/
prefix
http://purl.oclc.org/NET/muo/ucum/prefix/
pressure
http://purl.oclc.org/NET/muo/ucum/unit/pressure/
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
staroch-rdf
http://paul.staroch.name/foaf/staroch.rdf#
temperature
http://purl.oclc.org/NET/muo/ucum/unit/temperature/
time
http://www.w3.org/2006/time#
ucum
http://purl.oclc.org/NET/muo/ucum/
vann
http://purl.org/vocab/vann/
wgs84-pos
http://www.w3.org/2003/01/geo/wgs84_pos#
xsd
http://www.w3.org/2001/XMLSchema#

This HTML document was obtained by processing the OWL ontology source code through LODE, Live OWL Documentation Environment, developed by Silvio Peroni.