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

Re: QRG - a suggestion

From: Uli Sattler <sattler@cs.man.ac.uk>
Date: Wed, 6 May 2009 18:17:03 +0100
Cc: W3C OWL Working Group <public-owl-wg@w3.org>
Message-Id: <243A6C1D-AE7D-4ED5-8D82-47596BAD8B20@cs.man.ac.uk>
To: Jie Bao <baojie@cs.rpi.edu>
Hi Jie,

thanks a lot for the speedy reaction! Cheers, Uli

On 6 May 2009, at 18:02, Jie Bao wrote:

> 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:16:57 UTC

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