中文会议: 计算机支持协同工作与智能信息网络研究进展
会议日期: 2004-10-01
会议地点: 杭州
主办单位: 中国通信学会
机构地区: 北京大学数学科学学院信息科学系
出 处: 《第四届全国计算机支持协同工作与第二届全国智能信息网络联合学术会议暨第四次CSCW学术会议》
摘 要: 语义Web作为新一代Web正倍受关注,而Web的资源描述语言RDF、RDF的词汇描述RDFSchema,以及最新的本体语言OWL等已成为现今语义Web上的规范语言.本文从逻辑视角来分析这些语义Web语言,首先指出RDF(S)的语义是基于非经典的模型论语义,其次阐明在此基础上扩展到表达能力更强的基于描述逻辑的本体语言OWL的困难,最后分别概述了OWL与RDF(S)、OWL与描述逻辑之间的关系.对语义Web语言的逻辑分析将有助于更好地理解语义Web,并为下一步的实际应用奠定基础。
分 类 号: [TP]
领 域: [自动化与计算机技术]