语义W eb 的出现使得描述逻辑成为近期的研究热点, 作为本体描述语言的基础, 描述逻辑具有较强的表达能力. 设计并实现了基于描述逻辑Tableaux 算法的推理系统, 实验结果表明, 该系统可实现本体基本推理功能、 TBox 及ABox 推理功能,且能融入到语义W eb 的实际应用系统中, 减少对计算机的人工干预, 在一定程度上提高了机器的理解能力.
