Round 4

From OWL
Revision as of 09:02, 21 January 2009 by IvanHerman (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

This page has information about a round of publication of working group documents.


General Information

Target Date 2008-12-02
This Round Round 4
Previous Round Round 3
Documents
  1. #Syntax
  2. #Direct Semantics
  3. #RDF-Based Semantics
  4. #Conformance and Test Cases
  5. #Mapping to RDF Graphs
  6. #XML Serialization
  7. #Profiles
  8. #Quick Reference Guide
  9. #New Features and Rationale
  10. #ManchesterSyntax
  11. #InternationalizedStringSpec
Overall Status

Compatibility with OWL 1

The OWL Working Group intends to make OWL 2 be a superset of OWL 1, except for a limited number of situations where we believe the impact will be minimal. This means that OWL 2 will be backward compatible, and creators of OWL 1 documents need only move to OWL 2 when they want to make use of OWL 2 features. More details and advice concerning migration from OWL 1 to OWL 2 will be in future drafts.

Document Details



Document Syntax
Link to this table #Syntax
Decision to Publish 2008-10-24
Maturity Last Call
Summary of Changes This document contains a few changes since the previous version of 08 October 2008.
  • The structure of the annotation subsystem has been considerably refactored and extended.
  • Conjunction and disjunction of data ranges have been added.
  • The usage of owl:topDataProperty has been restricted to allow the datatype map to be extensible.
  • The formal definition of the datatype map has been slightly changed to make it compatible with the usual W3C definitions.
  • The owl:rational and rdf:XMLLiteral datatypes were added to the datatype map of OWL 2.
  • The status of metamodeling has been clarified.
  • Certain parts of the document (mainly in Sections 2, 3, and 5) have been rewritten for clarity.



Document Direct Semantics
Link to this table #Direct Semantics
Decision to Publish 2008-10-24
Maturity Last Call
Summary of Changes This document has been updated to keep in sync with the Syntax document. The most significant update is in the formal definition of the datatype map.



Document RDF-Based Semantics
Link to this table #RDF-Based Semantics
Decision to Publish 2008-10-24
Maturity Ordinary Working Draft
Summary of Changes This section lists significant changes since the First Public Working Draft of 08 October 2008.
  • Added datatype "owl:rational", marking it "at risk" (WG resolution of Issue 87).
  • The RDF syntax of self restrictions has been changed: The class owl:SelfRestriction has been replaced by the property owl:hasSelf (per WG resolution).
  • Removed the semantic conditions for axiom annotations (WG resolution of Issue 144).
  • Added semantic conditions inferring a union or intersection of datatypes into a datatype (following WG resolution of Issue 147).
  • The URIs owl:TopObjectProperty, owl:BottomObjectProperty, owl:TopDataProperty and owl:BottomDataProperty have been renamed to their lower-case variants, respectively (per WG decision).
  • The datatypes xsd:ID, xsd:IDREF and xsd:ENTITY have been removed (per WG resolution).
  • Changed the semantic conditions for the n-ary value restrictions to infer the type of the properties p1,...,pn (IODP) and the type of the class c (IDC).
  • Corrected definitions of consistency and entailment: The vocabulary V was a global parameter of the definitions. Now the form of the definitions is close to the respective definitions in OWL 1.
  • Corrected the semantic condition for sub property chains: missing premise "q in IP" in the second condition.
  • Removed redundant statements in the consequent of the semantic conditions for negative property assertions.
  • For D-Interpretations, the range of the mapping IL has been changed to IR instead of LV, with a reference to the RDF Semantics. This was a bug, since in both the RDF Semantics and in OWL 1 the range of IL has been IR.
  • Splitted the table on "Parts of the Universe" in the "Semantic Conditions" section into a table defining the parts (now in the "Interpretations" section), and a table that specifies the semantic conditions for those parts.
  • The definition of OWL 2 Full datatype maps now include the different facet-related sets that have formerly been part of the "abbreviations" table in the "Semantic Conditions" section.
  • The nomenclature for datatype maps has been aligned with the one used in the RDF Semantics. In particular, the concept being called an "interpretation of a literal" is now being called a "datatype value", and the concept being called an "interpretation of a datatype" is now being called a "datatype" or the "value space" of a datatype, depending on whether the datatype itself or its class extension is meant.
  • Replaced all applications of the URI-mapping 'IS(.)' by the more general interpretation function 'I(.)'. This usage is now in line with the usage in the RDF Semantics document. Also, there have formerly been applications of IS, where it was not guaranteed that the argument is a URI.
  • Marked several sections as "Informative", as requestion by a previous review.
  • Added to the "Ontologies" section some text about ontology headers and ontology versions, but removed every text referring to the semantic meaning of a OWL 2 Full ontology.
  • Moved the "Ontologies" section from Section 5 to Section 3.
  • Moved the discussion on axiomatic triples from the section on "Semantic Conditions" to a dedicated appendix.
  • The "Introduction" section has been revised.
  • The descriptions of the semantic condition tables have been revised.

This is a Recommendation-Track document.



Document Conformance and Test Cases
Link to this table #Conformance and Test Cases
Decision to Publish 2008-10-24
Maturity Last Call
Summary of Changes Since the version of 08 October 2008, this document has been updated in the following ways:
  • The introduction has been expanded.
  • It has been made clear (in the introduction and elsewhere) that the document does not present actual test cases, but rather a format for test cases and pointers to test case repositories.
  • More precise pointers are provided to the syntactic restrictions referred to in the definitions of syntactic conformance.
  • More is said about the syntactic conformance conditions for non-RDF syntaxes.
  • Conditions for Datatype Map Conformance have been clarified.
  • Some introductory text on Document Conformance has been added.
  • The test case format has changed to include additional test metadata.
  • The format for imported ontologies in test cases has been modified to include syntax and location data.
  • The test case format is described in much greater detail.



Document Mapping to RDF Graphs
Link to this table #Mapping to RDF Graphs
Decision to Publish 2008-10-24
Maturity Last Call
Summary of Changes This document has been updated to keep in sync with the Syntax document. Apart from that, the biggest change is in the new treatment of owl:imports, which is summarized in Section 3.1.



Document Profiles
Link to this table #Profiles
Decision to Publish 2008-10-24
Maturity Last Call
Summary of Changes This document has been updated to keep in sync with the Syntax document. Apart from that, certain errors in the OWL 2 RL/RDF rule set were corrected.



Document Quick Reference Guide
Link to this table #Quick Reference Guide
Decision to Publish 2008-11-05
Maturity First Public Working Draft
FPWD Comment This document is intended to provide a quick reference to the OWL 2 language, similar to what was provided in the Language Synopsis section of the OWL Web Ontology Language Overview. It complements the OWL 2 Primer, an updated version of which will be published in due course. Inspiration for this effort includes work by the ebiquity Research Group at the University of Maryland Baltimore County (UMBC) on earlier versions of a Reference Card for the Semantic Web.

The intended final status of this document has not yet been determined; since it may become a Recommendation, it should be considered a Recommendation-Track document for now.



Document New Features and Rationale
Link to this table #New Features and Rationale
Decision to Publish 2008-11-05
Maturity First Public Working Draft
FPWD Comment This document is a simple introduction to the new features of the OWL 2 Web Ontology Language, including an explanation of its differences with respect to OWL 1. It presents the requirements that have motivated the design of the main new features, and their rationale from a theoretical and implementation perspective. According to their interests, readers can focus on: an informal description of the new features, requirements, examples, theory or implementation perspectives, or/and links to a sample of use cases. These new features are based on real applications, and user and tool developer experience, much of which was documented and discussed as part of the OWLED Workshop Series.

The intended final status of this document has not yet been determined; since it may become a Recommendation, it should be considered a Recommendation-Track document for now.



Document ManchesterSyntax
Link to this table #ManchesterSyntax
Decision to Publish 2008-11-12
Maturity First Public Working Draft
FPWD Comment This description of the Manchester Syntax is derived from the syntax used in various OWL tools and in the OWL 2 Primer as of November 2008. It is expected that tools will extend the Manchester Syntax for their own purposes, and tool builders may collaboratively extend the common language.

The Working Group expects this document, when done, to be a Working Group Note, not a W3C Recommendation. As expressed in the document conformance clause, OWL systems are not required to read or write this syntax.

Publicity

Forum Coordinator Posting (full text or link)
W3C News Sandro Eleven Publications Related to OWL 2
W3C SW Activity News Ivan Eleven W3C Publications Related to OWL 2
Ivan's Blogs Ivan
Sandro
Ivan Repeats of the announcement on 2009-01-21, referring back to Sandro's mails. Added a reference to Twitter, too
  • adtf@omg.org
  • bmi@omg.org
  • ontology@omg.org
EvanWallace Posted - [Fwd: [ANN] W3C publishes OWL 2 "last call" drafts]
  • obo-discuss@lists.sourceforge.net
  • obo-format@lists.sourceforge.net
  • bfo-discuss@googlegroups.com
  • ontolog-forum@ontolog.cim3.net
  • obi-devel@lists.sourceforge.net
  • neurocommons-rdf@googlegroups.com
AlanRuttenberg Posted - personal message
  • dl@dl.kr.org
  • lics@informatik.hu-berlin.de
  • pellet-users@lists.owldl.com
  • planetkr@kr.org
  • protege-owl@lists.stanford.edu
  • dbworld
  • kr-sig@mailman.amia.org
  • p4-feedback@lists.stanford.edu
IanHorrocks Posted - [Fwd: [ANN] W3C publishes OWL 2 "last call" drafts];

Repeated 20th Jan, 2009