PROPOSAL to *close* (not postpone) ISSUE-83

Issue-83 asks for property chains on both sides of subproperty axioms.

As pointed out by Uli Sattler
this makes OWL 1.1 undecidable.

Contrary to what Ian Horrocks says
this feature would automatically be in an OWL
Full version because there would have to be in OWL Full a semantic
treatment of property chains and then there would be no way of excluding
them from both ends of a rdfs:subPropertyOf axiom.

I therefore propose that we CLOSE ISSUE-83 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:  If the "undecidability" was not present above then it would be
     reasonable to POSTPONE the issue.  However, undecidability
     conflicts with the goals of OWL DL (and OWL 1.1) and thus I
     strongly believe that CLOSURE is much more appropriate.

Received on Thursday, 13 December 2007 15:24:47 UTC