@inproceedings{HayesMenzel2001,
  author	= {Hayes, Patrick and Menzel, Christopher},
  title		= {A semantics for the Knowledge Interchange Format},
  booktitle	= {Proceedings of the IJCAI 2001 Workshop on the IEEE Standard Upper Ontology},
  year		= {2001},
  address	= {Seattle, Washington},
  organization	= {International Joint Conference on Artificial Intelligence}
}