A stab at operationalizing Evan Wallace's suggestion for a new Overview

I liked Evan Wallace's suggestion yesterday for an Overview that was 
something in between the OWL 1.0 Overview and the OWL 1.1 member 
submission overview (without any species emphasis).
I took a stab at operationalizing that a bit with a proposed outline. I 
had asked some people to a short lunch meeting to discuss this 
suggestion. Since we did not get to discuss this proposal (as we 
discussed some needs and bijan's proposal to combine the overview and 
guide) so i thought i would send it out to the working group for comments.

(to the people i sent this to prior to our lunch meeting, this is the 
same but with an intro to kr section aimed to address the concern that 
one needs some kr background to read the current 1.0 overview. )



    Evan’s Proposal: An introductory document between OWL 1.1 Overview
    and OWL Overview from Rec. (without the species of OWL emphasis)

    Uli’s proposal – annotate the previous document with pointers to

    OWL 1.0 Original Outline http://www.w3.org/TR/owl-features/

   1. Introduction
         1. Document Roadmap
         2. Why OWL?
         3. The three sublanguages of OWL
         4. The structure of this document
   2. Language Synopsis
         1. OWL Lite Synopsis
         2. OWL DL and OWL Full Synopsis
   3. Language Description of OWL Lite
         1. OWL Lite RDF Schema Features
         2. OWL Lite Equality and Inequality
         3. OWL Lite Property Characteristics
         4. OWL Lite Property Restrictions
         5. OWL Lite Restricted Cardinality
         6. OWL Lite Class Intersection
         7. OWL Datatypes
         8. OWL Lite Header Information
         9. OWL Lite Annotation Properties
        10. OWL Lite Versioning
   4. Incremental Language Description of OWL DL and OWL Full
   5. Summary <http://www.w3.org/TR/2004/REC-owl-features-20040210/#s5>

*OWL 1.1 Member Submission Outline 

· Overview <http://www.w3.org/Submission/owl11-overview/#1>

· 2 Features <http://www.w3.org/Submission/owl11-overview/#2>

    * 2.1 Syntactic Sugar <http://www.w3.org/Submission/owl11-overview/#2.1>
    * 2.2 /SROIQ/ <http://www.w3.org/Submission/owl11-overview/#2.2>
    * 2.3 Datatypes <http://www.w3.org/Submission/owl11-overview/#2.2>
    * 2.4 Metamodeling <http://www.w3.org/Submission/owl11-overview/#2.2>

· References <http://www.w3.org/Submission/owl11-overview/#references>

*Potential New Overview*

1 Introduction <http://www.w3.org/TR/2004/REC-owl-features-20040210/#s1>

         1. Document Roadmap
         2. Intro to KR (as needed to read this doc)
         3. Why OWL?
         4. New section – OWL 1.1 motivations and addition highlights
            (much taken from owl 1.1 overview)
         5. The structure of this document

2. Language Synopsis 
<http://www.w3.org/TR/2004/REC-owl-features-20040210/#s2> (note – no 
organization by species)

3. Language Description

a. OWL RDF Schema Features 

b. OWL Equality and Inequality 

c. OWL Property Characteristics 
<http://www.w3.org/TR/2004/REC-owl-features-20040210/#s3.3> (include new 
extensions local reflexivity, reflexive, irreflexive, symmetric, and 
antisymmetric for non-complex)

d. OWL Property Restrictions 
<http://www.w3.org/TR/2004/REC-owl-features-20040210/#s3.4> (include 
disjoint properties maybe property chain inclusions here)

e. OWL Cardinality 
<http://www.w3.org/TR/2004/REC-owl-features-20040210/#s3.5> (remove lite 
limitations, include qualified cardinality here)

f. hasValue, one of (used to be in owl dl section)

g. OWL Boolean operators (old intersection for lite, dl Booleans)

h. OWL Datatypes 
<http://www.w3.org/TR/2004/REC-owl-features-20040210/#s3.7> (include new 
owl 1.1 info here)

i. OWL Header Information 

j. OWL Annotation Properties 

k. OWL Versioning 

l. Syntactic sugar

m. Metamodeling

4. Summary <http://www.w3.org/TR/2004/REC-owl-features-20040210/#s5>

Just a note – the 1.0 overview says “This OWL Overview 
<http://www.w3.org/TR/owl-features/> gives a simple introduction to OWL 
by providing a language feature listing with very brief feature 

Received on Friday, 7 December 2007 15:41:19 UTC