语义Web知识标记语言及其逻辑推理研究

来源 :全国第四届Web信息系统及其应用学术会议、全国第二届语义Web与本体论学术研讨会、全国电子政务技术与办公自动化学术研讨会 | 被引量 : 0次 | 上传用户：jweblogicdownload

【摘要】

：

从知识表示和逻辑推理两方面探讨了语义Web的实现方法，介绍了OWL及其形式化基础——描述逻辑，系统分析了OWL的语言成分与描述逻辑间的对应关系，并用描述逻辑的语义解释了OWL的各

【作者】

：

张辉;贲可荣;

【机构】

：

海军工程大学计算机系武汉 430033

【出处】

：

全国第四届Web信息系统及其应用学术会议、全国第二届语义Web与本体论学术研讨会、全国电子政务技术与办公自动化学术研讨会

【发表日期】

：

2007年期

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

从知识表示和逻辑推理两方面探讨了语义Web的实现方法，介绍了OWL及其形式化基础——描述逻辑，系统分析了OWL的语言成分与描述逻辑间的对应关系，并用描述逻辑的语义解释了OWL的各个基本元素，最后阐述了基于描述逻辑的知识表示系统的推理机制。在描述逻辑领域中考虑OWL的知识标准、语义和推理等问题，从而可将描述逻辑领域的研究成果应用于OWL，为进一步研究语义Web服务(OWL-S)奠定了基础.

其他文献

基于P2P缓存调度的视频流服务模型

利用P2P(peer to peer)视频缓存调度服务模型将传统的集中式VOD(视频点播)的服务分散化，从而消除传统的集中式VOD系统的瓶颈。为建立和保持多播树结构，论文采用新的缓存策略，视

会议

张伯苓的一次糊涂“爱国”

张伯苓是民国时期的大教育家，享有“南开之父”的美誉，对民族振兴作出了巨大贡献。但是，他却有过一次糊涂的“爱国”。事情是这样的：1948年6月，蒋介石先斩后奏致电张伯苓的学生、时任天津市长的杜建时，请他转告请张出任国民政府考试院院长。张伯苓以“年老体衰，素乏行政经验”等原因婉拒了，而国民党中常会则通过了任命。杜建时夹在中间左右为难，于是发动老校长的契友和他所器重的南开校友，对张伯苓进行了狂轰滥炸式的

期刊