DAML+OIL을 이용한 모바일 에이전트 기반 협상에서의 정보 모델링