基于扩展描述逻辑的Ontology形式化

摘要：

语义Web解决的问题是机哭对Web上知识的理解,使计算机能够理解web上的知识,便于计算机处理,而在语义web的层次结构中,Ontology屡占重要的地位.本文在描述逻辑的基础之上,引入模态逻辑和时态逻辑,用于表达语义web上的模态语义,从而实现丰富web上的语义信息.

关键词：语义web、Ontology、描述逻辑、模态逻辑、时态逻辑

分类号：TP391;B81-06;TP18

在线出版日期：2009-11-06（万方平台首次上网日期，不代表论文的发表时间）

页码：111-112