owl-axioms

OWL 공리는 온톨로지 표현을 위해 클래스·속성·제약을 형식화한 논리적 명제 집합이다. 입력으로 개념과 관계를 받고 서술 논리 기반의 추론 엔진이 만족도와 일관성 검사를 수행해 모순을 탐지하거나 계층을 도출하는 방식으로 동작한다. 이미지 자료에서 OWL axioms가 온톨로지 구성 요소로 제시된 점이 확인됐다.