실행 가능한 온톨로지
온톨로지를 문서화된 스펙이 아니라 런타임에 검증 가능한 규약으로 선언하는 방식이다. 각 관계에 대해 domain과 range를 명시하고 탐색 중에 각 홉의 유효성을 검사하여 잘못된 엣지로 인한 오답을 시행 시점에서 걸러낸다. 이 방식은 그래프 기반 검색에서 오류를 조기에 발견하고 잘못된 탐색 경로를 예외로 전환하는 데 중요하다.
