Benchmarking Reasoners for Multi-Ontology Applications. - Ameet Chitnis; Abir Qasem; Jeff Heflin (EON, 2007)