As vocabularies are included, cost of subClass, equivalentClass and equivalentProperty grows

[gkellogg]

The reasoner should probably accept a list of vocabularies over which to reason, rather than just expanding imported vocabularies recursively.