DALHAI Ontology
type: Ontology
abstract: The DALHAI project aims at developing compact all-optical Arithmetic and Logic Units (ALU) exploiting the spatial and spectral distributions of 2D confined plasmons modes in planar cavities tailored in ultrathin Au or Ag crystals. Yet, the optimization of the logic gate output contrast, the definition of the logic function reconfiguration schemes and the generalization of this concept towards complex ALU is a non-intuitive challenge.

CellType
type: Datatype
equivalent class: Datatype
  one of: Cubic
  one of: HexaH
  one of: HexaV
  one of: Rectangle

EncodingType
type: Datatype
equivalent class: Datatype
  one of: Ph
  one of: Pol
  one of: WL

MatterType
type: Datatype
equivalent class: Datatype
  one of: Gold
  one of: Silver

hasCellSize
type: DatatypeProperty
domain: Cell
range: float
comment: A global value to represent CellSize. It is used to calculate the coordinate of VectorA, VectorB and VectorC. If CellType = "Cubic" then CellSize1=CellSize2=CellSize3=CellSize If CellType = "Rectangle" then CellSize1 = CellSize3 = CellSize

hasCellSize1
type: DatatypeProperty
domain: Cell
range: Datatype
  on datatype: float
  with restrictions:
    min inclusive: 10.0
  with restrictions:
    max inclusive: 30.0
comment: The size of a cell (h parameter).

hasCellSize2
type: DatatypeProperty
domain: Cell
range: Datatype
  on datatype: float
  with restrictions:
    min inclusive: 10.0
  with restrictions:
    max inclusive: 30.0
comment: The size of a cell (h parameter). Used in the case of Cell of type Rectangle.

hasCellSize3
type: DatatypeProperty
domain: Cell
range: Datatype
  on datatype: float
  with restrictions:
    min inclusive: 10.0
  with restrictions:
    max inclusive: 30.0

hasCellType
type: DatatypeProperty
domain: Cell
range: CellType
comment: The type of a cell (Cubic, HexaH, HexaV, Rectangle).

hasPhaseValue
type: DatatypeProperty
sub property of: hasParameterValue
domain: Phase
range: float
range: Datatype
  on datatype: float
  with restrictions:
    min inclusive: 0.0
  with restrictions:
    max inclusive: 170.0

hasPolarizationValue
type: DatatypeProperty
sub property of: hasParameterValue
domain: Polarization
range: float
range: Datatype
  on datatype: float
  with restrictions:
    min inclusive: 0.0
  with restrictions:
    max inclusive: 170.0

hasX
type: DatatypeProperty
domain: Coordinate
domain: Point
range: float
comment: First point in a Bipoint.

hasY
type: DatatypeProperty
domain: Coordinate
domain: Point
range: float
comment: Second point in a Bipoint.

isValidEP
type: DatatypeProperty
domain: ExcitationParameter
range: boolean
comment: Takes the boolean value "true" if the Excitation Parameters are valid Allows to verify if the Excitation Parameters are well defined

isValidEnvironment
type: DatatypeProperty
domain: Environment
range: boolean
comment: Takes the boolean value "true" if the Environment is valid Allows to verify if the Environment is well defined

isValidModel
type: DatatypeProperty
domain: Model
range: boolean
comment: Takes the boolean value "true" if the Model is valid Allows to verify if the Model is well defined

isValidOP
type: DatatypeProperty
domain: OutputParameter
range: boolean
comment: Takes the boolean value "true" if the Output Parameters are valid Allows to verify if the Output Parameters are well defined

isValidOSimulation
type: DatatypeProperty
domain: OpticalSimulation
range: boolean
comment: Takes the boolean value "true" if the optical simulation is valid Allows to verify if the simulation is well defined (right model and all required parameters are correctly defined))

isValidParameter
type: DatatypeProperty
domain: Parameter
range: boolean
comment: Takes the boolean value "true" if all optical simulation parametersare valid Allows to verify if the Excitation Parameters and the Output Parameters are well defined

Cell
type: Class
subclass of: Restriction
  on property: hasCellSize1
  qualified cardinality: 1
  on data range: float
subclass of: Restriction
  on property: hasCellSize2
  qualified cardinality: 1
  on data range: float
subclass of: Restriction
  on property: hasCellSize3
  qualified cardinality: 1
  on data range: float
subclass of: Restriction
  on property: hasCellSizeMax
  qualified cardinality: 1
  on data range: float
subclass of: Restriction
  on property: hasCellSizeMin
  qualified cardinality: 1
  on data range: float
subclass of: Restriction
  on property: hasCellType
  qualified cardinality: 1
  on data range: CellType
comment: Cell must have a type (CellType) and a size (CellSize). Cell types are : Cubic, HexaH, HexaV, Rectangle. If CellType = Cubic or HexaH or HexaV then one cell size (CellSize) If CellType = Rectangle then two cell sizes (CellSize, CellSize2)

Coordinate
type: Class
subclass of: Restriction
  on property: hasX
  qualified cardinality: 1
  on data range: float
subclass of: Restriction
  on property: hasY
  qualified cardinality: 1
  on data range: float
subclass of: Restriction
  on property: hasZ
  qualified cardinality: 1
  on data range: float
comment: A triplet of values (A, B, C) used to define a Vector. 'A' represents the origin point.

LaserBeam
type: Class
subclass of: ExcitationParameter
subclass of: Class
  intersection of: Restriction
    on property: hasPhase
    min qualified cardinality: 1
    on class: Phase
  intersection of: Restriction
    on property: hasPhase
    max qualified cardinality: 2
    on class: Phase
subclass of: Class
  intersection of: Restriction
    on property: hasPolarization
    min qualified cardinality: 1
    on class: Polarization
  intersection of: Restriction
    on property: hasPolarization
    max qualified cardinality: 2
    on class: Polarization
subclass of: Class
  intersection of: Restriction
    on property: hasWaveLength
    min qualified cardinality: 1
    on class: WaveLength
  intersection of: Restriction
    on property: hasWaveLength
    max qualified cardinality: 2
    on class: WaveLength
subclass of: Restriction
  on property: hasIntensity
  qualified cardinality: 1
  on class: Intensity
subclass of: Restriction
  on property: hasWaist
  qualified cardinality: 1
  on class: Waist

LaserBeamParameter
type: Class
subclass of: ExcitationParameter
subclass of: Restriction
  on property: hasParameterValue
  qualified cardinality: 1
  on data range: float

Mesh
type: Class
subclass of: Restriction
  on property: hasCell
  qualified cardinality: 1
  on class: Cell
subclass of: Restriction
  on property: hasVectorA
  qualified cardinality: 1
  on class: Vector
subclass of: Restriction
  on property: hasVectorB
  qualified cardinality: 1
  on class: Vector
subclass of: Restriction
  on property: hasVectorC
  qualified cardinality: 1
  on class: Vector
comment: The mesh represents a set of cells paving the 2D or 3D space (infinite number of cells). The Mesh concept is defined by a Cell and three Vectors (VectorA, VectorB, VectorC). VectoA, VectorB and VectorC can be calculated using CellSize and CellSize2 (in the case of a cell of type Rectangle). If CellType = Cubic then VectorA = (CellSize, 0, 0) VectorB = (0, CellSize, 0) VectorC = (0, 0, CellSize) If CellType = Rectangle (Defined by 2 CellSize : CellSize and CellSize2) then VectorA = (CellSize, 0, 0) VectorB = (0, CellSize2, 0) VectorC = (0, 0, CellSize) If CellType = HexaH VectorA = (CellSize*sqrt(3)/2, CellSize/2, 0) VectorB = (0, CellSize, 0) VectorC = (CellSize/(2*sqrt(3)), CellSize/2, CellSize*sqrt(2/3)) If CellType = HexaV then VectorA = (CellSize , 0, 0) VectorB = (CellSize/2, CellSize*sqrt(3)/2, 0) VectorC = (CellSize/2, CellSize/(2*sqrt(3)), CellSize*sqrt(2/3))

Model
type: Class
subclass of: Restriction
  on property: hasMesh
  qualified cardinality: 1
  on class: Mesh
subclass of: Restriction
  on property: hasShape
  qualified cardinality: 1
  on class: Solid Shape
comment: The Model concept represents the set of Cells that are used to describe the Solid Shape. It is the projection of the Solid Shape onto the Mesh. The Model concept is indispensable in pyGDM (an open-source python toolkit for electro-dynamical simulations).

OpticalSimulation
type: Class
subclass of: Class
  intersection of: Restriction
    on property: hasEnvironment
    qualified cardinality: 1
    on class: Environment
  intersection of: Restriction
    on property: hasExcitationParameter
    qualified cardinality: 1
    on class: ExcitationParameter
  intersection of: Restriction
    on property: hasModel
    qualified cardinality: 1
    on class: Model
  intersection of: Restriction
    on property: hasOutputParameter
    qualified cardinality: 1
    on class: OutputParameter
comment: The OpticalSimulation concept is used to define an optical simulation An optical simulation is valid if it has a valid Model, valid Environment, valid Excitation parameters and valid Output parameters

Polygon
type: Class
subclass of: Shape
subclass of: Class
  union of: Empty Shape
  union of: Solid Shape
subclass of: Restriction
  on property: hasSegment
  some values from: Segment
subclass of: Restriction
  on property: hasSegNumber
  min qualified cardinality: 3
  on data range: integer
comment: At least one of the segments must have a length (hasLength) >= hasValMin defined in shape

Segment
type: Class
subclass of: Restriction
  on property: hasVertex
  qualified cardinality: 2
  on class: Vertex
subclass of: Restriction
  on property: hasSegmentLength
  qualified cardinality: 1
  on data range: float
comment: A segment cannot be smaller than one cell (CellSize)

Shape
type: Class
subclass of: Restriction
  on property: isValidShape
  qualified cardinality: 1
  on data range: boolean
comment: Abstract concept to define a shape. It has a data property to specify if the shape is geometrically valid.

SimulationPoint
type: Class
subclass of: SegmentPoint
subclass of: Class
  union of: InsideSegmentPoint
  union of: Vertex
comment: Des distances à respecter entre les points

Solid Shape
type: Class
subclass of: Shape
subclass of: Restriction
  on property: hasHole
  some values from: Empty Shape
subclass of: Restriction
  on property: hasMatter
  all values from: MatterType
comment: Used to define a solid shape. The solid shape has a matter that can be gold or silver.

Vector
type: Class
subclass of: Restriction
  on property: hasCoordinate
  qualified cardinality: 1
  on class: Coordinate
comment: The Vector concept represents a directed segment. It is defined by 3 coordinates (Coordinate concept).

CoordinateHasX
is rule enabled: true
comment: hasA must be defined on a Coordinate
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasX
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: ClassAtom
  class predicate: Coordinate
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x

CoordinateDefinition
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasX
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: hasY
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: hasZ
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: ClassAtom
  class predicate: Coordinate
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x

CoordinateHasY
is rule enabled: true
comment: hasB must be defined on a Coordinate
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasY
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: ClassAtom
  class predicate: Coordinate
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x

CoordinateHasZ
is rule enabled: true
comment: hasC must be defined on a Coordinate
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasZ
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: ClassAtom
  class predicate: Coordinate
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x

GlobalCellSizeDefinition_1
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: Cubic
body: DatavaluedPropertyAtom
  property predicate: hasCellSize1
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
head: DatavaluedPropertyAtom
  property predicate: hasCellSize
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a

CellSizeDefinition_C1
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: Cubic
body: DatavaluedPropertyAtom
  property predicate: hasCellSize1
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
head: DatavaluedPropertyAtom
  property predicate: hasCellSize2
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
head: DatavaluedPropertyAtom
  property predicate: hasCellSize3
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a

CellSize_Cubic
is rule enabled: true
comment: If CellType = Cubic then CellSize1 = CellSize2 = CellSize3
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: Cubic
body: DatavaluedPropertyAtom
  property predicate: hasCellSize1
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
body: DatavaluedPropertyAtom
  property predicate: hasCellSize2
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#b
body: DatavaluedPropertyAtom
  property predicate: hasCellSize3
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#c
head: BuiltinAtom
  builtin: equal
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#a
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#b
head: BuiltinAtom
  builtin: equal
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#a
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#c

CellSizeDefinition_C2
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: Cubic
body: DatavaluedPropertyAtom
  property predicate: hasCellSize2
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
head: DatavaluedPropertyAtom
  property predicate: hasCellSize1
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
head: DatavaluedPropertyAtom
  property predicate: hasCellSize3
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a

CellSizeDefinition_C3
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: Cubic
body: DatavaluedPropertyAtom
  property predicate: hasCellSize3
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
head: DatavaluedPropertyAtom
  property predicate: hasCellSize1
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
head: DatavaluedPropertyAtom
  property predicate: hasCellSize2
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a

GlobalCellSizeDefinition_3
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: HexaH
body: DatavaluedPropertyAtom
  property predicate: hasCellSize1
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
head: DatavaluedPropertyAtom
  property predicate: hasCellSize
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a

CellSizeDefinition_H1
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: HexaH
body: DatavaluedPropertyAtom
  property predicate: hasCellSize1
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
head: DatavaluedPropertyAtom
  property predicate: hasCellSize2
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
head: DatavaluedPropertyAtom
  property predicate: hasCellSize3
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a

DifferentPoint_X
is rule enabled: true
type: Imp
body: ClassAtom
  class predicate: Point
  argument1: p1
body: ClassAtom
  class predicate: Point
  argument1: p2
body: IndividualPropertyAtom
  property predicate: hasCoordinate
  argument1: p1
  argument2: cp1
body: IndividualPropertyAtom
  property predicate: hasCoordinate
  argument1: p2
  argument2: cp2
body: DatavaluedPropertyAtom
  property predicate: hasX
  argument1: cp1
  argument2: x1
body: DatavaluedPropertyAtom
  property predicate: hasX
  argument1: cp2
  argument2: x2
body: BuiltinAtom
  builtin: notEqual
  arguments: x1
  arguments: x2
head: DifferentIndividualsAtom
  argument1: p1
  argument2: p2

CellSize_HexaH
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: HexaH
body: DatavaluedPropertyAtom
  property predicate: hasCellSize1
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
body: DatavaluedPropertyAtom
  property predicate: hasCellSize2
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#b
body: DatavaluedPropertyAtom
  property predicate: hasCellSize3
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#c
head: BuiltinAtom
  builtin: equal
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#a
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#b
head: BuiltinAtom
  builtin: equal
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#a
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#c

CellSizeDefinition_H2
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: HexaH
body: DatavaluedPropertyAtom
  property predicate: hasCellSize2
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
head: DatavaluedPropertyAtom
  property predicate: hasCellSize1
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
head: DatavaluedPropertyAtom
  property predicate: hasCellSize3
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a

CellSizeDefinition_H3
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: HexaH
body: DatavaluedPropertyAtom
  property predicate: hasCellSize3
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
head: DatavaluedPropertyAtom
  property predicate: hasCellSize1
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
head: DatavaluedPropertyAtom
  property predicate: hasCellSize2
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a

GlobalCellSizeDefinition_4
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: HexaV
body: DatavaluedPropertyAtom
  property predicate: hasCellSize1
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
head: DatavaluedPropertyAtom
  property predicate: hasCellSize
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a

CellSizeDefinition_V1
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: HexaV
body: DatavaluedPropertyAtom
  property predicate: hasCellSize1
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
head: DatavaluedPropertyAtom
  property predicate: hasCellSize2
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
head: DatavaluedPropertyAtom
  property predicate: hasCellSize3
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a

CellSize_HexaV
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: HexaV
body: DatavaluedPropertyAtom
  property predicate: hasCellSize1
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
body: DatavaluedPropertyAtom
  property predicate: hasCellSize2
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#b
body: DatavaluedPropertyAtom
  property predicate: hasCellSize3
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#c
head: BuiltinAtom
  builtin: equal
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#a
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#b
head: BuiltinAtom
  builtin: equal
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#a
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#c

CellSizeDefinition_V2
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: HexaV
body: DatavaluedPropertyAtom
  property predicate: hasCellSize2
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
head: DatavaluedPropertyAtom
  property predicate: hasCellSize1
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
head: DatavaluedPropertyAtom
  property predicate: hasCellSize3
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a

CellSizeDefinition_V3
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: HexaV
body: DatavaluedPropertyAtom
  property predicate: hasCellSize3
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
head: DatavaluedPropertyAtom
  property predicate: hasCellSize1
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
head: DatavaluedPropertyAtom
  property predicate: hasCellSize2
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a

PolarizationEncoding
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasEncoding
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: Pol
body: IndividualPropertyAtom
  property predicate: hasLaserBeam
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: IndividualPropertyAtom
  property predicate: hasPolarization
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
body: IndividualPropertyAtom
  property predicate: hasPolarization
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#t
body: DifferentIndividualsAtom
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#z
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#t
head: DatavaluedPropertyAtom
  property predicate: hasValidEncoding
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: true

GlobalCellSizeDefinition_2
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: Rectangle
body: DatavaluedPropertyAtom
  property predicate: hasCellSize1
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
head: DatavaluedPropertyAtom
  property predicate: hasCellSize
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a

CellSizeDefinition_R1
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: Rectangle
body: DatavaluedPropertyAtom
  property predicate: hasCellSize1
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
head: DatavaluedPropertyAtom
  property predicate: hasCellSize3
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a

CellSize_Rectangle
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: Rectangle
body: DatavaluedPropertyAtom
  property predicate: hasCellSize1
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
body: DatavaluedPropertyAtom
  property predicate: hasCellSize2
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#b
body: DatavaluedPropertyAtom
  property predicate: hasCellSize3
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#c
head: BuiltinAtom
  builtin: equal
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#a
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#c

CellSizeDefinition_R2
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: Rectangle
body: DatavaluedPropertyAtom
  property predicate: hasCellSize3
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
head: DatavaluedPropertyAtom
  property predicate: hasCellSize1
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a

ValidParameters
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: isValidOP
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#z
  argument2: true
body: DatavaluedPropertyAtom
  property predicate: isValidEP
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: true
body: IndividualPropertyAtom
  property predicate: hasOutputParameter
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
body: IndividualPropertyAtom
  property predicate: hasExcitationParameter
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: DatavaluedPropertyAtom
  property predicate: isValidParameter
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: true

LaserBeam
is rule enabled: true
type: Imp
body: DifferentIndividualsAtom
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
body: IndividualPropertyAtom
  property predicate: hasPolarization
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: IndividualPropertyAtom
  property predicate: hasPolarization
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
head: ClassAtom
  class predicate: LaserBeam
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x

DifferentPoint_Y
is rule enabled: true
type: Imp
body: ClassAtom
  class predicate: Point
  argument1: p1
body: ClassAtom
  class predicate: Point
  argument1: p2
body: IndividualPropertyAtom
  property predicate: hasCoordinate
  argument1: p1
  argument2: cp1
body: IndividualPropertyAtom
  property predicate: hasCoordinate
  argument1: p2
  argument2: cp2
body: DatavaluedPropertyAtom
  property predicate: hasY
  argument1: cp1
  argument2: y1
body: DatavaluedPropertyAtom
  property predicate: hasY
  argument1: cp2
  argument2: y2
body: BuiltinAtom
  builtin: notEqual
  arguments: y1
  arguments: y2
head: DifferentIndividualsAtom
  argument1: p1
  argument2: p2

DifferentPoint_Z
is rule enabled: true
type: Imp
body: ClassAtom
  class predicate: Point
  argument1: p1
body: ClassAtom
  class predicate: Point
  argument1: p2
body: IndividualPropertyAtom
  property predicate: hasCoordinate
  argument1: p1
  argument2: cp1
body: IndividualPropertyAtom
  property predicate: hasCoordinate
  argument1: p2
  argument2: cp2
body: DatavaluedPropertyAtom
  property predicate: hasZ
  argument1: cp1
  argument2: z1
body: DatavaluedPropertyAtom
  property predicate: hasZ
  argument1: cp2
  argument2: z2
body: BuiltinAtom
  builtin: notEqual
  arguments: z1
  arguments: z2
head: DifferentIndividualsAtom
  argument1: p1
  argument2: p2

SegmentLength
is rule enabled: true
type: Imp
body: ClassAtom
  class predicate: Segment
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#s
body: IndividualPropertyAtom
  property predicate: hasVertex
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#s
  argument2: v1
body: IndividualPropertyAtom
  property predicate: hasVertex
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#s
  argument2: v2
body: DifferentIndividualsAtom
  argument1: v1
  argument2: v2
body: IndividualPropertyAtom
  property predicate: hasCoordinate
  argument1: v1
  argument2: v1C
body: IndividualPropertyAtom
  property predicate: hasCoordinate
  argument1: v2
  argument2: v2C
body: DatavaluedPropertyAtom
  property predicate: hasX
  argument1: v1C
  argument2: xv1
body: DatavaluedPropertyAtom
  property predicate: hasY
  argument1: v1C
  argument2: yv1
body: DatavaluedPropertyAtom
  property predicate: hasX
  argument1: v2C
  argument2: xv2
body: DatavaluedPropertyAtom
  property predicate: hasY
  argument1: v2C
  argument2: yv2
body: BuiltinAtom
  builtin: subtract
  arguments: p1
  arguments: xv2
  arguments: xv1
body: BuiltinAtom
  builtin: pow
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#a
  arguments: p1
  arguments: 2.0
body: BuiltinAtom
  builtin: subtract
  arguments: p2
  arguments: yv2
  arguments: yv1
body: BuiltinAtom
  builtin: pow
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#b
  arguments: p2
  arguments: 2.0
body: BuiltinAtom
  builtin: add
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#c
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#a
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#b
body: BuiltinAtom
  builtin: divide
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#e
  arguments: 1.0
  arguments: 2.0
body: BuiltinAtom
  builtin: pow
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#d
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#c
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#e
head: DatavaluedPropertyAtom
  property predicate: hasSegmentLength
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#s
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#d

CellSizeMinValueDefinition
is rule enabled: true
type: Imp
body: ClassAtom
  class predicate: Cell
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
head: DatavaluedPropertyAtom
  property predicate: hasCellSizeMin
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: 10.0

CellSizeMaxValueDefinition
is rule enabled: true
type: Imp
body: ClassAtom
  class predicate: Cell
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
head: DatavaluedPropertyAtom
  property predicate: hasCellSizeMax
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: 30.0

ModelDefinition
is rule enabled: true
comment: Model must be associated to a Solid_Shape and a Mesh
type: Imp
body: ClassAtom
  class predicate: Model
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
body: IndividualPropertyAtom
  property predicate: hasShape
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: IndividualPropertyAtom
  property predicate: hasMesh
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
head: ClassAtom
  class predicate: Solid Shape
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: ClassAtom
  class predicate: Mesh
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#z

ValidOSimulation
is rule enabled: true
type: Imp
body: ClassAtom
  class predicate: OpticalSimulation
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
body: IndividualPropertyAtom
  property predicate: hasModel
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: IndividualPropertyAtom
  property predicate: hasEnvironment
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
body: IndividualPropertyAtom
  property predicate: hasExcitationParameter
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#t
body: IndividualPropertyAtom
  property predicate: hasOutputParameter
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#u
body: DatavaluedPropertyAtom
  property predicate: isValidModel
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: true
body: DatavaluedPropertyAtom
  property predicate: isValidEnvironment
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#z
  argument2: true
body: DatavaluedPropertyAtom
  property predicate: isValidEP
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#t
  argument2: true
body: DatavaluedPropertyAtom
  property predicate: isValidOP
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#u
  argument2: true
head: DatavaluedPropertyAtom
  property predicate: isValidOSimulation
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: true

ValidOSimulation_Bis
is rule enabled: true
type: Imp
body: ClassAtom
  class predicate: OpticalSimulation
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
body: IndividualPropertyAtom
  property predicate: hasModel
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: IndividualPropertyAtom
  property predicate: hasEnvironment
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
body: IndividualPropertyAtom
  property predicate: hasParameter
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#u
body: DatavaluedPropertyAtom
  property predicate: isValidModel
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: true
body: DatavaluedPropertyAtom
  property predicate: isValidEnvironment
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#z
  argument2: true
body: DatavaluedPropertyAtom
  property predicate: isValidParameter
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#u
  argument2: true
head: DatavaluedPropertyAtom
  property predicate: isValidOSimulation
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: true

SolideShape
is rule enabled: true
type: Imp
body: ClassAtom
  class predicate: OpticalSimulation
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
body: IndividualPropertyAtom
  property predicate: hasShape
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: ClassAtom
  class predicate: Solid Shape
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y

PointDifferentOrder
is rule enabled: true
type: Imp
body: ClassAtom
  class predicate: Segment
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
body: ClassAtom
  class predicate: Point
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: ClassAtom
  class predicate: Point
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#z
body: IndividualPropertyAtom
  property predicate: hasPoint
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: IndividualPropertyAtom
  property predicate: hasPoint
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
body: DatavaluedPropertyAtom
  property predicate: hasOrder
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: o1
body: DatavaluedPropertyAtom
  property predicate: hasOrder
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#z
  argument2: o2
head: BuiltinAtom
  builtin: notEqual
  arguments: o1
  arguments: o2

SegNumber2
is rule enabled: true
type: Imp
body: ClassAtom
  class predicate: Shape
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
body: DatavaluedPropertyAtom
  property predicate: hasSegNumber
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: BuiltinAtom
  builtin: greaterThan
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#y
  arguments: 2

ValidShape
is rule enabled: true
comment: Verifies that the used shape is valid
type: Imp
body: ClassAtom
  class predicate: Shape
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
body: DatavaluedPropertyAtom
  property predicate: isValidShape
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: BuiltinAtom
  builtin: booleanNot
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#y
  arguments: false

ValidShape_bis
is rule enabled: true
type: Imp
body: ClassAtom
  class predicate: Shape
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
body: DatavaluedPropertyAtom
  property predicate: isValidShape
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: BuiltinAtom
  builtin: booleanNot
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#y
  arguments: true
head: ClassAtom
  class predicate: InvalidElement
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x

MeshHasCell
is rule enabled: true
comment: hasCell must be defined between a Mesh and a Cell
type: Imp
body: IndividualPropertyAtom
  property predicate: hasCell
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: ClassAtom
  class predicate: Mesh
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
head: ClassAtom
  class predicate: Cell
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y

MeshDefinition
is rule enabled: true
comment: Mesh must be associated to a Cell, a VectorA and a VectorB
type: Imp
body: IndividualPropertyAtom
  property predicate: hasCell
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: IndividualPropertyAtom
  property predicate: hasVectorA
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: vA
body: IndividualPropertyAtom
  property predicate: hasVectorB
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: vB
body: IndividualPropertyAtom
  property predicate: hasVectorC
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: vC
head: ClassAtom
  class predicate: Mesh
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
head: ClassAtom
  class predicate: Cell
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: ClassAtom
  class predicate: Vector
  argument1: vA
head: ClassAtom
  class predicate: Vector
  argument1: vB
head: ClassAtom
  class predicate: Vector
  argument1: vC

ValidMesh
is rule enabled: true
type: Imp
body: IndividualPropertyAtom
  property predicate: hasCell
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: IndividualPropertyAtom
  property predicate: hasVectorA
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: vA
body: IndividualPropertyAtom
  property predicate: hasVectorB
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: vB
body: IndividualPropertyAtom
  property predicate: hasVectorC
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: vC
head: DatavaluedPropertyAtom
  property predicate: isValidMesh
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: true

VectorC_Coordinate_Rectangle
is rule enabled: true
type: Imp
body: IndividualPropertyAtom
  property predicate: hasCell
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: hasCellSize2
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: Rectangle
body: IndividualPropertyAtom
  property predicate: hasCoordinate
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#v
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#p
body: IndividualPropertyAtom
  property predicate: hasVectorC
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#v
head: DatavaluedPropertyAtom
  property predicate: hasY
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: 0.0
head: DatavaluedPropertyAtom
  property predicate: hasZ
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
head: DatavaluedPropertyAtom
  property predicate: hasX
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: 0.0

VectorB_Coordinate_Rectangle
is rule enabled: true
comment: Verify the Coordinate value of the VectorB associated to the Mesh in the case of Rectangle cell type
type: Imp
body: IndividualPropertyAtom
  property predicate: hasCell
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: hasCellSize2
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: Rectangle
body: IndividualPropertyAtom
  property predicate: hasVectorB
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#v
body: IndividualPropertyAtom
  property predicate: hasCoordinate
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#v
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#p
head: DatavaluedPropertyAtom
  property predicate: hasY
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
head: DatavaluedPropertyAtom
  property predicate: hasZ
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: 0.0
head: DatavaluedPropertyAtom
  property predicate: hasX
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: 0.0

VectorA_Coordinate_Cubic
is rule enabled: true
comment: Verify the Coordinate value of the VectoA associated to the Mesh in the case of Cubic cell type
type: Imp
body: IndividualPropertyAtom
  property predicate: hasCell
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: Cubic
body: IndividualPropertyAtom
  property predicate: hasVectorA
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#v
body: DatavaluedPropertyAtom
  property predicate: hasCellSize
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
body: IndividualPropertyAtom
  property predicate: hasCoordinate
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#v
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#p
head: DatavaluedPropertyAtom
  property predicate: hasX
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
head: DatavaluedPropertyAtom
  property predicate: hasY
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: 0.0
head: DatavaluedPropertyAtom
  property predicate: hasZ
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: 0.0

VectorB_Coordinate_Cubic
is rule enabled: true
type: Imp
body: IndividualPropertyAtom
  property predicate: hasCell
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: Cubic
body: IndividualPropertyAtom
  property predicate: hasVectorB
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#v
body: DatavaluedPropertyAtom
  property predicate: hasCellSize
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
body: IndividualPropertyAtom
  property predicate: hasCoordinate
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#v
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#p
head: DatavaluedPropertyAtom
  property predicate: hasY
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
head: DatavaluedPropertyAtom
  property predicate: hasZ
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: 0.0
head: DatavaluedPropertyAtom
  property predicate: hasX
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: 0.0

VectorC_Coordinate_Cubic
is rule enabled: true
type: Imp
body: IndividualPropertyAtom
  property predicate: hasCell
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: Cubic
body: DatavaluedPropertyAtom
  property predicate: hasCellSize
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
body: IndividualPropertyAtom
  property predicate: hasCoordinate
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#v
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#p
body: IndividualPropertyAtom
  property predicate: hasVectorC
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#v
head: DatavaluedPropertyAtom
  property predicate: hasY
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: 0.0
head: DatavaluedPropertyAtom
  property predicate: hasZ
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
head: DatavaluedPropertyAtom
  property predicate: hasX
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: 0.0

VectorA_Coordinate_HexaH
is rule enabled: true
comment: ?xval = CellSize * sqrt(3)/2, ?yval = CellSize/2, CellSize = ?z, ?xval = ?z * ?c, ?c = ?b/2, ?b= 3^a, ?a= 1/2
type: Imp
body: IndividualPropertyAtom
  property predicate: hasCell
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: HexaH
body: IndividualPropertyAtom
  property predicate: hasVectorA
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#v
body: DatavaluedPropertyAtom
  property predicate: hasCellSize
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
body: IndividualPropertyAtom
  property predicate: hasCoordinate
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#v
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#p
body: BuiltinAtom
  builtin: divide
  arguments: yval
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#z
  arguments: 2
body: BuiltinAtom
  builtin: divide
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#a
  arguments: 1.0
  arguments: 2.0
body: BuiltinAtom
  builtin: pow
  arguments:
    first: https://ontology.dalhai.webapp.ciad-lab.fr#b
    rest:
      first: 3.0
      rest: https://ontology.dalhai.webapp.ciad-lab.fr#a
body: BuiltinAtom
  builtin: divide
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#c
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#b
  arguments: 2.0
body: BuiltinAtom
  builtin: multiply
  arguments: xval
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#z
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#c
head: DatavaluedPropertyAtom
  property predicate: hasX
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: xval
head: DatavaluedPropertyAtom
  property predicate: hasY
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: yval
head: DatavaluedPropertyAtom
  property predicate: hasZ
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: 0.0

VectorB_Coordinate_HexaH
is rule enabled: true
type: Imp
body: IndividualPropertyAtom
  property predicate: hasCell
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: HexaH
body: IndividualPropertyAtom
  property predicate: hasVectorB
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#v
body: DatavaluedPropertyAtom
  property predicate: hasCellSize
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
body: IndividualPropertyAtom
  property predicate: hasCoordinate
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#v
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#p
head: DatavaluedPropertyAtom
  property predicate: hasX
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: 0.0
head: DatavaluedPropertyAtom
  property predicate: hasY
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
head: DatavaluedPropertyAtom
  property predicate: hasZ
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: 0.0

VectorC_Coordinate_HexaH
is rule enabled: true
comment: ?xval = CellSize/(2*sqrt(3)), ?yval = CellSize/2, ?zval = CellSize * sqrt(2/3), Cellsize = ?z, ?xval = ?z/?c, ?c = ?b* 2, ?b = 3^?a, ?a = 1/2; ?zval = ?z * ?e, ?e = ?d^?a, ?d =2/3, ?a = 1/2
type: Imp
body: IndividualPropertyAtom
  property predicate: hasCell
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: HexaH
body: IndividualPropertyAtom
  property predicate: hasVectorC
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#v
body: DatavaluedPropertyAtom
  property predicate: hasCellSize
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
body: IndividualPropertyAtom
  property predicate: hasCoordinate
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#v
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#p
body: BuiltinAtom
  builtin: divide
  arguments: yval
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#z
  arguments: 2
body: BuiltinAtom
  builtin: divide
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#a
  arguments: 1.0
  arguments: 2.0
body: BuiltinAtom
  builtin: pow
  arguments:
    first: https://ontology.dalhai.webapp.ciad-lab.fr#b
    rest:
      first: 3.0
      rest: https://ontology.dalhai.webapp.ciad-lab.fr#a
body: BuiltinAtom
  builtin: multiply
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#c
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#b
  arguments: 2.0
body: BuiltinAtom
  builtin: divide
  arguments: xval
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#z
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#c
body: BuiltinAtom
  builtin: divide
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#d
  arguments: 2.0
  arguments: 3.0
body: BuiltinAtom
  builtin: pow
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#e
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#d
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#a
body: BuiltinAtom
  builtin: multiply
  arguments: zval
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#z
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#e
head: DatavaluedPropertyAtom
  property predicate: hasX
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: xval
head: DatavaluedPropertyAtom
  property predicate: hasY
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: yval
head: DatavaluedPropertyAtom
  property predicate: hasZ
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: zval

VectorA_Coordinate_HexaV
is rule enabled: true
type: Imp
body: IndividualPropertyAtom
  property predicate: hasCell
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: HexaV
body: IndividualPropertyAtom
  property predicate: hasVectorA
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#v
body: DatavaluedPropertyAtom
  property predicate: hasCellSize
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
body: IndividualPropertyAtom
  property predicate: hasCoordinate
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#v
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#p
head: DatavaluedPropertyAtom
  property predicate: hasX
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
head: DatavaluedPropertyAtom
  property predicate: hasY
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: 0.0
head: DatavaluedPropertyAtom
  property predicate: hasZ
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: 0.0

VectoB_Coordinate_HexaV
is rule enabled: true
type: Imp
body: IndividualPropertyAtom
  property predicate: hasCell
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: HexaV
body: IndividualPropertyAtom
  property predicate: hasVectorB
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#v
body: DatavaluedPropertyAtom
  property predicate: hasCellSize
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
body: IndividualPropertyAtom
  property predicate: hasCoordinate
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#v
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#p
body: BuiltinAtom
  builtin: divide
  arguments: xval
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#z
  arguments: 2
body: BuiltinAtom
  builtin: divide
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#a
  arguments: 1.0
  arguments: 2.0
body: BuiltinAtom
  builtin: pow
  arguments:
    first: https://ontology.dalhai.webapp.ciad-lab.fr#b
    rest:
      first: 3.0
      rest: https://ontology.dalhai.webapp.ciad-lab.fr#a
body: BuiltinAtom
  builtin: divide
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#c
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#b
  arguments: 2.0
body: BuiltinAtom
  builtin: multiply
  arguments: yval
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#z
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#c
head: DatavaluedPropertyAtom
  property predicate: hasX
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: xval
head: DatavaluedPropertyAtom
  property predicate: hasY
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: yval
head: DatavaluedPropertyAtom
  property predicate: hasZ
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: 0.0

VectoC_Coordinate_HexaV
is rule enabled: true
type: Imp
body: IndividualPropertyAtom
  property predicate: hasCell
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: HexaV
body: IndividualPropertyAtom
  property predicate: hasVectorC
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#v
body: DatavaluedPropertyAtom
  property predicate: hasCellSize
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
body: IndividualPropertyAtom
  property predicate: hasCoordinate
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#v
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#p
body: BuiltinAtom
  builtin: divide
  arguments: xval
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#z
  arguments: 2.0
body: BuiltinAtom
  builtin: divide
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#a
  arguments: 1.0
  arguments: 2.0
body: BuiltinAtom
  builtin: pow
  arguments:
    first: https://ontology.dalhai.webapp.ciad-lab.fr#b
    rest:
      first: 3.0
      rest: https://ontology.dalhai.webapp.ciad-lab.fr#a
body: BuiltinAtom
  builtin: multiply
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#c
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#b
  arguments: 2.0
body: BuiltinAtom
  builtin: divide
  arguments: yval
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#z
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#c
body: BuiltinAtom
  builtin: divide
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#d
  arguments: 2.0
  arguments: 3.0
body: BuiltinAtom
  builtin: pow
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#e
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#d
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#a
body: BuiltinAtom
  builtin: multiply
  arguments: zval
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#z
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#d
head: DatavaluedPropertyAtom
  property predicate: hasX
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: xval
head: DatavaluedPropertyAtom
  property predicate: hasY
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: yval
head: DatavaluedPropertyAtom
  property predicate: hasZ
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: zval

VectorA_Coordinate_Rectangle
is rule enabled: true
comment: Verify the Coordinate value of the VectoA associated to the Mesh in the case of Rectangle cell type
type: Imp
body: IndividualPropertyAtom
  property predicate: hasCell
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: Rectangle
body: IndividualPropertyAtom
  property predicate: hasVectorA
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#v
body: DatavaluedPropertyAtom
  property predicate: hasCellSize
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
body: IndividualPropertyAtom
  property predicate: hasCoordinate
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#v
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#p
head: DatavaluedPropertyAtom
  property predicate: hasX
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
head: DatavaluedPropertyAtom
  property predicate: hasY
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: 0.0
head: DatavaluedPropertyAtom
  property predicate: hasZ
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument2: 0.0

VectorDefinition
is rule enabled: true
comment: hasCoordinate must be defined between a Vector and a Coordinate
type: Imp
body: IndividualPropertyAtom
  property predicate: hasCoordinate
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: ClassAtom
  class predicate: Vector
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
head: ClassAtom
  class predicate: Coordinate
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y

OSHasEnvironment
is rule enabled: true
type: Imp
body: IndividualPropertyAtom
  property predicate: hasEnvironment
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: ClassAtom
  class predicate: OpticalSimulation
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
head: ClassAtom
  class predicate: Environment
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y

OSHasEP
is rule enabled: true
type: Imp
body: IndividualPropertyAtom
  property predicate: hasExcitationParameter
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: ClassAtom
  class predicate: OpticalSimulation
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
head: ClassAtom
  class predicate: ExcitationParameter
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y

ModelHasMesh
is rule enabled: true
comment: hasMesh must be defined between a Model and a Mesh
type: Imp
body: IndividualPropertyAtom
  property predicate: hasMesh
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: ClassAtom
  class predicate: Model
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
head: ClassAtom
  class predicate: Mesh
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y

ValidModel
is rule enabled: true
type: Imp
body: IndividualPropertyAtom
  property predicate: hasMesh
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: IndividualPropertyAtom
  property predicate: hasShape
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
body: DatavaluedPropertyAtom
  property predicate: isValidMesh
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: true
body: DatavaluedPropertyAtom
  property predicate: isValidShape
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#z
  argument2: true
head: DatavaluedPropertyAtom
  property predicate: isValidModel
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: true

ValidModel_Mesh
is rule enabled: true
type: Imp
body: IndividualPropertyAtom
  property predicate: hasMesh
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: isValidMesh
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: false
head: DatavaluedPropertyAtom
  property predicate: isValidModel
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: false

OSHasModel
is rule enabled: true
type: Imp
body: IndividualPropertyAtom
  property predicate: hasModel
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: ClassAtom
  class predicate: OpticalSimulation
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
head: ClassAtom
  class predicate: Model
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y

OpticalSimulationDefinition
is rule enabled: true
type: Imp
body: IndividualPropertyAtom
  property predicate: hasModel
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: IndividualPropertyAtom
  property predicate: hasEnvironment
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
body: IndividualPropertyAtom
  property predicate: hasExcitationParameter
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#t
body: IndividualPropertyAtom
  property predicate: hasOutputParameter
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#u
head: ClassAtom
  class predicate: OpticalSimulation
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x

ValidOSimulation_Env
is rule enabled: true
type: Imp
body: IndividualPropertyAtom
  property predicate: hasModel
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: isValidEnvironment
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: false
head: DatavaluedPropertyAtom
  property predicate: isValidOSimulation
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: false

ValidOSimulation_Model
is rule enabled: true
type: Imp
body: IndividualPropertyAtom
  property predicate: hasModel
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: isValidModel
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: false
head: DatavaluedPropertyAtom
  property predicate: isValidOSimulation
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: false

OSHasOP
is rule enabled: true
type: Imp
body: IndividualPropertyAtom
  property predicate: hasOutputParameter
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: ClassAtom
  class predicate: OpticalSimulation
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
head: ClassAtom
  class predicate: OutputParameter
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y

ValidOSimulation_Parameters
is rule enabled: true
type: Imp
body: IndividualPropertyAtom
  property predicate: hasParameter
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: isValidParameter
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: false
head: DatavaluedPropertyAtom
  property predicate: isValidOSimulation
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: false

ValidPolygon
is rule enabled: true
type: Imp
body: IndividualPropertyAtom
  property predicate: hasSegment
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: isValidSegment
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: false
head: DatavaluedPropertyAtom
  property predicate: isValidPolygon
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: false

ModelHasSolidShape
is rule enabled: true
comment: Model must has a Solid_Shape
type: Imp
body: IndividualPropertyAtom
  property predicate: hasShape
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: ClassAtom
  class predicate: Model
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
head: ClassAtom
  class predicate: Solid Shape
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y

ValidModel_Shape
is rule enabled: true
type: Imp
body: IndividualPropertyAtom
  property predicate: hasShape
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: isValidShape
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument2: false
head: DatavaluedPropertyAtom
  property predicate: isValidModel
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: false

MeshHasVectorA
is rule enabled: true
comment: hasVectorA must be defined between a Mesh and a Vector
type: Imp
body: IndividualPropertyAtom
  property predicate: hasVectorA
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: ClassAtom
  class predicate: Mesh
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
head: ClassAtom
  class predicate: Vector
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y

MeshHasVectorB
is rule enabled: true
comment: hasVectorB must be defined between a Mesh and a Vector
type: Imp
body: IndividualPropertyAtom
  property predicate: hasVectorB
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: ClassAtom
  class predicate: Mesh
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
head: ClassAtom
  class predicate: Vector
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y

MeshHasVectorC
is rule enabled: true
type: Imp
body: IndividualPropertyAtom
  property predicate: hasVectorC
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: ClassAtom
  class predicate: Mesh
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
head: ClassAtom
  class predicate: Vector
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y

GlobalCellSizeDefinition
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellSize1
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
head: DatavaluedPropertyAtom
  property predicate: hasCellSize
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a

CellType_Rectangle
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellSize1
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#a
body: DatavaluedPropertyAtom
  property predicate: hasCellSize2
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#b
body: DatavaluedPropertyAtom
  property predicate: hasCellSize3
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#c
body: BuiltinAtom
  builtin: equal
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#a
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#c
body: BuiltinAtom
  builtin: notEqual
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#a
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#b
head: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: Rectangle

CellDefinition_CellSize1
is rule enabled: true
comment: hasCellSize1 must be defined on a Cell
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellSize1
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: ClassAtom
  class predicate: Cell
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x

CellDefinition
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellSize1
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: hasCellSize2
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
body: DatavaluedPropertyAtom
  property predicate: hasCellSize3
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#t
body: DatavaluedPropertyAtom
  property predicate: hasCellSizeMax
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: max
body: DatavaluedPropertyAtom
  property predicate: hasCellSizeMin
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: min
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#u
head: ClassAtom
  class predicate: Cell
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x

CellSize1_Max
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellSize1
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: hasCellSizeMax
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
head: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#y
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#z

CellSize1_Min
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellSize1
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: hasCellSizeMin
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
head: BuiltinAtom
  builtin: greaterThanOrEqual
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#y
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#z

CellDefinition_CellSize2
is rule enabled: true
comment: hasCellSize2 must be defined on a Cell
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellSize2
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: ClassAtom
  class predicate: Cell
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x

CellSize2_Max
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellSize2
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: hasCellSizeMax
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
head: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#y
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#z

CellSize2_Min
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellSize2
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: hasCellSizeMin
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
head: BuiltinAtom
  builtin: greaterThanOrEqual
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#y
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#z

CellDefinition_CellSize3
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellSize3
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: ClassAtom
  class predicate: Cell
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x

CellSize3_Max
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellSize3
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: hasCellSizeMax
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
head: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#y
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#z

CellSize3_Min
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellSize3
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: hasCellSizeMin
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
head: BuiltinAtom
  builtin: greaterThanOrEqual
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#y
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#z

CellDefinition_CellSizeMax
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellSizeMax
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: ClassAtom
  class predicate: Cell
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x

CellSizeMaxValue
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellSizeMax
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: BuiltinAtom
  builtin: equal
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#y
  arguments: 30.0

CellDefinition_CellSizeMin
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellSizeMin
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: ClassAtom
  class predicate: Cell
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x

CellSizeMinValue
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellSizeMin
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: BuiltinAtom
  builtin: equal
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#y
  arguments: 10.0

CellDefinition_CellType
is rule enabled: true
comment: hasCellType must be defined on a Cell
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasCellType
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
head: ClassAtom
  class predicate: Cell
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x

SegNumber1
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasSegNumber
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: BuiltinAtom
  builtin: greaterThan
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#y
  arguments: 2
head: ClassAtom
  class predicate: Shape
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x

SegmentLength_Min
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasSegmentLength
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: hasMinSegmentLength
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
head: BuiltinAtom
  builtin: greaterThanOrEqual
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#y
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#z

ValidSegment
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasSegmentLength
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
body: DatavaluedPropertyAtom
  property predicate: hasMinSegmentLength
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
body: BuiltinAtom
  builtin: lessThan
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#y
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#z
head: DatavaluedPropertyAtom
  property predicate: isValidSegment
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  argument2: false