Automated semantic forgetting for expressive description logics

Yizheng Zhao. Automated semantic forgetting for expressive description logics. PhD thesis, 2018. [doi]

Abstract

Abstract is missing.