初学语义web好资料，可做入门学习，分八章进行概述。

详细谈谈语义web

LUBM:A Benchmark for OWL Knowledge Base Systems.本文档包含了10所大学的133万多条RDF/N Triples数据,可以直接描述资源-属性-资源关系，方便读者做测试。

针对语义组合Web服务的验证问题,研究了模型验证相关技术、统一模型语言(UML),提出了基于模型驱动架构(MDA)的组合方法.该方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模,实现了语义组合Web服务的UML描述,然后将该描述转换为Promela语言代码,在Promela代码之后增加LTL的声明,使用SPIN工具进行正确性、安全性和活性验证.该模型保证了组合过程的正确性.

作者: [德] 希茨利尔 副标题: 语义Web技术基础 译者: 俞勇 出版年: 2012-12 页数: 294 丛书: 世界著名计算机教材精选 ISBN: 9787302289692 《世界著名计算机教材精选:语义Web技术基础》主要介绍了语义万维网基础技术。《世界著名计算机教材精选:语义Web技术基础》从实用的角度，从语义Web的发展开始，介绍了当今流行的几种语义Web技术，是国内外第一本关于语义Web技术的图书。《世界著名计算机教材精选:语义Web技术基础》包括9章，分别介绍了语义技术的起源，RDF的基础知识，RDF和RDFS的形式语义，Web本体语言OWL，OWL的形式语义，本体和规则，本体的查询语言，本体工程，以及本体的一些应用。