国家自然科学基金项目 基于图的描述逻辑高效非标准推理技术的研究(项目批准号:61762063)

<正>描述逻辑是一类基于逻辑的形式化知识表示体系,为万维网组织W3C推荐的标准本体语言OWL提供语义基础。随着语义Web和知识图谱技术等相关技术的发展,描述逻辑吸引了众多研究人员的关注。在实际应用中,描述逻辑本体的构建与维护是一项复杂的过程,此过程常导致本体出现不一致性问题,从而使得标准推理服务失效,因而,面向不一致本体的非标准推理是研究中须面对的课题。项目将