描述逻辑εVL的保守扩充 (Conservative Extensions in Description Logic εVL)

Dengguo Nie, Quan Yu, Wei Zhang, Yuming Shen. 描述逻辑εVL的保守扩充 (Conservative Extensions in Description Logic εVL). 计算机科学, 43(Z6):83-86, 2016. [doi]

Abstract

Abstract is missing.