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

描述逻辑系统FLEN中概念的最小公共包含算法研究被引量：5: 1; 作者张维侯金宏 +2 位作者曹发生王驹蒋运承《计算机研究与发展》 EI CSCD 北大核心 2010年第6期1053-1059,共7页; 描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不含数量限制的描述逻辑系统,研究的是描述逻辑系统FLEN中的一种重要的非标准推理——概念... 展开更多; 关键词描述逻辑非标准推理概念描述树最小公共包含算法; 在线阅读下载PDF 职称材料

描述逻辑系统UEVN中概念的包含关系被引量：3: 2; 作者曹发生张维《计算机工程与应用》 CSCD 北大核心 2010年第30期43-45,共3页; 描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等。过去人们主要研究那些不含数量限制的描述逻辑系统,该文研究的是描述逻辑系统UEVN中的一种重要的非标准推理,它... 展开更多; 关键词描述逻辑非标准推理概念描述树; 在线阅读下载PDF 职称材料

带n-元存在量词的描述逻辑MSC推理被引量：2: 3; 作者蒋运承唐素勤《计算机学报》 EI CSCD 北大核心 2009年第8期1500-1510,共11页; 分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑MSC(Most Specific Concept)推理的研究现状和存在的问题.针对目前描述逻辑MSC推理不能处理n-元存在量词的不足,研究了带n-元存在量词的描述逻辑εL(n)的MSC推理问题.提出了一种新... 展开更多; 关键词描述逻辑 n-元存在量词描述树描述图非标准推理 MSC; 在线阅读下载PDF 职称材料

含传递角色和存在限制描述逻辑系统的匹配推理: 4; 作者张维郑添健王驹《计算机应用与软件》 CSCD 北大核心 2014年第7期267-271,319,共6页; 分析了描述逻辑非标准推理的重要性和匹配推理的研究现状以及存在的问题。针对匹配推理在处理带传递属性角色符号的不足,研究含传递角色符号和存在量词描述逻辑系统EL+中的匹配推理。通过引入前向边给出EL+中概念的描述图和描述树,基于... 展开更多; 关键词描述逻辑概念模式传递角色匹配推理; 在线阅读下载PDF 职称材料

题名描述逻辑系统FLEN中概念的最小公共包含算法研究被引量：5: 1; 作者张维侯金宏曹发生王驹蒋运承; 机构黔南民族师范学院数学系广西师范大学数学科学学院毕节学院逻辑与应用逻辑研究所广西师范大学计算机科学与信息工程学院华南师范大学计算机学院中国科学院软件研究所计算机科学国家重点实验室; 出处《计算机研究与发展》 EI CSCD 北大核心 2010年第6期1053-1059,共7页; 基金国家自然科学基金项目(60663001) 中国科学院计算机科学国家重点实验室开放课题基金项目(SYSKF0904) +2 种基金贵州省教育厅自然科学基金项目(黔教科2008090); 文摘描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不含数量限制的描述逻辑系统,研究的是描述逻辑系统FLEN中的一种重要的非标准推理——概念的最小公共包含,它同时含有数量限制和存在限制,是对前人工作的推广.首先定义了FLEN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的推理算法,然后通过两棵概念描述树的笛卡儿积给出了两个概念的最小公共包含推理算法并指出了概念A,B的最小公共包含概念LCS(A,B)的大小size(LCS(A,B))是随着size(A),size(B)呈指数增长的.; 关键词描述逻辑非标准推理概念描述树最小公共包含算法; Keywords description logic nonstandard inference concept description tree least common subsumer algorithm; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名描述逻辑系统UEVN中概念的包含关系被引量：3: 2; 作者曹发生张维; 机构毕节学院数学系逻辑、语言与认知研究中心黔南民族师范学院数学系; 出处《计算机工程与应用》 CSCD 北大核心 2010年第30期43-45,共3页; 基金贵州省教育厅自然科学基金资助项目(黔教科20090068,20090047) 贵州省科学技术基金资助项目(黔科合J字[2009]2068号); 文摘描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等。过去人们主要研究那些不含数量限制的描述逻辑系统,该文研究的是描述逻辑系统UEVN中的一种重要的非标准推理,它同时含有了并、存在约束量词、全称约束量词和数字限制。利用定义UEVN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的充要条件。; 关键词描述逻辑非标准推理概念描述树; Keywords description logic； nonstandard inference； concept description tree；; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名带n-元存在量词的描述逻辑MSC推理被引量：2: 3; 作者蒋运承唐素勤; 机构华南师范大学计算机学院中国科学院计算机科学国家重点实验室广西师范大学计算机科学与信息工程学院; 出处《计算机学报》 EI CSCD 北大核心 2009年第8期1500-1510,共11页; 基金国家自然科学基金(60663001 60573010) +3 种基金桂科自0991100 桂科自0832103)资助~~; 文摘分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑MSC(Most Specific Concept)推理的研究现状和存在的问题.针对目前描述逻辑MSC推理不能处理n-元存在量词的不足,研究了带n-元存在量词的描述逻辑εL(n)的MSC推理问题.提出了一种新的εL(n)-描述图,利用描述树和描述图给出了描述逻辑εL(n)的MSC近似推理算法,并利用εL(n)-描述树嵌套和εL(n)-描述树描述图同态证明了MSC近似推理算法的正确性.作为一个附带的结果,利用εL(n)-描述树描述图同态给出了εL(n)的实例推理算法,也证明了实例推理算法的正确性.; 关键词描述逻辑 n-元存在量词描述树描述图非标准推理 MSC; Keywords description logics n-ary existential quantifier description tree description graph non-standard inferences MSC; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名含传递角色和存在限制描述逻辑系统的匹配推理: 4; 作者张维郑添健王驹; 机构黔南民族师范学院数学系中山大学信息科学与技术学院黔南民族师范学院计算机系广西师范大学计算机科学与信息工程学院; 出处《计算机应用与软件》 CSCD 北大核心 2014年第7期267-271,319,共6页; 基金贵州省教育厅自然科学基金项目(黔教科20090047) 贵州省科学技术基金项目(黔科合J字[2012]2310); 文摘分析了描述逻辑非标准推理的重要性和匹配推理的研究现状以及存在的问题。针对匹配推理在处理带传递属性角色符号的不足,研究含传递角色符号和存在量词描述逻辑系统EL+中的匹配推理。通过引入前向边给出EL+中概念的描述图和描述树,基于描述图和描述树给出EL+中两类匹配问题的匹配算法。说明算法的可靠性,并分析算法的复杂性。; 关键词描述逻辑概念模式传递角色匹配推理; Keywords description logic concept pattern Transitive roles Matching inference; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	描述逻辑系统FLEN中概念的最小公共包含算法研究	张维侯金宏曹发生王驹蒋运承	《计算机研究与发展》 EI CSCD 北大核心	2010	5	在线阅读下载PDF 职称材料
2	描述逻辑系统UEVN中概念的包含关系	曹发生张维	《计算机工程与应用》 CSCD 北大核心	2010	3	在线阅读下载PDF 职称材料
3	带n-元存在量词的描述逻辑MSC推理	蒋运承唐素勤	《计算机学报》 EI CSCD 北大核心	2009	2	在线阅读下载PDF 职称材料
4	含传递角色和存在限制描述逻辑系统的匹配推理	张维郑添健王驹	《计算机应用与软件》 CSCD 北大核心	2014	0	在线阅读下载PDF 职称材料