is segment of
domain: Segment
range: Discretized Line
type: ObjectProperty
comment: Inverse of hasSegment

Slip System
type: Class
comment: A slip system is defined as the set of slip planes with the same unit normal vector and the same slip direction.
subclass of: Class
  intersection of: Restriction
    on property: has slip direction
    some values from: Slip Direction
  intersection of: Restriction
    all values from: Slip Direction
    on property: has slip direction
subclass of: Class
  intersection of: Restriction
    on property: has slip plane normal
    some values from: Slip Plane Normal
  intersection of: Restriction
    all values from: Slip Plane Normal
    on property: has slip plane normal

Family of Crystal Direction
type: Class
subclass of: Restriction
  on data range: string
  qualified cardinality: 1
  on property: family direction miller indice
comment: A set of symmetrically equivalent directions in the lattice.
disjoint with: Family of Crystal Plane

Vector Origin
type: Class
subclass of: Point
comment: A fixed point that is needed by the vector to identify other points in the space relative to its origin.
label: Ursprung @de

observed by
comment: observedBy represents the relationship between dislocation and microscopy techniques, e.g., TEM, FIM, etc.
domain: Dislocation
type: ObjectProperty
range: Class
  union of: Field Ion Microscopy
  union of: Transmission Electron Microscopy

Dislocation Ontology
contributor: Said Fathalla
creator: Ahmad Zainul Ihsan
license: http://creativecommons.org/licenses/by/3.0/
preferred namespace prefix: DISO
created: 21.03.2022
contributor: Stefan Sandfeld
type: Ontology
version info: 1.0

has slip plane normal
range: Slip Plane Normal
comment: hasSlipPlaneNormal represents the relationship between a slip plane or slip system with slip plane normal.
domain: Class
  union of: Slip Plane
  union of: Slip System
type: ObjectProperty

Discretized Line
disjoint with: Line
subclass of: Restriction
  on property: slipArea
  qualified cardinality: 1
  on data range: double
type: Class
subclass of: Restriction
  on property: has shape function
  all values from: Shape Function
comment: The numerical representation of the dislocation line that is discretized into the number of segments.
subclass of: Restriction
  all values from: Segment
  on property: has segment

Dislocation
subclass of: Restriction
  some values from: Field Ion Microscopy
  on property: observed by
subclass of: Restriction
  on property: results in
  some values from: Lattice Displacement
subclass of: Restriction
  on property: observed by
  some values from: Transmission Electron Microscopy
type: Class
subclass of: Restriction
  on property: has mathematical representation
  some values from: Line
subclass of: Class
  intersection of: Restriction
    some values from: Line Sense
    on property: has line sense
  intersection of: Restriction
    on property: has line sense
    all values from: Line Sense
subclass of: Line Defect
subclass of: Restriction
  on property: moves on
  some values from: Slip Plane
subclass of: Class
  intersection of: Restriction
    on property: has Burgers vector
    some values from: Burgers Vector
  intersection of: Restriction
    on property: has Burgers vector
    all values from: Burgers Vector
comment: Linear or one-dimensional defect around which some of the atoms are misaligned. In the mesoscale, a dislocation is a line object that is a boundary separating the regions on the slip plane which have undergone slip from those that have not.
comment: The presence of dislocation introduces local disturbance of the atomic-level geometry.
label: Versetzung @de

Edge Dislocation
type: Class
comment: A dislocation that has a line sense perpendicular to its Burgers vector.
disjoint with: Screw Dislocation
subclass of: Dislocation

Shape Function
type: Class
comment: The shape function is the function that interpolates the solution between the discrete values obtained at the mesh nodes. In discretized dislocation, the shape function determines the shape of a segment and ultimately determines the shape of the line. Examples of shape function that is used to discretize the dislocation are circular, elliptic, spiral, linear, cubic, and quintic.

has lattice direction
type: ObjectProperty
domain: Class
  union of: Lattice
  union of: Lattice Plane
comment: hasLatticeDirection represents the relationship between a lattice or a lattice plane with lattice directions.
range: Lattice Direction

Line
type: Class
comment: Mathematical representation of dislocation as 'Line'. An instance of mathematical representation of a dislocation line is an oriented curve parameterized by its arc length.
subclass of: Restriction
  on property: has numerical representation
  some values from: Discretized Line
disjoint with: Node

Node
comment: A point of a segment.
disjoint with: Segment
type: Class
subclass of: Point

moves on
range: Slip Plane
comment: movesOn represents the relationship between dislocation and slip plane.
domain: Dislocation
type: ObjectProperty

Segment
comment: The segment is a part of a line bounded by two distinct end points and may contain points on the line between its endpoints.
subclass of: Restriction
  on property: is segment of
  all values from: Discretized Line
subclass of: Restriction
  on property: has start node
  all values from: Node
subclass of: Restriction
  all values from: Node
  on property: has end node
type: Class

Vector
type: Class
defintion: (Euclidean) vector used to represent quantities that both magnitude and direction.
subclass of: Class
  intersection of: Restriction
    on property: hasVectorComponent
    some values from: Vector Component of Basis
  intersection of: Restriction
    all values from: Vector Component of Basis
    on property: hasVectorComponent
subclass of: Restriction
  on data range: double
  on property: vectorMagnitude
  qualified cardinality: 1
comment: (Euclidean) vector is used to represent quantities that both magnitude and direction.

Quantity Kind
type: Class
description: A Quantity Kind is any observable property that can be measured and quantified numerically. Familiar examples include physical properties such as length, mass, time, force, energy, power, electric charge, etc. Less familiar examples include currency, interest rate, price to earning ratio, and information capacity.

Quantity
type: Class
subclass of: Restriction
  all values from: Quantity Kind
  on property: hasQuantityKind
description: A quantity is the measurement of an observable property of a particular object, event, or physical system. A quantity is always associated with the context of measurement (i.e. the thing measured, the measured value, the accuracy of measurement, etc.) whereas the underlying quantity kind is independent of any particular measurement. Thus, length is a quantity kind while the height of a rocket is a specific quantity of length; its magnitude that may be expressed in meters, feet, inches, etc. Examples of physical quantities include physical constants, such as the speed of light in a vacuum, Planck's constant, the electric permittivity of free space, and the fine structure constant. In other words, quantities are quantifiable aspects of the world, such as time, distance, velocity, mass, momentum, energy, and weight, and units are used to describe their measure. Many of which are related to each other by various physical laws, and as a result the units of some of the quantities can be expressed as products (or ratios) of powers of other units (e.g., momentum is mass times velocity and velocity is measured in distance divided by time). These relationships are discussed in dimensional analysis. Those that cannot be so expressed can be regarded as "fundamental" in this sense. A quantity is distinguished from a "quantity kind" in that the former carries a value and the latter is a type specifier.
subclass of: Restriction
  on property: quantityValue
  all values from: Quantity value

slipArea
domain: Discretized Line
comment: slipArea represents the slip area of discretized line in double.
range: double
type: DatatypeProperty

has representation
comment: hasRepresentation relates the entity to another representation of entity.
range: Class
  union of: Discretized Line
  union of: Line
type: ObjectProperty
domain: Thing

has vector origin
comment: hasVectorOrigin represents the relationship between lattice plane and origin.
domain: Lattice Plane
range: Vector Origin
type: ObjectProperty

has end node
type: ObjectProperty
domain: Segment
comment: Sub-property of hasNode that relates the segment with the end node.
sub property of: has node
range: Node

has segment
domain: Discretized Line
range: Segment
type: ObjectProperty
comment: hasSegment represents the relationship between discretized line and segment.
inverse of: is segment of

Crystal Structure
type: Class
comment: A crystal structure is described by the lattice geometry and atomic arrangements within the unit cell.
subclass of: Class
  intersection of: Restriction
    some values from: Slip System
    on property: has slip system
  intersection of: Restriction
    on property: has slip system
    all values from: Slip System
subclass of: Class
  intersection of: Restriction
    on property: has slip plane
    some values from: Slip Plane
  intersection of: Restriction
    all values from: Slip Plane
    on property: has slip plane

has slip system
domain: Crystal Structure
comment: hasSlipSystem represents the relationship between a crystal structure and slip system.
type: ObjectProperty
range: Slip System

direction miller indice
type: DatatypeProperty
comment: directionMillerIndice represents Miller indice of lattice direction in string.
range: string
domain: Class
  union of: Lattice Direction
  union of: Slip Plane Normal

has shape function
comment: hasShapeFunction represents the relationship between discretized line and shape function.
range: Shape Function
domain: Discretized Line
type: ObjectProperty

has node
domain: Segment
range: Node
comment: hasNode represents the relationship between segment and node.
type: ObjectProperty

Lattice Plane
subclass of: Class
  intersection of: Restriction
    on property: has lattice point
    some values from: Lattice Point
  intersection of: Restriction
    on property: has lattice point
    all values from: Lattice Point
subclass of: Restriction
  on property: has vector origin
  all values from: Vector Origin
subclass of: Family of Crystal Plane
subclass of: Restriction
  on data range: string
  qualified cardinality: 1
  on property: plane miller indice
type: Class
subclass of: Class
  intersection of: Restriction
    some values from: Lattice Direction
    on property: has lattice direction
  intersection of: Restriction
    all values from: Lattice Direction
    on property: has lattice direction
comment: The lattice plane forms an infinitely stretched plane (characterized through a plane normal) that cuts through lattice points such that, again, a regular arrangement of lattice points in the plane occurs.

Lattice Point
type: Class
comment: Lattice point is the point where atom(s) or molecule(s) is located.
subclass of: Point

Lattice
subclass of: Class
  intersection of: Restriction
    some values from: Lattice Direction
    on property: has lattice direction
  intersection of: Restriction
    all values from: Lattice Direction
    on property: has lattice direction
type: Class
comment: The mathematical concept to represent the periodicity of a crystal. A lattice defines a periodic arrangement of one or more atoms.
subclass of: Class
  intersection of: Restriction
    on property: has lattice plane
    some values from: Lattice Plane
  intersection of: Restriction
    on property: has lattice direction
    all values from: Lattice Direction
subclass of: Class
  intersection of: Restriction
    on property: has lattice point
    some values from: Lattice Point
  intersection of: Restriction
    all values from: Lattice Point
    on property: has lattice point

has lattice plane
domain: Class
  union of: Crystal Structure
  union of: Lattice
range: Lattice Plane
comment: hasLatticePlane represents the relationship between a lattice and lattice planes.
type: ObjectProperty

Quantity value
type: Class
description: A Quantity Value expresses the magnitude and kind of a quantity and is given by the product of a numerical value n and a unit of measure U. The number multiplying the unit is referred to as the numerical value of the quantity expressed in that unit. Refer to NIST SP 811 section 7 for more on quantity values.
subclass of: Restriction
  on property: unit
  all values from: Unit

Field Ion Microscopy
type: Class
disjoint with: Transmission Electron Microscopy
comment: Field Ion Microscopy (FIM) is a microscopy technique that can be used to image the arrangement of atoms.

Lattice Displacement
type: Class
comment: The displacement of atoms from their perfect lattice sites due to the existence of defects, e.g., point defect, line defect, and grain boundary.

Family of Crystal Plane
subclass of: Restriction
  on data range: string
  qualified cardinality: 1
  on property: family plane miller indice
comment: A set of symmetrically equivalent planes in the lattice.
type: Class

has Burgers vector
range: Burgers Vector
comment: hasBurgersVector represents the relationship between dislocation to Burgers vector.
domain: Dislocation
type: ObjectProperty

Position Vector
type: Class
comment: Euclidean vector that represents the position of a point P in space in relation to an arbitrary reference origin O.
subclass of: Vector

family plane miller indice
comment: familyPlaneMillerIndice represents a set of Miller indice of lattice plane in string.
type: DatatypeProperty
domain: Family of Crystal Plane
range: string

Slip Plane Normal
subclass of: Vector
type: Class
subclass of: Restriction
  on data range: string
  qualified cardinality: 1
  on property: direction miller indice
comment: The unit normal vector of slip planes.

Slip Plane
subclass of: Class
  intersection of: Restriction
    on property: has slip direction
    some values from: Slip Direction
  intersection of: Restriction
    all values from: Slip Direction
    on property: has slip direction
subclass of: Class
  intersection of: Restriction
    on property: has slip plane normal
    some values from: Slip Plane Normal
  intersection of: Restriction
    all values from: Slip Plane Normal
    on property: has slip plane normal
comment: The crystallographic/lattice plane along which the dislocation line traverses/moves. The slip plane is usually the plane with the highest density of atoms, i.e. most widely spaced.
subclass of: Lattice Plane
type: Class

plane miller indice
range: string
comment: planeMillerIndice represents Miller indice of lattice plane in string.
type: DatatypeProperty
domain: Lattice Plane

has lattice point
range: Lattice Point
comment: hasLatticePoint represents the relationship between a lattice or lattice plane or lattice direction with lattice point.
type: ObjectProperty
domain: Class
  union of: Lattice
  union of: Lattice Direction
  union of: Lattice Plane

Transmission Electron Microscopy
comment: Transmission electron microscopy (TEM) is a microscopy technique in which a beam of electrons is transmitted through a specimen to form an image. The specimen is often an ultrathin section less than 100 nm thick.
type: Class

Line Sense
type: Class
comment: A sense that characterizes a directed line, i.e., it has a start and an end.

has family crystal direction
domain: Lattice Direction
type: ObjectProperty
range: Family of Crystal Direction
comment: hasFamilyCrystalDirection represents the relationship between lattice direction and family of crystal direction.

Line Defect
type: Class
subclass of: Crystallographic Defect
comment: Linear or one-dimensional defect around which some of the atoms are misaligned.

Coordinate Vector
subclass of: Restriction
  on property: Z axisCoordinate
  on data range: double
  qualified cardinality: 1
subclass of: Restriction
  on property: X axisCoordinate
  qualified cardinality: 1
  on data range: double
defintion: A coordinate vector according to standard basis, i.e., e_x (1, 0, 0), e_y(0, 1, 0), and e_z (0, 0, 1).
subclass of: Restriction
  on property: Y axisCoordinate
  qualified cardinality: 1
  on data range: double
type: Class

has start node
range: Node
type: ObjectProperty
comment: Sub-property of hasNode that relates the segment with the start node.
domain: Segment
sub property of: has node

has numerical representation
sub property of: has representation
range: Discretized Line
comment: hasNumericalRepresentation relates the entity with its numerical representation.
domain: Line
type: ObjectProperty

results in
range: Lattice Displacement
domain: Dislocation
type: ObjectProperty
comment: resultsIn represents the relationship between dislocation and lattice displacement.

Lattice Direction
type: Class
subclass of: Restriction
  on property: direction miller indice
  qualified cardinality: 1
  on data range: string
subclass of: Class
  intersection of: Restriction
    some values from: Lattice Point
    on property: has lattice point
  intersection of: Restriction
    on property: has lattice point
    all values from: Lattice Point
subclass of: Family of Crystal Direction
subclass of: Vector
comment: The vector direction inside the lattice that is connecting two lattice points.

has slip direction
type: ObjectProperty
domain: Class
  union of: Slip Plane
  union of: Slip System
comment: hasSlipDirection represents the relationship between the slip plane or slip system with the slip direction.
range: Slip Direction
sub property of: has lattice direction

Point
type: Class
subclass of: Restriction
  on property: has position vector
  all values from: Position Vector
comment: In classical Euclidean geometry, a point is a primitive notion that models an exact location in the space, and has no length, width, or thickness.

Unit
description: A unit of measure, or unit, is a particular quantity value that has been chosen as a scale for measuring other quantities the same kind (more generally of equivalent dimension). For example, the meter is a quantity of length that has been rigorously defined and standardized by the BIPM (International Board of Weights and Measures). Any measurement of the length can be expressed as a number multiplied by the unit meter. More formally, the value of a physical quantity Q with respect to a unit (U) is expressed as the scalar multiple of a real number (n) and U, as \(Q = nU\).
type: Class

has family crystal plane
comment: hasFamilyCrystalPlane represents the relationship between the lattice plane and the family of crystal planes.
range: Family of Crystal Plane
domain: Lattice Plane
type: ObjectProperty

has position vector
comment: hasPositionVector represents the relationship between entity and position vector.
domain: Point
range: Position Vector
type: ObjectProperty

Burgers Vector
comment: An elementary unit (length order of lattice parameter) of lattice translation. The basic notion of the Burgers vector comes from the closure failure of an initially perfect lattice due to the existence of dislocation. The magnitude and direction of closure failure are characterized by the Burgers vector.
type: Class
subclass of: Vector

Basis
subclass of: Restriction
  on property: hasThirdAxisVector
  qualified cardinality: 1
  on class: Coordinate Vector
comment: A basis defines a spatial unit used to express fractional coordinates.
defintion: Set of vector(in 2-D two vectors and in 3-D three vectors) that linearly independent.
type: Class
subclass of: Restriction
  on class: Coordinate Vector
  on property: hasSecondAxisVector
  qualified cardinality: 1
subclass of: Restriction
  qualified cardinality: 1
  on property: hasFirstAxisVector
  on class: Coordinate Vector

Vector Component of Basis
subclass of: Quantity
comment: Vector components/vector coordinates of particular basis. It has relation to a specific basis.
subclass of: Class
  intersection of: Restriction
    on property: firstAxisComponent
    qualified cardinality: 1
    on data range: double
  intersection of: Restriction
    on data range: double
    qualified cardinality: 1
    on property: secondAxisComponent
  intersection of: Restriction
    qualified cardinality: 1
    on data range: double
    on property: thirdAxisComponent
type: Class
subclass of: Class
  intersection of: Restriction
    some values from: Basis
    on property: hasBasis
  intersection of: Restriction
    on property: hasBasis
    all values from: Basis

has mathematical representation
comment: hasMathematicalRepresentation relates the entity with its mathematical representation.
range: Line
type: ObjectProperty
domain: Dislocation
sub property of: has representation

has slip plane
range: Slip Plane
sub property of: has lattice plane
comment: hasSlipPlane represents the relationship between crystal structure and slip plane.
domain: Crystal Structure
type: ObjectProperty

Slip Direction
type: Class
comment: The direction in the slip plane along which plastic deformation takes place. The slip direction corresponds to one of the shortest lattice translation vectors.
subclass of: Lattice Direction

has line sense
domain: Dislocation
range: Line Sense
type: ObjectProperty
comment: hasLineSense represents the relationship between dislocation and line sense.

Crystallographic Defect
type: Class
comment: The crystallographic defect is a lattice irregularity that has one or more dimensions on the order of an atomic diameter.

family direction miller indice
range: string
comment: familyDirectionMillerIndice represents a set of miller indices of lattice direction in string.
domain: Family of Crystal Direction
type: DatatypeProperty

Screw Dislocation
subclass of: Dislocation
type: Class
comment: A dislocation that has a line sense parallel to its Burgers vector.