The mapping function Slot definitions A slot definition is a pair , where is a slot name and is a slot description. A domain constraint with a list of one or more class-expressions, written . A range constraint with a list of one or more class-expressions, written . An inverse constraint with a slot name , written . A properties constraint with a list of one or more properties, written .
Valid properties are transitive , written , symmetrical , written and functional , written .
We can now define how the function maps an OIL slot definition into a set of axioms.