Changes to the spec that were decided at the F2F are done

Hello,

I've implemented the changes that we agreed upon at the F2F. The style sheets
have changed extensively, so please refresh your browser when viewing the new
documents.

I cannot provide the diffs: the changes were numerous and stretch over several
days, and I don't think diffs would be particularly useful. I'll just summarize
what I changed in which document:


Syntax:

- I've reworded the introduction slightly.

- I've split the general (i.e., OWL 2) restrictions from the one for OWL 2 DL in
Section 3.

- Section 3.7 about parsing was changed to make it clear that we are dealing
here with parsing of OWL 2 DL ontologies.

- At each place in the document that introduces an OWL 2 DL restriction, I've
been explicit that this is a restriction of OWL 2 DL, and not of OWL 2.

- I've reintroduced the fully typed syntax.

- I've added RDF examples. There are by default not shown; however, there is a
button at the top of the document that can be used to turn RDF on.


RDF Mapping was changed in the following way:

- The introduction was modified slightly to make it clear that the forward
mapping handles any OWL 2 ontology. But backward mapping handles only OWL 2 DL
ontologies. These changes were also reflected in Sections 2 and 3.

- The fully typed syntax was reintroduced.


The main changes to Direct Semantics and Profiles were the reintroduction of the
typed syntax.


Please let me know should you have any further comments. I will not try to
address the remaining outstanding editorial comments.

Regards,

	Boris

Received on Friday, 13 March 2009 19:16:14 UTC