描述逻辑SHIQ的ABox一致性判定算法

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

描述逻辑SHIQ的ABox一致性判定算法

彭立，杨恒伏

ABox Consistency Decision Algorithm for Description Logic SHIQ

PENG Li, YANG Heng-fu

计算机工程 . 2013, (12): 308 -315 . DOI: 10.3969/j.issn.1000-3428.2013.12.066