论文部分内容阅读
源自当今互联网的语义网研究的目的是定义信息语义和网络服务，因此需要赋予网络智能以便能够自动对网络内容进行推理。各种描述逻辑（DLs）在语义网的研究中扮演着重要角色，构成了W3C推荐的网络本体语言（OWL）的基础，而OWL源于为达到语义网目标的人工智能（AI）本体论研究。语义网的知识和数据量巨大、分散、来源众多且因此通常不具有协调性。因此，必须开发针对非协调本体的实用的推理技术。该文基于Hunter的拟经典逻辑（QCL），构造了新型超协调拟经典描述逻辑（QCDLs），避免了逻辑爆炸问题，同时，针对基于非周期