W3C home > Mailing lists > Public > public-owl-wg@w3.org > December 2007

Re: PRPOSAL to close ISSUE-8

From: Alan Ruttenberg <alanruttenberg@gmail.com>
Date: Thu, 13 Dec 2007 11:04:17 -0500
Message-Id: <44C51E9F-0633-411A-9210-4BD770F98A65@gmail.com>
Cc: public-owl-wg@w3.org
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>

I have had a discussion with Uli about this, and it seems that a  
limited form of this would not compromise decidability - e.g. no  
binary comparisons other than equality. She said she would write up a  

On Dec 13, 2007, at 9:56 AM, Peter F. Patel-Schneider wrote:

> Issue-8 asks for property chains that end with data properties.
> Adding this construct to OWL 1.1 would compromise decidability.
> This feature would automatically be in an OWL Full version because in
> OWL Full data properties are also object properties.
> Later discussion asked whether having data properties in the middle of
> a chain can be done.
> In OWL 1.1 such chains would have an empty extension, and thus be
> useless.  The situation in OWL Full is the same as for data properties
> at the end of a chain.
> I therefore propose that we CLOSE ISSUE-8 (even though it is not even
> OPEN) without doing anything on the twin grounds that it both
> compromises decidability in OWL 1.1 and is not handled by tools, and
> that there is nothing special that needs to be done in OWL Full.
> Peter F. Patel-Schneider
> Bell Labs Research
> PS: I'm proposing handling ISSUE-8 in this manner as is it is closely
>     related to ISSUE-83.
Received on Thursday, 13 December 2007 18:00:10 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:41:41 UTC