Re: QRG - a suggestion

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