An Environment for Merging and Testing Large Ontologies
D. McGuinness, R. Fikes, J. Rice, und S. Wilder. In the Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000), Seite 483--493. Breckenridge, Colorado, USA, (2000)