W3C home > Mailing lists > Public > public-owl-wg@w3.org > May 2009

Re: QRG - a suggestion

From: Jie Bao <baojie@cs.rpi.edu>
Date: Wed, 6 May 2009 13:02:37 -0400
Message-ID: <b6b357670905061002j7d053443y67a64db7661800e2@mail.gmail.com>
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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:12 UTC