Re: new version of S&AS

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 UTC