一种描述逻辑SROIQ(D)的云模型扩展

摘要

客观世界存在大量的不确定性现象和知识.鉴于经典描述逻辑在表示不确定知识上存在一定缺陷,模糊描述逻辑在表示不确定知识时会丢失模糊性,为此,将云模型引入到描述逻辑SROIQ (D)中,实现对SROIQ(D)的云扩展,提出基于云模型的不确定描述逻辑C-SROIQ(D).并给出其完整的语法、语义及知识库,从而实现了描述不确定性现象,保留了模糊性,还将模糊性和随机性相关联,丰富了描述逻辑的表达能力.%There are numerous uncertain phenomena and knowledge in objective world.Whereas,classical description logic has some defects in the description of uncertain phenomena,and fuzzy description logic would lose vagueness in the representation of uncertain knowledge.Therefore,the cloud extension of SROIQ (D) is realized by introducing the cloud model,and the uncertain description logic C-SROIQ (D) is proposed.Then,complete syntax,semantic and knowledge base of C-SROIQ (D) are given.As a result,uncertain knowledge can be represented,in which the fuzziness are retained and associated with randomness,thus enriching the expression ability of description logic.