RE: GUIDE: Revised outline

Dear WG

this structure looks good. i still prefer Raphael's suggestion
of putting 'The Structure of Ontologies' part at the end - to talk
about the mechanics of building ontologies before explaining what
OWL actually is looks potentially a bit confusing to me.

Another issue - should we have a section on OWL implementations - 
is this a GUIDE for OWL implementers and/or OWL users ?

--stephen

-----Original Message-----
From: Smith, Michael K [mailto:michael.smith@eds.com]
Sent: Thursday, July 11, 2002 4:17 PM
To: webont
Subject: GUIDE: Revised outline



I incorporated many of Raphael's suggestions. - Mike

We will develop an extended example through the course of the
document.  We have the DAML wine ontology as a suggestion for a
starting point.  Any others?

Common idioms and entailments will be discussed throughout.
They will be clearly labeled as such in some standard format.


OUTLINE

- Introduction

  - Motivation
  - Capability
  - Structure of doc (Structure, Lite vs. Full, appendices)

- The Structure of Ontologies

  <<< Was Housekeeping. I still like this up front, for exactly the 
  point that Raphael mentioned, immediate gratification.  I am hoping 
  this document will provide some cookbook-like support. >>>

  - Namespaces 
  - Ontology headers
  - Importing ontologies (w/ forward pointer to Ontology Mapping)

- OWL Lite

  - Simple Classes, Individuals, Datatypes
    - Defining simple hierarchical named classes (class, subClassOf)
    - Defining individuals (individual)
    - Datatypes (user-defined XML Schema datatypes) 

  - Simple Properties 
    - Defining properties (property, subPropertyOf, domain, range)
    - Properties of individuals

  - Property Characteristics and Restrictions
    - inverseOf, transitive, symmetric, functional
    - unambiguousProperty, allValuesFrom, someValueFrom
    - simple cardinality 

  - Ontology mapping 
    - sameClassAs, samePropertyAs
    - sameIndividualAs, differentIndividualFrom 

- Full OWL 

  - Complex Classes (axioms and constructive classes)

    - Class relations
      - oneOf (enumerated classes) 
      - disjoint classes
      - sameClassAs, subClassOf applied to class expressions 

    - unionOf, intersectionOf, complementOf 

  - Complex Property axioms
    - Full cardinality
    - hasValue

- References

  - Related OWL
    - Feature List
    - Reference
    - Syntax docs
    - Formal Model
    - ...

  - Related standards
    - RDF
    - RDFS
    - XML
    - URI
    - Namespace
    - XML Schema

  - General
    - KR/Ontology
    - OIL
    - DAML-ONT
    - DAML+OIL
    ...


Michael K. Smith, Ph.D., P.E.
EDS - Austin Innovation Centre
98 San Jacinto, #500
Austin, TX  78701

* phone: +01-512-404-6683
* mailto:michael.smith@eds.com
www.eds.com

Received on Thursday, 11 July 2002 11:54:01 UTC