@inproceedings{McGuinness-etal2000,
  author	= {McGuinness, D. and Fikes, R. and Rice, J. and Wilder, S.},
  title		= {An environment for merging and testing large ontologies},
  booktitle	= {Proceedings of KR 2000},
  pages		= {483--493},
  year		= {2000},
  publisher	= {Morgan Kaufmann}
}