HermiT

HermiT는 옥스퍼드 대학교 컴퓨터과학과가 개발한 OWL 2 DL용 Reasoner입니다. 자바로 작성됐고 LGPL 라이선스로 공개됐습니다.

핵심 특징은 하이퍼태블로(hypertableau) 알고리즘 기반이라는 점입니다. 기존 태블로 방법보다 비결정성을 크게 줄여, 대규모 온톨로지에서도 분류·일관성 검사가 빠릅니다.

OWL API와 통합되며, Protégé 온톨로지 에디터에서 기본 추론기로 자주 선택됩니다. NCI Thesaurus, Gene Ontology 같은 대규모 바이오/의료 온톨로지의 표준 추론기로 사용된 사례가 많습니다.

학술 인용 기준으로 OWL 2 추론기 중 가장 많이 참조되는 구현체입니다.