기술논리 (Description Logic)

한 줄 정의: 온톨로지에서 클래스, 속성, 개체 간의 관계를 형식논리로 표현하고 그 정합성을 검증하거나 새로운 사실을 추론할 수 있도록 하는 논리 체계로, 웹온톨로지언어(OWL)의 이론적 기반이 된다.

쉽게 풀면

온톨로지에서 개념들 사이의 관계를 논리적으로 표현하고 컴퓨터가 검증하거나 추론할 수 있게 해주는 논리 체계이다.

왜 중요한가

기술논리는 온톨로지 언어 OWL의 형식적 기반으로, 개념 간 포함 관계를 자동으로 추론하고 모순을 검출할 수 있게 합니다. 지식조직체계를 온톨로지로 구축하거나 시소러스의 계층 정합성을 검증하는 연구에서 이론적 도구로 쓰입니다. 이 이론적 토대 덕분에 OWL 온톨로지는 임의의 자연어 규칙이 아니라 검증 가능한 형식적 의미론을 갖는다.

논문에서는 이렇게 쓰입니다

이 연구는 기술논리 기반 추론 엔진을 활용해 온톨로지 설계 시 발생한 논리적 모순을 자동으로 탐지하는 방법을 제시하였다.

기술논리 추론 엔진으로 온톨로지의 논리적 오류를 자동으로 찾아내는 방법을 제시한 문장이다.

본고에서 기술논리(이)란 온톨로지에서 클래스, 속성, 개체 간의 관계를 형식논리로 표현하고 그 정합성을 검증하거나 새로운 사실을 추론할 수 있도록 하는 논리 체계로, 웹온톨로지언어(OWL)의 이론적 기반이 된다. 이러한 정의를 기준으로 하위 논의를 전개한다.

즉 이 문장은 기술논리이/가 무엇을 가리키는지 학술적 맥락에서 다시 한 번 명확히 규정해 주는 표현으로, 앞선 정의를 논문에서 실제로 어떤 어투로 서술하는지 보여줍니다.

조금 더 깊게 보면

표현력이 높은 기술논리는 추론 복잡도가 급격히 커지므로, OWL 프로파일마다 표현력과 계산 가능성 사이의 다른 타협을 택합니다. 도서관 어휘를 SKOS로 옮기는 것과 OWL 온톨로지로 옮기는 것은 목적이 다르며, 후자는 형식 추론이 필요한 경우에만 정당화됩니다. 기술논리는 개념, 역할, 개체 사이의 관계를 형식논리로 표현해 자동 추론이 가능하게 하는 온톨로지 언어의 이론적 기반으로, OWL의 표현력과 계산 복잡도는 채택하는 기술논리 조각에 따라 달라진다. 표현력이 높아질수록 추론 알고리즘의 결정 가능성이나 계산 복잡도가 나빠지는 절충 관계가 있어, 실제 응용에서는 필요한 표현력 수준을 신중히 선택해야 한다.

주의할 점

기술논리는 표현력과 계산 복잡도 사이에 상충 관계가 있어, 지나치게 복잡한 온톨로지를 설계하면 추론 처리 시간이 급격히 늘어날 수 있다는 점에 유의해야 한다. 지나치게 표현력이 높은 기술논리를 채택하면 대규모 온톨로지에서 추론 시간이 비현실적으로 길어질 수 있다는 점에 유의해야 한다.