PRPOSAL to close ISSUE-8

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 15:16:00 UTC