index.html 41.8 KB

Raw Blame History Permalink

<!DOCTYPE html  PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN'  'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'><html xml:lang="en" xmlns="http://www.w3.org/1999/xhtml">
<head>
  <title>OWL 2 Web Ontology Language Document Overview</title>
  <meta content="text/html; charset=utf-8" http-equiv="Content-Type" />
  <style type="text/css">
   .editsection { display: none; }
</style>
<link href="datatable.css" rel="stylesheet" type="text/css" />
<link href="owl.css" rel="stylesheet" type="text/css" />
<link href="datatable.css" rel="stylesheet" type="text/css" />
<link href="http://www.w3.org/StyleSheets/TR/W3C-REC" rel="stylesheet" type="text/css" />

  <script src="http://www.w3.org/2007/OWL/toggles.js" type="text/javascript"></script>

</head>
<body>

<div class="head">
<a href="http://www.w3.org/"><img alt="W3C" height="48" src="http://www.w3.org/Icons/w3c_home" width="72" /></a><h1 id="title" style="clear:both">OWL 2 Web Ontology Language <br /><span id="short-title">Document Overview</span></h1>

<h2 id="W3C-doctype">W3C Recommendation 27 October 2009</h2>

<!-- no inplace warning -->
<dl>
<dt>This version:</dt>
<dd><a href="http://www.w3.org/TR/2009/REC-owl2-overview-20091027/" id="this-version-url">http://www.w3.org/TR/2009/REC-owl2-overview-20091027/</a></dd>

<dt>Latest version (series 2):</dt>
<dd><a href="http://www.w3.org/TR/owl2-overview/">http://www.w3.org/TR/owl2-overview/</a></dd>

<dt>Latest Recommendation:</dt>
<dd><a href="http://www.w3.org/TR/owl-overview">http://www.w3.org/TR/owl-overview</a></dd>

<dt>Previous version:</dt>
<dd><a href="http://www.w3.org/TR/2009/PR-owl2-overview-20090922/">http://www.w3.org/TR/2009/PR-owl2-overview-20090922/</a> (<a href="http://www.w3.org/TR/2009/REC-owl2-overview-20091027/diff-from-20090922">color-coded diff</a>)</dd>
</dl>

<dl><dt>Editors:</dt><dd> W3C OWL Working Group (see <a href="#ack" title="">Acknowledgements</a>)
</dd>
</dl>

<p>Please refer to the <a href="http://www.w3.org/2007/OWL/errata"><strong>errata</strong></a> for this document, which may include some normative corrections.</p>

<p>This document is also available in these non-normative formats: <a href="http://www.w3.org/2009/pdf/REC-owl2-overview-20091027.pdf">PDF version</a>.</p>

<p>See also <a href="http://www.w3.org/2007/OWL/translation/owl2-overview">translations</a>.</p>

<p class="copyright"><a href="http://www.w3.org/Consortium/Legal/ipr-notice#Copyright">Copyright</a> &copy; 2009 <a href="http://www.w3.org/"><acronym title="World Wide Web Consortium">W3C</acronym></a><sup>&reg;</sup> (<a href="http://www.csail.mit.edu/"><acronym title="Massachusetts Institute of Technology">MIT</acronym></a>, <a href="http://www.ercim.org/"><acronym title="European Research Consortium for Informatics and Mathematics">ERCIM</acronym></a>, <a href="http://www.keio.ac.jp/">Keio</a>), All Rights Reserved. W3C <a href="http://www.w3.org/Consortium/Legal/ipr-notice#Legal_Disclaimer">liability</a>, <a href="http://www.w3.org/Consortium/Legal/ipr-notice#W3C_Trademarks">trademark</a> and <a href="http://www.w3.org/Consortium/Legal/copyright-documents">document use</a> rules apply.</p>

</div>
<hr />
<h2><a id="abstract" name="abstract">Abstract</a></h2>

<div>
<div><p>The OWL 2 Web Ontology Language, informally OWL 2, is an ontology language for the Semantic Web with formally defined meaning. OWL 2 ontologies provide classes, properties, individuals, and data values and are stored as Semantic Web documents. OWL 2 ontologies can be used along with information written in RDF, and OWL 2 ontologies themselves are primarily exchanged as RDF documents.</p><p>This document serves as an introduction to OWL 2 and the various other OWL 2 documents.  It describes the syntaxes for OWL 2, the different kinds of semantics, the available profiles (sub-languages), and the relationship between OWL 1 and OWL 2.</p></div>
</div>

<h2 class="no-toc no-num">
<a id="status" name="status">Status of this Document</a>
</h2>

<h4 class="no-toc no-num" id="may-be">May Be Superseded</h4>

<p><em>This section describes the status of this document at the time of its publication. Other documents may supersede this document. A list of current W3C publications and the latest revision of this technical report can be found in the <a href="http://www.w3.org/TR/">W3C technical reports index</a> at http://www.w3.org/TR/.</em></p>


<!-- no eventStatusExtra -->

<!-- no statusExtra -->

<div>

<h4 class="no-toc no-num" id="sotd-xml-dep">XML Schema Datatypes Dependency</h4>

<p>OWL 2 is defined to use datatypes defined in the <a href="http://www.w3.org/TR/xmlschema-2/">XML Schema Definition Language (XSD)</a>.  As of this writing, the latest W3C Recommendation for XSD is version 1.0, with <a href="http://www.w3.org/TR/xmlschema11-1/">version 1.1</a> progressing toward Recommendation.  OWL 2 has been designed to take advantage of the new datatypes and clearer explanations available in XSD 1.1, but for now those advantages are being partially put on hold.  Specifically, until XSD 1.1 becomes a W3C Recommendation, the elements of OWL 2 which are based on it should be considered <em>optional</em>, as detailed in <a href="http://www.w3.org/TR/2009/REC-owl2-conformance-20091027/#XML_Schema_Datatypes">Conformance, section 2.3</a>.  Upon the publication of XSD 1.1 as a W3C Recommendation, those elements cease to be optional and are to be considered required as otherwise specified.</p>

<p>We suggest that for now developers and users follow the <a href="http://www.w3.org/TR/2009/CR-xmlschema11-1-20090430/">XSD 1.1 Candidate Recommendation</a>.  Based on discussions between the Schema and OWL Working Groups, we do not expect any implementation changes will be necessary as XSD 1.1 advances to Recommendation.</p>
</div>


           <h4 class="no-toc no-num" id="status-changes">Document Unchanged</h4>

<p>There have been no changes to the body of this document since the <a href="http://www.w3.org/TR/2009/PR-owl2-overview-20090922/">previous version</a>.   For details on earlier changes, see the <a href="#changelog">change log</a>.</p>


<h4 class="no-toc no-num" id="please">Please Send Comments</h4><p>Please send any comments to <a class="mailto" href="mailto:public-owl-comments@w3.org">public-owl-comments@w3.org</a>
    (<a class="http" href="http://lists.w3.org/Archives/Public/public-owl-comments/">public
    archive</a>).  Although work on this document by the <a href="http://www.w3.org/2007/OWL/">OWL Working Group</a> is complete, comments may be addressed in the <a href="http://www.w3.org/2007/OWL/errata">errata</a> or in future revisions.  Open discussion among developers is welcome at <a class="mailto" href="mailto:public-owl-dev@w3.org">public-owl-dev@w3.org</a> (<a class="http" href="http://lists.w3.org/Archives/Public/public-owl-dev/">public archive</a>).</p>

<h4 class="no-toc no-num" id="endorsement">Endorsed By W3C</h4>

<p><em>This document has been reviewed by W3C Members, by software developers, and by other W3C groups and interested parties, and is endorsed by the Director as a W3C Recommendation. It is a stable document and may be used as reference material or cited from another document. W3C's role in making the Recommendation is to draw attention to the specification and to promote its widespread deployment. This enhances the functionality and interoperability of the Web.</em></p>


<h4 class="no-toc no-num" id="patents">Patents</h4>

<p><em>This document was produced by a group operating under the <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/">5 February 2004 W3C Patent Policy</a>. This document is informative only.  W3C maintains a <a href="http://www.w3.org/2004/01/pp-impl/41712/status" rel="disclosure">public list of any patent disclosures</a> made in connection with the deliverables of the group; that page also includes instructions for disclosing a patent.</em></p>

<hr title="Separator After Status Section" />


<p>
</p>
<script type="text/javascript">/*&lt;![CDATA[*/

function show_short_toc() {
    set_display_by_class('li','toclevel-3','none');
    set_display_by_id('short-toc','none');
    set_display_by_id('full-toc','');
}

function show_full_toc() {
    set_display_by_class('li','toclevel-3','');
    set_display_by_id('short-toc','');
    set_display_by_id('full-toc','none');
}

/*]]&gt;*/</script>
<p>

</p>
<table class="toc" id="toc" summary="Contents"><tbody><tr><td><div id="toctitle"><h2>Table of Contents</h2></div>
<ul>
<li class="toclevel-1"><a href="#Introduction"><span class="tocnumber">1</span> <span class="toctext">Introduction</span></a></li>
<li class="toclevel-1"><a href="#Overview"><span class="tocnumber">2</span> <span class="toctext">Overview</span></a>
<ul>
<li class="toclevel-2"><a href="#Ontologies"><span class="tocnumber">2.1</span> <span class="toctext">Ontologies</span></a></li>
<li class="toclevel-2"><a href="#Syntaxes"><span class="tocnumber">2.2</span> <span class="toctext">Syntaxes</span></a></li>
<li class="toclevel-2"><a href="#Semantics"><span class="tocnumber">2.3</span> <span class="toctext">Semantics</span></a></li>
<li class="toclevel-2"><a href="#Profiles"><span class="tocnumber">2.4</span> <span class="toctext">Profiles</span></a></li>
</ul>
</li>
<li class="toclevel-1"><a href="#Relationship_to_OWL_1"><span class="tocnumber">3</span> <span class="toctext">Relationship to OWL 1</span></a></li>
<li class="toclevel-1"><a href="#Documentation_Roadmap"><span class="tocnumber">4</span> <span class="toctext">Documentation Roadmap</span></a></li>
<li class="toclevel-1"><a href="#Appendix:_Change_Log_.28Informative.29"><span class="tocnumber">5</span> <span class="toctext">Appendix: Change Log (Informative)</span></a>
<ul>
<li class="toclevel-2"><a href="#Changes_Since_Proposed_Recommendation"><span class="tocnumber">5.1</span> <span class="toctext">Changes Since Proposed Recommendation</span></a></li>
<li class="toclevel-2"><a href="#Changes_Since_Last_Call"><span class="tocnumber">5.2</span> <span class="toctext">Changes Since Last Call</span></a></li>
</ul>
</li>
<li class="toclevel-1"><a href="#Acknowledgements"><span class="tocnumber">6</span> <span class="toctext">Acknowledgements</span></a></li>
<li class="toclevel-1"><a href="#References"><span class="tocnumber">7</span> <span class="toctext">References</span></a></li>
</ul>
</td></tr></tbody></table><script type="text/javascript"> if (window.showTocToggle) { var tocShowText = "show"; var tocHideText = "hide"; showTocToggle(); } </script>
<p><br />
</p>
<a name="Introduction"></a><h2> <span class="mw-headline">1  Introduction </span></h2>
<p>This document provides a non-normative high-level overview of the OWL 2 Web Ontology Language and serves as a roadmap for the documents that define and describe OWL 2.
</p><p>Ontologies are formalized vocabularies of terms, often covering a specific domain and shared by a community of users. They specify the definitions of terms by describing their relationships with other terms in the ontology. OWL 2 is an extension and revision of the <a class="external text" href="http://www.w3.org/TR/2004/REC-owl-features-20040210/" title="http://www.w3.org/TR/2004/REC-owl-features-20040210/">OWL Web Ontology Language</a> developed by the <a class="external text" href="http://www.w3.org/2001/sw/WebOnt/" title="http://www.w3.org/2001/sw/WebOnt/">W3C Web Ontology Working Group</a> and published in 2004 (referred to hereafter as &ldquo;OWL 1&rdquo;).  OWL 2 is being developed (and this document was written) by a follow-on group, the <a class="external text" href="http://www.w3.org/2007/OWL/" title="http://www.w3.org/2007/OWL/">W3C OWL Working Group</a>.  Like OWL 1, OWL 2 is designed to facilitate ontology development and sharing via the Web, with the ultimate goal of making Web content more accessible to machines.
</p>
<a name="Overview"></a><h2> <span class="mw-headline">2  Overview </span></h2>
<p>Figure 1 gives an overview of the OWL 2 language, showing its main building blocks and how they relate to each other. The ellipse in the center represents the abstract notion of an ontology, which can be thought of either as an abstract structure or as an RDF graph (see <a href="#sec-ont" title="">2.1 Ontologies</a>). At the top are various concrete syntaxes (see <a href="#sec-syn" title="">2.2 Syntaxes</a>) that can be used to serialize and exchange ontologies. At the bottom are the two semantic specifications that define the meaning of OWL 2 ontologies (see <a href="#sec-sem" title="">2.3 Semantics</a>).
</p><p>Most users of OWL 2 will need only one syntax and one semantics; for them, this diagram would be much simpler, with only their one syntax at the top, their one semantics at the bottom, and rarely a need to see what's inside the ellipse in the center.
</p>
<div class="image">
<p><img alt="Diagram showing that each syntax maps to/from ontologies and ontologies have two semantics" border="0" height="551" src="OWL2-structure2-800.png" width="800" /><br />
<span class="caption">Figure 1.</span> The Structure of OWL 2
</p>
</div>
<p><br />
</p>
<div id="sec-ont">
<a name="Ontologies"></a><h3> <span class="mw-headline">2.1  Ontologies </span></h3>
<p>The conceptual structure of OWL 2 ontologies is defined in the OWL 2 Structural Specification document [<cite><a href="#ref-owl-2-specification" title="">OWL 2 Structural Specification</a></cite>]. This document uses UML [<cite><a href="#ref-uml" title="">UML</a></cite>] to define the structural elements available in OWL 2, explaining their roles and functionalities in abstract terms and without reference to any particular syntax. It also defines the functional-style syntax, which closely follows the structural specification and allows OWL 2 ontologies to be written in a compact form.
</p><p>Any OWL 2 ontology can also be viewed as an RDF graph. The relationship between these two views is specified by the Mapping to RDF Graphs document [<cite><a href="#ref-owl-2-rdf-mapping" title="">OWL 2 RDF Mapping</a></cite>], which defines a mapping from the structural form to the RDF graph form, and vice versa. The OWL 2 Quick Reference Guide [<cite><a href="#ref-owl-2-quick-reference" title="">OWL 2 Quick Guide</a></cite>] provides a simple overview of these two views of OWL 2, laid out side by side.
</p>
</div>
<div id="sec-syn">
<a name="Syntaxes"></a><h3> <span class="mw-headline">2.2  Syntaxes </span></h3>
<p>In practice, a concrete syntax is needed in order to store OWL 2 ontologies and to exchange them among tools and applications. The primary exchange syntax for OWL 2 is RDF/XML [<cite><a href="#ref-rdf-syntax" title="">RDF Syntax</a></cite>]; this is indeed the only syntax that <i>must</i> be supported by all OWL 2 tools (see Section 2.1 of the OWL 2 Conformance document [<cite><a href="#ref-owl-2-conformance" title="">OWL 2 Conformance</a></cite>]).
</p><p>While RDF/XML provides for interoperability among OWL 2 tools, other concrete syntaxes may also be used. These include alternative RDF serializations, such as Turtle [<cite><a href="#ref-turtle" title="">Turtle</a></cite>]; an XML serialization [<cite><a href="#ref-owl-2-xml-serialization" title="">OWL 2 XML</a></cite>]; and a more "readable" syntax, called the Manchester Syntax [<cite><a href="#ref-owl-2-manchester-syntax" title="">OWL 2 Manchester Syntax</a></cite>], that is used in several ontology editing tools. Finally, the functional-style syntax can also be used for serialization, although its  main purpose is specifying the structure of the language [<cite><a href="#ref-owl-2-specification" title="">OWL 2 Structural Specification</a></cite>].
</p><p><br />
</p>
<div style="padding: 0 1em 0 2em;">
<table class="open-data-table">
<tbody><tr>
<th>Name of Syntax</th><th>Specification</th><th>Status</th><th>Purpose
</th></tr>
<tr>
<td>RDF/XML
</td><td><a href="http://www.w3.org/TR/2009/REC-owl2-mapping-to-rdf-20091027/" title="Mapping to RDF Graphs">Mapping to RDF Graphs</a>,<br /><a class="external text" href="http://www.w3.org/TR/2004/REC-rdf-syntax-grammar-20040210/" title="http://www.w3.org/TR/2004/REC-rdf-syntax-grammar-20040210/">RDF/XML</a>
</td><td>Mandatory
</td><td>Interchange (can be written and read by all conformant OWL 2 software)
</td></tr>
<tr>
<td>OWL/XML
</td><td><a href="http://www.w3.org/TR/2009/REC-owl2-xml-serialization-20091027/" title="XML Serialization">XML Serialization</a>
</td><td>Optional
</td><td>Easier to process using XML tools
</td></tr>
<tr>
<td>Functional Syntax
</td><td><a href="http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/" title="Syntax">Structural Specification</a>
</td><td>Optional
</td><td>Easier to see the formal structure of ontologies
</td></tr>
<tr>
<td>Manchester Syntax
</td><td><a href="http://www.w3.org/TR/2009/NOTE-owl2-manchester-syntax-20091027/" title="ManchesterSyntax">Manchester Syntax</a>
</td><td>Optional
</td><td>Easier to read/write DL Ontologies
</td></tr>
<tr>
<td>Turtle
</td><td><a href="http://www.w3.org/TR/2009/REC-owl2-mapping-to-rdf-20091027/" title="Mapping to RDF Graphs">Mapping to RDF Graphs</a>,<br /><a class="external text" href="http://www.w3.org/TeamSubmission/turtle/" title="http://www.w3.org/TeamSubmission/turtle/">Turtle</a>
</td><td>Optional, Not from OWL-WG
</td><td>Easier to read/write RDF triples
</td></tr></tbody></table>
</div>
</div>
<div id="sec-sem">
<a name="Semantics"></a><h3> <span class="mw-headline">2.3  Semantics </span></h3>
<p>The OWL 2 Structural Specification document defines the abstract structure of OWL 2 ontologies, but it does not define their meaning. The Direct Semantics [<cite><a href="#ref-owl-2-direct-semantics" title="">OWL 2 Direct Semantics</a></cite>] and the RDF-Based Semantics [<cite><a href="#ref-owl-2-rdf-semantics" title="">OWL 2 RDF-Based Semantics</a></cite>] provide two alternative ways of assigning meaning to OWL 2 ontologies, with a correspondence theorem providing a link between the two.  These two semantics are used by reasoners and other tools, e.g., to answer class consistency, subsumption and instance retrieval queries.
</p><p>The Direct Semantics assigns meaning directly to ontology structures, resulting in a semantics compatible with the model theoretic semantics of the <i>SROIQ</i> description logic&mdash;a fragment of first order logic with useful computational properties. The advantage of this close connection is that the extensive description logic literature and implementation experience can be directly exploited by OWL 2 tools. However, some conditions must be placed on ontology structures in order to ensure that they can be translated into a <i>SROIQ</i> knowledge base; for example, transitive properties cannot be used in number restrictions (see <a href="http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/#Ontologies" title="Syntax">Section 3</a> of the OWL 2 Structural Specification document [<cite><a href="#ref-owl-2-specification" title="">OWL 2 Structural Specification</a></cite>] for a complete list of these conditions).  Ontologies that satisfy these syntactic conditions are called <i>OWL 2 DL</i> ontologies. "OWL 2 DL" is used informally to refer to OWL 2 DL ontologies interpreted using the Direct Semantics [<cite><a href="#ref-owl-2-direct-semantics" title="">OWL 2 Direct Semantics</a></cite>].
</p><p>The RDF-Based Semantics [<cite><a href="#ref-owl-2-rdf-semantics" title="">OWL 2 RDF-Based Semantics</a></cite>] assigns meaning directly to RDF graphs and so indirectly to ontology structures via the Mapping to RDF graphs. The RDF-Based Semantics is fully compatible with the RDF Semantics [<cite><a href="#ref-rdf-semantics" title="">RDF Semantics</a></cite>], and extends the semantic conditions defined for RDF.  The RDF-Based Semantics can be applied to <i>any</i> OWL 2 Ontology, without restrictions, as any OWL 2 Ontology can be mapped to RDF. "OWL 2 Full" is used informally to refer to RDF graphs considered as OWL 2 ontologies and interpreted using the RDF-Based Semantics.
</p><p>The correspondence theorem in <a href="http://www.w3.org/TR/2009/REC-owl2-rdf-based-semantics-20091027/#Correspondence_Theorem" title="RDF-Based Semantics">Section 7.2</a> of the RDF-Based Semantics Document [<cite><a href="#ref-owl-2-rdf-semantics" title="">OWL 2 RDF-Based Semantics</a></cite>]) defines a precise, close relationship between the Direct and RDF-Based Semantics. This theorem states, in essence, that given an OWL 2 DL ontology, inferences drawn using the Direct Semantics will still be valid if the ontology is mapped into an RDF graph <i>and</i> interpreted using the RDF-Based Semantics.
</p>
</div>
<div id="sec-prof">
<a name="Profiles"></a><h3> <span class="mw-headline">2.4  Profiles </span></h3>
<p>OWL 2 Profiles [<cite><a href="#ref-owl-2-profiles" title="">OWL 2 Profiles</a></cite>] are sub-languages (syntactic subsets) of OWL 2 that offer important advantages in particular application scenarios. Three different profiles are defined: OWL 2 EL, OWL 2 QL, and OWL 2 RL. Each profile is defined as a <i>syntactic restriction</i> of the OWL 2 Structural Specification, i.e., as a subset of the structural elements that can be used in a conforming ontology, and each is more restrictive than OWL DL.  Each of the profiles trades off different aspects of OWL's expressive power in return for different computational and/or implementational benefits.
</p><p><b>OWL 2 EL</b> enables polynomial time algorithms for all the standard reasoning tasks; it is particularly suitable for applications where very large ontologies are needed, and where expressive power can be traded for performance guarantees. <b>OWL 2 QL</b> enables conjunctive queries to be answered in LogSpace (more precisely, AC<sup>0</sup>) using standard relational database technology; it is particularly suitable for applications where relatively lightweight ontologies are used to organize large numbers of individuals and where it is useful or necessary to access the data directly via relational queries (e.g., SQL). <b>OWL 2 RL</b> enables the implementation of polynomial time reasoning algorithms using rule-extended database technologies operating directly on RDF triples; it is particularly suitable for applications where relatively lightweight ontologies are used to organize large numbers of individuals and where it is useful or necessary to operate directly on data in the form of RDF triples.
</p><p>Any OWL 2 EL, QL or RL ontology is, of course, also an OWL 2 ontology and can be interpreted using either the Direct or RDF-Based Semantics. When using OWL 2 RL, a rule-based implementation can operate directly on RDF triples and so can be applied to an arbitrary RDF graph, i.e., to any OWL 2 ontology. In this case, reasoning will always be <i>sound</i> (that is, only correct answers to queries will be computed), but it may not be <i>complete</i> (that is, it is not guaranteed that all correct answers to queries will be computed). Theorem PR1 of the Profiles document states, however, that (in general) when the ontology is consistent with the structural definition of OWL 2 RL, a suitable rule-based implementation performing ground atomic queries will be both sound and complete.
</p>
</div>
<a name="Relationship_to_OWL_1"></a><h2> <span class="mw-headline">3  Relationship to OWL 1 </span></h2>
<p>OWL 2 has a very similar overall structure to OWL 1. Looking at Figure 1, almost all the building blocks of OWL 2 were present in OWL 1, albeit possibly under different names.
</p><p>The central role of RDF/XML, the role of other syntaxes, and the relationships between the Direct and RDF-Based semantics (i.e., the correspondence theorem) have not changed. More importantly, backwards compatibility with OWL 1 is, to all intents and purposes, complete: all OWL 1 Ontologies remain valid OWL 2 Ontologies, with identical inferences in all practical cases (see <a class="external text" href="http://www.w3.org/TR/2009/REC-owl2-new-features-20091027/#Backward_Compatibility" title="http://www.w3.org/2007/OWL/wiki/New_Features_and_Rationale#Backward_Compatibility">Section 4.2</a> of OWL 2 New Features and Rationale [<cite><a href="#ref-owl-2-new-features" title="">OWL 2 New Features and Rationale</a></cite>]).
</p><p>OWL 2 adds new functionality with respect to OWL 1.  Some of the new
features are syntactic sugar (e.g., disjoint union of classes) while
others offer new expressivity, including:
</p>
<ul><li> keys;
</li><li> property chains;
</li><li> richer datatypes, data ranges;
</li><li> qualified cardinality restrictions;
</li><li> asymmetric, reflexive, and disjoint properties; and
</li><li> enhanced annotation capabilities
</li></ul>
<p>OWL 2 also defines three new profiles [<cite><a href="#ref-owl-2-profiles" title="">OWL 2 Profiles</a></cite>] and a new syntax [<cite><a href="#ref-owl-2-manchester-syntax" title="">OWL 2 Manchester Syntax</a></cite>]. In addition, some of the restrictions applicable to OWL DL have been relaxed; as a result, the set of RDF Graphs that can be handled by Description Logics reasoners is slightly larger in OWL 2.
</p><p>All of the above is documented in detail in the OWL 2 New Features and Rationale document [<cite><a href="#ref-owl-2-new-features" title="">OWL 2 New Features and Rationale</a></cite>]. The OWL 2 Quick Reference Guide [<cite><a href="#ref-owl-2-quick-reference" title="">OWL 2 Quick Guide</a></cite>] also provides an overview of the features of OWL 2, clearly indicating those that are new.
</p>
<a name="Documentation_Roadmap"></a><h2> <span class="mw-headline">4  Documentation Roadmap </span></h2>
<p>The OWL 2 ontology language is normatively defined by five core specification documents describing its conceptual structure, primary exchange syntax (RDF/XML), two alternative semantics (Direct and RDF-Based), and conformance requirements. Three additional specification documents describe optional features that may be supported by some implementations: the language profiles, and two alternative concrete syntaxes (OWL/XML and Manchester).
</p><p>These documents are, however, all rather technical and mainly aimed at OWL 2 implementers and tool developers. Those looking for a more approachable guide to the features and usage of OWL 2 may prefer to consult one of the user documents (Primer, New Features and Rationale, and Quick Reference Guide).
</p><p><br />
</p>
<div><table cellpadding="5" class="open-data-table">

<tbody><tr>
<th>Part</th>
<th>Type</th>
<th>Document</th>
</tr>

<tr>
<td style="text-align: center;">1</td>
<td style="background: #DFF">For Users</td>
<td><a href="#">Document Overview</a>.  A quick overview of the OWL 2 specification that includes a description of its relationship to OWL 1.  This it the starting point and primary reference point for OWL 2.</td>
</tr>


<tr>
<td style="text-align: center;">2</td>
<td style="background: #FDD">Core Specification</td>
<td><a href="http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/">Structural Specification and Functional-Style Syntax</a> defines the constructs of OWL 2 ontologies in terms of both their structure and a functional-style syntax, and defines OWL 2 DL ontologies in terms of global restrictions on OWL 2 ontologies.</td>
</tr>

<tr>
<td style="text-align: center;">3</td>
<td style="background: #FDD">Core Specification</td>
<td><a href="http://www.w3.org/TR/2009/REC-owl2-mapping-to-rdf-20091027/">Mapping to RDF Graphs</a> defines a mapping of the OWL 2 constructs into RDF graphs, and thus defines the primary means of exchanging OWL 2 ontologies in the Semantic Web.</td>
</tr>

<tr>
<td style="text-align: center;">4</td>
<td style="background: #FDD">Core Specification</td>
<td><a href="http://www.w3.org/TR/2009/REC-owl2-direct-semantics-20091027/">Direct Semantics</a> defines the meaning of OWL 2 ontologies in terms of a model-theoretic semantics.</td>
</tr>

<tr>
<td style="text-align: center;">5</td>
<td style="background: #FDD">Core Specification</td>
<td><a href="http://www.w3.org/TR/2009/REC-owl2-rdf-based-semantics-20091027/">RDF-Based Semantics</a> defines the meaning of OWL 2 ontologies via an extension of the <a href="http://www.w3.org/TR/rdf-mt/">RDF Semantics</a>.</td>
</tr>

<tr>
<td style="text-align: center;">6</td>
<td style="background: #FDD">Core Specification</td>
<td><a href="http://www.w3.org/TR/2009/REC-owl2-conformance-20091027/">Conformance</a> provides requirements for OWL 2 tools and a set of test cases to help determine conformance.</td>
</tr>

<tr>
<td style="text-align: center;">7</td>
<td style="background: #DDF">Specification</td>
<td><a href="http://www.w3.org/TR/2009/REC-owl2-profiles-20091027/">Profiles</a> defines three sub-languages of OWL 2 that offer important advantages in particular applications scenarios.</td>
</tr>

<tr>
<td style="text-align: center;">8</td>
<td style="background: #DFF">For Users</td>
<td><a href="http://www.w3.org/TR/2009/REC-owl2-primer-20091027/">OWL 2 Primer</a> provides an approachable introduction to OWL 2, including orientation for those coming from other disciplines.</td>
</tr>

<tr>
<td style="text-align: center;">9</td>
<td style="background: #DFF">For Users</td>
<td><a href="http://www.w3.org/TR/2009/REC-owl2-new-features-20091027/">OWL 2 New Features and Rationale</a> provides an overview of the main new features of OWL 2 and motivates their inclusion in the language.</td>
</tr>

<tr>
<td style="text-align: center;">10</td>
<td style="background: #DFF">For Users</td>
<td><a href="http://www.w3.org/TR/2009/REC-owl2-quick-reference-20091027/">OWL 2 Quick Reference Guide</a> provides a brief guide to the constructs of OWL 2, noting the changes from OWL 1.</td>
</tr>

<tr>
<td style="text-align: center;">11</td>
<td style="background: #DDF">Specification</td>
<td><a href="http://www.w3.org/TR/2009/REC-owl2-xml-serialization-20091027/">XML Serialization</a> defines an XML syntax for exchanging OWL 2 ontologies, suitable for use with XML tools like schema-based editors and XQuery/XPath.</td>
</tr>

<tr>
<td style="text-align: center;">12</td>
<td style="background: #DDF">Specification</td>
<td><a href="http://www.w3.org/TR/2009/NOTE-owl2-manchester-syntax-20091027/">Manchester Syntax</a> (WG Note) defines an easy-to-read, but less formal, syntax for OWL 2 that is used in some OWL 2 user interface tools and is also used in the <a href="http://www.w3.org/TR/2009/REC-owl2-primer-20091027/">Primer</a>.</td>
</tr>

<tr>
<td style="text-align: center;">13</td>
<td style="background: #DDF">Specification</td>
<td><a href="http://www.w3.org/TR/2009/NOTE-owl2-dr-linear-20091027/">Data Range Extension: Linear Equations</a> (WG Note) specifies an optional extension to OWL 2 which supports advanced constraints on the values of properties.
</td>
</tr>


</tbody></table>

</div>
<div id="changelog">
<a name="Appendix:_Change_Log_.28Informative.29"></a><h2> <span class="mw-headline">5  Appendix: Change Log (Informative) </span></h2>
<a name="Changes_Since_Proposed_Recommendation"></a><h3> <span class="mw-headline">5.1  Changes Since Proposed Recommendation </span></h3>
<p>No changes have been made to this document since the <a class="external text" href="http://www.w3.org/TR/2009/PR-owl2-overview-20090922/" title="http://www.w3.org/TR/2009/PR-owl2-overview-20090922/">Proposed Recommendation of 22 September, 2009</a>.
</p>
<a name="Changes_Since_Last_Call"></a><h3> <span class="mw-headline">5.2  Changes Since Last Call </span></h3>
<p>This section summarizes the changes to this document since the <a class="external text" href="http://www.w3.org/TR/2009/WD-owl2-overview-20090611/" title="http://www.w3.org/TR/2009/WD-owl2-overview-20090611/">Last Call Working Draft of 11 June, 2009</a>.
</p>
<ul><li> Some minor editorial changes were made.
</li></ul>
</div>
<div id="ack">
<a name="Acknowledgements"></a><h2> <span class="mw-headline">6  Acknowledgements </span></h2>
<p>The starting point for the development of OWL 2 was the <a class="external text" href="http://www.w3.org/Submission/2006/10/" title="http://www.w3.org/Submission/2006/10/">OWL1.1 member submission</a>, itself a result of user and developer feedback, and in particular of information gathered during the <a class="external text" href="http://www.webont.org/owled/" title="http://www.webont.org/owled/">OWL Experiences and Directions (OWLED) Workshop series</a>. The working group also considered <a class="external text" href="http://www.w3.org/2001/sw/WebOnt/webont-issues.html" title="http://www.w3.org/2001/sw/WebOnt/webont-issues.html">postponed issues</a> from the <a class="external text" href="http://www.w3.org/2004/OWL/" title="http://www.w3.org/2004/OWL/">WebOnt Working Group</a>.
</p><p>This document has been produced by the OWL Working Group (see below), and its contents reflect extensive discussions within the Working Group as a whole.
The editors extend special thanks to
Ivan Herman (W3C/ERCIM),
Ian Horrocks (Oxford University) and
Peter F. Patel-Schneider (Bell Labs Research, Alcatel-Lucent)
for their thorough reviews.
</p><p>The regular attendees at meetings of the OWL Working Group at the time of publication of this document were:
Jie Bao (RPI),
Diego Calvanese (Free University of Bozen-Bolzano),
Bernardo Cuenca Grau (Oxford University Computing Laboratory),
Martin Dzbor (Open University),
Achille Fokoue (IBM Corporation),
Christine Golbreich (Universit&eacute; de Versailles St-Quentin and LIRMM),
Sandro Hawke (W3C/MIT),
Ivan Herman (W3C/ERCIM),
Rinke Hoekstra (University of Amsterdam),
Ian Horrocks (Oxford University Computing Laboratory),
Elisa Kendall (Sandpiper Software),
Markus Kr&ouml;tzsch (FZI),
Carsten Lutz (Universit&auml;t Bremen),
Deborah L. McGuinness (RPI),
Boris Motik (Oxford University Computing Laboratory),
Jeff Pan (University of Aberdeen),
Bijan Parsia (University of Manchester),
Peter F. Patel-Schneider (Bell Labs Research, Alcatel-Lucent),
Sebastian Rudolph (FZI),
Alan Ruttenberg (Science Commons),
Uli Sattler (University of Manchester),
Michael Schneider (FZI),
Mike Smith (Clark &amp; Parsia),
Evan Wallace (NIST),
Zhe Wu (Oracle Corporation), and
Antoine Zimmermann (DERI Galway).
We would also like to thank past members of the working group:
Jeremy Carroll,
Jim Hendler,
Vipul Kashyap.
</p>
</div>
<a name="References"></a><h2> <span class="mw-headline">7  References </span></h2>
<dl><dt> <span id="ref-owl-2-conformance">[OWL 2 Conformance]</span>
</dt><dd><span><cite><a href="http://www.w3.org/TR/2009/REC-owl2-conformance-20091027/">OWL 2 Web Ontology Language: <span>Conformance</span></a></cite> Michael Smith, Ian Horrocks, Markus Kr&ouml;tzsch, Birte Glimm, eds. W3C Recommendation, 27 October 2009, <a href="http://www.w3.org/TR/2009/REC-owl2-conformance-20091027/">http://www.w3.org/TR/2009/REC-owl2-conformance-20091027/</a>.  Latest version available at <a href="http://www.w3.org/TR/owl2-conformance/">http://www.w3.org/TR/owl2-conformance/</a>.</span></dd><dt> <span id="ref-owl-2-direct-semantics">[OWL 2 Direct Semantics]</span>
</dt><dd><span><cite><a href="http://www.w3.org/TR/2009/REC-owl2-direct-semantics-20091027/">OWL 2 Web Ontology Language: <span>Direct Semantics</span></a></cite> Boris Motik, Peter F. Patel-Schneider, Bernardo Cuenca Grau, eds. W3C Recommendation, 27 October 2009, <a href="http://www.w3.org/TR/2009/REC-owl2-direct-semantics-20091027/">http://www.w3.org/TR/2009/REC-owl2-direct-semantics-20091027/</a>.  Latest version available at <a href="http://www.w3.org/TR/owl2-direct-semantics/">http://www.w3.org/TR/owl2-direct-semantics/</a>.</span></dd><dt> <span id="ref-owl-2-manchester-syntax">[OWL 2 Manchester Syntax]</span>
</dt><dd><span><cite><a href="http://www.w3.org/TR/2009/NOTE-owl2-manchester-syntax-20091027/">OWL 2 Web Ontology Language: <span>Manchester Syntax</span></a></cite> Matthew Horridge, Peter F. Patel-Schneider. W3C Working Group Note, 27 October 2009, <a href="http://www.w3.org/TR/2009/NOTE-owl2-manchester-syntax-20091027/">http://www.w3.org/TR/2009/NOTE-owl2-manchester-syntax-20091027/</a>.  Latest version available at <a href="http://www.w3.org/TR/owl2-manchester-syntax/">http://www.w3.org/TR/owl2-manchester-syntax/</a>.</span></dd><dt> <span id="ref-owl-2-new-features">[OWL 2 New Features and Rationale]</span>
</dt><dd><span><cite><a href="http://www.w3.org/TR/2009/REC-owl2-new-features-20091027/">OWL 2 Web Ontology Language: <span>New Features and Rationale</span></a></cite> Christine Golbreich, Evan K. Wallace, eds. W3C Recommendation, 27 October 2009, <a href="http://www.w3.org/TR/2009/REC-owl2-new-features-20091027/">http://www.w3.org/TR/2009/REC-owl2-new-features-20091027/</a>.  Latest version available at <a href="http://www.w3.org/TR/owl2-new-features/">http://www.w3.org/TR/owl2-new-features/</a>.</span></dd><dt> <span id="ref-owl-2-primer">[OWL 2 Primer]</span>
</dt><dd><span><cite><a href="http://www.w3.org/TR/2009/REC-owl2-primer-20091027/">OWL 2 Web Ontology Language: <span>Primer</span></a></cite> Pascal Hitzler, Markus Kr&ouml;tzsch, Bijan Parsia, Peter F. Patel-Schneider, Sebastian Rudolph, eds. W3C Recommendation, 27 October 2009, <a href="http://www.w3.org/TR/2009/REC-owl2-primer-20091027/">http://www.w3.org/TR/2009/REC-owl2-primer-20091027/</a>.  Latest version available at <a href="http://www.w3.org/TR/owl2-primer/">http://www.w3.org/TR/owl2-primer/</a>.</span></dd><dt> <span id="ref-owl-2-profiles">[OWL 2 Profiles]</span>
</dt><dd><span><cite><a href="http://www.w3.org/TR/2009/REC-owl2-profiles-20091027/">OWL 2 Web Ontology Language: <span>Profiles</span></a></cite> Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, Achille Fokoue, Carsten Lutz, eds. W3C Recommendation, 27 October 2009, <a href="http://www.w3.org/TR/2009/REC-owl2-profiles-20091027/">http://www.w3.org/TR/2009/REC-owl2-profiles-20091027/</a>.  Latest version available at <a href="http://www.w3.org/TR/owl2-profiles/">http://www.w3.org/TR/owl2-profiles/</a>.</span></dd><dt> <span id="ref-owl-2-quick-reference">[OWL 2 Quick Reference Guide]</span>
</dt><dd><span><cite><a href="http://www.w3.org/TR/2009/REC-owl2-quick-reference-20091027/">OWL 2 Web Ontology Language: <span>Quick Reference Guide</span></a></cite> Jie Bao, Elisa F. Kendall, Deborah L. McGuinness, Peter F. Patel-Schneider, eds. W3C Recommendation, 27 October 2009, <a href="http://www.w3.org/TR/2009/REC-owl2-quick-reference-20091027/">http://www.w3.org/TR/2009/REC-owl2-quick-reference-20091027/</a>.  Latest version available at <a href="http://www.w3.org/TR/owl2-quick-reference/">http://www.w3.org/TR/owl2-quick-reference/</a>.</span></dd><dt> <span id="ref-owl-2-rdf-mapping">[OWL 2 RDF Mapping]</span>
</dt><dd><span><cite><a href="http://www.w3.org/TR/2009/REC-owl2-mapping-to-rdf-20091027/">OWL 2 Web Ontology Language: <span>Mapping to RDF Graphs</span></a></cite> Peter F. Patel-Schneider, Boris Motik, eds. W3C Recommendation, 27 October 2009, <a href="http://www.w3.org/TR/2009/REC-owl2-mapping-to-rdf-20091027/">http://www.w3.org/TR/2009/REC-owl2-mapping-to-rdf-20091027/</a>.  Latest version available at <a href="http://www.w3.org/TR/owl2-mapping-to-rdf/">http://www.w3.org/TR/owl2-mapping-to-rdf/</a>.</span></dd><dt> <span id="ref-owl-2-rdf-semantics">[OWL 2 RDF-Based Semantics]</span>
</dt><dd><span><cite><a href="http://www.w3.org/TR/2009/REC-owl2-rdf-based-semantics-20091027/">OWL 2 Web Ontology Language: <span>RDF-Based Semantics</span></a></cite> Michael Schneider, editor. W3C Recommendation, 27 October 2009, <a href="http://www.w3.org/TR/2009/REC-owl2-rdf-based-semantics-20091027/">http://www.w3.org/TR/2009/REC-owl2-rdf-based-semantics-20091027/</a>.  Latest version available at <a href="http://www.w3.org/TR/owl2-rdf-based-semantics/">http://www.w3.org/TR/owl2-rdf-based-semantics/</a>.</span></dd><dt> <span id="ref-owl-2-specification">[OWL 2 Specification]</span>
</dt><dd><span><cite><a href="http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/">OWL 2 Web Ontology Language: <span>Structural Specification and Functional-Style Syntax</span></a></cite> Boris Motik, Peter F. Patel-Schneider, Bijan Parsia, eds. W3C Recommendation, 27 October 2009, <a href="http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/">http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/</a>.  Latest version available at <a href="http://www.w3.org/TR/owl2-syntax/">http://www.w3.org/TR/owl2-syntax/</a>.</span></dd><dt> <span id="ref-owl-2-xml-serialization">[OWL 2 XML Serialization]</span>
</dt><dd><span><cite><a href="http://www.w3.org/TR/2009/REC-owl2-xml-serialization-20091027/">OWL 2 Web Ontology Language: <span>XML Serialization</span></a></cite> Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, eds. W3C Recommendation, 27 October 2009, <a href="http://www.w3.org/TR/2009/REC-owl2-xml-serialization-20091027/">http://www.w3.org/TR/2009/REC-owl2-xml-serialization-20091027/</a>.  Latest version available at <a href="http://www.w3.org/TR/owl2-xml-serialization/">http://www.w3.org/TR/owl2-xml-serialization/</a>.</span></dd><dt> <span id="ref-rdf-semantics">[RDF Semantics]</span>
</dt><dd> <cite><a class="external text" href="http://www.w3.org/TR/2004/REC-rdf-mt-20040210/" title="http://www.w3.org/TR/2004/REC-rdf-mt-20040210/">RDF Semantics</a></cite>. Patrick Hayes, ed., W3C Recommendation, 10 February 2004, http://www.w3.org/TR/2004/REC-rdf-mt-20040210/.  Latest version available as http://www.w3.org/TR/rdf-mt/.
</dd><dt> <span id="ref-rdf-syntax">[RDF Syntax]</span>
</dt><dd> <cite><a class="external text" href="http://www.w3.org/TR/2004/REC-rdf-syntax-grammar-20040210/" title="http://www.w3.org/TR/2004/REC-rdf-syntax-grammar-20040210/">RDF/XML Syntax Specification (Revised)</a></cite>. Dave Beckett, ed. W3C Recommendation, 10 February 2004, http://www.w3.org/TR/2004/REC-rdf-syntax-grammar-20040210/.  Latest version available as http://www.w3.org/TR/rdf-syntax-grammar/.
</dd><dt> <span id="ref-turtle">[Turtle]</span>
</dt><dd> <cite><a class="external text" href="http://www.w3.org/TeamSubmission/2008/SUBM-turtle-20080114/" title="http://www.w3.org/TeamSubmission/2008/SUBM-turtle-20080114/">Turtle - Terse RDF Triple Language</a></cite>. David Beckett and Tim Berners-Lee.  W3C Team Submission, 14 January 2008, http://www.w3.org/TeamSubmission/2008/SUBM-turtle-20080114/.  Latest version available at http://www.w3.org/TeamSubmission/turtle/.
</dd><dt> <span id="ref-uml">[UML]</span>
</dt><dd> <cite><a class="external text" href="http://www.omg.org/spec/UML/2.1.2/Infrastructure/PDF/" title="http://www.omg.org/spec/UML/2.1.2/Infrastructure/PDF/">OMG Unified Modeling Language (OMG UML), Infrastructure, V2.1.2</a></cite>. Object Management Group, OMG Available Specification, November 2007, http://www.omg.org/spec/UML/2.1.2/Infrastructure/PDF/.</dd></dl>

</body>
</html>