유비쿼터스 환경에서의 온톨로지 기반 시간 추론