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

Re: new version of S&AS

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Wed, 19 Mar 2003 13:16:22 -0500 (EST)
Message-Id: <20030319.131622.86322841.pfps@research.bell-labs.com>
To: www-webont-wg@w3.org

From: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Subject: Re: new version of S&AS
Date: Wed, 19 Mar 2003 10:55:38 -0500 (EST)

[...]

> > - I had asked whether we could liberalise the rules concerning 
> > InverseFunctionalProperty, TranstiveProperty, SymmetricProperty to avoid 
> > requiring two type triples for these in OWL Lite and OWL DL. My suggestion 
> > was:
> >     + make the rdf:type owl:ObjectProperty triple optional
> >     + add global constraint that every individual valued property had one of 
> > these type triples.
> >     + ensure that each of these classes is a subclass of owl:ObjectProperty in 
> > the RDFS compatible semantics
> > 
> > What is the status of this suggestion?
> 
> I do not believe that these made it into the proposed resolution.

I was forgetting that this had been broken out separately.  

I have just thought about this some more and am now proposing that this not
be done.  One problem is that this introduces an asymmetry in the
situation, because FunctionalProperty will still require two triples.

peter
Received on Wednesday, 19 March 2003 13:17:01 GMT

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