W3C home > Mailing lists > Public > www-webont-wg@w3.org > January 2003

Re: Comments on Feature Synopsis

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Thu, 02 Jan 2003 12:35:05 -0500 (EST)
Message-Id: <20030102.123505.80338346.pfps@research.bell-labs.com>
To: hendler@cs.umd.edu
Cc: www-webont-wg@w3.org

From: Jim Hendler <hendler@cs.umd.edu>
Subject: Re: Comments on Feature Synopsis
Date: Thu, 2 Jan 2003 11:46:54 -0500

> >
> >If one wanted to provide a quick gloss, one could say something like:
> >
> >- In OWL/DL a resource cannot be more than one of a class, a datatype, an
> >   object property, a datatype property, or an individual.  OWL/DL requires
> >   that inverse functional properties, symmetric properties, and transitive
> >   properties be object properties, so they cannot be datatype properties.
> >
> >- In OWL/DL an object property that participates in a cardinality
> >   restriction cannot be specified as a transitive property nor can it have
> >   a transitively-specified property as a descendant.
> >
> >- In OWL/DL all descriptions must be well-formed, with no missing or extra
> >   components, and must form tree-like structures.
> >
> >peter
> 
> 
> Peter - can you capture that in some one place in the semantics 
> document?  That would be terribly useful.  For features, those are 
> below the level of the document (which doesn't discuss triples per se 
> in any real way), but by having a pointer to that summarization which 
> could be near the technical discussion of theoretical reasons for the 
> languages (i.e. based on Ian's email), the entire set of documents 
> would be strengthened. Good job!
>   -JH

This is now in my private version of the semantics document, along with the
longer version.  This all is stated to be explicitly non-normative.

A new version will come out later today.

peter
Received on Thursday, 2 January 2003 12:35:15 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:56 GMT