Table 1.

Relationship between OWL constructors, DL and Manchester OWL syntax.

	OWL constructor	DL syntax	Manchester OWL syntax	Example
1	intersectionOf	A $\sqcap$ B	A and B	PHA $\sqcap$ HAZOP
2	someValuesFrom	$\exists r.C$	r some C	∃isEffectOfDeviation.LowTemperature
3	someValuesFrom	$\exists v.T$	v some T	∃substanceHasFlashpointInKelvin.≤328.15
4	equivalentClass	D $\equiv$ E	D EquivalentTo E	Fracture $\equiv$ Break