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

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

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

描述逻辑SHIN的ABox一致性判定算法: 《计算机工程与应用》2013年第20期55-62,共8页彭立杨恒伏; 国家自然科学基金(No.61073191);湖南第一师范学院校级课题(No.XYS10N09); 为了判定描述逻辑SHIN的ABox一致性,提出了一种Tableau算法。给定TBox T、ABox A和角色层次H,该算法通过预处理将A转换成标准的ABox A′,按照特定的完整策略将一套Tableau规则应用于A′,直到将它扩展成完整的ABox A″为止。A与T和H一致...; 关键词：支持补集传递角色角色层次反向角色和数量约束的属性语言(SHIN) ABox一致性判定 TABLEAU算法阻塞机制可终止性合理性完备性