본 논문은 생의학 온톨로지에서 부정적 지식(e.g., lacks_part, absence_of)을 효율적으로 표현하는 방법을 제안합니다. 기존의 EL(Description Logic)에 부정을 추가하면 추론의 복잡도가 높아지는 문제가 있는데, 본 논문에서는 추론의 계산 복잡도를 유지하면서 부정적 지식을 표현할 수 있도록 EL을 확장하는 새로운 방법을 제시합니다. 이는 SH(Description Logic)의 모든 논리 구성자에 대한 범주적 의미론을 도입하고, 추론의 복잡도를 높이는 요소를 제거하여 EL보다 표현력이 높으면서도 추론 가능한 논리를 구축하는 방식입니다. 특히, 분리(disjunction)와 보편 제약(universal restriction)의 의미론을 약화시켜 계산 복잡도를 해결합니다.
