×
2017
描述逻辑εL循环术语集的保守扩充 (Conservative Extension in Description Logic εL with Cyclic Terminologies).
[DOI]
Yonghong Wang
,
Yuming Shen
,
Dengguo Nie
,
Ju Wang
计算机科学, 2017
2016
描述逻辑εVL的保守扩充 (Conservative Extensions in Description Logic εVL).
[DOI]
Dengguo Nie
,
Quan Yu
,
Wei Zhang
,
Yuming Shen
计算机科学, 2016