metal-alloy
type: Ontology
version IRI: http://home.agh.edu.pl/~pmaciol/metal-alloy/0.0.1
imports: emmo-granularity
imports: emmo-material
imports: emmo-properties
comment: Contracts: Piotr Macioł AGH University of Science and Technology email: pmaciol@agh.edu.pl

doubleLess
type: Datatype
equivalent class: Datatype
  on datatype: double
  with restrictions:
    min inclusive: 0.0
  with restrictions:
    max inclusive: 1.0

doubleRangeLower
type: Datatype
equivalent class: Datatype
  on datatype: double
  with restrictions:
    min inclusive: 0.0
  with restrictions:
    max inclusive: 1.0

double
equivalent class: Datatype
  on datatype: double
  with restrictions:
    min inclusive: 0.0
  with restrictions:
    max inclusive: 1.0

has grain atoms
type: ObjectProperty
inverse of: is atom in grain
domain: grain
comment: has_grain_atoms can "have" voids instead of particular atoms (missing atoms in crystal lattice)

is grain in grain
type: ObjectProperty
domain: grain
range: grain
property disjoint with: is subgrain in grain
comment: e.g. perlite grain has grains of cementite and ferrite

componentName
type: DatatypeProperty
domain: normative chemical component share
range: Datatype
  one of: Al
  one of: Cr
  one of: Cu
  one of: Fe
  one of: Mg
  one of: Mn
  one of: Si
  one of: Ti
  one of: Zn

A6082 FeShare
type: NamedIndividual
type: normative chemical component share
component name: Fe
component share below: 0.5

A6082 MnShare
type: NamedIndividual
type: normative chemical component share
component name: Mn
component share between lower: 0.4
component share between upper: 1

A6082 SiShare
type: NamedIndividual
component name: Si
component share between lower: 0.7
component share between upper: 1.3