Two substantial performance improvements based on the new CrappyInferencer2 in the storage service in kdebase: 1. We now have type inference and can use "?r a <type>" directly without using crappy inference. 2. Crappy inferencer2 creates a nao:userVisible property for all resources. Thus, again there is no need for crappy inference1 like conditions that are very slow. Instead we can directly check the visiblitly on the results.