Login / Signup
Dengguo Nie
Publication Activity (10 Years)
Years Active: 2016-2017
Publications (10 Years): 2
Top Topics
Dl Lite
Logical Implication
Reasoning Services
Number Restrictions
Top Venues
计算机科学
</>
Publications
</>
Yonghong Wang
,
Yuming Shen
,
Dengguo Nie
,
Ju Wang
描述逻辑εL循环术语集的保守扩充 (Conservative Extension in Description Logic εL with Cyclic Terminologies).
计算机科学
44 (Z11) (2017)
Dengguo Nie
,
Quan Yu
,
Wei Zhang
,
Yuming Shen
描述逻辑εVL的保守扩充 (Conservative Extensions in Description Logic εVL).
计算机科学
43 (Z6) (2016)