- From: Uli Sattler <sattler@cs.man.ac.uk>
- Date: Wed, 6 May 2009 10:26:35 +0100
- To: Jie Bao <baojie@cs.rpi.edu>
- Cc: W3C OWL Working Group <public-owl-wg@w3.org>
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
Received on Wednesday, 6 May 2009 09:39:15 UTC