基于扩展描述逻辑的Ontology形式化
语义Web解决的问题是机哭对Web上知识的理解,使计算机能够理解web上的知识,便于计算机处理,而在语义web的层次结构中,Ontology屡占重要的地位.本文在描述逻辑的基础之上,引入模态逻辑和时态逻辑,用于表达语义web上的模态语义,从而实现丰富web上的语义信息.
作 者: 贾延明 高峥 作者单位: 贾延明(河南商丘科技职业学院)高峥(河南新乡学院现代教育技术中心)
刊 名: 管理学家 英文刊名: GUANGLI XUEJIA 年,卷(期): 2009 ""(5) 分类号: 关键词: 语义web Ontology 描述逻辑 模态逻辑 时态逻辑