분산 클러스터 메모리 기반 대용량 OWL Horst Lite 온톨로지 추론 기법