阻塞机相关硕士博士期刊学术论文 - 搜论网

阻塞机相关论文

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

为了判定描述逻辑SHIN的ABox一致性，提出了一种Tableau算法。给定TBoxT、ABoxA和角色层次H，该算法通过预处理将彳转换成标准的ABoxA......

期刊

支持补集传递角色角色层次反向角色和数量约束的属性语言(SHIN) ABox一致性判定 TABLEAU算法阻塞机制可终止性合理性完备性 attri

看过本文同时还关注