기술논리 (Description Logic)
한 줄 정의: 온톨로지에서 클래스, 속성, 개체 간의 관계를 형식논리로 표현하고 그 정합성을 검증하거나 새로운 사실을 추론할 수 있도록 하는 논리 체계로, 웹온톨로지언어(OWL)의 이론적 기반이 된다.
쉽게 풀면
온톨로지에서 개념들 사이의 관계를 논리적으로 표현하고 컴퓨터가 검증하거나 추론할 수 있게 해주는 논리 체계이다.
논문에서는 이렇게 쓰입니다
이 연구는 기술논리 기반 추론 엔진을 활용해 온톨로지 설계 시 발생한 논리적 모순을 자동으로 탐지하는 방법을 제시하였다.
기술논리 추론 엔진으로 온톨로지의 논리적 오류를 자동으로 찾아내는 방법을 제시한 문장이다.
주의할 점
기술논리는 표현력과 계산 복잡도 사이에 상충 관계가 있어, 지나치게 복잡한 온톨로지를 설계하면 추론 처리 시간이 급격히 늘어날 수 있다는 점에 유의해야 한다.