带限定性数目约束的描述逻辑ALCQDES

检索

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

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

带限定性数目约束的描述逻辑ALCQDES

王静，李剪，樊红杰，王红

Description Logic ALCQDES with Qualifying Number Restriction

WANG Jing, LI Jian, FAN Hong-jie, WANG Hong

计算机工程 . 2014, (2): 263 -266,270 . DOI: 10.3969/j.issn.1000-3428.2014.02.057