摘要
语义Web的出现使得描述逻辑(Description Logic)成为研究的热点。它是近年来研究和发展最快的知识表示的形式化工具之一,具有强大的表达能力、可判定性以及有效推理等优点,其中推理服务是它的核心。首先重点讨论基于Tbox和Abox的推理任务;其次,详细阐述各算法以及相互间内在联系;最后,得出描述逻辑的所有推理都可以转化为基于Abox的一致性检测问题,并给出其算法及实现过程。在语义Web环境下,描述逻辑的推理服务可以提高机器的理解能力,实现机器完全自主化。
The appearance of semantic Web makes description logic is a hot research point.It is one of formal tools for knowledge representation which is studied and developed rapidly in recent years.It has many advantages such as expressive capability and decidability and effective reasoning,especially reasoning＇s services is core.Firstly,the task of reasoning based on Tbox and Abox is discussed;Then,every algorithm of reasoning and the internal relationship of each other is specifically described;Finally,all description logic reasoning could be transformed into the problem of consistency check based on Abox is obtained,while algorithm and the process of implementation is given.In the context of semantic Web,the service of description logic reasoning could improve the ability of comprehension of machine and achieve the complete independence of machine.
出处
《计算机技术与发展》
2010年第11期122-125,129,共5页
Computer Technology and Development
基金
广东省自然科学基金项目(8152500002000003)
