Camera max wavelength
type: DatatypeProperty
domain: Thermal camera
range: float
comment: [nm]

Camera min wavelength
type: DatatypeProperty
domain: Thermal camera
range: float
comment: [nm]

Flash energy
type: DatatypeProperty
domain: Lamp
range: float
comment: [J]

Frequency limit
type: DatatypeProperty
domain: Sensor
range: float
comment: [Hz]

Laser wavelength
type: DatatypeProperty
domain: Laser
range: float
comment: [nm]

Power
type: DatatypeProperty
domain: Laser
range: float
comment: [W]

Sensitivity
type: DatatypeProperty
domain: Experiment
range: Datatype
  one of: High
  one of: Low
  one of: Medium

has excitation type
type: DatatypeProperty
domain: Thermal excitation
range: Datatype
  one of: Convective
  one of: Radiative

has process
type: DatatypeProperty
domain: Mathematical method
range: Datatype
  one of: Determinist
  one of: Probabilist

has result type
type: DatatypeProperty
domain: Mathematical method
range: Datatype
  one of: Qualitative
  one of: Quantitative

has sensor view
type: DatatypeProperty
domain: Experiment
range: Datatype
  one of: Front_face
  one of: Rear_face

has spatial shape
type: DatatypeProperty
domain: Thermal excitation
range: Datatype
  one of: Global
  one of: Line
  one of: Local

has temporal shape
type: DatatypeProperty
domain: Experiment
range: Datatype
  one of: Dirac
  one of: Periodic
  one of: Step

sample velocity
type: DatatypeProperty
sub property of: topDataProperty
domain: Line scan
range: float
comment: meter per second

Bayesian inference
type: Class
subclass of: Mathematical method
subclass of: Restriction
  on property: Minimal temporal points number
  has value: 10
subclass of: Restriction
  on property: has process
  has value: Probabilist
reference: Pradere, C., Groz, M. M., Sommier, A., Abisset, E., Chevalier, S., Battaglia, J. L., & Batsale, J. C. (2020). Thermal resistance field estimations from IR thermography using multiscale Bayesian inference. Quantitative InfraRed Thermography Journal, 1–12. https://doi.org/10.1080/17686733.2020.1771529

Defect characterization
type: Class
comment: List of the properties they characterized a defect.

Experiment
type: Class
subclass of: Restriction
  on property: studies
  some values from: Sample
comment: Experimental set up used. It is defined by a sensor, and excitation and a sample. It has other properties such as front or rear face.

Flying spot
type: Class
equivalent class: Class
  intersection of: Experiment
  intersection of: Restriction
    on property: has sensor
    some values from: Thermal camera
  intersection of: Restriction
    on property: has thermal excitation
    some values from: Laser
  intersection of: Restriction
    on property: measures
    some values from: FS transcient temperature field
  intersection of: Restriction
    on property: has sensor view
    has value: Front_face
subclass of: Restriction
  on property: reveals
  some values from: Crack

Image processing
type: Class
subclass of: Mathematical method
comment: Processing methods for information extraction of an image or images.

Input
type: Class
comment: Input of the Mathematical methods. It is defined by the Observables or the Measurements.

Lamp
type: Class
subclass of: Thermal excitation
subclass of: Restriction
  on property: has excitation type
  has value: Radiative
subclass of: Restriction
  on property: has spatial shape
  has value: Global

Laser
type: Class
subclass of: Thermal excitation
subclass of: Restriction
  on property: has excitation type
  has value: Radiative
subclass of: Restriction
  on property: has spatial shape
  has value: Local

Line scan
type: Class
equivalent class: Class
  intersection of: Experiment
  intersection of: Restriction
    on property: has sensor
    some values from: Thermal camera
  intersection of: Restriction
    on property: has thermal excitation
    some values from: Ramp
  intersection of: Restriction
    on property: measures
    some values from: Flash transcient temperature field
  intersection of: Restriction
    on property: studies
    some values from: Class
      intersection of: Sample
      intersection of: Restriction
        on property: is moving
        has value: true
subclass of: Experiment

Material
type: Class
comment: List of the different materials to define a sample.

Mathematical method
type: Class
comment: Mathematical method to apply for processing experimental data.

Observable or Measurement
type: Class
comment: Observable osberved by the sensor in the set up. Measurement measured by the Mathematical method. They have a type and a physical quantity.

Output
type: Class
comment: Output of the Mathematical methods. It is defined by the Measurements.

Parabola
type: Class
subclass of: Mathematical method
subclass of: Restriction
  on property: has input
  some values from: FS transcient temperature field
subclass of: Restriction
  on property: has output
  some values from: In plane diffusivity map
subclass of: Restriction
  on property: Minimal temporal points number
  has value: 10
subclass of: Restriction
  on property: has process
  has value: Determinist
subclass of: Restriction
  on property: has result type
  has value: Quantitative
reference: Gaverina, L., Batsale, J. C., Sommier, A., & Pradere, C. (2017). Pulsed flying spot with the logarithmic parabolas method for the estimation of in-plane thermal diffusivity fields on heterogeneous and anisotropic materials. Journal of Applied Physics, 121(11). https://doi.org/10.1063/1.4978919

Parker
type: Class
subclass of: Mathematical method
subclass of: Restriction
  on property: has input
  some values from: PRFF transcient temperature field
subclass of: Restriction
  on property: has input
  some values from: Restriction
    on property: Thickness
    min qualified cardinality: 1
    on data range: float
subclass of: Restriction
  on property: has output
  some values from: In depth diffusivity map
subclass of: Restriction
  on property: Minimal temporal points number
  has value: 10
subclass of: Restriction
  on property: has process
  has value: Determinist
subclass of: Restriction
  on property: has result type
  has value: Quantitative
reference: Parker, W. J., Jenkins, R. J., Butler, C. P., & Abbott, G. L. (1961). Flash method of determining thermal diffusivity, heat capacity, and thermal conductivity. Journal of Applied Physics, 32(9), 1679–1684. https://doi.org/10.1063/1.1728417

Periodic flying spot
type: Class
equivalent class: Class
  intersection of: Flying spot
  intersection of: Restriction
    on property: has temporal shape
    has value: Periodic
comment: or denoted as 'Lock-in'

Physical quantity
type: Class
comment: List of the physical quantities.

Point sensor
type: Class
equivalent class: Class
  intersection of: Sensor
  intersection of: Restriction
    on property: observes
    some values from: Transcient temperature
  intersection of: Restriction
    on property: Frequency limit
    has value: 2.0E7
  intersection of: Restriction
    on property: is in contact
    has value: false

Pulsed flying spot
type: Class
equivalent class: Class
  intersection of: Flying spot
  intersection of: Restriction
    on property: has temporal shape
    has value: Dirac

Pulsed front face flash
type: Class
equivalent class: Class
  intersection of: Flash
  intersection of: Restriction
    on property: has sensor view
    has value: Front_face
  intersection of: Restriction
    on property: has temporal shape
    has value: Dirac

Pulsed rear face flash
type: Class
equivalent class: Class
  intersection of: Flash
  intersection of: Restriction
    on property: measures
    some values from: PRFF transcient temperature field
  intersection of: Restriction
    on property: has sensor view
    has value: Rear_face
  intersection of: Restriction
    on property: has temporal shape
    has value: Dirac
subclass of: Restriction
  on property: measures
  some values from: PRFF transcient temperature field
subclass of: Restriction
  on property: has sensor view
  has value: Rear_face
subclass of: Restriction
  on property: has temporal shape
  has value: Dirac

Ramp
type: Class
subclass of: Thermal excitation
subclass of: Restriction
  on property: has excitation type
  has value: Radiative
subclass of: Restriction
  on property: has spatial shape
  has value: Line

Sample
type: Class
subclass of: Restriction
  on property: studied by
  some values from: Experiment
comment: Sample to control. It has a material and a geometry (for example thickness).

Sample thickness
type: Class
equivalent class: Restriction
  on property: Thickness
  min qualified cardinality: 1
  on data range: float
subclass of: Input

Sensor
type: Class
comment: Sensor used to observes the scene in the Experiment.

Spatial gradient
type: Class
subclass of: Class
  intersection of: Mathematical method
  intersection of: Restriction
    on property: detects
    some values from: Defect nature
subclass of: Class
  intersection of: Mathematical method
  intersection of: Restriction
    on property: has input
    some values from: Thermal camera transcient temperature field
subclass of: Class
  intersection of: Mathematical method
  intersection of: Restriction
    on property: Minimal temporal points number
    has value: 1
subclass of: Class
  intersection of: Mathematical method
  intersection of: Restriction
    on property: has process
    has value: Determinist
subclass of: Class
  intersection of: Mathematical method
  intersection of: Restriction
    on property: has result type
    has value: Qualitative

Step front face flash
type: Class
equivalent class: Class
  intersection of: Flash
  intersection of: Restriction
    on property: has sensor view
    has value: Front_face
  intersection of: Restriction
    on property: has temporal shape
    has value: Step

Step rear face flash
type: Class
equivalent class: Class
  intersection of: Flash
  intersection of: Restriction
    on property: has sensor view
    has value: Rear_face
  intersection of: Restriction
    on property: has temporal shape
    has value: Step

Thermal camera
type: Class
equivalent class: Class
  intersection of: Sensor
  intersection of: Restriction
    on property: observes
    some values from: Transcient temperature field
  intersection of: Restriction
    on property: Frequency limit
    has value: 2000.0
  intersection of: Restriction
    on property: is in contact
    has value: false

Thermal excitation
type: Class
comment: Thermal excitation used in the Experiment.

Thermocouple
type: Class
equivalent class: Class
  intersection of: Sensor
  intersection of: Restriction
    on property: observes
    some values from: Transcient temperature
  intersection of: Restriction
    on property: Frequency limit
    has value: 1000.0
  intersection of: Restriction
    on property: is in contact
    has value: true

Threshold BasedOn Maxima
type: Class
subclass of: Threshold definition
comment: Use the maxima distribution to define the threshold.

Tmax
type: Class
subclass of: Class
  intersection of: Mathematical method
  intersection of: Restriction
    on property: detects
    some values from: Defect nature
subclass of: Class
  intersection of: Mathematical method
  intersection of: Restriction
    on property: has input
    some values from: Thermal camera transcient temperature field
subclass of: Class
  intersection of: Mathematical method
  intersection of: Restriction
    on property: has output
    some values from: Maximum of temperature
subclass of: Class
  intersection of: Mathematical method
  intersection of: Restriction
    on property: has result type
    some values from: Datatype
      one of: Qualitative
      one of: Quantitative
subclass of: Class
  intersection of: Mathematical method
  intersection of: Restriction
    on property: Minimal temporal points number
    has value: 1
subclass of: Class
  intersection of: Mathematical method
  intersection of: Restriction
    on property: has process
    has value: Determinist

Type
type: Class
comment: Type of the observable or the measurement : spatially, temporally, etc

CFRP
type: NamedIndividual
type: Composite
thermal conductivity z: 0.4988
thermal diffusivity z: 2.81E-7
comment: Carbon Fiber Reinforced Polymer
comment: Taux de fibres : 50%

Electrode
type: NamedIndividual
type: Sample
has material: ElectrodeInk
thickness: 1.6E-4

ElectrodeInk
type: NamedIndividual
type: Composite
thermal conductivity z: 3.8
thermal diffusivity z: 1.5013E-5

FLIR SC7600 LABO
type: NamedIndividual
type: Thermal camera
brand sensor: FLIR
camera max wavelength: 1100.0
camera min wavelength: 900.0
matrix sensor: 320x256

Lamp LABO
type: NamedIndividual
type: Lamp
brand excitation: Uniblitz
flash energy: 1600.0

Laser LABO
type: NamedIndividual
type: Laser
laser wavelength: 980.0
power: 100.0

PC bulk
type: NamedIndividual
type: Sample
has material: PolyCarbonate
thickness: 0.001

PolyCarbonate
type: NamedIndividual
type: Polymer
thermal conductivity z: 0.175
thermal diffusivity z: 1.0937E-7

Tape CFRP
type: NamedIndividual
type: Sample
has material: CFRP
thickness: 2.5E-4

Tape CFRP LST
type: NamedIndividual
type: Line scan
studies: Tape CFRP
sample velocity: 0.25

SensitivityDirac
is rule enabled: true
comment: [21] Balageas, D., & Roche, J. M. (2014). Common tools for quantitative pulse and step-heating thermography-Part I: theoretical basis. https://doi.org/10.1080/17686733.2014.891324ï
type: Imp
body: ClassAtom
  class predicate: Experiment
  argument1: exp
body: DatavaluedPropertyAtom
  property predicate: has temporal shape
  argument1: exp
  argument2: Dirac
head: DatavaluedPropertyAtom
  property predicate: Sensitivity
  argument1: exp
  argument2: High

SensitivityStep
is rule enabled: true
comment: [21] Balageas, D., & Roche, J. M. (2014). Common tools for quantitative pulse and step-heating thermography-Part I: theoretical basis. https://doi.org/10.1080/17686733.2014.891324ï
type: Imp
body: ClassAtom
  class predicate: Experiment
  argument1: exp
body: DatavaluedPropertyAtom
  property predicate: has temporal shape
  argument1: exp
  argument2: Step
head: DatavaluedPropertyAtom
  property predicate: Sensitivity
  argument1: exp
  argument2: Medium

OptimalExperimentalTime_Computing
is rule enabled: true
comment: From a Fourier number equal to 2
type: Imp
body: ClassAtom
  class predicate: Sample
  argument1: sa
body: DatavaluedPropertyAtom
  property predicate: Thickness
  argument1: sa
  argument2: th
body: IndividualPropertyAtom
  property predicate: has material
  argument1: sa
  argument2: mat
body: BuiltinAtom
  builtin: divide
  arguments:
    first: diffInv
    rest:
      first: 1
      rest: diff
body: BuiltinAtom
  builtin: multiply
  arguments:
    first: mult
    rest:
      first: 2
      rest: th
      rest: diffInv
body: DatavaluedPropertyAtom
  property predicate: Thermal diffusivity z
  argument1: mat
  argument2: diff
head: DatavaluedPropertyAtom
  property predicate: Optimal experimental time
  argument1: sa
  argument2: mult

Restriction
on property: measured by
some values from: Class
  intersection of: Experiment
  intersection of: Restriction
    on property: studies
    some values from: Class
      intersection of: Sample
      intersection of: Restriction
        on property: is moving
        has value: true

Restriction
on property: measured by
some values from: Class
  intersection of: Experiment
  intersection of: Restriction
    on property: studies
    some values from: Class
      intersection of: Sample
      intersection of: Restriction
        on property: is moving
        has value: false