检索结果-维普期刊中文期刊服务平台

模糊描述逻辑f-DLR-Lite∩的合取查询回答被引量：1: 1; 作者程经纬马宗民 +1 位作者严丽王海龙《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2008年第9期1249-1252,1296,1256,共6页; 分析了描述逻辑合取查询回答的研究现状及存在的不足,在描述逻辑DL-Lite和模糊集理论的基础上,提出了一种可表示和处理n元关系,并允许在包含公理左侧出现概念合取的新的模糊描述逻辑f-DLR-Lite∩,并给出其语法和语义及知识库的形式.提... 展开更多; 关键词描述逻辑合取查询模糊查询语言一阶逻辑可归约性 f-dLR-Lite∩; 在线阅读下载PDF 职称材料

支持模糊数据类型表示的模糊描述逻辑F-SHOIQ(G) 被引量：11: 2; 作者王海龙马宗民 +1 位作者严丽程经纬《计算机学报》 EI CSCD 北大核心 2009年第8期1511-1524,共14页; 分析了现有描述逻辑在模糊知识和数据类型表示方面存在的问题,提出了一种新的模糊描述逻辑F-SHOIQ(G).F-SHOIQ(G)不仅能够表示模糊知识,而且能够表示含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息.首先,给出了模糊数... 展开更多; 关键词模糊描述逻辑 f-SHOIQ(G) 模糊数据类型表示 Tableaux算法自定义模糊数据类型谓词; 在线阅读下载PDF 职称材料

FRESG:一种模糊描述逻辑推理机被引量：6: 3; 作者王海龙马宗民 +1 位作者殷俊夫程经纬《计算机研究与发展》 EI CSCD 北大核心 2009年第9期1488-1497,共10页; 作为语义Web的逻辑基础,描述逻辑可为其提供推理支持,因而描述逻辑推理机是语义Web付诸应用的根本载体.基于模糊描述逻辑F-ALC(G),设计并实现了模糊描述逻辑推理机FRESG1.0,它支持含有模糊用户定制数据类型谓词的模糊数据类型信息的表... 展开更多; 关键词语义WEB 模糊描述逻辑 f-ALC(G) 推理机用户定制数据类型; 在线阅读下载PDF 职称材料

基于模糊描述逻辑F-ALC(G)的模糊OWL扩展被引量：2: 4; 作者王海龙马宗民 +1 位作者严丽闫东亮《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2009年第11期1562-1565,共4页; 针对OWL在数据类型表示方面存在严重的局限性,即它不能处理在语义Web和本体中广泛存在的不精确以及不确定信息,也不支持自定义数据类型及自定义数据类型谓词的表示,介绍了一种新的模糊描述逻辑F-ALC(G),给出了F-ALC(G)的语法、语义.然后... 展开更多; 关键词语义WEB 模糊描述逻辑 f-ALC(G) 模糊OWL 自定义数据类型; 在线阅读下载PDF 职称材料

一种描述逻辑SROIQ(D)的云模型扩展: 5; 作者王莹莹刘杰 +1 位作者骆力明周建设《计算机应用与软件》 2017年第2期193-197,共5页; 客观世界存在大量的不确定性现象和知识。鉴于经典描述逻辑在表示不确定知识上存在一定缺陷,模糊描述逻辑在表示不确定知识时会丢失模糊性,为此,将云模型引入到描述逻辑SROIQ(D)中,实现对SROIQ(D)的云扩展,提出基于云模型的不确定描述逻... 展开更多; 关键词模糊描述逻辑云模型 C-SROIQ(d); 在线阅读下载PDF 职称材料

一种支持自定义模糊数据类型表示的模糊OWL扩展被引量：4: 6; 作者赵法信马宗民王海龙《计算机科学》 CSCD 北大核心 2011年第6期200-204,共5页; 语义网需要能够以一种智能的方式来表示和处理模糊知识与数据信息,但最近的研究证明,OWL在数据类型表示方面存在严重的局限性:首先,它不能处理在语义网和本体中广泛存在的不精确以及不确定信息;其次,它不支持自定义数据类型及自定义数... 展开更多; 关键词语义网模糊描述逻辑 f-SHOIN(G) 模糊OWL 自定义数据类型; 在线阅读下载PDF 职称材料

基于模糊描述逻辑的CBR的事例相似性: 7; 作者孙晋永钱俊彦 +1 位作者唐成华马林威《济南大学学报（自然科学版）》 CAS 北大核心 2016年第5期353-363,共11页; 针对用于基于事例推理(CBR)的描述逻辑不能表示和推理模糊语义知识的局限问题,将模糊描述逻辑F-SHIQ(D)引入CBR中,定义F-SHIQ(D)范式,据此表示包含模糊语义知识的CBR事例,提出同时考虑事例描述概念和隶属度相似性的事例相似性方法,并与... 展开更多; 关键词基于事例推理模糊描述逻辑f-shiq(d) 事例表示相似性度量; 在线阅读下载PDF 职称材料

题名模糊描述逻辑f-DLR-Lite∩的合取查询回答被引量：1: 1; 作者程经纬马宗民严丽王海龙; 机构东北大学信息科学与工程学院; 出处《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2008年第9期1249-1252,1296,1256,共6页; 基金教育部高等学校博士学科点专项科研基金资助项目(20050145024) 教育部新世纪优秀人才支持计划项目(NCET20520288); 文摘分析了描述逻辑合取查询回答的研究现状及存在的不足,在描述逻辑DL-Lite和模糊集理论的基础上,提出了一种可表示和处理n元关系,并允许在包含公理左侧出现概念合取的新的模糊描述逻辑f-DLR-Lite∩,并给出其语法和语义及知识库的形式.提出了一种兼容查询阈值和用户指定权重的模糊查询语言,给出了利用这种语言在f-DLR-Lite∩知识库上进行合取查询的具体步骤和算法,并进行了算法时间复杂度分析,讨论了该合取查询过程的一阶逻辑可归约性.f-DLR-Lite∩弥补了经典描述逻辑在知识表示和推理上的不足,扩展后的查询语言对用户查询意图的表达更加精确合理.; 关键词描述逻辑合取查询模糊查询语言一阶逻辑可归约性 f-dLR-Lite∩; Keywords description logic conjunctive query fuzzy query language fOL-reducibility f-dLR-Lite∩; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名支持模糊数据类型表示的模糊描述逻辑F-SHOIQ(G) 被引量：11: 2; 作者王海龙马宗民严丽程经纬; 机构东北大学信息科学与工程学院计算机应用技术研究所东北大学软件学院软件工程研究所; 出处《计算机学报》 EI CSCD 北大核心 2009年第8期1511-1524,共14页; 基金国家自然科学基金(60873010) 教育部新世纪优秀人才支持计划(NCET-05-0288) 教育部高等学校博士学科点专项科研基金(20050145024)资助~~; 文摘分析了现有描述逻辑在模糊知识和数据类型表示方面存在的问题,提出了一种新的模糊描述逻辑F-SHOIQ(G).F-SHOIQ(G)不仅能够表示模糊知识,而且能够表示含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息.首先,给出了模糊数据类型域的概念和模糊数据类型表示的一般形式,在此基础上,定义了F-SHOIQ(G)的语法、语义及相应的知识库,进而给出了基于模糊Tableaux的F-SHOIQ(G)概念的可满足性推理算法.其次,将经典描述逻辑中的推理结构(该结构将Tableaux扩展规则推理和数据类型推理相分离)用于F-SHOIQ(G)的推理问题,设计了相应的模糊数据类型推理机.最后,详细证明了F-SHOIQ(G)概念的可满足性推理问题是可判定的.在数据类型表示方面,F-SHOIQ(G)具备比FSHOIQ更强的表达能力和推理能力,为语义Web表示和推理模糊数据信息提供了理论基础.; 关键词模糊描述逻辑 f-SHOIQ(G) 模糊数据类型表示 Tableaux算法自定义模糊数据类型谓词; Keywords fuzzy description logic f-SHOIQ（G） representation of fuzzy data types Tableaux algorithm customized fuzzy data type predicate; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名FRESG:一种模糊描述逻辑推理机被引量：6: 3; 作者王海龙马宗民殷俊夫程经纬; 机构东北大学信息科学与工程学院; 出处《计算机研究与发展》 EI CSCD 北大核心 2009年第9期1488-1497,共10页; 基金国家自然科学基金项目(60873010) 教育部新世纪优秀人才支持计划项目(NCET-05-0288) 高等学校博士学科点专项科研基金项目(20050145024)~~; 文摘作为语义Web的逻辑基础,描述逻辑可为其提供推理支持,因而描述逻辑推理机是语义Web付诸应用的根本载体.基于模糊描述逻辑F-ALC(G),设计并实现了模糊描述逻辑推理机FRESG1.0,它支持含有模糊用户定制数据类型谓词的模糊数据类型信息的表示和推理.简要介绍了FRESG1.0的主要推理功能以及所使用的编程语言;详细描述了FRESG1.0的总体结构及其主要组成部分的设计与实现,其中着重阐述了FRESG1.0推理机的特色和设计实现过程中所采用的算法、实现技术.通过测试案例可以看出,FRESG1.0推理机具备较强的推理能力,尤其具备目前其他推理机所不具备的推理模糊用户定制数据信息的能力.FRESG1.0具有较强的模块化结构,有很好的可扩展性,为今后对其进行深入研究和扩展奠定了基础.; 关键词语义WEB 模糊描述逻辑 f-ALC(G) 推理机用户定制数据类型; Keywords semantic Web fuzzy description logic f-ALC（G） reasoner customized data type; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名基于模糊描述逻辑F-ALC(G)的模糊OWL扩展被引量：2: 4; 作者王海龙马宗民严丽闫东亮; 机构东北大学信息科学与工程学院; 出处《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2009年第11期1562-1565,共4页; 基金国家自然科学基金资助项目(60873010); 文摘针对OWL在数据类型表示方面存在严重的局限性,即它不能处理在语义Web和本体中广泛存在的不精确以及不确定信息,也不支持自定义数据类型及自定义数据类型谓词的表示,介绍了一种新的模糊描述逻辑F-ALC(G),给出了F-ALC(G)的语法、语义.然后,以F-ALC(G)为逻辑基础,并结合RDF/XML的语法规范,重新编码OWL中的描述算子,用来表示模糊本体知识,形成f-OWL.f-OWL不仅能够表示本体中的模糊知识,而且能够表示本体中含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息。; 关键词语义WEB 模糊描述逻辑 f-ALC(G) 模糊OWL 自定义数据类型; Keywords semantic web fuzzy description logic f-ALC（G） fuzzy OWL user-defined data; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一种描述逻辑SROIQ(D)的云模型扩展: 5; 作者王莹莹刘杰骆力明周建设; 机构首都师范大学信息工程学院首都师范大学文学院; 出处《计算机应用与软件》 2017年第2期193-197,共5页; 基金国家自然科学基金项目(61371194) 北京市自然科学基金项目(4152012) +1 种基金北京市重点建设学科"计算机应用技术"项目; 文摘客观世界存在大量的不确定性现象和知识。鉴于经典描述逻辑在表示不确定知识上存在一定缺陷,模糊描述逻辑在表示不确定知识时会丢失模糊性,为此,将云模型引入到描述逻辑SROIQ(D)中,实现对SROIQ(D)的云扩展,提出基于云模型的不确定描述逻辑C-SROIQ(D)。并给出其完整的语法、语义及知识库,从而实现了描述不确定性现象,保留了模糊性,还将模糊性和随机性相关联,丰富了描述逻辑的表达能力。; 关键词模糊描述逻辑云模型 C-SROIQ(d); Keywords fuzzy description logic Cloud model C-SROIQ（d）; 分类号 TP3 [自动化与计算机技术—计算机科学与技术]; 在线阅读下载PDF 职称材料

题名一种支持自定义模糊数据类型表示的模糊OWL扩展被引量：4: 6; 作者赵法信马宗民王海龙; 机构湛江师范学院信息科学与技术学院东北大学信息科学与工程学院; 出处《计算机科学》 CSCD 北大核心 2011年第6期200-204,共5页; 基金国家自然科学基金项目(60873010) 湛江师范学院专项科研项目(ZL0902)资助; 文摘语义网需要能够以一种智能的方式来表示和处理模糊知识与数据信息,但最近的研究证明,OWL在数据类型表示方面存在严重的局限性:首先,它不能处理在语义网和本体中广泛存在的不精确以及不确定信息;其次,它不支持自定义数据类型及自定义数据类型谓词的表示。为了解决上述局限性,提出了一种新的模糊描述逻辑F-SHOIN(G),给出了F-SHOIN(G)的语法、语义。然后,以F-SHOIN(G)为逻辑基础,并结合RDF/XML的语法规范,重新编码OWL中的描述算子,用来表示模糊本体知识,形成f-OWL。f-OWL不仅能够表示本体中的模糊知识,而且能够表示本体中含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息,为模糊本体的研究提供了新的表示方法。最后,还给出了由OWL文件到f-OWL文件的转换规则,从而实现了f-OWL对OWL的兼容。; 关键词语义网模糊描述逻辑 f-SHOIN(G) 模糊OWL 自定义数据类型; Keywords Semantic Web fuzzy description logic f-SHOIN（G） fuzzy OWL Customized data type; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于模糊描述逻辑的CBR的事例相似性: 7; 作者孙晋永钱俊彦唐成华马林威; 机构桂林电子科技大学广西可信软件重点实验室; 出处《济南大学学报（自然科学版）》 CAS 北大核心 2016年第5期353-363,共11页; 基金国家自然科学基金(61262030 61363030 +3 种基金 61462020) 桂林电子科技大学创新团队广西可信软件重点实验室研究课题(KX201412); 文摘针对用于基于事例推理(CBR)的描述逻辑不能表示和推理模糊语义知识的局限问题,将模糊描述逻辑F-SHIQ(D)引入CBR中,定义F-SHIQ(D)范式,据此表示包含模糊语义知识的CBR事例,提出同时考虑事例描述概念和隶属度相似性的事例相似性方法,并与现有基于描述逻辑的CBR进行对比。结果表明,在包含模糊语义信息的领域,基于F-SHIQ(D)的CBR能提升事例表示和事例相似性度量的准确性,有助于提高事例检索效率。; 关键词基于事例推理模糊描述逻辑f-shiq(d) 事例表示相似性度量; Keywords case-based reasoning fuzzy description logic f -shiq（d） case representation similarity metric; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	模糊描述逻辑f-DLR-Lite∩的合取查询回答	程经纬马宗民严丽王海龙	《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心	2008	1	在线阅读下载PDF 职称材料
2	支持模糊数据类型表示的模糊描述逻辑F-SHOIQ(G)	王海龙马宗民严丽程经纬	《计算机学报》 EI CSCD 北大核心	2009	11	在线阅读下载PDF 职称材料
3	FRESG:一种模糊描述逻辑推理机	王海龙马宗民殷俊夫程经纬	《计算机研究与发展》 EI CSCD 北大核心	2009	6	在线阅读下载PDF 职称材料
4	基于模糊描述逻辑F-ALC(G)的模糊OWL扩展	王海龙马宗民严丽闫东亮	《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心	2009	2	在线阅读下载PDF 职称材料
5	一种描述逻辑SROIQ(D)的云模型扩展	王莹莹刘杰骆力明周建设	《计算机应用与软件》	2017	0	在线阅读下载PDF 职称材料
6	一种支持自定义模糊数据类型表示的模糊OWL扩展	赵法信马宗民王海龙	《计算机科学》 CSCD 北大核心	2011	4	在线阅读下载PDF 职称材料
7	基于模糊描述逻辑的CBR的事例相似性	孙晋永钱俊彦唐成华马林威	《济南大学学报（自然科学版）》 CAS 北大核心	2016	0	在线阅读下载PDF 职称材料