Re: PRPOSAL to close ISSUE-8

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  
proposal.
-Alan

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