Tableau算法相关论文
语义Web是当前Web的扩展，它为Web信息附加计算机可理解的语义，实现Web数据处理的智能化。描述逻辑被视为语义Web的主要逻辑基础，它赋......
近年来，描述逻辑由于其强大的表达能力和优良的计算性质，在知识工程领域受到广泛关注。描述逻辑的出现改变了以往知识表示和推理的方......
语义Web的发展使得其逻辑基础描述逻辑也成为研究的一个热点。描述逻辑支持推理，其推理主要涉及如下问题：概念可满足性(Concept Sati......
