Institute of Computing Technology, Chinese Academy IR
| 语义Web的逻辑基础 | |
| 史忠植; 董明楷; 蒋运承; 张海俊 | |
| 2004 | |
| 发表期刊 | 中国科学：E辑
 |
| ISSN | 1006-9275 |
| 卷号 | 34.0期号:010页码:1123 |
| 摘要 | 分析了目前语义Web理论的研究现状和存在的问题，分析了用传统描述逻辑作为语义Web逻辑基础的不充分性，根据语义Web的特点和需求，提出了一种新的动态描述逻辑DDL，该DDL将静态知识和动态知识表示与推理有机地整合在一起．特别的是，给出了具体的动作描述方法，并按照传统描述逻辑的语义解释方法给出了动作的语义解释，从而该DDL形成了一种能同时处理静态知识和动态知识的统一的形式化逻辑框架．该DDL具有清晰的语义特征，既提供了可判定的推理服务，又能有效地对静态知识、动态过程和运行机制进行表示和推理(动作的可实现性和动作之间的包含关系)，因此，提出的动态描述逻辑DDL可以为语义Web提供合理的逻辑基础，弥补了传统描述逻辑作为语义Web逻辑基础的不足． |
| 关键词 | 语义Web 描述逻辑 DDL 知识表示 推理 动态 形式化 逻辑基础 存在 传统 |
| 语种 | 英语 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://119.78.100.204/handle/2XEOYT63/26481 |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 中国科学院计算技术研究所 |
| 第一作者单位 | 中国科学院计算技术研究所 |
| 推荐引用方式 GB/T 7714 | 史忠植,董明楷,蒋运承,等. 语义Web的逻辑基础[J]. 中国科学：E辑,2004,34.0(010):1123. |
| APA | 史忠植,董明楷,蒋运承,&张海俊.(2004).语义Web的逻辑基础.中国科学：E辑,34.0(010),1123. |
| MLA | 史忠植,et al."语义Web的逻辑基础".中国科学：E辑 34.0.010(2004):1123. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [史忠植]的文章 |
| [董明楷]的文章 |
| [蒋运承]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [史忠植]的文章 |
| [董明楷]的文章 |
| [蒋运承]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [史忠植]的文章 |
| [董明楷]的文章 |
| [蒋运承]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论