传递角色相关论文
描述逻辑是语义Web的逻辑基础,是形式化表达领域知识的工具。但是描述逻辑只能表达单调推理,不能处理不完全知识。认知描述逻辑因其......
为了判定描述逻辑SHIN的ABox一致性,提出了一种Tableau算法。给定TBoxT、ABoxA和角色层次H,该算法通过预处理将彳转换成标准的ABoxA......
分析了描述逻辑非标准推理的重要性和匹配推理的研究现状以及存在的问题。针对匹配推理在处理带传递属性角色符号的不足,研究含传......