OOR--Open-Ontology-Repository--jun2010
Ameet N Chitnis, Abir Qasem and Jeff Heflin 11 November 2007.
Benchmarking Reasoners for Multi-Ontology Applications