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
  with restrictions:
    min inclusive: 10.0
  with restrictions:
    max inclusive: 30.0
  on datatype: float
comment: The size of a cell (h parameter).

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

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

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
  with restrictions:
    min inclusive: 0.0
  with restrictions:
    max inclusive: 170.0
  on datatype: float

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

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 data range: float
  qualified cardinality: 1
  on property: hasCellSize1
subclass of: Restriction
  on data range: float
  qualified cardinality: 1
  on property: hasCellSize2
subclass of: Restriction
  on data range: float
  qualified cardinality: 1
  on property: hasCellSize3
subclass of: Restriction
  on data range: float
  qualified cardinality: 1
  on property: hasCellSizeMax
subclass of: Restriction
  on data range: float
  qualified cardinality: 1
  on property: hasCellSizeMin
subclass of: Restriction
  on data range: CellType
  qualified cardinality: 1
  on property: hasCellType
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 data range: float
  qualified cardinality: 1
  on property: hasX
subclass of: Restriction
  on data range: float
  qualified cardinality: 1
  on property: hasY
subclass of: Restriction
  on data range: float
  qualified cardinality: 1
  on property: hasZ
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 class: Phase
    min qualified cardinality: 1
    on property: hasPhase
  intersection of: Restriction
    on class: Phase
    max qualified cardinality: 2
    on property: hasPhase
subclass of: Class
  intersection of: Restriction
    on class: Polarization
    min qualified cardinality: 1
    on property: hasPolarization
  intersection of: Restriction
    on class: Polarization
    max qualified cardinality: 2
    on property: hasPolarization
subclass of: Class
  intersection of: Restriction
    on class: WaveLength
    min qualified cardinality: 1
    on property: hasWaveLength
  intersection of: Restriction
    on class: WaveLength
    max qualified cardinality: 2
    on property: hasWaveLength
subclass of: Restriction
  on class: Intensity
  qualified cardinality: 1
  on property: hasIntensity
subclass of: Restriction
  on class: Waist
  qualified cardinality: 1
  on property: hasWaist

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

Mesh
type: Class
subclass of: Restriction
  on class: Cell
  qualified cardinality: 1
  on property: hasCell
subclass of: Restriction
  on class: Vector
  qualified cardinality: 1
  on property: hasVectorA
subclass of: Restriction
  on class: Vector
  qualified cardinality: 1
  on property: hasVectorB
subclass of: Restriction
  on class: Vector
  qualified cardinality: 1
  on property: hasVectorC
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 class: Mesh
  qualified cardinality: 1
  on property: hasMesh
subclass of: Restriction
  on class: Solid Shape
  qualified cardinality: 1
  on property: hasShape
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 class: Environment
    qualified cardinality: 1
    on property: hasEnvironment
  intersection of: Restriction
    on class: ExcitationParameter
    qualified cardinality: 1
    on property: hasExcitationParameter
  intersection of: Restriction
    on class: Model
    qualified cardinality: 1
    on property: hasModel
  intersection of: Restriction
    on class: OutputParameter
    qualified cardinality: 1
    on property: hasOutputParameter
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
  some values from: Segment
  on property: hasSegment
subclass of: Restriction
  on data range: integer
  min qualified cardinality: 3
  on property: hasSegNumber
comment: At least one of the segments must have a length (hasLength) >= hasValMin defined in shape

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

Shape
type: Class
subclass of: Restriction
  on data range: boolean
  qualified cardinality: 1
  on property: isValidShape
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
  some values from: Empty Shape
  on property: hasHole
subclass of: Restriction
  all values from: MatterType
  on property: hasMatter
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 class: Coordinate
  qualified cardinality: 1
  on property: hasCoordinate
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
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  property predicate: hasX
head: ClassAtom
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  class predicate: Coordinate

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  property predicate: hasCell
body: DatavaluedPropertyAtom
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  property predicate: hasCellSize2
body: DatavaluedPropertyAtom
  argument2: Rectangle
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  property predicate: hasCellType
body: IndividualPropertyAtom
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#v
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  property predicate: hasVectorB
body: IndividualPropertyAtom
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#v
  property predicate: hasCoordinate
head: DatavaluedPropertyAtom
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  property predicate: hasY
head: DatavaluedPropertyAtom
  argument2: 0.0
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  property predicate: hasZ
head: DatavaluedPropertyAtom
  argument2: 0.0
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  property predicate: hasX

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
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  property predicate: hasCell
body: DatavaluedPropertyAtom
  argument2: Cubic
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  property predicate: hasCellType
body: IndividualPropertyAtom
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#v
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  property predicate: hasVectorA
body: DatavaluedPropertyAtom
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  property predicate: hasCellSize
body: IndividualPropertyAtom
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#v
  property predicate: hasCoordinate
head: DatavaluedPropertyAtom
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  property predicate: hasX
head: DatavaluedPropertyAtom
  argument2: 0.0
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  property predicate: hasY
head: DatavaluedPropertyAtom
  argument2: 0.0
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  property predicate: hasZ

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

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

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
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  property predicate: hasCell
body: DatavaluedPropertyAtom
  argument2: HexaH
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  property predicate: hasCellType
body: IndividualPropertyAtom
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#v
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  property predicate: hasVectorA
body: DatavaluedPropertyAtom
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  property predicate: hasCellSize
body: IndividualPropertyAtom
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#v
  property predicate: hasCoordinate
body: BuiltinAtom
  arguments: yval
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#z
  arguments: 2
  builtin: divide
body: BuiltinAtom
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#a
  arguments: 1.0
  arguments: 2.0
  builtin: divide
body: BuiltinAtom
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#b
  arguments: 3.0
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#a
  builtin: pow
body: BuiltinAtom
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#c
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#b
  arguments: 2.0
  builtin: divide
body: BuiltinAtom
  arguments: xval
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#z
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#c
  builtin: multiply
head: DatavaluedPropertyAtom
  argument2: xval
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  property predicate: hasX
head: DatavaluedPropertyAtom
  argument2: yval
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  property predicate: hasY
head: DatavaluedPropertyAtom
  argument2: 0.0
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  property predicate: hasZ

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

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
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  property predicate: hasCell
body: DatavaluedPropertyAtom
  argument2: HexaH
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  property predicate: hasCellType
body: IndividualPropertyAtom
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#v
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  property predicate: hasVectorC
body: DatavaluedPropertyAtom
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  property predicate: hasCellSize
body: IndividualPropertyAtom
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#v
  property predicate: hasCoordinate
body: BuiltinAtom
  arguments: yval
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#z
  arguments: 2
  builtin: divide
body: BuiltinAtom
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#a
  arguments: 1.0
  arguments: 2.0
  builtin: divide
body: BuiltinAtom
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#b
  arguments: 3.0
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#a
  builtin: pow
body: BuiltinAtom
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#c
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#b
  arguments: 2.0
  builtin: multiply
body: BuiltinAtom
  arguments: xval
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#z
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#c
  builtin: divide
body: BuiltinAtom
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#d
  arguments: 2.0
  arguments: 3.0
  builtin: divide
body: BuiltinAtom
  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
  builtin: pow
body: BuiltinAtom
  arguments: zval
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#z
  arguments: https://ontology.dalhai.webapp.ciad-lab.fr#e
  builtin: multiply
head: DatavaluedPropertyAtom
  argument2: xval
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  property predicate: hasX
head: DatavaluedPropertyAtom
  argument2: yval
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  property predicate: hasY
head: DatavaluedPropertyAtom
  argument2: zval
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  property predicate: hasZ

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

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

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

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
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#y
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  property predicate: hasCell
body: DatavaluedPropertyAtom
  argument2: Rectangle
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  property predicate: hasCellType
body: IndividualPropertyAtom
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#v
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#x
  property predicate: hasVectorA
body: DatavaluedPropertyAtom
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#y
  property predicate: hasCellSize
body: IndividualPropertyAtom
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#p
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#v
  property predicate: hasCoordinate
head: DatavaluedPropertyAtom
  argument2: https://ontology.dalhai.webapp.ciad-lab.fr#z
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  property predicate: hasX
head: DatavaluedPropertyAtom
  argument2: 0.0
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  property predicate: hasY
head: DatavaluedPropertyAtom
  argument2: 0.0
  argument1: https://ontology.dalhai.webapp.ciad-lab.fr#p
  property predicate: hasZ

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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