逻辑结构决定了算法的_《辽宁师范大学》2013年硕士论文

  本文关键词：描述逻辑FLε的合一算法，由笔耕文化传播整理发布。

【相似文献】

中国期刊全文数据库 前10条

1 宋峻峰,张维明,肖卫东,唐九阳;基于本体的信息检索模型研究[J];南京大学学报(自然科学版);2005年02期

2 甘健侯;文斌;;基于描述逻辑的概念建模研究[J];云南师范大学学报(自然科学版);2008年06期

3 胡鹤;杜小勇;;一种基于区间模糊理论的描述逻辑系统[J];华中科技大学学报(自然科学版);2005年S1期

4 程欣,孙载阳,陈宝安;细胞因子FL与造血细胞的关系[J];铁道医学;2000年03期

5 余泉;甘晓丽;王驹;;循环ALCN-Tbox的模型构造[J];广西师范大学学报(自然科学版);2008年01期

6 陈文军;徐慧;;基于描述逻辑的语义Web服务组合的框架研究[J];科协论坛(下半月);2011年05期

7 文斌;甘健侯;夏幼明;徐天任;;扩展描述罗辑ALC~+到谓词逻辑的转换研究初探[J];云南大学学报(自然科学版);2006年S2期

8 何红悦;宋自林;周波;;基于DL-Safe规则的UML状态图形式化和一致性验证[J];郑州大学学报(理学版);2009年01期

9 文斌;杨志荣;陈恳;甘健侯;;简单概念图与扩展描述逻辑ALC+的关系探讨[J];云南大学学报(自然科学版);2007年S2期

10 王淞昕;;基于描述逻辑的图像检索框架[J];吉林大学学报(理学版);2010年02期

中国重要会议论文全文数据库 前10条

1 吴凌坤;汤庸;汤娜;;一种基于时态描述逻辑的工资智能决策支持系统的实现[A];第二十三届中国数据库学术会议论文集（研究报告篇）[C];2006年

2 曹发生;;描述逻辑系统UEVN中概念的包含算法[A];“回顾与前瞻：中国逻辑史研究30年”全国学术研讨会论文集[C];2010年

3 王真星;吕腾;;本体的描述逻辑到框架表示的转换[A];第二十一届中国数据库学术会议论文集（技术报告篇）[C];2004年

4 张杨;房斌;徐传运;;基于本体和描述逻辑的图像语义识别[A];全国第20届计算机技术与应用学术会议（CACIS·2009）暨全国第1届安全关键技术与应用学术会议论文集（上册）[C];2009年

5 文斌;甘健侯;夏幼明;徐天伟;;框架表示法到扩展描述逻辑ALC+的转换初探[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集（上）[C];2008年

6 常亮;高申;李德波;古天龙;;基于OBDD的描述逻辑ALCIO判定算法[A];广西计算机学会2010年学术年会论文集[C];2010年

7 林培光;刘弘;樊孝忠;王涛;;一种新的语义网信息检索方法(英文)[A];全国语域web与本体能研讨会论文集[C];2006年

8 康达周;徐宝文;陆建江;李言辉;;支持语义web模糊本体的描述逻辑(英文)[A];全国语域web与本体能研讨会论文集[C];2006年

9 叶枫;曹敬;李晓芳;;水环境特定业务的语义及其应用研究[A];第三届全国水力学与水利信息学大会论文集[C];2007年

10 吴善明;沈建京;;本体驱动的分布式地理信息网络服务链[A];2007中国控制与决策学术年会论文集[C];2007年

中国重要报纸全文数据库 前10条

1 PALADIN;[N];电脑报;2003年

2 PALADIN;[N];电脑报;2003年

3 ;[N];中国电脑教育报;2004年

4 记者 雷敏　张旭东　刘铮;[N];新华每日电讯;2005年

5 H Q;[N];电脑报;2003年

6 记者 侯建华;[N];重庆商报;2001年

7 汪蔚;[N];中国计算机报;2008年

8 南京 朱罕非;[N];电子报;2004年

9 胡英;[N];计算机世界;2007年

10 复旦大学国际政治系博士 沈逸;[N];东方早报;2010年

中国博士学位论文全文数据库 前10条

1 王静;基于可拓集的描述逻辑研究[D];哈尔滨工程大学;2009年

2 张小旺;超协调描述逻辑[D];北京大学;2011年

3 邹婷婷;描述逻辑中若干问题的研究[D];吉林大学;2013年

4 唐素勤;面向语义Web的描述逻辑本体构建[D];中南大学;2011年

5 沈国华;基于描述逻辑的语义Web服务建模及推理研究[D];南京航空航天大学;2009年

6 冯莎莎;本体逻辑差的研究[D];吉林大学;2011年

7 古华茂;描述逻辑概念可满足性推理研究[D];浙江大学;2009年

8 杨鹏;面向事件感知的应急临机决策引擎研究[D];天津大学;2010年

9 方流;描述逻辑推理优化技术研究[D];浙江大学;2008年

10 贾育;基于演于构件的软件复用方法[D];中国科学院研究生院（软件研究所）;2002年

中国硕士学位论文全文数据库 前10条

1 刘凯;描述逻辑FLε的合一算法[D];辽宁师范大学;2013年

2 朱红梅;模型资源的语义表示和应用研究[D];山东科技大学;2005年

3 郭昊;描述逻辑在空间推理中的应用[D];吉林大学;2008年

4 任涛;基于本体和描述逻辑的Web服务查找技术研究[D];山东大学;2005年

5 董小峰;面向服务的企业数据语义检索技术研究[D];西北工业大学;2006年

6 朱创录;基于语义Web的自动推理技术研究[D];西北大学;2006年

7 吴昊;基于本体论的知识推理查询系统的研究[D];江苏大学;2005年

8 汪洋;基于描述逻辑的推理机设计实现及其分布化研究[D];北京邮电大学;2007年

9 张银平;描述逻辑在构件检索以及Web服务组合上的应用[D];吉林大学;2008年

10 王勇红;描述逻辑εL循环术语集的保守扩充[D];广西师范大学;2012年

  本文关键词：描述逻辑FLε的合一算法，，由笔耕文化传播整理发布。