OWL入门（1）-- 基本概念介绍

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