Description Logic

온톨로지에서 클래스와 관계를 논리적으로 표현하기 위한 문법 체계이다. 복잡한 지식 구조를 논리적 공리로 정의하여 컴퓨터가 추론을 수행할 수 있는 기반을 제공한다.