首页> 中文会议>第六届中国不确定系统年会 >关于描述逻辑中不动点语义的讨论

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

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《第六届中国不确定系统年会》|2008年|13-15|共3页
会议地点洛阳
作者

展开▼
作者单位

中国运筹学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类非线性泛函分析;应用数理逻辑;
关键词
描述逻辑; 不动点语义; Tbox; 基解释; J-模型; 闭包算子;
入库时间 2022-08-17 11:00:46

相似文献

中文文献
外文文献
专利

1. 描述逻辑εLN循环术语集的不动点语义及推理 [J] . 蒋运承 ,王驹 ,史忠植 . 软件学报 . 2009,第003期
2. 关于逻辑程序不动点语义的讨论 [J] . 刘富春 . 广东工业大学学报 . 2005,第002期
3. 再扩充模糊逻辑中逻辑程序的模型论语义和不动点语义研究 [J] . 刘富春 . 模糊系统与数学 . 2006,第2期
4. 面向语义Web语义表示的模糊描述逻辑 [J] . 蒋运承 ,史忠植 ,汤庸 . 软件学报 . 2007,第006期
5. 描述逻辑在基于语义的服务消息交互中的应用 [J] . 邱剑锋 ,王申康 ,马勤勇 . 计算机应用研究 . 2009,第001期
6. 基于描述逻辑的多媒体数据语义建模技术研究 [C] . 王月敏 . 2010年亚太信息网络与数字内容安全会议 . 2010
7. 语义Web中基于描述逻辑的多知识库整合研究 [A] . 夏战锋 . 2011

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号