【摘 要】
：
语义Web作为新一代Web正倍受关注,而Web的资源描述语言RDF、RDF的词汇描述RDFSchema,以及最新的本体语言OWL等已成为现今语义Web上的规范语言.本文从逻辑视角来分析这些语义W
【机 构】
：
北京大学,信息科学系,北京,100871
【出 处】
：
第四届全国计算机支持协同工作与第二届全国智能信息网络联合学术会议暨第四次CSCW学术会议
论文部分内容阅读
语义Web作为新一代Web正倍受关注,而Web的资源描述语言RDF、RDF的词汇描述RDFSchema,以及最新的本体语言OWL等已成为现今语义Web上的规范语言.本文从逻辑视角来分析这些语义Web语言,首先指出RDF(S)的语义是基于非经典的模型论语义,其次阐明在此基础上扩展到表达能力更强的基于描述逻辑的本体语言OWL的困难,最后分别概述了OWL与RDF(S)、OWL与描述逻辑之间的关系.对语义Web语言的逻辑分析将有助于更好地理解语义Web,并为下一步的实际应用奠定基础。
其他文献
本文介绍了聚羧酸系减水剂在杭州地铁管片生产中的应用研究结果。采用聚羧酸系减水剂配制了满足地铁管片对混凝土工作性、力学性能和耐久性的设计要求。单方混凝土的碱含量控
阐述了湿式石灰石洗涤烟气脱硫工艺及排出废水的水质特点,综合分析了火力发电厂中脱硫废水的处理方法,介绍了我国一电厂脱硫废水处理系统的设计、工艺过程以及设备布置,并结
介绍了国外几座IGCC示范电站在2002年的运行业绩,分析了在运行中遇到的各种问题.在我国建设IGCC示范电站,应该很好地总结和吸取他们的经验和教训.
利用循环流化床烟气脱硫热态装置对循环流化床烟气脱硫工艺进行了试验研究,在试验基础上,根据物料平衡和脱硫反应基本原理,建立了烟气循环流化床脱硫效率的数学模型.结果表明
基于低挥发分煤燃烧特性的分析及国内外低挥发分煤锅炉的设计经验,针对现有"W"型火焰锅炉运行问题的分析研究表明,锅炉燃烧及制粉系统的设计与低挥发分煤燃烧特性的良好匹配
利用公交IC卡发展城市一卡通，将公交IC卡系统平台改造为城市一卡通平台，可以避免重复发卡，减少资源浪费；是适应城市发展、方便市民消费的重要举措。本文现对公交一卡通升级改造情
本文介绍珠海市城市公共交通经营服务动态管理系统的产生背景，论述了系统的体系结构，功能以及创新特点。
本文对长三角城市公共交通一卡通系统互联的背景、意义、方案及互联模式研究的两项技术关键点等进行了阐述。技术关键点之一：城市交通卡清算中心之间的互联——建立区域交换中
沈阳城市公交一卡通系统是要把目前的公共汽车无人售票和其他售票方式改为,以非接触式IC卡作为储值卡支付手段.以公共通讯网络为连结纽带，以计算机系统为信息处理方法的现代化
本文对枯草芽孢杆菌B-332菌株分别在盆栽水稻及田间对稻瘟病的防治效果进行了考察,同时测定了该菌株在水稻上的定殖作用.结果表明,在盆栽水稻活体生物测定中,B-332的芽孢菌体