OWL

      OWL（Web Ontology Language）是W3C开发的一种网络本体语言，用于对本体进行语义描述。由于OWL是针对各方面的需求在DAML+0IL 的基础上改进而开发的，所以一方面要保持对DAML+0IL/RDFS的兼容性，另一方面又要保证更加强大的语义表达能力，同时还要保证描述逻辑（DL，Description Logic）的可判定推理，因此，W3C的设计人员针对各类特征的需求制定了三种相应的OWL的子语言，即 OWL Lite、OWL DL和OWL Full，而且各子语言的表达能力递增[5]。

　　OWL Lite是表达能力最弱的子语言。它是OWL DL的一个子集，但是通过降低OWL DL中的公理约束，保证了迅速高效的推理。它支持基数约束，但基数值只能为0或l。因为OWL Lite表达能力较弱，为其开发支持工具要比其他两个子语言容易一些。OWL Lite用于提供给那些仅需要一个分类层次和简单约束的用户[6,7]。

　　OWL DL（Description Logic，描述逻辑）将可判定推理能力和较强表达能力作为首要目标，而忽略了对RDFS的兼容性。OWL DL包括了OWL语言的所有语言成分，但使用时必须符合一定的约束，受到一定的限制。OWL DL提供了描述逻辑的推理功能，描述逻辑是OWL的形式化基础。

　　OWL Full包含OWL的全部语言成分并取消了OWL DL中的限制，它将RDFS扩展为一个完备的本体语言，支持那些不需要可计算性保证（no computational guarantees）但需要最强表达能力和完全自由的RDFS用户[6]。在OWL Full中，一个类可以看成是个体的集合，也可以看成是一个个体。由于OWL Full取消了基数限制中对可传递性质的约束，因此不能保证可判定推理。