[上篇][语义Web原理及应用]
上篇，语义Web原理。
1. 语义Web不是一个全新的Web，它是对已有Web的延伸
2. 语义Web的目标是为了解决应用、企业和社区之间的互操作
3. 语义Web是数据的Web、而不是文档的Web。已有Web是文档的简单链接，而予以Web是数据的语义Web
4. 语义Web的设计策略是不提出新技术，而是尽量利用已有技术
5. 语义Web的提出已有近10年的时间，目前还在不断地演化发展
6. 在语义Web中共享数据的主要步骤包括指派URI、调整已有数据和发布数据。通过嵌入RDF发布数据的方法包括Microformats、RDFa、eRDF、GRDDL等
7. 命名空间保证了资源名称的唯一性
8. 命题逻辑、一阶谓词逻辑、语义网络和框架是语义Web知识表示的基础
9. 命题逻辑和一阶谓词逻辑的推理方法包括基于推理规则集的和基于归结反驳的
10. E-R数据模型、面向对象数据模型及基于逻辑的数据模型是RDF数据模型的基础
11. RDF的具体语法包括RDF/XML语法和N3语法
12. RDF是一种断言逻辑，主要概念包括简单解释、简单推导、RDF解释、RDF推导等。
13. RDFS是一种简单的本体描述语言，它和OWL Full兼容，但是不能和OWL Lite、OWL DL兼容
14. 本体描述语言应该兼顾表达能力和推理的有效性，但是要做到这一点很困难。所以出现了OWL Lite、OWL DL、OWL Full三个子语言和OWL DLP、OWL Horst等OWL方言
15. 作为一种RDF查询语言，SPARQL规范已得到广泛应用
16. 在语义Web应用中，描述逻辑的表达能力不能满足要求，需要采用规则（特别是Datalog规则）来提高描述逻辑的表达能力。在OWL DL和Datalog的基础上提出了SWRL
17. 为了满足各种各样的需求，人们提出了未来的Web本体语言OWL 2，它包括EL、QL、RL三个子语言
18. 常见的TBox推理包括四种：可满足性、包含、等价和不交，常见的ABox推理包括四种：可满足性、实例检查、实例检索和实现
19. 海量RDF三元组的存储、查询、推理是一个研究热点
20. 如何对可扩展性、推理速度和表达能力进行折中，是OWL推理的主要研究内容之一
21. OWL Lite、OWL DL推理已经研究得比较多，但是OWL Full推理的研究还很少
22. Horn逻辑推理的复杂度比较低，但是和描述逻辑集成后，推理是不可判定的
1. 语义Web不是一个全新的Web，它是对已有Web的延伸
2. 语义Web的目标是为了解决应用、企业和社区之间的互操作
3. 语义Web是数据的Web、而不是文档的Web。已有Web是文档的简单链接，而予以Web是数据的语义Web
4. 语义Web的设计策略是不提出新技术，而是尽量利用已有技术
5. 语义Web的提出已有近10年的时间，目前还在不断地演化发展
6. 在语义Web中共享数据的主要步骤包括指派URI、调整已有数据和发布数据。通过嵌入RDF发布数据的方法包括Microformats、RDFa、eRDF、GRDDL等
7. 命名空间保证了资源名称的唯一性
8. 命题逻辑、一阶谓词逻辑、语义网络和框架是语义Web知识表示的基础
9. 命题逻辑和一阶谓词逻辑的推理方法包括基于推理规则集的和基于归结反驳的
10. E-R数据模型、面向对象数据模型及基于逻辑的数据模型是RDF数据模型的基础
11. RDF的具体语法包括RDF/XML语法和N3语法
12. RDF是一种断言逻辑，主要概念包括简单解释、简单推导、RDF解释、RDF推导等。
13. RDFS是一种简单的本体描述语言，它和OWL Full兼容，但是不能和OWL Lite、OWL DL兼容
14. 本体描述语言应该兼顾表达能力和推理的有效性，但是要做到这一点很困难。所以出现了OWL Lite、OWL DL、OWL Full三个子语言和OWL DLP、OWL Horst等OWL方言
15. 作为一种RDF查询语言，SPARQL规范已得到广泛应用
16. 在语义Web应用中，描述逻辑的表达能力不能满足要求，需要采用规则（特别是Datalog规则）来提高描述逻辑的表达能力。在OWL DL和Datalog的基础上提出了SWRL
17. 为了满足各种各样的需求，人们提出了未来的Web本体语言OWL 2，它包括EL、QL、RL三个子语言
18. 常见的TBox推理包括四种：可满足性、包含、等价和不交，常见的ABox推理包括四种：可满足性、实例检查、实例检索和实现
19. 海量RDF三元组的存储、查询、推理是一个研究热点
20. 如何对可扩展性、推理速度和表达能力进行折中，是OWL推理的主要研究内容之一
21. OWL Lite、OWL DL推理已经研究得比较多，但是OWL Full推理的研究还很少
22. Horn逻辑推理的复杂度比较低，但是和描述逻辑集成后，推理是不可判定的
