Property:Produce the current terminological inferences of an ontology

This is a property of type Has type::Boolean.

The question to be used when requesting the value of this property is: Does ... produce the current terminological inferences of an ontology?