1. 简介
OWL2 Web本体语言(OWL)是一种语义Web语言，它被设计用来表示关于实体、实体间关系的丰富和复杂知识。
OWL是一个以计算逻辑为基础的语言，用OWL表示的知识可以通过计算机程序进行推理(演绎推理)，从而验证知识一致性，或者使隐性知识显性化。
OWL文档，也被称为本体，能够在万维网上发布，可以引用其他的OWL本体或者被其他的OWL本体引用。OWL是W3C Semantic Web技术堆栈（其中还包括RDF和SPARQL）的一部分（RDF和SPARQL后面会有专栏进行总结分享）
需要说明的是W3C Semantic Web技术堆栈为W3C制定的学界规范，在与相关标准委员会关联人员交流时了解到，现在正在制定的业界标准规范部分内容并非采用W3C体系，后续会专门写一篇，阐述学界和业界的关系
2. OWL语法
OWL提供了各种可用的语法，服务于不同的目的。具体来说包括函数式语法、RDF/XML语法、曼彻斯特语法、XML语法、Turtle语法等 ，其中RDF/XML语法是唯一一个所有的OWL2工具都必须支持的语法，个人觉得OWL 2 Specification语法入门是最简单的，所以入门案例都会围绕OWL 2 Specification语法展开
| 语法名称 | 连接 | 约束 | 说明 |
|---|---|---|---|
| RDF/XML | Mapping to RDF Graphs,RDF/XML | 必须支持 | 用于OWL的RDF/XML语法，就是RDF/XML |
| OWL/XML | XML Serialization | 可选 | 用于OWL的XML语法，用XML schema定义OWL 2 XML |
| Functional Syntax | Structural Specification | 可选 | OWL 2 Specification语法规范直观，并且给OWL2工具（例如推理机）的实现提供一个基础 |
| Manchester Syntax | Manchester Syntax | 可选 | OWL 2 Manchester Syntax语法的目的是让非逻辑学家更好的阅读 |
| Turtle | Mapping to RDF Graphs,Turtle | 可选 | 便于 triples读写 |
3. 基本概念
OWL2的目的是捕获知识，可以用OWL表示的“知识”当然不能反映人类知识的所有方面。OWL2可以被看作是一种针对人类知识某些部分的强大而通用的建模语言。建模的结果被称为本体，先明确一些基本术语：
- 公理(Axioms)
一个OWL本体表达的基本陈述
SubClassOf( :Woman :Person )
- 类（Classes）和实例（Instances）
用来指向现实世界对象的元素
Declaration( Class( :Woman ) )
Declaration( NamedIndividual( :John ) )
- 表达式(Expressions)和构造器（constructors）
类、实例、公理的组合，从简单的描述形成复杂的描述
EquivalentClasses( :Parent ObjectUnionOf( :Mother :Father ) )
4. 参考文献
[1] OWL 2 Web Ontology Language Document Overview (Second Edition)
[2] OWL 2 Web Ontology Language Primer
