计算机应用与软件2017,Vol.34Issue(2):193-197,5.DOI:10.3969/j.issn.1000-386x.2017.02.034
一种描述逻辑SROIQ(D)的云模型扩展
A CLOUD EXTENSION OF DESCRIPTION LOGIC SROIQ(D)
摘要
Abstract
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.关键词
模糊描述逻辑/云模型/C-SROIQ(D)Key words
Fuzzy description logic/Cloud model/C-SROIQ(D)分类
信息技术与安全科学引用本文复制引用
王莹莹,刘杰,骆力明,周建设..一种描述逻辑SROIQ(D)的云模型扩展[J].计算机应用与软件,2017,34(2):193-197,5.基金项目
国家自然科学基金项目(61371194) (61371194)
北京市自然科学基金项目(4152012) (4152012)
北京成像技术高精尖创新中心项目 ()
北京市重点建设学科“计算机应用技术”项目. ()