- From: Jie Bao <baojie@cs.rpi.edu>
- Date: Wed, 6 May 2009 13:02:37 -0400
- To: Uli Sattler <sattler@cs.man.ac.uk>
- Cc: W3C OWL Working Group <public-owl-wg@w3.org>
Hi Uli
I made the change, only with slight different ordering of items in 2.5
(to be consistent with the overall ordering of sections)
* 2.5 Axioms
%% Class Expression Axioms
%% Object Property Axioms
%% Data Property Axioms
%% Datatype Definitions
%% Assertions
%% Keys
Here is the diff
http://www.w3.org/2007/OWL/wiki/index.php?title=Quick_Reference_Guide&diff=23294&oldid=23283
and
http://www.w3.org/2007/OWL/wiki/index.php?title=Quick_Reference_Guide&diff=23300&oldid=23299
Thanks
Jie
On Wed, May 6, 2009 at 5:26 AM, Uli Sattler <sattler@cs.man.ac.uk> wrote:
> Hi Jie, I had another look at the QRG (which looks neater and clearer than
> ever!) and would recommend to turn 2.5 into "Axioms" and move the following
> axioms into it:
>
> - Class Axioms
> - Property Axioms
> - Datatype Definitions (they are currently in 1 line in the 'data ranges'
> Table.
> - Keys
> - Assertions
>
> I think it's conceptually much clearer (and thus might help people finding
> things they are looking for) - what do you think? Cheers, Uli
>
> ---- Current ToC:
>
> 2 OWL 2 constructs and axioms
>
> * 2.1 Classes
> * 2.2 Properties
> * 2.3 Individuals & Literals
> * 2.4 Data Ranges
> * 2.5 Keys
> * 2.6 Assertions
> * 2.7 Declarations
> * 2.8 Annotations
> * 2.9 Ontologies
>
>
>
> ---- Suggested ToC:
>
> 2 OWL 2 constructs and axioms
>
> * 2.1 Classes %% minus Class Axioms
> * 2.2 Properties %% minus Object Property Axioms and Data Property
> Axioms
> * 2.3 Individuals & Literals
> * 2.4 Data Ranges %% minus "datatype definition"
> * 2.5 Axioms
> %% Class Axioms
> %% Assertions
> %% Object Property Axioms
> %% Data Property Axioms
> %% Datatype definitions
> %% Keys
> * 2.6 Declarations
> * 2.7 Annotations
> * 2.8 Ontologies
>
>
--
Jie Bao
http://www.cs.rpi.edu/~baojie
Received on Wednesday, 6 May 2009 17:03:23 UTC