欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
对原有的tableau-based算法进行了简化和改进,提出了标准tableau-based算法,它在保证原有算法思想的基础上删除了每次变换后所产生的累赘部分,同时不再限制运算的顺序.基于这个新算法,证明了ALCN语言中Abox的相容性可通过标准tableau-based算法在有限步之内判定.
英文摘要：
The tableau-based algorithm for consistency checking of Aboxes is simplified and improved. The proposed standard tableau-based algorithm not only deletes the redundant part after each rule, but also gives up the restriction on the order of transformation rules. So this is a simplification and an improvement of the algorithm, and the finite step halting theorem for checking consistency of ALCN Aboxes is obtained therefrom.
同期刊论文项目
同项目期刊论文
期刊信息
位置：