]> key schema factor Determines whether the given class or property is required to be instantiated (either asserted or inferred) in order for a knowledge pattern to be satisfied by an ABox. This is used in order to provide some flexibility in the selection of candidate patterns for explanation, so that we do not rule out completely every knowledge pattern just because it is not filled in every part.