Re: Comments on Feature Synopsis

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 UTC