본 논문은 관계형 데이터베이스에서 성공적으로 사용된 반환구조(semiring provenance) 프레임워크를 경량 기술 논리(lightweight description logics)에 적용하는 것을 연구합니다. 온톨로지 공리에 가환 반환구조(commutative semiring)의 원소를 주석으로 달고, 이 주석들을 온톨로지 결과에 전파하여 결과가 도출되는 방식을 반영합니다. 여러 경량 기술 논리를 포함하는 언어에 대한 반환구조 의미론을 정의하고, 특정 종류의 주석(예: 퍼지 정도)이 달린 온톨로지에 대해 정의된 의미론과의 관계를 보여줍니다. 반환구조에 대한 제약 조건 하에서 의미론이 바람직한 속성(예: 데이터베이스에 대해 정의된 반환구조 확장)을 만족함을 보입니다. 그 후 잘 알려진 why-provenance에 초점을 맞춰, 주장이나 결합 질의 답변의 반환구조와 관련된 문제의 복잡도를 연구합니다. 마지막으로, 데이터베이스 설정에서 소위 positive Boolean provenance 및 lineage에 해당하는 두 가지 더 제한적인 경우를 고려하여, 기술 논리에서 설명과 관련된 잘 알려진 개념과의 관계를 제시하고 복잡도 분석을 완료합니다. 부수적인 기여로, 추적 가능한 추론을 보장하는 $\mathcal{ELHI}_\bot$ 온톨로지에 대한 조건을 제공합니다.
