基于描述逻辑的推理系统设计与实现

Design and Implementation of Reasoning System Based on Description Logic

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

The appearance of Semantic Web makes Description Logic （DL） a hot research point. As the base of ontology description language, DL has a good expression capability. The reasoning system is designed and implemented based on tableaux algorithm of DL, The experiment shows that the system can perform basic ontology reasoning, TBox and ABox reasoning function. It also can be imbedded in the real application systems of Semantic Web to reduce the manual work and partly improve the understanding capability for the computer.