【摘要】 当前Web页面基于HTML语言,缺乏语义信息,语义网络是对现有Web的扩展.OWL是WebOntology的一种最新的W3C提出的表示语言,是实现语义Web的语言工具,它的逻辑基础是描述逻辑.结合OWL语言,提出一种基于描述逻辑的知识建模语言(KDL),给出了知识描述语言的语义解释,并提出了基于Tableau算法的推理算法.更多还原

【Abstract】 As current Web page is based on HTML language,it lacks of semantic information.While semantic WEB is the extension of WEB technology and OWL language is WEB ontology language that is suggested by World Wide Web Consortium(W3C)lately and is the infrastructure of implementing semantic WEB.As description logic is the logic foundations of OWL language,we introduce a novel knowledge description language(KDL),which is based on OWL and description logic,and propose the semantic explanation in this paper.Moreover,we propose a reasoning algorithm based on Tableau algorithm.更多还原