<h1>1. Introduction</h1><p>"Tell me what wines I should buy to serve with each course of the following menu. And, by the way, I don't like Sauternes."<br />It would be difficult today to construct a Web agent that would be capable of performing a search for wines on the Web that satisfied this query. Similarly, consider actually assigning a software agent the task of making a coherent set of travel arrangements. (For more use cases see the <a href="http://www.w3.org/TR/2004/REC-owl-guide-20040210/#Requirements" target="_blank">OWL requirements document</a><span class="urlexpansion"> (<em><a href="http://www.w3.org/TR/2004/REC-owl-guide-20040210/#Requirements" target="_blank">http://www.w3.org/TR/2004/REC-owl-guide...0/#Requirements</a></em>)</span>.) <br />“告诉我我应该买什么酒提供给下列菜单的每道菜,随便说一下,我不喜欢苏特恩白葡萄酒”。<br />目前构造一个能够查找满足这个查询的酒的Web代理会是困难的。类似地,考虑派给软件代理一个做出合理的旅行安排的任务(更多的用例,参考<a href="http://www.w3.org/TR/2004/REC-owl-guide-20040210/#Requirements" target="_blank">OWL需求文档</a><span class="urlexpansion"> (<em><a href="http://www.w3.org/TR/2004/REC-owl-guide-20040210/#Requirements" target="_blank">http://www.w3.org/TR/2004/REC-owl-guide...0/#Requirements</a></em>)</span>)。 </p><p>To support this sort of computation, it is necessary to go beyond keywords and specify the meaning of the resources described on the Web. This additional layer of interpretation captures the <em>semantics</em> of the data. <br />为了支持这种计算,不仅仅用关键词而是说明Web上描述的资源的含义是必要的。这个额外的解释层表述了数据的“语义”。 </p><p>The OWL Web Ontologoy Language is a language for defining and instantiating <em>Web ontologies</em>. <em>Ontology</em> is a term borrowed from philosophy that refers to the science of describing the kinds of entities in the world and how they are related. An <em>OWL ontology</em> may include descriptions of <em>classes</em>, <em>properties</em> and their instances. Given such an ontology, the <a href="http://www.w3.org/TR/2004/REC-owl-semantics-20040210/" target="_blank">OWL formal semantics</a><span class="urlexpansion"> (<em><a href="http://www.w3.org/TR/2004/REC-owl-semantics-20040210/" target="_blank">http://www.w3.org/TR/2004/REC-owl-semantics-20040210/</a></em>)</span> specifies how to derive its logical consequences, i.e. facts not literally present in the ontology, but <em>entailed</em> by the semantics. These entailments may be based on a single document or multiple distributed documents that have been combined using defined <a href="http://www.w3.org/TR/2004/REC-owl-guide-20040210/#import" target="_blank">OWL mechanisms</a><span class="urlexpansion"> (<em><a href="http://www.w3.org/TR/2004/REC-owl-guide-20040210/#import" target="_blank">http://www.w3.org/TR/2004/REC-owl-guide-20040210/#import</a></em>)</span>. <br /></p><p>Web本体语言OWL是一种定义和实例化“Web本体”的语言。“本体”这个术语来自于哲学,它是研究世界上的各种实体以及他们是怎么关联的科学。一个“Web本体”可能包含了类,属性和他们的实例的描述。给出这样的一个本体,<a href="http://www.w3.org/TR/2004/REC-owl-semantics-20040210/" target="_blank">OWL形式语义</a><span class="urlexpansion"> (<em><a href="http://www.w3.org/TR/2004/REC-owl-semantics-20040210/" target="_blank">http://www.w3.org/TR/2004/REC-owl-semantics-20040210/</a></em>)</span>说明怎么获得它的逻辑结论,也就是说,不是逐字写在本体中的事实,而是语义蕴涵的事实。这些蕴涵可以是基于单个的文档也或利用<a href="http://www.w3.org/TR/2004/REC-owl-guide-20040210/#import" target="_blank">OWL机制</a><span class="urlexpansion"> (<em><a href="http://www.w3.org/TR/2004/REC-owl-guide-20040210/#import" target="_blank">http://www.w3.org/TR/2004/REC-owl-guide-20040210/#import</a></em>)</span>合并在一起的多个分布的文档。 </p><p>This document is one component of the description of OWL, the Web Ontology Language, being produced by the W3C Web Ontology Working Group (WebOnt). The <a href="http://www.w3.org/TR/2004/REC-owl-features-20040210/#s1.1" target="_blank">Document Roadmap</a><span class="urlexpansion"> (<em><a href="http://www.w3.org/TR/2004/REC-owl-features-20040210/#s1.1" target="_blank">http://www.w3.org/TR/2004/REC-owl-features-20040210/#s1.1</a></em>)</span> section of the Overview (<a href="http://www.w3.org/TR/2004/REC-owl-guide-20040210/#FeatureList" target="_blank">[Overview</a><span class="urlexpansion"> (<em><a href="http://www.w3.org/TR/2004/REC-owl-guide-20040210/#FeatureList" target="_blank">http://www.w3.org/TR/2004/REC-owl-guide...10/#FeatureList</a></em>)</span>], 1.1) describes each of the different parts and how they fit together. <br /></p><p>本文档是W3CWeb本体工作组(WebOnt)制定的Web本体语言的描述的一部分。 OWL综述(<a href="http://www.w3.org/TR/2004/REC-owl-guide-20040210/#FeatureList" target="_blank">[Overview</a><span class="urlexpansion"> (<em><a href="http://www.w3.org/TR/2004/REC-owl-guide-20040210/#FeatureList" target="_blank">http://www.w3.org/TR/2004/REC-owl-guide...10/#FeatureList</a></em>)</span>], 1.1)的<a href="http://www.w3.org/TR/2004/REC-owl-features-20040210/#s1.1" target="_blank">文档指南</a><span class="urlexpansion"> (<em><a href="http://www.w3.org/TR/2004/REC-owl-features-20040210/#s1.1" target="_blank">http://www.w3.org/TR/2004/REC-owl-features-20040210/#s1.1</a></em>)</span> 部分描述了不同部分的文档以及他们怎样结合的。 </p><p>One question that comes up when describing yet another XML/Web standard is "What does this buy me that XML and XML Schema don't?" There are two answers to this question. <br />当描述另外一个XML/Web标准时,有一个问题会冒出来:这个标准给了我什么XML和XML Schema不能给的。这个问题有两个答案。 </p><ul><li>An ontology differs from an XML schema in that it is a knowledge representation, not a message format. Most industry based Web standards consist of a combination of message formats and protocol specifications. These formats have been given an operational semantics, such as, "Upon receipt of this PurchaseOrder message, transfer Amount dollars from AccountFrom to AccountTo and ship Product." But the specification is not designed to support reasoning outside the transaction context. For example, we won't in general have a mechanism to conclude that because the Product is a type of Chardonnay it must also be a white wine. <br /><br /></li></ul><p><br /><br /></p><ul><li>本体和XML Schema的区别是它是一种知识表示,而不是一种消息格式。大多数来自工业界的Web标准包含了一个消息格式和协议规范的组合。这些格式已经被给予一个操作语义,例如,"一旦收到订单(PurchaseOrder)的消息,从AccountFrom账号转移Amount数量的美元到AccountTo账号,并且发货(Product)",但是这些规范并没有设计为支持此事务上下文之外的推理。例如,一般来说,没有机制让我们推出:因为这个产品的类型是夏敦埃酒(Chardonnay,一种无甜味白葡萄酒),它必定也是一种白酒。 </li></ul><ul><li>One advantage of OWL ontologies will be the availability of tools that can reason about them. Tools will provide <em>generic</em> support that is not specific to the particular subject domain, which would be the case if one were to build a system to reason about a specific industry-standard XML schema. Building a sound and useful reasoning system is not a simple effort. Constructing an ontology is much more tractable. It is our expectation that many groups will embark on ontology construction. They will benefit from third party tools based on the formal properties of the OWL language, tools that will deliver an assortment of capabilities that most organizations would be hard pressed to duplicate. <br /><br /></li><li>OWL本体的一个优点是会有能够对其做推理的工具。这些工具提供了不特定于某个主题领域的通用支持,而如果要构建一个能对一个特定的工业界标准XML Schema做推理的系统,它往往是特定于一个领域的。构建一个可靠的和有用的推理系统不是一项简单的工作。而创建一个本体则更为容易处理。我们的期望就是很多团体会着手本体创建。他们会得益于基于OWL语言的形式属性的第三方工具,这些工具提供了多种多样的能力,而这些能力是大部分组织难以复制的。 </li></ul><div class="editsection">[<a href="http://wiki.w3china.org/wiki/index.php?title=OWL%E6%8C%87%E5%8D%97_%E6%8E%A8%E8%8D%90%E6%A0%87%E5%87%86-1&action=edit§ion=2" target="_blank">编辑</a>]</div><a name="1.1._The_Species_of_OWL"></a><h2>1.1. The Species of OWL</h2><p>The OWL language provides three increasingly expressive sublanguages designed for use by specific communities of implementers and users. <br />OWL提供了三种表达能力递增的子语言,以分别用于特定的实现者和用户团体。 </p><ul><li><br /></li></ul><p><em>OWL Lite</em> supports those users primarily needing a classification hierarchy and simple constraint features. For example, while OWL Lite supports cardinality constraints, it only permits cardinality values of 0 or 1. It should be simpler to provide tool support for OWL Lite than its more expressive relatives, and provide a quick migration path for thesauri and other taxonomies. <br /></p><ul><li><br /></li></ul><p><em>OWL Lite</em>用于提供给那些只需要一个分类层次和简单约束的用户。例如,虽然OWL Lite支持支持基数限制,但只允许基数为0或1。提供支持OWL Lite的工具应该比支持表达能力更强的其他OWL语言更简单,并且从辞典(thesauri)和分类系统(taxonomy)转换到OWL Lite更为迅速。 </p><ul><li><br /></li></ul><p><em>OWL DL</em> supports those users who want the maximum expressiveness without losing computational completeness (all entailments are guaranteed to be computed) and decidability (all computations will finish in finite time) of reasoning systems. OWL DL includes all OWL language constructs with restrictions such as type separation (a class can not also be an individual or property, a property can not also be an individual or class). OWL DL is so named due to its correspondence with <em>description logics</em> <a href="http://www.w3.org/TR/2004/REC-owl-guide-20040210/#DescriptionLogics" target="_blank">[Description Logics</a><span class="urlexpansion"> (<em><a href="http://www.w3.org/TR/2004/REC-owl-guide-20040210/#DescriptionLogics" target="_blank">http://www.w3.org/TR/2004/REC-owl-guide...scriptionLogics</a></em>)</span>], a field of research that has studied a particular decidable fragment of first order logic. OWL DL was designed to support the existing Description Logic business segment and has desirable computational properties for reasoning systems. <br /></p><ul><li><br /></li></ul><p><em>OWL DL</em> 支持那些需要最强表达能力的推理系统的用户,且这个推理系统能够保证计算的完全性(computational completeness,即所有的结论都能够保证被计算出来)和可判定性(decidability,即所有的计算都在有限的时间内完成)。它包括了OWL语言的所有成分,但有一定的限制,如类型的分离(一个类不能同时是一个个体或属性,一个属性不能同时是一个个体或类)。OWL DL 这么命名是因为它对应于<a href="http://www.w3.org/TR/2004/REC-owl-guide-20040210/#DescriptionLogics" target="_blank">[描述逻辑</a><span class="urlexpansion"> (<em><a href="http://www.w3.org/TR/2004/REC-owl-guide-20040210/#DescriptionLogics" target="_blank">http://www.w3.org/TR/2004/REC-owl-guide...scriptionLogics</a></em>)</span>],这是一个研究一阶逻辑的一个特定可判定片断的领域。OWL DL旨在支持已有的描述逻辑商业处理(business segment)和具有良好计算性质的推理系统。 </p><ul><li><br /></li></ul><p><em>OWL Full</em> is meant for users who want maximum expressiveness and the syntactic freedom of RDF with no computational guarantees. For example, in OWL Full a class can be treated simultaneously as a collection of individuals and as an individual in its own right. Another significant difference from OWL DL is that a owl atatypeProperty can be marked as an owl:InverseFunctionalProperty. OWL Full allows an ontology to augment the meaning of the pre-defined (RDF or OWL) vocabulary. It is unlikely that any reasoning software will be able to support every feature of OWL Full. <br /></p><ul><li><br /></li></ul><p><em>OWL Full</em> 支持那些需要尽管没有可计算性保证,但有最强的表达能力和完全自由的RDF语法的用户。例如,在OWL Full中,一个类可以被同时看为许多个体的一个集合以及本身作为一个个体。另外一个和OWL DL的重要区别是owl atatypeProperty(数据类型属性)能作为一个owl:InverseFunctionalProperty(逆函数型属性)。OWL full允许一个本体增加预定义的(RDF、OWL)词汇的含义。这样,不太可能有推理软件能支持对OWL FULL的所有成分的完全推理。 </p><p>Each of these sublanguages is an extension of its simpler predecessor, both in what can be legally expressed and in what can be validly concluded. The following set of relations hold. Their inverses do not. <br /></p><ul><li>Every legal OWL Lite ontology is a legal OWL DL ontology. <br /></li><li>Every legal OWL DL ontology is a legal OWL Full ontology. <br /></li><li>Every valid OWL Lite conclusion is a valid OWL DL conclusion. <br /></li><li>Every valid OWL DL conclusion is a valid OWL Full conclusion. <br /></li></ul><p>在表达能力和推理能力上,每个子语言都是前面的语言的扩展。这三种子语言之间有如下关系成立,但这些关系反过来并不成立。 </p><ul><li>每个合法的OWL Lite本体都是一个合法的OWL DL本体; </li><li>每个合法的OWL DL本体都是一个合法的OWL Full本体; </li><li>每个有效的OWL Lite结论都是一个有效的OWL DL结论; </li><li>每个有效的OWL DL结论都是一个有效的OWL Full结论。 </li></ul><p>Ontology developers adopting OWL should consider which species best suits their needs. The choice between OWL Lite and OWL DL depends on the extent to which users require the more expressive restriction constructs provided by OWL DL. Reasoners for OWL Lite will have desirable computational properties. Reasoners for OWL DL, while dealing with a decidable sublanguage, will be subject to higher worst-case complexity. The choice between OWL DL and OWL Full mainly depends on the extent to which users require the meta-modelling facilities of RDF Schema (i.e. defining classes of classes). When using OWL Full as compared to OWL DL, reasoning support is less predictable. For more information about this issue see the <a href="http://www.w3.org/TR/2004/REC-owl-guide-20040210/#FormalModel" target="_blank">OWL semantics document</a><span class="urlexpansion"> (<em><a href="http://www.w3.org/TR/2004/REC-owl-guide-20040210/#FormalModel" target="_blank">http://www.w3.org/TR/2004/REC-owl-guide...10/#FormalModel</a></em>)</span>. <br /></p><p>使用OWL的本体开发者要考虑哪种语言最符合他们的需求。选择OWL Lite还是OWL DL主要取决于用户在多大程度上需要OWL DL提供的表达能力更强的成分。OWL Lite的推理机会有良好的计算性质。而OWL DL的推理机处理的尽管是一个可判定的子语言,会有更高的最坏情况复杂度。选择OWL DL还是OWL Full主要取决于用户在多大程度上需要RDF的元模型机制(如定义关于类的类);使用OWL Full相比于OWL DL,对推理的支持是更难预测的。关于此问题的更多信息参考<a href="http://www.w3.org/TR/2004/REC-owl-guide-20040210/#FormalModel" target="_blank">OWL语义文档</a><span class="urlexpansion"> (<em><a href="http://www.w3.org/TR/2004/REC-owl-guide-20040210/#FormalModel" target="_blank">http://www.w3.org/TR/2004/REC-owl-guide...10/#FormalModel</a></em>)</span>。 </p><p>Users migrating from RDF to OWL DL or OWL Lite need to take care to ensure that the original RDF document complies with the constraints imposed by OWL DL and OWL Lite. The details of these constraints are explained in <a href="http://www.w3.org/TR/2004/REC-owl-ref-20040210/#app-DLinRDF" target="_blank">Appendix E</a><span class="urlexpansion"> (<em><a href="http://www.w3.org/TR/2004/REC-owl-ref-20040210/#app-DLinRDF" target="_blank">http://www.w3.org/TR/2004/REC-owl-ref-20040210/#app-DLinRDF</a></em>)</span> of the OWL Reference. <br />When we introduce constructs that are only permitted in OWL DL or OWL Full, they are marked by "[OWL DL]". <br />用户在把RDF文档转换到OWL DL或OWL Lite文档时必须谨慎,以保证原来的RDF文档是否满足 OWL DL 或OWL Lite对RDF的一些附加的限制。这些限制在文档OWL参考的<a href="http://www.w3.org/TR/2004/REC-owl-ref-20040210/#app-DLinRDF" target="_blank">附录E</a><span class="urlexpansion"> (<em><a href="http://www.w3.org/TR/2004/REC-owl-ref-20040210/#app-DLinRDF" target="_blank">http://www.w3.org/TR/2004/REC-owl-ref-20040210/#app-DLinRDF</a></em>)</span>中有详细的解释。<br />当我们介绍只在 OWL DL或 OWL Full中允许的构词时,他们被标记为"[OWL DL]"。 </p><div class="editsection">[<a href="http://wiki.w3china.org/wiki/index.php?title=OWL%E6%8C%87%E5%8D%97_%E6%8E%A8%E8%8D%90%E6%A0%87%E5%87%86-1&action=edit§ion=3" target="_blank">编辑</a>]</div> |