论文部分内容阅读
源自当今互联网的语义网研究的目的是定义信息语义和网络服务,因此需要赋予网络智能以便能够自动对网络内容进行推理。各种描述逻辑(DLs)在语义网的研究中扮演着重要角色,构成了W3C推荐的网络本体语言(OWL)的基础,而OWL源于为达到语义网目标的人工智能(AI)本体论研究。语义网的知识和数据量巨大、分散、来源众多且因此通常不具有协调性。因此,必须开发针对非协调本体的实用的推理技术。该文基于Hunter的拟经典逻辑(QCL),构造了新型超协调拟经典描述逻辑(QCDLs),避免了逻辑爆炸问题,同时,针对基于非周期TBox的知识库推理问题,建立了QCDLs语义表演算,进而定义了一种可靠、完备且可判定的推理关系,从而构建了完整的语义网推理框架。与其他重要的超协调描述逻辑进行了比较,结果表明QCDLs具有更强的表达语义和推理能力,并且其相关行为在目标层次上表现出经典性。
Semantic Web Origination from Today’s Internet The goal of research is to define information semantics and web services, and therefore intelligence needs to be given to the web so that web content can be automatically inferred. Various Description Logics (DLs) play an important role in the study of semantic web, which forms the basis of W3C’s recommended OWL. OWL originated from the research of artificial intelligence (AI) ontology to achieve the goal of semantic Web . Semantic webs have huge amounts of knowledge and data, are scattered, come from many sources, and are therefore often not co-ordinated. Therefore, practical reasoning techniques must be developed for non-coordinated ontologies. Based on Hunter’s quasi-classical logic (QCL), this paper constructs a new type of hyper-harmonized quasi-classical description logic (QCDLs) and avoids the problem of logical explosion. At the same time, aiming at the problem of knowledge base reasoning based on non-periodic TBox, , And then defines a reliable, complete and judgmental reasoning relationship, thus building a complete semantic web reasoning framework. Compared with other important super-coordinated description logic, the results show that QCDLs have more expressive semantic and reasoning ability, and their related behavior shows the classic at the target level.