coverage area side view
type: DatatypeProperty
comment: coverage area side view takes 3 values which are the coverage distance above, beneath and in front of the sensor

coverage area top view
type: DatatypeProperty
comment: coverage area top view takes 3 dimensions wich are the distance to the left, right and in front of the sensor.

Data transfer method
type: Class
comment: The method used by the device to transfer the data it measures

Device Model
type: Class
comment: The industrial models of devices

Formats
type: Class
comment: The formats and encoding of device produced or measured data

Formula
type: Class
comment: Different mathematical formulas that can be used to estimation or composition of measurements Formulas used for composition have a structure that should be used in the java code to be able to parse the formula string into mathematical formula

Industrial model
type: Class
subclass of: Thing
comment: the industrial model contains the information/production specific details of the sensor compoment used in the device model

Sensor component type
type: Class
comment: this is the information devices give me, all i know is the type of the sensor used not an industrial model. maybe i should skip that one?

camera model
type: Class
subclass of: Sensor Model
comment: a camera is an example of a device that has two sensors in it: the image sensor and the microphone. a camera can also have a motion sensor

Additive Gaussian Noise 1D
type: NamedIndividual
type: Error Models
has input a value: x
symbol: E(Mean, Variance)
has formula: Additive Gaussian Noise 1D Formula
has mathematical parameter: Variance
has output: data measurement
has mathematical parameter: mean

Additive Gaussian Noise 1D Formula
type: NamedIndividual
type: Formula
mathematical expression: Measurement = x + Normal Distribution(Mean, Variance)
formula name: Measurement with Additive Gaussian Noise 1D Formula

All weather Inc.
type: NamedIndividual
type: Manufacturer
phone number: 9169281000
manufacturer name: All Weather Inc.
address: All Weather Inc. 1165 National Drive Sacramento, CA 95834
web: www.allweatherinc.com

Cisco
type: NamedIndividual
type: Manufacturer
manufacturer name: Cisco systems

Cisco WVC2300
type: NamedIndividual
type: camera model
sampling rate: 1 - 30
focal length: 500~infinity
image resolution: 640*480
device name: Cisco WVC2300 Wireless-G Business Internet Video Camera with Two-way audio
focal length unit: millimeter
uses sensor component: 1/4 inch progessive CCD sensor
video output format: 3GPP-MJPEG
video output format: 3GPP-MPEG4
image output format: JPEG
has sampling method: event based
uses sensor component: microphone -40 DB + 3DB
mode of use: motion detection
mode of use: night vision
mode of use: outdoor-indoor
has sampling method: periodic
data transfer method: push

Axiom
comment: i don t know if it is periodic or event based..maybe it is both?
annotated source: Cisco WVC2300
annotated target: event based
annotated property: has sampling method

Axiom
comment: logically it should be push but i m not sure? to recheck in general about cameras
annotated source: Cisco WVC2300
annotated property: data transfer method
annotated target: push

Conditional Probability
type: NamedIndividual
type: ConditionalProbability
has input a value: x
symbol: P(x|set)
provided by: Conditional Probability Formula
has conditional parameters: set

Conditional Probability Formula
type: NamedIndividual
type: Formula
mathematical expression: P(x|y) = P(x UNION y)/P(y)
formula name: Conditional Probability Formula

Continuous Uniform Distribution
type: NamedIndividual
type: Uniform
has input a value: x
has paramater a value: b
has paramater a value: a
symbol: U(a,b)
has output: Probability Density Function

Continuous Uniform Distribution Mean Formula
type: NamedIndividual
type: Formula
formula name: Continuous Normal Distribution Mean Formula
mathematical expression: Mean = 1/2 * (a+ b)

Continuous Uniform Distribution PDF
type: NamedIndividual
type: Formula
formula name: Continuous Uniform Distribution Probability Density Function Formula
mathematical expression: if a<=x<=b PDF(x) = 1/(b-a) else PDF(x) = 0

Continuous Uniform Distributoin Variance Formula
type: NamedIndividual
type: Formula
formula name: Continuous Distribution Variance Formula
mathematical expression: Var = (1/12) * SQRT(b - a)

Control input model
type: NamedIndividual
type: Generic Estimation Concepts
symbol: B
has mathematical type: Matrix

Control input vector
type: NamedIndividual
type: Generic Estimation Concepts
symbol: U
has mathematical type: Vector

Discrete Distribution Total Number of Values
type: NamedIndividual
type: Formula
formula name: Discrete Distribution Total Number of Values
mathematical expression: N = b - a + 1

Discrete Uniform Distribution
type: NamedIndividual
type: Uniform
has input a value: x
has paramater a value: a
has paramater a value: b
has output: Probability Mass Function
has mathematical parameter: Total Number of Values

Discrete Uniform Distribution Mean Formula
type: NamedIndividual
type: Formula
mathematical expression: Mean = (a + b)/2
formula name: Discrete Uniform Distribution Mean Formula

Discrete Uniform Distribution PMF
type: NamedIndividual
type: Formula
formula name: Discrete Uniform Distribution Probability Mass Function Formula
mathematical expression: if a<=x<=b PMF(x, Discrete Distribution Total Number of Variables) = 1/ Discrete Distribution Total Number of Variables else 0

Discrete Uniform Distribution Variance Formula
type: NamedIndividual
type: Formula
mathematical expression: Var = SQRT(N - 1) / 12
formula name: Discrete Uniform Distribution Variance Formula

Exact Number of Occurences
type: NamedIndividual
type: Mathematical concepts
symbol: k
has mathematical type: integer

Expected Number of Occurences
type: NamedIndividual
type: Mathematical concepts
symbol: Lambda

Exponential Distribution
type: NamedIndividual
type: Exponential
symbol: Exp(Rate)
has input a value: x
has output: Probability Density Function
has mathematical parameter: Rate Parameter

Exponential Distribution Mean Formula
type: NamedIndividual
type: Formula
mathematical expression: Mean = 1/Rate
formula name: Exponential Distribution Mean Formula

Exponential Distribution PDF
type: NamedIndividual
type: Formula
formula name: Exponential Distribution Probability Density Function Formula
mathematical expression: if x>0 PDF(x, Rate) = Rate* exp(-Rate*x) else PDF(x, Rate) = 0

Exponential Distribution Variance Formula
type: NamedIndividual
type: Formula
formula name: Exponential Distribution Variance Formula
mathematical expression: Var = 1/SQRT(Rate)

Hidden Markov Model
type: NamedIndividual
type: Generic Estimation/Prediction Model
symbol: lambda(A,B,Pi)
has estimation method: Generic Decoding
has estimation method: Generic Evaluation
has estimation method: Generic Learning
has estimation parameter: Initial probability Array
has estimation parameter: Observation Array
has estimation parameter: Transition Array

Initial probability Array
type: NamedIndividual
type: Generic Estimation Concepts
symbol: Pi
has mathematical type: Matrix

Initial value of state vector
type: NamedIndividual
type: Generic Estimation Concepts
symbol: X0
has mathematical type: Vector

Leviton
type: NamedIndividual
type: Manufacturer
manufacturer name: Levition

MP motion sensor NaPion
type: NamedIndividual
type: Motion sensor model
has output range: , 100
field of view vertical: -41, 41
coverage area top view: -5, 5, 5
coverage area side view: -5,5,5
field of view horizontal: -50, 50
device name: MP motion sensor NaPion standard
coverage area unit: meter
manufactured by: Panasonic
field of view unit: degree of arc
range unit: degree of arc
has sampling method: event based
has output range unit: microAmp
computes concept: motion
data transfer method: push

MZT EKA D.0.0
type: NamedIndividual
type: Manufacturer
phone number: 0038922551280
manufacturer name: MZT EKA D.O.O
address: MZT EKA D.O.O Pero Nakov Street bb 1000, Skopje Macedonia
web: www.mzt-eka.com.mk

Manual On Occupancy Sensor
type: NamedIndividual
type: Motion sensor model
coverage area top view: -15, 30, 15
field of view horizontal: 32, 180
coverage area side view: 4, 30, 0
model name: IPP15-1L Decora Manual On Occupancy Sensor
manufactured by: Leviton
field of view unit: degree of arc
coverage area unit: feet

Normal Distribution
type: NamedIndividual
type: Normal
has input a value: x
symbol: N(Mean, Var)
has output: Probability Density Function
has mathematical parameter: Variance
has mathematical parameter: mean

Normal Distribution Mean Formula
type: NamedIndividual
type: Formula
formula name: Normal Distribution Mean Formula
mathematical expression: Mean = Integral(X*PDF(X)*dx)

Normal Distribution PDF
type: NamedIndividual
type: Formula
formula name: Normal Distribution Probability Density Function Formula
mathematical expression: PDF(x) = 1/RTSQRT[2*Pi*SQRT(Normal Distribution Variance)] * exp[(x- Normal Distribution Mean)/2* Normal Distribution Variance)]

Normal Distribution Variance formula
type: NamedIndividual
type: Formula
mathematical expression: Normal Distribution Variance Formula
mathematical expression: Var = Integral [SQRT(x-mean)*PDF(x)*dx]

Observation Alphabet
type: NamedIndividual
type: Generic Estimation Concepts
symbol: V
has mathematical type: set

Observation Array
type: NamedIndividual
type: Generic Estimation Concepts
symbol: B
has mathematical type: Matrix

Observation Probability given HMM
type: NamedIndividual
type: Generic Estimation Concepts
symbol: P(Observation Sequence| Hidden Markov Model)
has mathematical type: Conditional Probability
has conditional parameters: Hidden Markov Model
has estimation input: Observation sequence

Observation model
type: NamedIndividual
type: Generic Estimation Concepts
symbol: H
has mathematical type: Matrix

Observation sequence
type: NamedIndividual
type: Generic Estimation Concepts
symbol: O
has length: T
has mathematical type: sequence

OptCorp
type: NamedIndividual
type: Manufacturer
phone number: 8004836287
manufacturer name: Oceanside Photo & Telescope
address: Oceanside Photo & Telescope 918 Mission Avenue Oceanside, CA 92054

Panasonic
type: NamedIndividual
type: Manufacturer
manufacturer name: Panasonic

Poisson Distribution Mean Formula
type: NamedIndividual
type: Formula
formula name: Poisson Distribution Mean Formula
mathematical expression: Mean = Expected Number of Value Occurences

Poisson Distribution PMF
type: NamedIndividual
type: Formula
mathematical expression: PMF(x = Exact Number of Occurences, Exact Number of Occurences) = [POWER(Expected Number of Occurences, Exact Number of Value Occurences) * exp (- Expected Number of Occurences)] / FACT(Exact Number of Occurences)
formula name: Poisson Distribution Probability Mass Function

Poisson Distribution Variance Formula
type: NamedIndividual
type: Formula
mathematical expression: Var = Expected Number of Value Occurences
formula name: Poisson Distribution Variance

Poisson distribution
type: NamedIndividual
type: Poisson
has input a value: x = Exact Number of Value Occurences
symbol: Pois(Expected Number of Value Occurences)
has mathematical parameter: Exact Number of Occurences
has mathematical parameter: Expected Number of Occurences
has output: Probability Mass Function

Position sensor
type: NamedIndividual
type: Domain specific Estimation Concepts
symbol: S

Probability distribution of observation noise
type: NamedIndividual
type: Generic Estimation Concepts
symbol: Pv

Probability distribution of process noise
type: NamedIndividual
type: Generic Estimation Concepts
symbol: Pw

Rate Parameter
type: NamedIndividual
type: Mathematical concepts
symbol: Rate

SR645
type: NamedIndividual
type: Thermometer model
accuracy: +/-0.8
range: -20, 60
resolution: 0.31
data transfer interval: 100
measuring interval: 100
data transfer interval: 1000
has output range: 255,0
range unit: degreeC
resolution unit: kelvin
accuracy unit: kelvin
measuring interval unit prefix: milli
measuring interval unit: second
manufactured by: Thermokon Sensortechnik GmbH
output datatype: Uint8
has transition function: linear
data transfer interval unit: millisecond
has sampling method: periodic
data transfer method: push
measures parameter: temperature data C

Axiom
annotated target: 1000
comment: with temperature change < 1.6 K
annotated source: SR645
annotated property: data transfer interval

Axiom
annotated target: 100
comment: with temperature change > 1.6 K
annotated source: SR645
annotated property: data transfer interval

SVAT
type: NamedIndividual
type: Manufacturer
manufacturer name: SVAT electronics

SVAT VU500-C
type: NamedIndividual
type: camera model
image resolution: 420*x
coverage distance: 50
focal length: 6
field of view horizontal: 60
field of view vertical: 60
device name: SVAT_security_camera_VU500-C
focal length unit: millimeter
manufactured by: SVAT
field of view unit: degree of arc
coverage distance unit: feet
sampling rate unit: framePerSecond
mode of use: night vision
mode of use: outdoor-indoor
has sampling method: periodic
data transfer method: push

Axiom
comment: again i don t know
annotated source: SVAT VU500-C
annotated property: data transfer method
annotated target: push

Axiom
comment: again not sure what sampling type is. logically it should be periodic? although i think it should be both
annotated source: SVAT VU500-C
annotated property: has sampling method
annotated target: periodic

Sampling period
type: NamedIndividual
type: Domain specific Estimation Concepts
symbol: dt
has type: relative time

Sony
type: NamedIndividual
type: Manufacturer
manufacturer name: Sony

State Alphabet
type: NamedIndividual
type: Generic Estimation Concepts
symbol: S
has mathematical type: set

State Sequence
type: NamedIndividual
type: Generic Estimation Concepts
symbol: Q
has length: T
has mathematical type: sequence

State transition model
type: NamedIndividual
type: Generic Estimation Concepts
symbol: F
has mathematical type: Matrix

TMP100-101
type: NamedIndividual
type: Thermometer model
resolution: +/- 0.0625
accuracy: +/-1
range: -55, 125
has output range: -880, 2000
sampling rate: 320
accuracy unit: degreeC
range unit: degreeC
resolution unit: degreeC
sampling rate unit prefix: milli
sampling rate unit: second
output datatype: Sint12
manufactured by: Texas Instruments
has transition function: linear
has sampling method: periodic
data transfer method: push
measures parameter: temperature data C

TS245
type: NamedIndividual
type: Thermometer model
has maximum measurement output: 2755
power maximum value: 4 V
has minimum measurement output: 716
has measurement output function: Vout= 4000 x (0,34893 + 0,0007966 x T)
range unit: degreeC
has unit: degreeC
measuring output unit prefix: milli
measuring output unit: volt
manufactured by: Tecmes
returns datatype: float
measuring output datatype: float
measures parameter: temperature data C

Tecmes
type: NamedIndividual
type: Manufacturer
phone number: 00541144317206
address: TECMES Instrumentos Especiales S.R.L. Neuquén 1123-Buenos Aires, Argentina
manufacturer name: TECMES instrumentos Especiales S.R.L.
web: www.tecmes.com

Texas Instruments
type: NamedIndividual
type: Manufacturer
manufacturer name: Texas Instruments
web: www.ti.com

Thermokon Sensortechnik GmbH
type: NamedIndividual
type: Manufacturer
phone number: 277265010
manufacturer name: Thermokon Sensor technik GmbH
address: Thermokon SensorTtechnik GmbH - Aarstrasse 6 - 35756 Mittenaar
web: www.thermokon.de

Total Number of Values
type: NamedIndividual
type: Mathematical concepts
symbol: N
provided by: Discrete Distribution Total Number of Values

Transition Array
type: NamedIndividual
type: Generic Estimation Concepts
symbol: A
has mathematical type: Matrix

Variance
type: NamedIndividual
symbol: Var
symbol: SQRT(sigma)
provided by: Continuous Uniform Distributoin Variance Formula
provided by: Discrete Uniform Distribution Variance Formula
provided by: Normal Distribution Variance formula
provided by: Poisson Distribution Variance Formula

aPosteriori state estimate
type: NamedIndividual
type: Generic Estimation Concepts
symbol: X_aposteriori
has mathematical type: Vector

aPriori state estimate
type: NamedIndividual
type: Generic Estimation Concepts
symbol: X_apriori
has mathematical type: Vector

data measurement
type: NamedIndividual
type: DataMeasurement
symbol: Z
has mathematical type: Vector

kilocalorie
type: NamedIndividual
type: UnitDerivedByScaling
has symbol: KCal
has prefix: kilo
has base unit: calorie

kilocaloriePerSquaremetePerHour
type: NamedIndividual
type: UnitDefinedByProduct
symbol: KcaL/m2/hr
has operand: hour
has operand: meterSquared
has operand: kilocalorie

location XY
type: NamedIndividual
type: Parameter
symbol: L
parameter name: loc
physical concept: location

mean
type: NamedIndividual
type: Mean
symbol: mu
provided by: Continuous Uniform Distribution Mean Formula
provided by: Discrete Uniform Distribution Mean Formula
provided by: Normal Distribution Mean Formula

microAmp
type: NamedIndividual
type: UnitDerivedByScaling
symbol: µA
has base unit: ampere
has prefix: micro

mile
type: NamedIndividual
type: BaseUnit
symbol: m

millisecond
type: NamedIndividual
type: UnitDerivedByScaling
symbol: ms
has prefix: milli
has base unit: second

millivolt
type: NamedIndividual
type: UnitDerivedByScaling
symbol: mV
has prefix: milli
has base unit: volt

noiselevel
type: NamedIndividual
type: Physical concept
has unit: db
provided by: noiselevel formula
inverse decay formula expression: output=-log(limit)/(decayFactor)
decay formula expression: A*Exp(-decayFactor*d)

noiselevel DB
type: NamedIndividual
type: Parameter
symbol: NL
parameter name: Noise
has unit: db
physical concept: noiselevel
unit constraint: single named unit

noiselevel formula
type: NamedIndividual
type: Formula
formula name: noiselevel_formula
mathematical expression: noiselevel = 2*s
has unit: db
computes concept: noiselevel
has output: noiselevel DB
has input: sound DB

perHour
type: NamedIndividual
type: UnitDerivedByRaisingToPower
to the power: -1
has base unit: hour

sound DB
type: NamedIndividual
type: Parameter
symbol: s
parameter name: sound_data
has unit: db
physical concept: sound

temperature data C
type: NamedIndividual
type: Parameter
symbol: Ta
parameter name: temp
has unit: degreeC
unit constraint: single named unit
physical concept: temperature

temperature data F
type: NamedIndividual
type: Parameter
parameter name: temp
symbol: Ta
has unit: degreeF
physical concept: temperature

windchill data F
type: NamedIndividual
type: Parameter
symbol: WC
parameter name: windchill_data
has unit: degreeF
physical concept: windchill factor

windchill data KCalPm2Phr
type: NamedIndividual
type: Parameter
symbol: WC
parameter name: windchill data
has unit: kilocaloriePerSquaremetePerHour
unit constraint: single named unit
physical concept: windchill factor

windchill factor
type: NamedIndividual
type: Physical concept
provided by: windchill formula USA
provided by: windchill formula original
inverse decay formula expression: output=log(limit)+2*log(decayFactor)

windchill formula USA
type: NamedIndividual
type: Formula
mathematical expression: windchill = 35.74+0.6215*Ta-35.75*ws toThePower 0.16+0.4275*Ta* ws toThePower 0.16
formula name: windchill USA formula
has unit: degreeF
has input: temperature data F
has output: windchill data F
computes concept: windchill factor
has input: windspeed data mPh

windchill formula original
type: NamedIndividual
type: Formula
mathematical expression: windchill = (10* ws toThePower 0.5-ws+10.5)*(33-Ta)
formula name: windchill original formula
has unit: kilocaloriePerSquaremetePerHour
has input: temperature data C
has output: windchill data KCalPm2Phr
computes concept: windchill factor
has input: windspeed data mPs

windspeed data mPh
type: NamedIndividual
type: Parameter
parameter name: windspeed_data
symbol: ws
has unit: MilesPerHour
physical concept: wind speed

windspeed data mPs
type: NamedIndividual
type: Parameter
parameter name: windspeed_data
symbol: ws
has unit: meterPerSecond
unit constraint: single named unit
physical concept: wind speed

qualityfactor
type: NamedIndividual
type: Parameter
parameter name: quality data
symbol: Q
has unit: degreeC
physical concept: pitchfactor

sfactor
type: NamedIndividual
type: Parameter
parameter name: s factor
symbol: S
has unit: degreeC
physical concept: quality

rainfactor
type: NamedIndividual
type: Parameter
parameter name: rain factor
symbol: W
has unit: meterPerSecond
unit constraint: single named unit
physical concept: rain

temp formula
type: NamedIndividual
type: Formula
mathematical expression: temerature=Q+1
formula name: temp formula
has unit: degreeC
has input: qualityfactor
has output: temperature data C
computes concept: temperature

windspeed formula
type: NamedIndividual
type: Formula
mathematical expression: windspeed=W+1
formula name: wind speed formula
has unit: meterPerSecond
has input: rainfactor
has output: windspeed data mPs
computes concept: wind speed

pitchfactor formula
type: NamedIndividual
type: Formula
mathematical expression: pitchfactor=S+1
formula name: pitchfactor formula
has unit: degreeC
has input: sfactor
has output: qualityfactor
computes concept: pitchfactor