收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

关于描述逻辑中不动点语义的讨论

郭秀敏  王国俊  
【摘要】:文章主要讨论了描述逻辑中 Tbox 的最大与最小不动点语义,证明了当某一基解释 J 所诱导的映射为单调时,该 Tbox 存在最大与最小 J-模型,并且该映射的不动点构成一完备格.又由完备格而引出关于不动点的闭包算子及闭包系统的一些知识,最后讨论了最大与最小模型存在与否问题.

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 曹发生;余泉;;归纳法在描述逻辑中的应用[J];毕节学院学报;2009年08期
2 陈文军;徐慧;;基于描述逻辑的语义Web服务组合的框架研究[J];科协论坛(下半月);2011年05期
3 文斌;甘健侯;夏幼明;徐天任;;扩展描述罗辑ALC~+到谓词逻辑的转换研究初探[J];云南大学学报(自然科学版);2006年S2期
4 文斌;杨志荣;陈恳;甘健侯;;简单概念图与扩展描述逻辑ALC+的关系探讨[J];云南大学学报(自然科学版);2007年S2期
5 宋峻峰,张维明,肖卫东,唐九阳;基于本体的信息检索模型研究[J];南京大学学报(自然科学版);2005年02期
6 王淞昕;;基于描述逻辑的图像检索框架[J];吉林大学学报(理学版);2010年02期
7 高晓兵;李佳;曹发生;;一种格值的模糊动态描述逻辑[J];毕节学院学报;2010年04期
8 杨敬波;贾丽虹;张召兵;;描述逻辑SHIQ研究[J];曲阜师范大学学报(自然科学版);2006年01期
9 李宗寿;;基于描述逻辑的知识建模语言[J];怀化学院学报(自然科学);2007年02期
10 王淞昕;;能处理分层信度知识的描述逻辑PB-SHOIN(D)[J];吉林大学学报(理学版);2008年02期
11 胡鹤;杜小勇;;一种基于区间模糊理论的描述逻辑系统[J];华中科技大学学报(自然科学版);2005年S1期
12 肖升;阳西述;;基于SHIQ DL关系词语分类研究[J];湖南师范大学自然科学学报;2007年04期
13 余泉;王驹;;模态描述逻辑的模型[J];南京大学学报数学半年刊;2007年02期
14 苏里;;基于描述逻辑的地图语义模型初步研究[J];测绘科学;2009年03期
15 刘健;;语义网中模糊本体的描述逻辑[J];科技资讯;2010年02期
16 张凌宇;陈楠;;语义网中描述逻辑的模糊扩展[J];高师理科学刊;2010年04期
17 程显毅;朱倩;韩飞;;基于HNC和描述逻辑的问句语义块分析[J];广西师范大学学报(自然科学版);2010年03期
18 林培光;樊孝忠;邓擘;;Cloud-ALC:描述逻辑ALC的不确定扩展[J];广西师范大学学报(自然科学版);2006年04期
19 常亮;高申;李德波;古天龙;;基于OBDD的描述逻辑ALCIO判定算法[J];广西科学院学报;2010年04期
20 郑茂辉;冯学智;蒋莹滢;黄照强;;基于描述逻辑本体的GIS多重表达[J];测绘学报;2006年03期
中国重要会议论文全文数据库 前10条
1 郭秀敏;王国俊;;关于描述逻辑中不动点语义的讨论[A];第六届中国不确定系统年会论文集[C];2008年
2 吴凌坤;汤庸;汤娜;;一种基于时态描述逻辑的工资智能决策支持系统的实现[A];第二十三届中国数据库学术会议论文集(研究报告篇)[C];2006年
3 曹发生;;描述逻辑系统UEVN中概念的包含算法[A];“回顾与前瞻:中国逻辑史研究30年”全国学术研讨会论文集[C];2010年
4 王真星;吕腾;;本体的描述逻辑到框架表示的转换[A];第二十一届中国数据库学术会议论文集(技术报告篇)[C];2004年
5 张杨;房斌;徐传运;;基于本体和描述逻辑的图像语义识别[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(上册)[C];2009年
6 文斌;甘健侯;夏幼明;徐天伟;;框架表示法到扩展描述逻辑ALC+的转换初探[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
7 常亮;高申;李德波;古天龙;;基于OBDD的描述逻辑ALCIO判定算法[A];广西计算机学会2010年学术年会论文集[C];2010年
8 林培光;刘弘;樊孝忠;王涛;;一种新的语义网信息检索方法(英文)[A];全国语域web与本体能研讨会论文集[C];2006年
9 康达周;徐宝文;陆建江;李言辉;;支持语义web模糊本体的描述逻辑(英文)[A];全国语域web与本体能研讨会论文集[C];2006年
10 叶枫;曹敬;李晓芳;;水环境特定业务的语义及其应用研究[A];第三届全国水力学与水利信息学大会论文集[C];2007年
中国博士学位论文全文数据库 前10条
1 王静;基于可拓集的描述逻辑研究[D];哈尔滨工程大学;2009年
2 张小旺;超协调描述逻辑[D];北京大学;2011年
3 唐素勤;面向语义Web的描述逻辑本体构建[D];中南大学;2011年
4 沈国华;基于描述逻辑的语义Web服务建模及推理研究[D];南京航空航天大学;2009年
5 冯莎莎;本体逻辑差的研究[D];吉林大学;2011年
6 杨鹏;面向事件感知的应急临机决策引擎研究[D];天津大学;2010年
7 方流;描述逻辑推理优化技术研究[D];浙江大学;2008年
8 古华茂;描述逻辑概念可满足性推理研究[D];浙江大学;2009年
9 贾育;基于演于构件的软件复用方法[D];中国科学院研究生院(软件研究所);2002年
10 付相君;基于本体和Semantic Web技术的产品知识集成基础研究[D];浙江大学;2005年
中国硕士学位论文全文数据库 前10条
1 郭昊;描述逻辑在空间推理中的应用[D];吉林大学;2008年
2 任涛;基于本体和描述逻辑的Web服务查找技术研究[D];山东大学;2005年
3 董小峰;面向服务的企业数据语义检索技术研究[D];西北工业大学;2006年
4 朱创录;基于语义Web的自动推理技术研究[D];西北大学;2006年
5 吴昊;基于本体论的知识推理查询系统的研究[D];江苏大学;2005年
6 汪洋;基于描述逻辑的推理机设计实现及其分布化研究[D];北京邮电大学;2007年
7 张银平;描述逻辑在构件检索以及Web服务组合上的应用[D];吉林大学;2008年
8 朱红梅;模型资源的语义表示和应用研究[D];山东科技大学;2005年
9 文斌;基于描述逻辑的语义Web知识推理研究[D];云南师范大学;2005年
10 蔡凤真;汉语通用数据库接口的研究与实现[D];中国石油大学;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978