This page has been moved to http://www.ontotext.com/inference/semantic_repository.html.