Last Call Check List

From OWL
Revision as of 13:10, 26 November 2008 by IanHorrocks (Talk | contribs)

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

Issue resolutions and other changes requiring document updates for Last Call:

  • Syntax [DONE]
    • Issue 114 Punning: values of annotations to change from entities to URIs. [DONE by Bmotik2]
    • Issue 134 MOF metamodel: diagrams plus the supportive text are the definitive specification for the language and there will be a normative reference for the diagrams; we don't expect to have a MOF metamodel in a Rec-Track document -- maybe a Note someday. [DONE]
    • Issue 138 Name of dateTime datatype: editors' note stating that we will use XSD name when they determine what it is; also note that this is at risk. [MOSTLY DONE by pfps "diffs" are http://www.w3.org/2007/OWL/wiki/index.php?title=Syntax&diff=14134&oldid=14133 - needs to be fixed when name is finally determined]
    • Issue 145 Mime types: we will define mime types for the functional syntax, manchester syntax, and owl syntax; the mime type for the owl syntax will be application/owl+xml; this does not speak to any of these being normative exchange syntaxes (see Peter's email and thread). [DONE by pfps see http://lists.w3.org/Archives/Public/public-owl-wg/2008Oct/0185.html]
    • Issue 147 Union and intersection for DataRanges: introduce UnionOf and IntersectionOf on Data Ranges. [DONE by Bmotik2 (see e-mail)]
    • Issue 148 topDataProperty: add global restriction on the use of topDataProperty so that it can only be used as a superproperty for other data properties. [DONE by Bmotik2 (see e-mail)]
    • Annotations: add AnnotationDomain, AnnotationRange, SubAnnotationPropertyOf; map them to the standard RDF vocabulary; no semantics on the DL side. [DONE by Bmotik2]
    • Differences between functional syntax keywords and RDF syntax URIs (see Peter's email) [DONE (see resolution)]
    • Comments [DONE by pfps; see Peter's email]
  • Direct Semantics [DONE]
    • Issue 147 Union and intersection for DataRanges: introduce UnionOf and IntersectionOf on Data Ranges. [DONE by Bmotik2 (see e-mail)]
  • RDF-Based Semantics [DONE]
  • Conformance and Test Cases [DONE]
  • Mapping to RDF Graphs [DONE]
    • Issue 137 Imports/include: owl:imports of an RDF graph that does not have an ontology header act like include. [DONE by Bmotik2]
    • Issue 144 Base triples: serialisation of annotated axioms will include the base triple. [DONE by Bmotik2]
    • Issue 147 Union and intersection for DataRanges: introduce UnionOf and IntersectionOf on Data Ranges. [DONE by Bmotik2 (see e-mail)]
    • Annotations: add AnnotationDomain, AnnotationRange, SubAnnotationPropertyOf; map them to the standard RDF vocabulary; no semantics on the DL side. [DONE by Bmotik2]
    • Differences between functional syntax keywords and RDF syntax URIs (see Peter's email) [DONE (see resolution)]
  • XML Serialisation [DONE]
    • Issue 145 Mime types: we will define mime types for the functional syntax, manchester syntax, and owl syntax; the mime type for the owl syntax will be application/owl+xml; this does not speak to any of these being normative exchange syntaxes (see Peter's email and thread). [DONE by pfps diffs at http://www.w3.org/2007/OWL/wiki/index.php?title=XML_Serialization&diff=14715&oldid=14217]
    • Issue 147 Union and intersection for DataRanges: introduce UnionOf and IntersectionOf on Data Ranges. [DONE by Bmotik2 (see e-mail)]
    • Annotations: add AnnotationDomain, AnnotationRange, SubAnnotationPropertyOf; map them to the standard RDF vocabulary; no semantics on the DL side. [DONE by Bmotik2]
  • Profiles [DONE]
    • Issue 138 Name of dateTime datatype: editors' note stating that we will use XSD name when they determine what it is; also note that this is at risk. [MOSTLY DONE by pfps diffs at http://www.w3.org/2007/OWL/wiki/index.php?title=Profiles&diff=14145&oldid=14040 - needs to be fixed when name is finally determined]
    • Issue 142 Theorem 1: addition of a proof sketch to the profiles document. [DONE by Boris Motik before F2F4]
    • Issue 149 OWL RL problems: add rules that axiomatise built-in entities (Thing, Nothing, etc) along with a new subsection that discusses how implementations could be optimised; fix the profile specification to allow the usage of SomeValuesFrom( R owl:Thing) on the left-hand side of axioms. [DONE by Bmotik2]