Proceedings of the First International Workshop on Formal Biomedical Knowledge Representation (KR-MED 2004)