추론기

Terms

온톨로지에 적힌 정의와 규칙으로부터 명시되지 않은 사실을 자동으로 도출하는 프로그램. 예를 들어 어떤 관계의 정의만 주어져도 개체마다 분류를 새로 붙일 수 있다.