云南高校图书馆联盟文献共享服务平台- 可终止性

可终止性: 作品数：16被引量：16H指数：2; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：熊中敏郝忠孝蒋曹清彭立杨恒伏更多>>; 相关机构：哈尔滨理工大学山东大学武汉大学上海海洋大学更多>>; 相关期刊：《计算机工程与应用》《计算机工程与设计》《哈尔滨理工大学学报》《哈尔滨工业大学学报》更多>>; 相关基金：国家自然科学基金黑龙江省自然科学基金山东省自然科学基金上海市科委重大科技攻关项目更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

描述逻辑SHIQ的ABox一致性判定算法: 《计算机工程》2013年第12期308-315,共8页彭立杨恒伏; 国家自然科学基金资助项目(61073191);湖南省教育厅科学研究基金资助项目(12C0593);湖南第一师范学院校级课题基金资助项目(XYS10N09); 为判定描述逻辑SHIQ的ABox一致性,提出一种Tableau算法。给定TBox T、ABox A和角色层次H,通过预处理将A转换成标准的ABox A’,按照特定的完整策略将一套Tableau规则应用于A’,从而不断地对A’进行扩展,直到将其扩展成完整的ABox A’’...; 关键词：描述逻辑SHIQ ABox一致性判定 TABLEAU算法阻塞机制可终止性合理性完备性