面向模块重用的描述逻辑SHJF本地性规则研究 (Research on Locality Rules of Description Logic SHJF for Module Reusing)

Dezhi Xu, Huihuan Liao, Lianjun Xu. 面向模块重用的描述逻辑SHJF本地性规则研究 (Research on Locality Rules of Description Logic SHJF for Module Reusing). 计算机科学, 42(1):249-252, 2015. [doi]

Abstract

Abstract is missing.