- 相关推荐
基于扩展描述逻辑的Ontology形式化
语义Web解决的问题是机哭对Web上知识的理解,使计算机能够理解web上的知识,便于计算机处理,而在语义web的层次结构中,Ontology屡占重要的地位.本文在描述逻辑的基础之上,引入模态逻辑和时态逻辑,用于表达语义web上的模态语义,从而实现丰富web上的语义信息.
作 者： 贾延明 高峥 作者单位： 贾延明(河南商丘科技职业学院)高峥(河南新乡学院现代教育技术中心)
刊 名： 管理学家 英文刊名： GUANGLI XUEJIA 年，卷(期)： 2009 ""(5) 分类号： 关键词： 语义web Ontology 描述逻辑 模态逻辑 时态逻辑【基于扩展描述逻辑的Ontology形式化】相关文章：
基于描述逻辑的地图语义模型初步研究04-27
逻辑演算与形式化方法04-30
关于辩证逻辑形式化问题04-28
资源描述框架的形式化表示问题研究04-30
Ontology格义04-27
基于模糊逻辑的组合导引律04-28
基于极小扩展原理的表现外延及其性质04-26
带空洞的复杂面域间拓扑关系的形式化描述04-29
带空洞的复杂面域间拓扑关系的形式化描述04-28
基于模糊逻辑的高性能融合制导研究04-30