기술 논리

term_id: description_logic

Category: engineering_practice

Definition

기술 논리(Description Logics, DL)는 일차 논리의 결정 가능한 부분 집합으로, 특히 웹 온톨로지 언어(OWL)를 비롯한 온톨로지의 이론적 기반을 형성합니다. 이를 통해 도메인의 개념적 구조를 정밀하게 정의할 수 있습니다.

Summary

도메인의 개념적 구조를 표현하고 추론하기 위해 사용되는 형식적 지식 표현 언어의 한 계열입니다.

Key Concepts

  • 온톨로지
  • 추론
  • 포함 관계(Subsumption)
  • 개념 계층 구조

Use Cases

  • 시맨틱 웹 온톨로지 구축
  • 의료 지식 그래프
  • 자동 분류 시스템

Related