Neo4j 是一个图数据库，它塑造了属性图（包含节点、关系等）的概念。

OWL（Web Ontology Language） 是一种本体描述语言。

它试图用一套带有严谨规则的计算机语言来描述世界万物，而使计算机能利用固定的规则对知识进行一定处理。

所以限制（“Restrictions”）和公理（“axioms”）是 OWL 的重要概念。

OWL 的版本（表达能力越强，可计算性越差）

1. OWL Lite：

   OWL Lite 是表达能力最弱的子语言。它是DL的一个子集，但是通过降低OWL DL中的公理约束，保证了迅速高效的推理。

2. OWL DL：

   OWL DL (Description Logic，描述 逻辑) 将可判定推理能力和较强表达能力作为首要目标，而忽略了对RDFS的兼容性。

3. OWL Full：

   OWL Full包含OWL的全部语言成分并取消了OWL DL中的限制，它将 RDFS 扩展为一个完备的本体语言，支持那些不需要可计算性保证(no computational guarantees)，但需要最强表达能力和完全自由的RDFS用户。

基本概念一

**公理：**OWL 本体表达的基本陈述 **实体：**用于引用真实世界对象的元素 **表达式：**借实体组合，从基本描述形成复杂描述

现在，为了明确地阐述知识，假设它由被称为陈述（statements）或命题（propositions）的基本块组成是有用的。如陈述“下雨了”或“每个人终有一死”这样的基本命题，都是典型的例子。事实上，每一个OWL2本体实际上就是这样一组基本的“知识块”。本体中的陈述在OWL2中被称为公理，该本体断言其公理是真的。

基本概念二

**类（Classes）：**同类个体的集合 **属性（Properties）在OWL中，属性（Properties）就是关系 个体（Individuals）：**同类中的一个体，更专业的说法是：一个类的实例

Mary是女人，John是男人，John和Mary结婚了

个体对象（Individuals）：Mary，John

类别（Classes）：女人，男人

关系（Properties）：结婚

类（Classes）和实例（Instances）

ClassAssertion( :Person :Mary )