온톨로지 포함관계 추론을 위한 최적화된 검색방법