Round 6

Document Overview

Only relatively minor editorial changes have been made since the previous version:

• The figure illustrating the relationship between OWL 2 Full, OWL 2 DL and the three profiles has been removed.
• The section on the relationship between OWL 2 and OWL 1 has been simplified and clarified.

Syntax

This Last Call Working Draft provides some significant changes since the previous version of 02 December 2008.

• The use of the terms OWL 2 and OWL 2 DL has been regularized.
• There are now explicit lists of the conditions needed to be an OWL 2 ontology and an OWL 2 DL ontology.
• The examples can be viewed as RDF as well as in the functional syntax.
• The functional syntax has been reverted back to a fully typed syntax.
• Abbreviated IRIs use a mechanism similar to that used in SPARQL.
• New named datatypes can be defined in terms of data ranges.
• The XML Schema datatypes are now completely aligned with their XML Schema definitions.
• The datatype owl:realPlus has been removed.

Mapping to RDF Graphs

This Last Call Working Draft has a few changes since the previous version of 02 December 2008.

• Several changes just reflect changes to surface structure of the functional syntax.
• The mapping from RDF graphs to the functional syntax has been changed to reject malformed lists.
• The mapping of property chains into RDF has been adjusted to make it fit better with other RDF constructs.
• A new property, owl:versionIRI, is used for ontology version IRIs instead of the previous owl:versionInfo, because owl:versionInfo is used for other purposes in some OWL ontologies.

Direct Semantics

This Last Call Working Draft has a few changes since the previous version of 02 December 2008.

• Several changes reflect changes to surface structure of the functional syntax.
• Several changes reflect changes to the treatment of datatypes.

RDF-Based Semantics

This Last Call Working Draft provides several significant changes since the previous version as an Ordinary Working Draft of 02 December 2008. The following list provides only a high level overview of the performed changes. See Section 10 for a more detailed list of changes.

• The document has been restructured in several places and the presentation of tables and formulae has been improved.
• There is now a clear distinction between the specified semantics called "OWL 2 RDF-Based Semantics", and the whole language called "OWL 2 Full" as RDF graphs being interpreted using this semantics.
• The "Introduction" section and the texts describing the semantic conditions have been extended.
• The "Ontologies" section has been rewritten and now talks primarily about the RDF graph syntax for the OWL 2 RDF-Based Semantics.
• The definition of datatypes with facets and the semantic conditions for datatype restrictions have been better aligned with the Direct Semantics.
• The correspondence theorem has been revised and no longer dependents on the comprehension conditions. A proof sketch for the theorem has been constructed, and an elaborate example exists that motivates the theorem and its proof.
• Several WG resolutions have been implemented (see also the list of OWL 2 changes).
• A few errors have been corrected.

Conformance

This Last Call Working Draft has been renamed (was Conformance and Test Cases) and has a few editorial changes since the previous version of 02 December 2008.

• The definitions of syntactic conformance have been clarified and made more precise, particularly w.r.t. the RDF/XML serialization.
• The definitions of tool conformance have been revised to make it clear that all OWL profiles can be interpreted according to either the direct semantics or the RDF-based semantics.

Profiles

This Last Call Working Draft provides some significant changes since the previous version of 02 December 2008.

• OWL 2 QL now includes reflexive, irreflexive, and asymmetric property axioms.
• OWL 2 RL now includes all the XML Schema datatypes that are in OWL 2, negative property assertions, assertions about class complements and the use of negated classes (ObjectComplementOf) in superclass expressions.
• The descriptions of the profiles now include suggestions as to the kinds of application for which they are suitable.

Primer

This Working Draft has undergone a complete rewrite since the previous version of 11 April 2008, to improve its readability and utility. Examples are now mostly also available in Turtle syntax. This document will undergo further significant revision before a final version is produced.

New Features and Rationale

This Working Draft has undergone several changes since the version of 02 December 2008

• The new features are described in a more friendly syntax which improves their readability.
• Examples are now also given as RDF graphs
• The new section "Other Design Choices and Rationale" approaches OWL 2 syntax and backward compatibility
• Significant editing makes it more compact and clear.

Quick Reference Guide

This Working Draft has numerous editorial changes since the previous version of 02 December 2008. In particular, the presentation has been significantly improved, and the content has been updated to reflect changes in the language specification.

XML Serialization

This Last Call Working Draft provides some significant changes since the previous version of 02 December 2008.

• The XML schema has been completely revised so as to allow for better processed by XML tools.
• Abbreviated IRIs use a mechanism similar to that used in SPARQL.

ManchesterSyntax

This Working Draft has a few changes since the previous version of 02 December 2008.

• The mapping to the functional syntax has been adjusted to reflect changes there.
• Abbreviated IRIs use a mechanism similar to that used in SPARQL.
• The Manchester Syntax is no longer directly tied to OWL 2 DL, but can also be used for some OWL 2 ontologies that are not OWL 2 DL ontologies.

Data Range Extension: Linear Equations

This First Public Working Draft specifies an optional extension to OWL 2. Using this extension, one can write ontologies which constrain the values of properties in relation to each other, saying, for instance, that for all substances (in the domain of some ontology), the boiling point is greater than the melting point. The OWL Working Group intends to publish this work as a Working Group Note, not a W3C Recommendation, due to the group's time contraints.

InternationalizedStringSpec

This Last Call Working Draft provides some significant changes since the previous version of 02 December 2008.

• The definition of the value space has been changed such that it is not necessary any more to reinterpret the value space of xsd:string to make it a subset of the value space of rdf:text.
• The inference rules for the RDF Semantics were added.
• The requirement was added that abbreviated forms must be used in all RDF-based serialization.