语义网（SemanticsWeb）4.ppt

DAML的daml：imports类是传递的，说明输入文档的定义也使用当前ontology，DAML可扩展ontology。 DAML使用XML名字空间提供名字，名字空间声明和daml：imports声明间有冗余。 DAML的daml：equivalentTo属性用来说明两个资源相同。 由于类和属性都是资源，这可被用来说明其他类。因此daml：equivalentTo提供了重命名功能及说明两个实例相同的能力，后者在Web上非常有用，因为网上资源以URL来标识，不同的URL经常指向相同的资源，不同的用户可能是用不同的ID值指向相同一资源，使用daml：equivalentTo，两个资源的内容可被有效的合并。 daml：versionInfo属性允许ontology提供版本信息。但目前该属性的内容还未定义，不能用来自动决定ontologies的版本，而且没有办法指明向后兼容版本。 DAML还包含对XML Schema数据类型的支持。所有的数据类型被看成是特殊的类，每一数据类型有唯一的由其资源文档的URL和名字构成的唯一标识。 因为DAML基于描述逻辑，它同样具有OIL的优点。又因为它也建立在RDF之上，也具有RDF的缺陷 OWL OWL（ Web Ontology Language） W3c的标准 OWL旨在用于那些需要由应用程序而不是由人类来处理文档中的信息的情形。 OWL可被用来明确表示词汇表中术语的含义以及术语间的关系。 在表达含义和语义方面，OWL比XML、RDF和RDF-S有更多的表达手段，因此在Web上表达机器可理解内容的能力也比这些语言强。 OWL是DAML+OIL Web本体语言的修改版，并吸取了在DAML+OIL的设计和应用中得到的经验教训。 OWL语言标准有六个： OWL概述 (/TR/owl-features/)(OWL Overview)， 即本文，通过列出OWL的语言特征并给出其简要的描述，对OWL进行了简单的介绍； OWL指南 (/TR/owl-guide/)(OWL Guide) 通过一个扩展的例子说明如何使用OWL语言。同时也给出了这些文档中用到的术语的解释； OWL参考 (/TR/owl-ref/) (OWL Reference) 以一种系统的和简洁的方式(仍是非正式地)描述了OWL的所有建模原语(modelling primitives)； OWL语义和抽象语法文档(/TR/owl-semantics/) 是对这个语言的最终的、形式化的规范性定义； OWLWeb本体语言测试用例文档(/TR/owl-test/) 包含了这个语言的一个大量的测试用例集合； OWL用例和需求文档/TR/webont-req/) 包含了一个Web本体语言的用例集合和关于OWL的需求集合。 OWL提供了三种表达能力递增的子语言，以分别用于特定的实现者和用户团体 OWL-Lite OWL-DL OWL-Full 主要的分类依据就是它们的表达能力。其中，OWL-Lite是表达能力最弱的子语言，OWL-Full具有最强的表达能力，而OWL-DL的表达能力则在它们之间。我们可以认为OWL-DL是OWL-Lite的扩展，而OWL-Full是OWL-DL的扩展。 OWL-Lite 从语法上来说，OWL-Lite是三个之中最简单的一个，当本体中类的层次结构很简单，并且只有简单的约束（constraint）时适合使用它来描述本体。例如，在需要把一个已存在的辞典（thesauri）移植到另一个差不多简单的概念层次时，OWL-Lite可以做得又快又好。 OWL-DL 和OWL-Lite相比，OWL-DL的表达能力要丰富许多，它的基础是描述逻辑（Description Logics，即DL的由来）。 用于支持那些需要最强表达能力而需要保持计算完备性（computational completeness，即所有的结论都能够确保被计算出来）和可判定性（decidability，即所有的计算都能在有限的时间内完成）。 OWL DL包括了OWL语言的所有语言成分，但使用时必须符合一定的约束，例如，一个类可以是多个类的子类时，但它不能同时是另外一个类的实例。 OWL-Full OWL-Full是OWL的三种子语言中表达能力最强的一个 支持那些需要尽管没有可计算性保证，但有最强的表达能力和完全自由的RDF语法的用户。例如，在OWL Full中，一个类可以被同时看为许多个体的一个集合以及本身作为一个个体。它允许在一个本体增加预定义的（RDF、OWL）词汇的含义。这样，不太可能有推理软件能支持对OWL FULL的所有成分的完全推理。  在表达能力和推理能力上，每个子语言都是前面的语言的扩展。这三种子语言之间有如下关系成立，但这些关系反过